うだうだWeblog2

　暑い・・・。梅雨はまだ遠いのかしらん？　平年では6月上旬なんだそうだが，今年はどうなるのかなぁ。今日の天気図を見ると，高気圧がドカンと太平洋側に居座っていて，梅雨前線は東西で分断されてしまっている。頑張れ梅雨！
　サーチエンジンの挙動に興味があるので，ついついWebのlogを見入ってしまう。賢いなぁ，と思うのはこんな感じの奴。
*.*.*.* – – [22/May/2007:19:29:47 +0900] “GET /robots.txt HTTP/1.1” 404 284 “-” “* (*.*)”
*.*.*.* – – [22/May/2007:19:29:50 +0900] “GET / HTTP/1.1” 200 7005 “-” “* (*.*)”
*.*.*.* – – [22/May/2007:19:29:54 +0900] “GET /weblog HTTP/1.1” 301 309 “-” “* (*.*)”
*.*.*.* – – [22/May/2007:19:29:54 +0900] “GET /weblog/ HTTP/1.1” 200 60791 “-” “* (*.*)”
*.*.*.* – – [22/May/2007:19:29:59 +0900] “GET /diary HTTP/1.1” 301 308 “-” “* (*.*)”
*.*.*.* – – [22/May/2007:19:29:59 +0900] “GET /diary/ HTTP/1.1” 200 2629 “-” “* (*.*)”
*.*.*.* – – [22/May/2007:19:30:05 +0900] “GET /schedule HTTP/1.1” 301 311 “-” “* (*.*)”
*.*.*.* – – [22/May/2007:19:30:06 +0900] “GET /schedule/ HTTP/1.1” 200 6799 “-” “* (*.*)”
*.*.*.* – – [22/May/2007:19:30:13 +0900] “GET /na HTTP/1.1” 301 305 “-” “* (*.*)”
*.*.*.* – – [22/May/2007:19:30:13 +0900] “GET /na/ HTTP/1.1” 200 3048 “-” “* (*.*)”
*.*.*.* – – [22/May/2007:19:30:22 +0900] “GET /na/bnc HTTP/1.1” 301 309 “-” “* (*.*)”
*.*.*.* – – [22/May/2007:19:30:22 +0900] “GET /na/bnc/ HTTP/1.1” 200 1391 “-” “* (*.*)”
*.*.*.* – – [22/May/2007:19:30:28 +0900] “GET /na/mpfr-ja-2.2.0.html HTTP/1.1” 200 205947 “-” “* (*.*)”
*.*.*.* – – [22/May/2007:19:30:35 +0900] “GET /na/mpfr-ja-2.2.0.pdf HTTP/1.1” 200 197563 “-” “* (*.*)”
*.*.*.* – – [22/May/2007:19:30:42 +0900] “GET /na/mpfr-ja.html HTTP/1.1” 200 176818 “-” “* (*.*)”
*.*.*.* – – [22/May/2007:19:30:49 +0900] “GET /na/mpfr-ja.pdf HTTP/1.1” 200 270389 “-” “* (*.*)”
*.*.*.* – – [22/May/2007:19:30:56 +0900] “GET /na/gsl.html HTTP/1.1” 200 4634 “-” “* (*.*)”
*.*.*.* – – [22/May/2007:19:30:59 +0900] “GET /na/abramowitz_and_stegun HTTP/1.1” 301 327 “-” “* (*.*)”
*.*.*.* – – [22/May/2007:19:30:59 +0900] “GET /na/abramowitz_and_stegun/ HTTP/1.1” 200 1607 “-” “* (*.*)”
*.*.*.* – – [22/May/2007:19:31:04 +0900] “GET /na/na_error_diff.pdf HTTP/1.1” 200 188392 “-” “* (*.*)”
*.*.*.* – – [22/May/2007:19:31:11 +0900] “GET /na/defofcalculation.pdf HTTP/1.1” 200 82141 “-” “* (*.*)”
*.*.*.* – – [22/May/2007:19:31:17 +0900] “GET /na/mpipc.pdf HTTP/1.1” 200 1481567 “-” “* (*.*)”
　ファイルとディレクトリの区別を拡張子で判断していることがよく分かる。
　　拡張子あり→”html, pdf,・・・”であれば読み込み
　　拡張子なし→”/”を末尾に付加して再度読み込み
　って感じかな。ふーむ，参考になる。
　Office 2007導入に当たって，一番評判が悪いのはデフォルトのファイル拡張子が”.docx”とか”.xlsx”のように”x”がくっついて変わってしまっている所らしい。が，ちょろっと調べてみると，ファイル形式がOpen化され，実はxmlファイルの固まりをzipで圧縮してあるものに変わっていることが分かる。試しに，Excelファイルの拡張子をzipに変更してWinzipで開いてみると，こんな感じで中が見える↓

　各シートは一つのxmlファイルになっていて，データの移行は簡単そう・・・なんだが，Floating-point数は10進フォーマットになっているから，変換誤差が出そうである。
　行列のBalancingのお勉強をしつつ，トウキビをかじりながら今夜も頑張ります。

　5月病。近頃では学生さんだけじゃなく，教師も罹患するようである。ドタバタと対応に追われるうちにすぐ直る，というところが，社会人の良いところである。「小人閑居」なぞしている暇がないので，「不善を」なす事もできない，と。暇こくとろくなことがないよなー，全く。ボチボチねじを巻いて，次の論文執筆にかからなきゃぁ。
　へー，PC2-5300とはいえ，2GBで1.3万円ねぇ。安くなったなぁ。当方，既に計算環境は64bit化済みなので，Max 8GBメモリへの拡張はすぐにできまする。もー，並列多倍長計算なんぞしていると，4GBメモリなんてあっという間に蕩尽してしまうのである。8GBあっても使い尽くすのは目に見えているのだが，まーないよりはマシ。ガンガン使って進ぜましょう。
　本年度から，学生さん用のPCにはOffice2007が入っているので，当方の職場環境にも導入してみた。いやぁ，こんだけメニューが劇的に変わっていると迷うこと迷うこと。大分慣れてきたとはいえ，こんなに変えちゃぁ，古手のユーザは移行したくなくなるよな。
　とはいえ，時間が経てば，最初からOffice2007に親しんできたユーザが増える訳で，そうなりゃ昔のシンプルなメニューの方が分かりづらい，という声が多数派になるのだ。いーよこちとらおっさんなんだから古い奴で十分，と開き直りたくなる気持ちはあるものの，定年間近のバカ○○じゃあるまいし，この先もM$様とお付き合いする必要がある現役ユーザとしてはちゃんと付いていく努力はしなきゃぁねぇ。
　ぼちぼちやって寝ます。

[ BK1 | Amazon ] ISBN 4-00-339441-0, \700

不完全性定理

posted with 簡単リンクくん at 2007. 5.20

ゲーデル〔著〕 / 林 晋訳・解説 / 八杉 満利子訳・解説
岩波書店 (2006.9)
通常2-3日以内に発送します。

オンライン書店ビーケーワンで詳細を見る

　いやー，昨年出た本だが，ほぼ同時期に出たウィトゲンシュタイン「論理哲学論考」同様，解説しか読んでいない，つーか，読めていないのに，ここで紹介するのはかなりの暴挙であり，「買って読んだ」本しか紹介しないというスタンスにも反するのだが，現実逃避しながら本書（の解説）を読んであまりに感動しちまったもんだから，その「感動した所」だけをちょろっと書くことにしたい。
　ちくま学芸文庫にも野崎昭弘「不完全性定理」が近頃収められたが，昔，これを読んだ時，どーしても靴下痛痒感が拭えなかった。いや，ヒルベルトによって「数学における論理体系は無矛盾か？」という問題がクローズアップされるまでの解説は見事だし，分かりやすい・・・のだが，肝心の不完全性定理の核心部分，ゲーデル数の構築手順が示されていない（コアな考え方とゲーデル数の具体例はある）ので，「分かった」気がしなかったのである。で，そこんところをきちんと書いている本はないか・・・と捜してみても，キッチリ記号的に書いてある入門書は見つからず（つーか，それをやったら入門書にはならんしな），とはいえ，現代的な記号論理学のテキストに当たるにしても，所詮そっち方面の専門家ではないワシとしては，ロクに使いもしない記号体系に慣れるだけ無駄，という意識があって，普段使っているもの以外，殆ど探索したことがない。しかし，一応，命題論理と一階述語論理（のトバ口まで）を講義する教師としては，一度ぐらいはゲーデル先生の大定理に触れるぐらいはしておくべきだろうと，わずかながらの良心の呵責を保持し続けていたところ，昨年（2006年）に本書が岩波文庫に収められたのである。でまあ買ってはみたものの，ずーっと枕頭に積んだままほったらかしにしていて，ようやくここ数日の現実逃避の末，前書きと本書の4/5を占める分厚い解説部分に手を出した，という次第なのである。
　いやー，目から鱗，とはこの解説のためにあるような言葉である。大体，今までの古い数学史での位置づけだと，KroneckerとかBrouwerなんて，Hilbert大先生に刃向かったアホ(数学基礎論に限っての話だよ)，というぐらいの位置づけだったのが，そうではない，ということをこの解説の大半を費やして説明してくれているのである。今も続く，数学理論というものに対する代表的な2大哲学，構築主義（直観主義）と形式主義という，どちらを省いてしまっても数学という太い縄を結えない大事な本質論をの片方をHilbertの対立者は担っていて，Hilbert（とその舎弟たち）も自身の理論を対立者との議論を通して強化していくと同時に，その核心部分を構築主義的なやり方で，もちろんメタな記号を導入することで作り上げていった・・・ということを，言われてみれば当然なんだけど，大量の一次資料にあたって調査した訳者らに示されると，もう説得力が格段に違うのである。
　そして，ゲーデル以来，いやゲーデルでさえも，不完全性定理は数学理論の「一面の」不確実さを述べているだけで，数学という体系自体が「殆ど至る所」不確実であるとは一言も言っていない，という主張は新鮮である。まあこれも当たり前といえば当たり前だし，野崎の本にもそんなことは書いていないのだが，どーも，この辺りの「誤解」は，不完全性定理を「また聞き」した慌て者が言い出して広めたらしい。訳者もこの点誤解しないよう警鐘を鳴らしている。
　現代の視点から，Brouwer v.s. Hilbertの議論を眺めてみると，ゲーデルの結果を知ってしまった上でも，両者の言い分が完全に間違いであった，とは言えず，むしろかなりの部分が今でも有効という結果が出ている，というのも初耳であった。つーか，ワシにとっては，「ふーん，まだそーゆーことをやっている研究者がいるのね」という驚きの方が大きい。最近は産学連携が声高に叫ばれていて，その主張の大半は正しいとは思うのだが，それを大義名分にしてあんまし理論屋さんを締め上げるのもいかがなものか，と，むかぁしちょろっと数学の水にあてられた人間としては苦い気分を持っていたので，少し安心したのであった。
　・・・とまぁ，解説だけでも随分とワシにとってはためになった本である。で，いつになったら肝心の「翻訳」部分をきっちり読めるようになるのか・・・となると，えーと，あのー，・・・という次第で面目ないのである。ま，また現実逃避したくなったら立ち返ってみよう，ぐらいの漠然とした「希望」は持った，という辺りでご勘弁願いたいのである。

　ちょっと夏への扉が閉まったかな，という気候。沖縄は早くも入梅。さて今年はどうなるやら。
　やっとJR主要各社のICカードが共通化されるのか。なんでJRグループで統一化できなかったのかなぁ。全国に出張しなきゃならんワシみたいなサラリーマンにとってはめんどくさくて仕方がない(同意見多数のようだ)。まあこれで列車に乗る分には小銭の処理に悩まされずに済むかな。
　あー，もー，どーしよーかな。もういい加減，Dual-core CPUのNote PCが欲しいのだが，Let’s Noteは相変わらず高いし，Core 2 Duo CPUのNoteとしてはこれが一番安いようだ・・・うう，UNIXだし，MS$ OfficeがNative対応だし，iTunesバッチリオッケーだし，Windowsだって動くし，ボチボチ移行する時期か・・・と思わんでもないのだが，うう，昔のルサンチマンが，あのリンゴマークを見るとわき起こってくるブルジョアジーへの怒りと羨望が邪魔をするのである。まあ来月までは我慢しよう。
　我慢ついでに，ちょいとこいつのUNIX(互換?)機能について調べていたら，こんなものが。ふーん，GMPとARPRECのサンプルか。ついでにこの環境ではどっちが早いか，書いてくれればいいのに。Opteronだと確かにGMP > ARPRECなんだろうが，最近のCore archだと，IEEE754 floating-pointベースのARPRECが結構追いついているんじゃないのかなぁ。
　ふーん，NTT東の大規模障害はRouterの負荷限界を超える経路情報の交換のせい，とな。自社ネットワークなのに，ずいぶんと複雑なRouting tableなのねん。
　MITから子供向けMultimedia作成ツール，Scratchが出たとのこと。ふーん，確かに概念的にわかりやすいかも。遊んでみる価値はあるな。
　日本応用数理学会から論文acceptの正式連絡が届く。やーれやれだ。これで累計5本目・・・だが，前回からは6年ぶり・・・もっとペースを上げないといかんなぁ。がんばりまっしょう。
　おや，固有値研究会はSWoPPの前日開催か。もうちっと早くアナウンスしてくれればこっちに蔵がえてしても良かったのに(と心にもないことを言う奴)。今やっているサーチエンジンが順調に動作すれば発表も考えたいが，今のところはちょっと厳しいよなぁ。
　寝ます。

　本書は，ほぼ日刊イトイ新聞（ほぼ日）の巻頭言や写真blogからの抜粋集である。だから，という訳ではないのだが，実はこれ，非売品・・・という言い方は適切ではないな。書店に並ぶことはないし，AmazonでもBK1でも楽天ブックスでも入手できないのだ。
　ほぼ日の直販のみ，なのである。
　ワシが入手したのは4月上旬で，既に受付は終了している。が，読者の反応が良かったようなので，今回再び直販が開始されることになったようだ。この機会を逃すと次はないかもしれないので，気になる方は是非とも申し込みされたい。
　毎日午前11時に欠かさず（過去数回意図的に休んだのを除いて）更新され続けているほぼ日の巻頭言は，今でも糸井重里自身が毎回書いているらしい。「書くことがないなんてことはない」と，言うことは簡単だが，それを実行することは困難である。その有言実行記録を続けているのはもう凄いとしか言いようがない。
　大体，1980年代の糸井重里と言えば，カリスマだったのだ。コピーライターという，あの星新一にも「少しはあの言語センスを見習え」と言わしめた，言葉の魔術師だったのである。だから，当時，千葉県流山市でウジウジとどうしようもなく陰気な大学生活を送っていたワシにとって，糸井は「地道な努力」とは最も縁遠い人と思えたものだ。
　その認識が間違っていたことを思い知らされたのは，以前紹介した「ほぼ日刊イトイ新聞の本」であり，今に続くほぼ日の隆盛である。糸井は1990年代後半から数年間，文字通り汗水垂らして「ほぼ日」の維持発展に尽力したのである。真面目に地道に全力を挙げてWebサイトを作り上げていったのだ。その過程を経て，糸井は次のような言葉を発するまでになったのだ。
　「できるまでやめなければ、できる」
　これは現在ワシの座右の銘となっている。こうして，糸井重里は「努力の人」に到達したのである。
　その糸井が毎日書いているほぼ日の巻頭言は，いつ読んでも大体面白く読める。そのアベレージの高さは，言葉のカリスマのセンスがまだまだ現役バリバリであり，そこに汗と涙（があったかどうかは定かでない）が注ぎ込まれた結果であると，ワシは勝手に想像している。
　いつかこの巻頭言をまとめてくれないかなぁ，とワシは思っていたし，多分，多くのほぼ日読者も同じことを念願していたと思うのだが，ほぼ日乗組員の永田も同じことを考えていたらしい。ただ，永田は多分，それをそのまま実行してはイカン，と気が付いたのだろう。糸井の巻頭言が高いアベレージを保っている重要な要素を取り出してみせること，これが重要だと思ったのだ（多分）。「カリスマのセンス」というダイヤを，原石を丸ごと提示するのではなく，カッティングすることによって，文字通り磨きをかけようと思ったのである。で，ほぼ日に陳列されたのが本書，という訳なのである。で，このダイヤを，糸井は「小さいことば」と呼ぶことにしたのである。
　磨きがかかっているだけあって，どの言葉もほんとうに「小さい」，つまり，短い。まるで詩である。しかし，内容は散文である。だが，それはダイヤというだけあって，意味は深い。アフォリズムになっているものも多く，気になっているところに付箋を貼っていたら，こんなになってしまった。

　それだけ，ワシの神経にびんびんと響いてくる「小さいことば」が多い，という証である。ここで一つ二つ紹介するのはやぶさかではないが，何せ数が多すぎて絞りきれない。とりあえず，えいやっと開いたところを一つだけお見せしよう。

　都会で立ち小便が減ったのは、
　規則が浸透したからでもないし、
　よく逮捕したからでもないよな。
　街がきれいになったり、
　ひょいと使える衛生的な便所ができたからだよ。

　「ふ～ん」と感心したあなたは，是非とも入手して頂きたいのである。感心できなかったあなたにも，たぶん，一つや二つや三つ・・・自身に響いてくる「小さいことば」があるはずだ。