2003-02-23
λ. 借りた本
- 『スカイ・クロラ』
- 森 博嗣 [著]
- 小説すばる 2002年8月号
- -
- 『吸血鬼ハンターD - 薔薇姫』
- 菊地 秀行 [著]
- 『人体部品ビジネス - 「臓器」商品化時代の現実』
- 栗屋 剛 [著]
- 『16歳のセアラが挑んだ世界最強の暗号』
- セアラ・フラナリー (Sarah Flannery), デイヴィッド・フラナリー (David Flannery) [著] 亀井よし子[訳]
随分久しぶりに図書館へ。
λ. 買った本
- ウルトラジャンプ 2003年3月号
- ソフトウェアデザイン 2003年3月号
2004-02-23
λ. 百人斬り訴訟
今日が第四回公判だったそうだ。戦後60年近くが経過しても、このような訴訟が起こっているのを見ると、大東亜戦争はいまだ「歴史」にはなっていないのだなと思わされる。
- 百人斬り訴訟＠戦友連 (原告側の支援サイト)
- 事実.com (被告側の支援サイト)
- 「百人斬り事件」考 (この事件に関する論争についてよくまとまっている)
2005-02-23
λ. 型が a -> b となる関数はなんでしょう？
すぐに思いつくのは、\_ -> undefined とか undefined :: a -> b とかだけど……、さすがに違うよなぁ……
2006-02-23
λ. 海自機密データ：「極秘」暗号書類などネット上に流出
マジですか。勘弁して欲しい。
λ. Toward Agda-2; Agda at CVS
を読んだ。
2008-02-23
λ. RHG読書会::東京 ふつパイラ篇
久しぶりの青木さん本 ＆ 久しぶりの面子。
3次会＠ルノアールにて、先日の最近のRuby処理系の話に関係してLuaの浮動小数点数の表現の話が出た。 Luaは浮動小数点数も整数もポインタも全部まとめたunionにタグをつけて、rubyでいうところのVALUEとして扱っているそうな。 ただ、タグの部分が勿体無いので、IEEE 754のNaNの仮数部は0以外であれば良いことを利用して、そこに整数とポインタを埋め込もうとしているとかしたとか。仮数部は52bitあるので、32bit環境ならば整数やポインタは余裕で埋め込めるが……
λ. オーディオの設定に問題を見つけたので、iTunesは実行できません
iTunesをアップデートしたら、iTunesの起動時に「オーディオの設定に問題を見つけたので、iTunesは実行できません」と言われて起動できないようになってしまった。 結局、Quicktimeをセットアップしなおしたら直っのだけど、Appleのアップデートはなんか信頼できないと思った。こないだのジャンルが勝手に日本語になる件みたいなこともあったしね。
2009-02-23
λ. Darwinで数独を解く
Paradoxで数独を解いてみたので、そのついでにDarwinでも試してみた。 Paradoxが既存のSATソルバを利用していたのに対して、DarwinはSATソルバの基本アルゴリズムであるDPLLアルゴリズムの一階述語論理版として Model Evolution Calculus というのを考えて、それを使っているとか。 ただ、実際に試してみると、Paradoxより随分時間がかかるようだ。 これは等号に直接対応していないため?
- 入力ファイル sudoku-darwin.tptp
- ログ sudoku-darwin.txt
ψ 竹内 [ParadoxとDarwin、 面白そうですね。僕は相変わらず遅いままの Prologプログラムで数独作ってます。(..]
ψ さかい [この手のツールは結構あるので、色々試してみると面白いと思いますよ。 > 話は変わりますが4月からまたしばらく神奈川..]
ψ とおる。 [ぼくもまえに MEPHISTO の制約システムで数独ソルバーを作ってみました。一階述語論理じゃないので、限界があるん..]
ψ さかい [おお。やっぱり視覚化されてると、見てて楽しいですね。 > 一階述語論理じゃないので、限界があるんですけど。 一階..]
ψ とおる。 [うん。でも、一階述語論理の場合は、可能な値を列挙できるようにルールを与えるものですよね？ 逆にほかの制約解消アルゴリ..]
ψ さかい [うーん。 ParadoxやDarwinで値の列挙が可能なのは、これらのアルゴリズムが有限のサイズのモデルしか探さない..]
ψ とおる。 [ああなるほど。一階述語論理＝有限だと思い込んでました。勉強になりました。]
