普通、βとかηとか言ったらλ-calculusだよね？「何かをくっつけて、それを取り除いたら元に戻る」のがbeta lawで、逆に「取り除いた後で、くっつけたら元に戻る」のがeta lawって何言ってんだ？？ 丸1日くらい考えてやっと分かった。「くっつけて」というのは…

同僚の男の子と一緒にちょっと気合の入っている系のハンバーガー屋さんへ。この店は初めてだな。ランチメニューを説明してくれた女の子が最後に言ったものを注文。本日のランチ（？）で、中落ちとナントカの丼と言った気がしたのだが、出てきたものはご飯の…