ありがとうDreamSpark Visual Studio 2008 Professional Edition をやっとインストール。 学生の皆さんは恩恵を受けましょう。 今年もUSB扇風機の季節がやってまいりました 去年非常にお世話になったUSB扇風機さんを引っ張り出してきました。 今年もよろしく…

国立情報学研究所の先生が型付きラムダ計算についての難問を解決したそうで。未解決問題22問のリストがあって、このリスト中の問題解決は世界初だって。スゲー！ http://d.hatena.ne.jp/siokoshou/20080618#p1 すげー！ 問題そのものを解いたのは去年みたい…