圏論とか型理論とかみたいな遠回りすぎるのはなるべく避ける Wikipediaとか人のぶろぐとか見すぎない もうだめだよ。

死ぬわけにいかないので書く。「関数型言語」ってなんじゃとかに関係したりしなかったりする話。 「関数型言語」という表現は、何を言いたいかわからなくもないけど、よくわからない表現であると思う。 何をもって関数型言語とするのか？何ができたら関数型…

書かなかったら死ぬ。 （こういうことを書いとくと、明日、「死ぬことになったようで」とか書くハメになりそうだなー←こういういらんことを書いてるあいだに書くべき←こうい）

最近生活していくうえで、型理論が必要になってきたので、若干勉強したのだった。 まー、JavaのGenericsとかってF subだなーとか、その程度を理解したと思ったら http://d.hatena.ne.jp/sumii/20060404/1144111484 問題となった（なったか？）例のアレのとこ…

帰ってきたので、久し振りに自炊。 ひとりぐらしが最適化されすぎると、自分の料理が恋しくなるという風潮があり、まあ、なんだかんだ。 僕の料理における必勝法は、「しょうゆかけて火を通せば、なんかできる」というものであり、しょうゆは偉大だと思うん…

とか書いてると、ラブコメ嫌いっぽい感じみたいだな！ いや、あんまり好みはしないんだけど、なんていうか、ラブコメっぽくない空気を見せていたのに、しかし、最後それっぽくなってぐだぐだ終わるというのが、なんか大変アレ。 しかし、げんしけんは、そう…

タイトルの通り。 オタという称号は、本来、常人の知識を遥か越えて必要の無い知識を追い求める人達にそのキモさと偉大さを称えるために与えられるものであったにも関わらず、現代における「オタ」というのは、もはや、キモさも偉大さも失なわれ、「なんとな…

最近このマシンのLinux起動してねーなー、ということで、NTFSにした。もう完全にWindowsマシンだよ！ブートローダーがBSDのやつ。というかXPてfdisk /mbr無くなってるんか。 色んな誘惑に負けてプリンタを買ってしまった。プリンタを使うのはソフト屋として…

やすみがおわるよ！