スキー四日目パラレルというのに挑戦してみようとして、転びまくる。コンディションがよければ、最後にスイングコースの28°の斜面に挑戦してみたかったけど、吹雪いていたので諦める。千歳空港の味の時計台というラーメン屋で夕食。ホタテバターコーンラーメン。大きなホタテが3つ入っていた。お土産にマリモッコリを買った......だいぶ迷ったが。[最終日だったので折角だから試してみたんですが、やっぱ早かったですか。3次会@ルノアールにて、先日の最近のRuby処理系の話に関係してLuaの浮動小数点数の表現の話が出た。Luaは浮動小数点数も整数もポインタも全部まとめたunionにタグをつけて、rubyでいうところのVALUEとして扱っているそうな。754のNaNの仮数部は0以外であれば良いことを利用して、そこに整数とポインタを埋め込もうとしているとかしたとか。オーディオの設定に問題を見つけたので、iTunesは実行できませんiTunesをアップデートしたら、iTunesの起動時に「オーディオの設定に問題を見つけたので、iTunesは実行できません」と言われて起動できないようになってしまった。結局、Quicktimeをセットアップしなおしたら直っのだけど、Appleのアップデートはなんか信頼できないと思った。こないだのジャンルが勝手に日本語になる件みたいなこともあったしね。Darwinで数独を解くParadoxで数独を解いてみたので、そのついでにDarwinでも試してみた。いうのを考えて、それを使っているとか。実際に試してみると、Paradoxより随分時間がかかるようだ。Prologプログラムで数独作ってます。[この手のツールは結構あるので、色々試してみると面白いと思いますよ。制約システムで数独ソルバーを作ってみました。視覚化されてると、見てて楽しいですね。一階述語論理じゃないので、限界があるんですけど。