「総称高階関数計算の練習：積モナドの乗法を書き下す」にて： 次の定義を総称高階関数計算の記法に翻訳しましょう。 τ := (ν*L)・(EE*μ)・(E*γ*L) τ := (E*μ)・(ν*LL)・(E*γ*L) いや、これは宿題にしよう、っと。計算練習にやってみてください。解答はたぶ…

ウチの長男、次男はホントに四六時中けんかをしている。原因は実にさまざまだが、どれも些細でくだらない。ふざけているうちに本気になってしまったり、弟が兄を小馬鹿にしたような口をきいて、兄がそれに反応して怒りだしたり。子供だから、こんなもんだと…