おとなりアンテナ | おすすめページ
2025-05-12型を命題にクラッシュさせる： ダイアモンド・オペレーターの由来雑記／備忘「おー、$`\Delta`$ と $`\nabla`$ を組み合わせたら $`\diamondsuit`$ になるな、むふふふふ」と、ダジャレな記法を思いついて悦にいっている今日このごろ。何の話かというと； カリー／ハワード／ランベック対応によれば、型と命題は事実上同じものなので…型を命題にクラッシ
