前置きとか予定とか省略だけど、ちょっとは言っておくと（＜省略してねー）： クライスリ圏はもちろんやるぞー でも自然変換をほとんど使わないよ なぜなら、スタンピング・モナド（or コモナド）に限定するから 気が向いたら一般論を少し入れるが、一般論の…

「当日にならないと資料を作れません」病で、今日になってやっているが： chimaira.org用に作った自家製wiki風記法で資料を書こうと思ったら、まったく忘れていた。 最近まで使っていたTrack wikiにしよう、っと、、、グエーッ、Creole Wikiと混乱してダメだ…

「モニャドセミナー4の予定：トランザクション計算のフレームワークとか」と「モニャドセミナー4の予定：訂正と補足」を集約して、わずかに変更。実務者のための圏論とモナド -- つう感じで練習、質疑応答、議論を強調したいので、スライド利用講義風のスタ…