t_wの輪郭

Feedlyでフォローするボタン

あれ

2023/10/4 21:42:00

プログラミング言語作りたい。

まず理解できるまでラムダ計算を勉強します。
そうして人生の終わりが来ます。

経済産業省に「λプロジェクト」とかいう名前で持ち込んで、Σプロジェクトを擦りたい。