トップ «前の日(02-22) 最新 次の日(02-24)» 追記

日々の流転


2003-02-23

λ. 借りた本

『スカイ・クロラ』
森 博嗣 [著]
小説すばる 2002年8月号
-
『吸血鬼ハンターD - 薔薇姫』
菊地 秀行 [著]
『人体部品ビジネス - 「臓器」商品化時代の現実』
栗屋 剛 [著]
『16歳のセアラが挑んだ世界最強の暗号』
セアラ・フラナリー (Sarah Flannery), デイヴィッド・フラナリー (David Flannery) [著] 亀井よし子[訳]

随分久しぶりに図書館へ。

Tags:

λ. 買った本

  • ウルトラジャンプ 2003年3月号
  • ソフトウェアデザイン 2003年3月号
Tags:

2004-02-23

λ. 百人斬り訴訟

今日が第四回公判だったそうだ。戦後60年近くが経過しても、このような訴訟が起こっているのを見ると、大東亜戦争はいまだ「歴史」にはなっていないのだなと思わされる。


2005-02-23

λ. 型が a -> b となる関数はなんでしょう?

すぐに思いつくのは、\_ -> undefined とか undefined :: a -> b とかだけど……、さすがに違うよなぁ……

Tags: haskell


2007-02-23

λ. スキー四日目

パラレルというのに挑戦してみようとして、転びまくる。

コンディションがよければ、最後にスイングコースの28°の斜面に挑戦してみたかったけど、吹雪いていたので諦める。

千歳空港の味の時計台というラーメン屋で夕食。ホタテバターコーンラーメン。大きなホタテが3つ入っていた。

お土産にマリモッコリを買った……だいぶ迷ったが。

本日のツッコミ(全2件) [ツッコミを入れる]

ψ yaizawa [4日目でパラレルはちょっと早いでしょう・・・. # もしくは早くもシュテムターンを体得したとか!?]

ψ さかい [最終日だったので折角だから試してみたんですが、やっぱ早かったですか。 まだ、シュテムターンも知らないし…… # ム..]


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より随分時間がかかるようだ。 これは等号に直接対応していないため?

本日のツッコミ(全7件) [ツッコミを入れる]

ψ 竹内 [ParadoxとDarwin、 面白そうですね。僕は相変わらず遅いままの Prologプログラムで数独作ってます。(..]

ψ さかい [この手のツールは結構あるので、色々試してみると面白いと思いますよ。 > 話は変わりますが4月からまたしばらく神奈川..]

ψ とおる。 [ぼくもまえに MEPHISTO の制約システムで数独ソルバーを作ってみました。一階述語論理じゃないので、限界があるん..]

ψ さかい [おお。やっぱり視覚化されてると、見てて楽しいですね。 > 一階述語論理じゃないので、限界があるんですけど。 一階..]

ψ とおる。 [うん。でも、一階述語論理の場合は、可能な値を列挙できるようにルールを与えるものですよね? 逆にほかの制約解消アルゴリ..]

ψ さかい [うーん。 ParadoxやDarwinで値の列挙が可能なのは、これらのアルゴリズムが有限のサイズのモデルしか探さない..]

ψ とおる。 [ああなるほど。一階述語論理=有限だと思い込んでました。勉強になりました。]