🌟💫✨⭐️光のないまま轢き殺してーーーー！！！！！！！！🌟💫✨⭐️🚗💨 💨
まあなんでもいいや……
コメントが音 MAD 文化を受け継いでいる気がする（Oh〜♪Reve is wonderful〜♪など）が気のせいかもしれない
忘れものセンターにまたね！ - ついなちゃん - ニコニコ動画
ニコニコ動画
忘れものセンターにまたね！ - ついなちゃん
忘れものセンターにまたね！ - ついなちゃん [音楽・サウンド] 🌟💫✨⭐️光のないまま轢き殺してーーーー...
うあー
モデル検査～
Robert Harper もカーネギーメロンなのか
数学屋には TaPL より PFPL というやつのほうが読みやすいのかしら（なにもわからない）
再帰的データ型に μ を使う記法はけっこう昔からあったっぽいのに、λμ 計算はなんで μ を使ったんだ。そのうちこの衝突をもじった論文とか出るんじゃないの。"λμ-calculus with μ-types" とか。
「λμ 計算」と「型システム λμ」、ほんとに無関係じゃん……マジでなんなんすか……おかしいっスよホント……