「hiyama{at}chimaira{dot}org」とか書いてみても、この程度なら検出されてしまうのかな？ なんか、スパム増加中。9割以上出会い系サイト。でも、オオアリクイほどのインパクトのあるものは、あれ以来お目にかからないなー。まー、割と笑えたのは、 納豆ダイ…

昨日の「弱いラムダ計算の根拠とか」にて： Λ-1:C([A, B], [A, B])→C(A×B, B) という随伴を与える同型が自然変換（の成分）であることから、自然性を（適当なセッティングで）露骨に書き下すと、先の等式が得られる。…中略… 興味あるかたは、適切な練習問題…