Diary?

(20:30)

ぬー、どうも引っ越し先は光回線が引けない可能性が出てきたぞ。そうなると引っ越し先は ADSL にせざるを得ず、確実に今よりもこのサーバのレスポンスは悪くなるな。日記はともかく、画像貼りすぎなゲーム系のページはちとキツいかも。

(21:23)

土曜日の勉強会の関連記事が何本か上がってるので、今のところ確認できてる奴を一通りリンクしてみる。

• 俺が速攻で書いた記事（mono かつ epi だが iso でない圏としてのしりとりの圏）
  • たけをさんによる補足記事（いつも補足やツッコミ喰らってるな俺は）
  • hiratara さんによる証明
  • 檜山さんによる他の mono かつ epi だが iso でない圏の例
• スライドを活用した定理の証明（hiratara さんグッジョブ）
• hiroki_f さんの総括っぽい記事
• oto-oto-oto さんの報告記事

ラムダ計算セミナーとモニャドセミナーもそうだけど、やっぱ関連記事のリンク集ぐらいは独立したページとして作った方がいいかな。需要があるならやってもいいけど、どんなもんでしょ。