タイトルの元となった話が思わせぶりだったので、最後はそういう話になるのかと思っていたら、そんなこともなく終わってしまった。つくしのこ日本酒がこんなに美味しいものだとは知らなかった。飲んだので、お酒の名前はあまり覚えていないけど、少し前に知人に教えてもらった「李白」とかを飲んでみた。料理も美味しかったし、池尻大橋は遠いけど、機会があればまた行ってみたいなぁ。Chakravartyを読んだ。使ってみて面白かったので、また遊んでみた。ラクトース代謝モデルと、それを用いた発想推論。Alloyによる記述は以下のようになる。EColi.feed)}なお、ここではabducibleな述語(amount)以外の述語に関しては、ルール以外で真にならないようにモデル化している。いう論理式として記述する*2。いうのも、ルールに関係なく真にされてしまうと、「発想推論」にはならないので。ラクトースを食べていることを「説明」する仮説を求めるために、そのモデルを作ってみる。得られたことに相当する。ALP用のシステムと比較すると、ルールにないものは成り立たないということを明示的に記述せねばならず面倒。ALPの望ましい性質である仮説の極小性の保証はない。ALPのシステムの中には充足可能性のソルバを内部で利用するものもあり、ここではAlloyを使って同様のことをやってみたということで。(完備化意味論)にしたがって解釈している。PDFの余白をpdfcropで削除する。論文などのPDFを印刷するとき、特に一枚の紙に複数ページを印刷するときには、「余白を削除して拡大すれば読みやすくなるのになぁ」と思うことが良くある。Acrobatのトリミング機能を使えば余白を削除できるのは知っていたのだけど、そのためにAcrobatを買うのも面倒くさい。......と思っていたら、pdfcropというフリーのツールを発見。いう別のツールもあるようだ。それから、元のpdfcropの拡張パッチpdfcrop2。「非正格関数の融合変換における始代数の存在について」という題で発表します。内容は基本的には修士のときにやっていたことをまとめ直したものです。初参加なのでちょっと不安なのですが、よろしくお願いします。年5.2%)とのことだけど、さて。あと、外貨預金をするのは初めてだったのだけど、申し込みの際、表示される為替レートの有効期限が10秒でカウントダウンしていくというのが面白かった。メール増殖Thunderbirdでメールを整理*1していたら、どうもThunderbirdかサーバーかの調子が悪くて、いつの間にかメールが色々複製されまくってしまった。結果、5万通のspamが15万通のspamになるなど、色々面倒くさいことに。(Alternate)で重複メールを削除。Messagesよりもこっちの方が高速なようだ。(ぉぃ」とか書いたが、ようやく*1原典の論文読んで、アルゴリズムを理解した。手続き」と書かれていたもの。第341回PTTでやっていた、笹田さんの「最近のRuby処理系の話」を聞いてきた。並列版の話など、とても面白かった。以下は印象的だった話。自動的なアフィニティの設定スレッド間でのロックの取り合い(?)を防ぐために、監視スレッドがいて、閾値を超えたら自動的にアフィニティを設定して同一CPUに割り当てるとか。かっこいい!インラインキャッシュの話インラインキャッシュの話への首藤さんのツッコミは、最初は納得してしまったけど、よくよく考えたらそう簡単ではないような。以下のコードを考える。x.foo}このとき、私の理解では以下のようになる。いうキャッシュエントリが作られて、それへの参照がインラインキャッシュとして格納される。次にx.fooが実行されたとき、x.classとBarとを比較して、それが一致するのでFoo#fooを直接呼び出す。首藤さんのアイディアは私の理解では「エントリへの参照ではなくFoo#fooへの参照を直接インラインキャッシュに格納してしまう」というものだと思う。参照は持っていても、Barへの参照は持っていないだろうから、x.classとの直接の比較が出来ないのではないだろうか?ダミーのBar#fooを用意しておけば良いだけかも知れないけど。必要なのを書くのは馬鹿」というコメントが興味深かった。お菓子買いだめ20080122#p01はやっぱり買いすぎだった。残っているので、今回は少なめに。Prieaを試した広告がはいる代わりに、無料で写真を写真を印刷してくれるサービスであるPriea。前々から試そうと思っていたので、こないだためしに注文してしてみたのが、届いた。前に見たときには30枚1組を1月に2回までだったと思ったけど、試したら10枚1組を月に1回になってしまっていた。30枚を月に2回注文できるなら結構使いでがあるかと思ったけど、月に10枚しか印刷できないと結構使いどころが難しそうだ。3次会@ルノアールにて、先日の最近のRuby処理系の話に関係してLuaの浮動小数点数の表現の話が出た。Luaは浮動小数点数も整数もポインタも全部まとめたunionにタグをつけて、rubyでいうところのVALUEとして扱っているそうな。754のNaNの仮数部は0以外であれば良いことを利用して、そこに整数とポインタを埋め込もうとしているとかしたとか。オーディオの設定に問題を見つけたので、iTunesは実行できませんiTunesをアップデートしたら、iTunesの起動時に「オーディオの設定に問題を見つけたので、iTunesは実行できません」と言われて起動できないようになってしまった。結局、Quicktimeをセットアップしなおしたら直っのだけど、Appleのアップデートはなんか信頼できないと思った。こないだのジャンルが勝手に日本語になる件みたいなこともあったしね。5GBの容量とファイルサイズの50MBの制限は、ちょっとしたもののバックアップ等には十分だし、重宝しそうだ。IEにドラッグアンドドロップしてのアップロードは、ファイルに対してしか出来ず、フォルダを対しては出来ず面倒くさい。あと、理想を言えばファイルシステムとしてマウントできれば良いのにね。む、フォルダ間でのファイルの移動は出来ないのか。SFCにてたまたまSFCに行ったので、その際に久しぶりに向井先生とお話してきた。微分幾何学(?)等について教えてもらった。(ISSS'07)の予稿集CDをいただいてしまった。PaSoRiのリコールというコメントで知ったPaSoRiの無償交換に該当していたので、今更ながら交換してもらった。いう交換って、送ってから代わりのものが送られてくるものだと思いこんでいたのだが、新しいものとその場で引き換えてくれた。いう方法だと不便な期間がなくて良いな。TrueCryptを使っているのでドキっとして読んだのだけど、これは面白い。最近のTrueCryptではスリープ時に自動的にマウント解除するのがデフォルトの設定になっている。この攻撃への対策のためだろう。onlineご利用キャンペーン送料無料でかつLIFECARDのサンクスポイントが10倍たまるというキャンペーンをやっていたので、買おうと思っていた本を試しにちょっと買ってみる。LIFECARDの入会後3ヶ月はポイント2倍というのとあわせると、多分11倍になるのだろう。いっても、それでも大学生協のほうが得だったわけだけど。(はてな版)日記は現代の病です。読み過ぎ書き過ぎはあなたの健康を害する恐れがあります。2.2.10-p489。