2007-08-26から1日間の記事一覧

会社の人が

Django(じゃんご)を 「どじゃんごー」って言ってた。 めっさどじゃんごだべさー。(方言風

久々に。。

C++

かなり長いことC++を触ってませんでした・・・。 時間見つけて復習していこう。。 template< int V > class Int2Type { public : enum { Value = V }; }; template< int V > class Hoge { private : void Foo( Int2Type<0> ) { cout << "Zero !!" << endl; }…

内包

メモだけして寝よう。 http://www-06.ibm.com/jp/developerworks/linux/010420/j_l-py20.html わたしにとって最も刺激的なPython 2.0の新機能は、リスト内包 の追加です。(数学の心得のある読者であればだれでも、この機能が、Zermelo-Frankel集合論の内包の…

NK

今読んでいる本は,体系SNKと呼ばれる形(?)を利用しています。 モーダスポネンスのSNK推論図はこんな感じ。 *1 このSNKとやらは有名なのかな〜と思って何となくぐぐってみたら,全然出てこない。笑 NK(自然演繹)というものに出くわしました。 どうやらSNK…