2006-01-01から1年間の記事一覧
Haskell:The Craft of Functional Programming (International Computer Science Series)作者: Simon Thompson出版社/メーカー: Addison Wesley発売日: 1999/03/29メディア: ペーパーバック購入: 1人 クリック: 22回この商品を含むブログ (30件) を見る
Spring Web Flow 1.0 RC1 Releasedhttp://www.theserverside.com/news/thread.tss?thread_id=40277
よく階層型のデータを扱うのだが,なるほどーと思った方法がありました. http://www.thinkit.co.jp/free/tech/31/5/ ゲーデルの不完全性定理をLispで表現できるのかー. http://www.iba.k.u-tokyo.ac.jp/~yabuki/tip/lisp/why_lisp.html Google Calendar使…
Eclipse pluginであるMaven 2.0 IntegrationはかなりEclipseと親和性が高い(mevenideと比較して)と思った.mevenideはEclipseのクラスパスを修正しても,手動でmaven側にシンクロ(マウスの右クリックするだけだが・・)しなくてはならなかったが,pom.xmlで示…
今回の輪講で印象に残ったのが「公理と定義の違いの話」と「積和(和積)標準 形」でした。(どっちも放課後モードでの話題ですみません・・・)(1) 公理と定義の違い 自分なりの解釈ですが、こうかなと感じました。○ 公理(系) → いわゆる「真実」とか「本質」で…