このブログはコメントが付けられますが、こちらで確認してから反映するようにしています。何日も気付かないことがたまにありますが、そんな時は気長にお待ちくださいませ。

追記(2009/05/08 08:27)
訂正です。ある条件を満たすと確認なしで表示されます。

レスポンス[2]

投稿者 kw : 2009年5月7日 22:09:00 JST #

有限な meet-semilattice 上の制約解消問題のうち真っ当に解ける（NP-hard でない）問題のクラスについて議論した論文。これを読んだのは、情報流解析の型システムを制約解消系として実装する時に解ける方に入ることを確認するため。似たようなことをやってる別の論文でこれに基づいているのがあるから大丈夫なんだろうけど、元論文にも一応当たっておくということで。

author="Jakob Rehof and Torben Æ. Mogensen",
title="{Tractable Constraints in Finite Semilattices}",
journal="Science of Computer Programming",
volumn="35",
number="2",
pages="191--221",
year="1999"

コメント追加

投稿者 kw : 2009年5月7日 21:38:00 JST #

金曜日の夜から体調不良で家でおとなしくしています。どこか走りにいこうと思ってたのに。風邪には気をつけましょう。明日は所用で名古屋に行きます。

レスポンス[2]

投稿者 kw : 2009年5月4日 17:00:00 JST #

フォン・ノイマンの生涯、Norman Macrae 著、渡辺正、芦田みどり訳、朝日新聞社

読了。

コメント追加

投稿者 kw : 2009年5月3日 11:54:00 JST #

ブルバキとグロタンディーク、Amir D. Aczel 著、水谷淳 訳、日経BP社

読了。

コメント追加

投稿者 kw : 2009年4月26日 18:46:00 JST #

いろいろ悩んで結局もうしばらく Willcom でがんばることにしました。キャンペーンで今契約すれば月額 980 円で 2 年間いけるってのが理由ですが。イーモバイルとかにするよりも安く済むし。速度は遅いけど、今まで 64k でやってきててそれで特に困ることもなかったし、それよりは少し速くなったし。2 年後には Willcom Core も広がってるだろうし、その時にまた考えるってことで。

コメント追加

投稿者 kw : 2009年4月26日 16:38:00 JST #

Mac の Eclipse は Java6 で動かないですが、諸事情により普段は Java6 なので Java5 で実行するように設定ファイルを編集。Eclipse.app/Contents/Info.plist を

<key>Eclipse</key>
<array>
  ... いろいろ ...
  <string>-vm</string>
  <string>/System/Library/Frameworks/JavaVM.framework/Versions/1.5/Commands/java</string>
</array>

となるように変更。今回は編集になんとなく Property List Editor を使ってみました。

コメント追加

投稿者 kw : 2009年4月23日 10:11:00 JST #