あれ2023/10/4 21:42:00 プログラミング言語作りたい。 まず理解できるまでラムダ計算を勉強します。 そうして人生の終わりが来ます。 経済産業省に「λプロジェクト」とかいう名前で持ち込んで、Σプロジェクトを擦りたい。