投稿者: T.Kouya

　ふひー，やっぱり一筋縄ではいきませんな＞Balancing　ちょっと今読み込んでいる暇はないので，まずはgotoだらけのFortran77ソースをそのままCに変換して済ます。
　でもこれって真面目に取り組めば，サーチエンジンに使えそうな気がする。結構重要な技術ではあるんだな，きっと。今回は資料を眺めるだけにして，夏休み以降，本格的に読み込まねば。つーことで資料請求もしておく。
　ふーん，榊原先生死去，か。最近は使ってないけど(高いし)，Mathematicaのテキストにはお世話になりました。還暦ちょっと過ぎってのは早いよね。合掌。
　今日はちょっと別方面のソースを読み込みます。

　暑い・・・。梅雨はまだ遠いのかしらん？　平年では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の前日開催か。もうちっと早くアナウンスしてくれればこっちに蔵がえてしても良かったのに(と心にもないことを言う奴)。今やっているサーチエンジンが順調に動作すれば発表も考えたいが，今のところはちょっと厳しいよなぁ。
　寝ます。