Nobuo Yamashita

I enjoy functional programming in Haskell. I love purely functional lazy programming. Haskellプログラミング大好き。バスフルート大好き。メデルダン(低音フルートを愛でる団)。
青空 @nobsun.bsky.social

[Nobuo Yamashita @nobsun]

美しいギミック

[Nobuo Yamashita @nobsun]

おやすみ。

[なぞのデザイナー @nazonodesigner]

まだ眠れない人のために問題を作りました

[山田牛午 @ymd95]

ぼくの量子力学も見て行ってよ（再掲）

[Koji Ikegami @kojikegami]

キネシンの輸送速度は大凡で1 μm/secなので、1歩が8 nm(α-β-tubulinダイマー長)から計算すると、125歩/secとなります。この動画は1歩/secぐらいで示されているので100~150分の1に再生速度を落とした超スローモーション動画となりますね。つまり実際は超猛烈な駆け足です。

[Nobuo Yamashita @nobsun]

ヨジワケ #155 🎯

🟧🟧🟧🟧
🟨🟨🟨🟨
🟪🟪🟪🟪
🟩🟩🟩🟩
🟦🟦🟦🟦

❤️❤️🖤🖤 🅷
https://t.co/vdVcVCXR2x

[Nobuo Yamashita @nobsun]

おやすみ。

[lotz @lotz84_]

Haskell の型は図を使わないUMLのようなもので、型そのものによってシステムの仕様やドメインの境界を記述できる。実行時の振る舞いをテストで後から確認するのではなく、型を持つ関数を組み合わせる段階でコンパイラが不変条件を検証するため、状態の組み合わせが複雑化するのを防ぐことができる

[lotz @lotz84_]

Haskell で gloss と linear を用いて分子動力学シミュレーションを実装した話 👀
簡単な実装だけど gloss を使って動くシミュレーションの作り方がステップバイステップで解説されている✍️
https://t.co/u10y0XwhMT

[華厳宗大本山 東大寺【公式】 Tōdaiji Temple @todaiji]

7月5日(日)は鎌倉時代に東大寺を復興された俊乗房重源上人の御忌「俊乗忌」です。
法要後11時頃から、#俊乗堂 を特別公開します。年2回の公開ですのでこの機会にぜひご参拝ください。#大仏奉賛会 #東大寺友の会 会員様は無料参拝していただけます。
#東大寺 #秘仏開扉
詳細➡️ https://t.co/iAxitesQll

[_ko1 @_ko1]

[言語処理系を作りたい人のためのC言語入門](https://t.co/YRVtnehZMk) 「const を外すキャストは、よほどの理由がない限り避けてください。const は破るためでなく、守るためにあります。」 いいこと言うなあ　破っちゃうんだけど

[専門性・売上・原稿 @golden_lucky]

もちろん出ていないものもあるけれど

[専門性・売上・原稿 @golden_lucky]

引用RTを見て、「それ、ラムダノートから本や記事が出てるよ」っていう気持ちになっています

[Nobuo Yamashita @nobsun]

ヨジワケ #154 🎯

🟦🟦🟦🟦
🟨🟨🟨🟨
🟩🟩🟩🟩
🟪🟪🟪🟪
🟧🟧🟧🟧

❤️❤️❤️❤️ 🅷
https://t.co/vdVcVCXR2x

[Nobuo Yamashita @nobsun]

おやすみ。

[なぞのデザイナー @nazonodesigner]

まだ眠れない人のために問題を作りました

[lotz @lotz84_]

依存型 Haskell の進捗👀
forall a -> ty は引数が実行時に消去される依存積型で、
foreach a -> ty は引数が実行時に保持される依存積型を表すようになるのか✍️
https://t.co/3SsHCc24Im

[坂上領(チャランガぽよぽよ) @gamirs]

Amazonでも予約開始です⭐️

THE FLUTE フルート vol.212
雑誌 – 2026/6/10発売

表紙　赤木りえ　城戸夕果　坂上領
特集　【ラテン・ミュージック ア・ラ・カルト】🪇
座談会　幸枝　長澤紀仁　見谷聡一
SUAI　井坂実樹　青木明 Aeterna-永遠の響き-　とちぎフルートフェスティバル　マグナムトリオ　低音フルートを愛でる団

THE FLUTE vol.212 https://t.co/Kom9FuRtX0

[題名のない音楽会 @daimeiofficial]

今週6/6(土)は「フルートの可能性を広げる音楽会」！フルートの新しい魅力を引き出すために真面目に遊びます！
#題名のない音楽会
#多久潤一朗
#フルート
#古坂大魔王
#林周雅、#蟹江慶行、#萩森英明、#大家一将
#石丸幹二
#武内絵美
https://t.co/W4bNa5dzCz

[神田勇哉 Yuya KANDA @yuyakanda01]

ついに来ました！
多久さん回‼️🔥
楽しみです🤣

[_ko1 @_ko1]

Ruby言語そのものの開発に挑戦する特別なインターンシップ、「Ruby開発インターンシップ」を始めます - STORES Product Blog

通年で募集してるんだけどなかなか。
AI 時代にどう手伝ってもらうかっていうのも。
好きなテーマ持ってきてくれると嬉しい。 https://t.co/dqaxE1Xg8w

[Nobuo Yamashita @nobsun]

ヨジワケ #152 🎯

🟨🟨🟨🟨
🟦🟦🟦🟦
🟩🟩🟩🟩
🟧🟧🟧🟧
🟪🟪🟪🟪

❤️❤️❤️❤️ 🅷
https://t.co/vdVcVCXR2x

[tokyo_passage @tokyo_passage]

百貨店・映画館・大型書店の三拍子揃った繁華街としてはもう完全に池袋が渋谷を超えているんだよな。池袋には100万人単位の親衛隊みたいな人がいるから実需が強い。