数学屋には TaPL より PFPL というやつのほうが読みやすいのかしら（なにもわからない）

再帰的データ型に μ を使う記法はけっこう昔からあったっぽいのに、λμ 計算はなんで μ を使ったんだ。そのうちこの衝突をもじった論文とか出るんじゃないの。"λμ-calculus with μ-types" とか。

「λμ 計算」と「型システム λμ」、ほんとに無関係じゃん……マジでなんなんすか……おかしいっスよホント……

会話……

λμ 計算どこで知れるの～と思ったら TaPL に書いてあるらしい。この間 TaPL の話したばっかりでそんなことあるのね

あまりコンピュータサイエンスをする気はなかったのに気づいたらコンピュータサイエンスしないといけない状況になっているかもしれない

The Nth DAY. (N=3443) 【角川ドワンゴ学園×ドワンゴ 教育事業発表会】 - YouTube https://www.youtube.com/live/8O0JeqtUQso

うゆゆ〜

インフルエンサーの皆さんには是非とも抽象的な話をですね