「あわてて両モナドやメイヤー代数を復習する」と「メイヤー代数／メイヤー加群の定義を仕切り直す」において、以前に定義したメイヤー代数／メイヤー加群の定義はキツすぎると言いました。ですが、当時キツい定義を採用したのはそれなりの理由があってのこ…

長男：「俺、変な夢みちゃったよ」父親：「悪夢？」長男：「うん、いやな夢だった。その夢のなかでね、」父親：「うん」長男：「誰かに襲われたんだよ」父親：「夢のなかでね」長男：「いきなり後から電気のようなものでガンッて」父親：「電気？ おまえそれ…