情報があっちこっちに散乱すると、参照の便が悪いので、「技術者／プログラマのためのラムダ計算、論理、圏」に関連することは、このエントリに集約することにします。日付を入れて後ろにドンドン追記していきます。告知は別なエントリーとしました。12月20…

次男：「ぼくダンスうまいよ」長男：「俺もダンスうまいよ」次男：「ぼくのほうがうまいよ」長男：「俺のほうがうまいよ」次男：「じゃ、どっちがダンスうまいか、勝負して決めよう」長男：「あー、いいよ」次男：「よーし、ジャンケンね」長男：「将棋にし…