種別[hbm] セクションJRF の公開ブックマーク 日時2006年04月07日 13:30:37 元URLhttp://d.hatena.ne.jp/m-hiyama/20060407/1144378577 タグ[プログラミング哲学] [型理論] [コンピュータ定理証明] [メタファ] 檜山正幸のキマイラ飼育記 - デュアルプログラミングとエクソシストゲーム