2010-10-14 (Thu)

このところ忙しくてすっかり忘れていたが、今日はわしの49回目の生誕記念日じゃないか（拍手!）。授業がないので学生に拍手をしてもらえないのが残念。（させるなよ）
49もなかなかいい数字だな。{{'7²'}}。XLIX。1の位も10の位ももう一息、という感じがよろしい。
そろそろ老け込む人は老け込む年齢かもしれないが（プッ）、いちおう、90才で学会発表してボコボコにされるというのを目標にしているので、先は長い。少年老い易く学成り難しと言うが、高齢化社会で老いてからが長くなっているので、これからの勉強が大切。
朝刊トップはチリ岩盤事故で閉じ込められていた33名全員が救出されたというニュース。めでたい。
閉じ込められていた空間は50m{{'²'}}ほどだとか。3DKの公団くらいか。そこに33人か。無理じゃないけど、やっぱりそうとう窮屈だろう。一人が寝るのに2m{{'²'}}程度必要だろうから、交代で寝たんだろうな。
[[はかせくんのブログ|http://blog.livedoor.jp/iseda503/archives/1449940.html]]で次のような記事を見かけてちょっと気になったので頭を整理しておく。
授業中に質問一件。「ヒュームの法則に関連して、「である」から「べきである」は導けないことになっているが、義務論理も含めた様相論理ではAから□Aを導いてよいことになっている。その差はどう扱うのか」何の話かその場でわからなかったのでちゃんと答えられなかったが、つまり様相論理の公理系における定理としてAがみちびけたら「必然的にA」といってよいという必然化規則の話だった。たとえば、様相論理においても「AならばA」は事実判断だが定理として成り立つので、「「AならばA」であるべきである」も成り立たないとおかしい。これは通常の事実判断ではない論理的な判断だという理由でヒュームの法則の例外として扱うこともできそうだし、標準義務論理というのがあくまで現実の規範的判断の近似にすぎないことの例だという言い方もできそうだ。
そうじゃなくて、これはノーマルな様相論理の推論規則Nのことで、あるフレームのもとでvalidな論理式は、その同じフレームに基づくどんなモデルのどの世界でも真である、ということを意味する。これは、義務論理（K+D）に限ったことではなくて、ノーマルな様相論理一般に言える性質。
学生さんの質問は、この性質とヒュームの規則の関係はどうなってますか、というもので、こんな質問がもらえるなんて教師冥利に尽きるなあうらやましい。
ヒュームが言うのは "I cut class."から"I ought to cut class."を導いちゃいかんということだから、よくできた義務論理の中では任意の論理式αについて、α→□αがvalidになるようなことがあってはいけませんということ。細かい問題があるとしても、大枠で正しい。
ビシッと一言で答えるなら、様相論理の推論規則Nは、「to beがought to beを含意する」と言っているわけではなくて、「～と言い切るんなら、基本的に同じ構造のどんな状況でもそう言い切れよ」と言っているんだ、ということになるのかな。（Pがこの世界で定理なら、Pは到達可能などの世界でも定理である。）
なんかメールや電話の嵐。
ついでに、12月の鹿児島出張の予約も済ませた。JR九州ホテル鹿児島2泊＋JR往復切符で、27,400円。安い。
博多-鹿児島中央の片道料金が9,420円、ホテルが一泊7,500円。計算が合わないじゃないか。いいんだけど。
そろそろ作成途中のものを持ってきてもらう予定が、どうしても書けませんと言うので、フリップチャートを使ってマインドマップを作ってみる。するとたちまち問題点が整理されて見事なアウトラインができあがる。（やや脚色あり）
例の「学協会情報発信サービスにおけるホームページ構築・提供支援の終了について」を受けて対応を検討中の事務局から、○トラスという会社のDMが転送されてくる。なんでも、月額125円～の価格でサーバーを提供するとか。HP移設料が10万円～になっているのが気になるが、サーバーの安さが魅力なので詳細を問い合わせてみると、返ってきた答えは、この会社がやるのは、HPの移設作業であって、サーバー自体は、あまたある商用レンタルサーバーのなかから適当なものを「紹介」することなんだとか。そして、DMにあった125円～というのは、さくらのレンタルサーバーのライトプランのことだという。あまりの商魂に関係者一同開いた口がふさがらない。
さくらインターネットのライトプランを紹介して、学会HPの内容をそこに移設して10万円なり、ですか。FTPでせいぜい10分、wgetなら3秒の作業だ。金を儲けるというのはこういうことなのだなあと妙に感心する。