https://twitter.com/kinaba のログ (twilog の方が便利です。)
| ネットつながた | |
| 部屋の番号が 404 だったがちゃんと見つかったので素晴らしい | |
| <nulltype> の下に UninitializedNull と NotFoundNull とその他いろいろでクラス階層作って null を値としては分類するようにして更に検査例外の結構な部分もついでにこの階層に押し込めちゃうと便利なのではとか妄想し ... | |
| 部屋の照明のスイッチが 404 Not Found | |
| マジ暗くてウケるんですけどー | |
| さっき会った筑波の人は soutaro さんと同じ研究室の人だったようだ（今ぐぐった | |
| 他大学にどういう研究室があってどういうメンバーでとか全然わかってないなー俺 | |
| なぜ圏論という言葉を聞きかじったオタは "Basic Category Theory for Computer Scientists" に見向きもせずに Basic でもこんぴゅーた人向けでもなくバリバリの数学者向けと宣言されてる本を読もうとしますか？ | |
| 答え：日本語訳があるから | |
| というわけで誰かあの本訳すといいと思うんだ |