（激しく既出そうな話ですが無視して）コメントだとtypoなどがあったときに削除＆再投稿しないと修正できず、その度に相手にメールが行きそうで緊張しますし、トラックバックだと、そんなつもりじゃなくても相手から自分へ「強制リンク」させているような感…

（ごく一部で）話が盛り上がっているうちに他力本願モードで: TT-closureについては、僕も（というか僕は）PittsやAbadiの論文を繰り返し読んでも、どうもよくわかりません…。与えられた関係Rがadmissibleであることはわりと簡単に確かめられそうですが、R^T…

http://d.hatena.ne.jp/sumii/20061026/1161822641で言及した少人数演習（研究室体験？）が終了しました。特にプログラミングの経験や予備知識を仮定しなかった割には、皆さん面白いプログラムができたかと。家でやった人もいたようで。解決しなかった疑問：…