t_wの輪郭

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

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

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