状況に応じて鍬も鋤も変えてきた
なら、土地も変えるまでよ by 草薙素子

_ [ASURA] 掃除中

大晦日にもそんなことをやるとかいっていたような気がするのだけども、結局改造がすぐに終わらなくて今頃。旧正月。

_ [健康で文化的な生活] 午前三時の魔法

いろいろとタイミングが合わなくて、なんやかんやで気が付けばこんな時間(午前三時)。

_ [健康で文化的な生活] 2/1お昼

それは僕じゃない予感。

_ [健康で文化的な生活] 疲れた・・・

帰ってきて本を読む時間もDVDを見る時間もとれず、ご飯も外食ばかりで、よく眠れずよく起きれず。

最近ちょっとがんばれていたんだけども止めがきたような気がする。

_ [健康で文化的な生活] 30才

今月で30才かぁ。あっという間だったな。何かをやり遂げた気がぜんぜんしないし、それが錯覚じゃないのを良く知っているだけに切ない。

あ、半袖のちゃんちゃんこ送ってもらわないと(数年前から続く勘違い)。

_ [健康で文化的な生活] ハズレ

東北大学天文教室から、戦略的若手教員のハズレ通知来た。ハズレ通知が印刷された紙が上等だった。戦術的あるいは限定的な若手教員の募集はないのですか？

_ [ASURA] ダイエット中

ゴミルーチンを消して消して消して、二万行ぐらい削った。問題はまだ三万行もあることぐらいだな。

_ [健康で文化的な生活] 晴天

心が洗われるようだ、と網入ガラスの内側から現世を望む。

_ [健康で文化的な生活] 悪いことは続く

近所のパン屋にお昼を買いに行ったのだけども、レジにむかう途中、鞄をパンを入れたかごに引っかけてしまい、さらに隣に並んでいたかご一杯のパンをひっくり返してしまった。弁済を申し出たのだけども、払わなくて良いといわれてそのまま出てしまった。でもやっぱりまずい気がするなぁ。5000円分ぐらいのパンをダメにしてしまったのだしなぁ。お昼時だったしなぁ。

がっかり。

_ [Moleskine] Reporter Plain Large

メモ用に導入。しまった、今のインク激しく裏移りする。なんだろう、ruled だとほとんど気にならないんだけどなぁ。ruled は横線が薄く入っているからかなぁ。

アマゾンで買ったのだけども、帯に書いてある言葉がドイツ語っぽかった。ばーむくーへん？

_ [健康で文化的な生活] 環を閉じる

読みかけだった本を二つ読み終える。

ひとつは「ミュンヘン—黒い九月事件の真実(リンク先はアマゾン)」。だらだら読んだので細かいところ忘れているけども、ミュンヘンオリンピック事件(リンク先はwikipedia)の詳細を皮切りにイスラエル(モサド)がはじめた復讐の詳細が記述されたもの。映画ミュンヘンは人物に焦点を当てすぎていて、諜報機関/特殊部隊にある種の幻想を抱いている僕にはいまいちぬるすぎるという感想を持ったけども、こちらはモサドがシステムとして機能する部分を丁寧に書いてあって興味深かった。続けて落合信彦の「モサド、その真実—世界最強のイスラエル諜報機関」を読んでいる。

もうひとつは「ゲーデル 不完全性定理(リンク先はアマゾン)」。前にサイモン・シンの「フェルマーの最終定理」を読んでいるときにちょっと出てきた「ヒルベルト計画」に興味を持ったので、それ関連の本を探していて出てきた。本は導入後ゲーデルの論文の翻訳を載せ、その後数学の歴史を記述する。ヒルベルトとその周辺の時代に最も多くページを割き、そしてゲーデル、ゲーデル後に触れた後、最後に不完全性定理の数学的な解説を成して終える。論文に関する部分は読んでも当然ちんぷんかんぷんでどうしようもなかったのですっかり飛ばして数学史として読んだ。自身が数学に素養がなかったせいか、数学はもっとドライに進められる学問だと思っていた(つまり、自分にとってはわけわかんないし解けなくて延々と悩まなくちゃならないので拷問のような学問だったが(εδ論法が理解できなかった。今読み返せばさすがに理解できると思うが)、数学が得意な人は必ずしもそうではないので、そんなもんかと。最近、「フェルマーの最終定理」と「若き数学者のアメリカ」を読んでそうでもないかという感想も若干あったけども(最先端に行けばどんな学問でもトライアンドエラーで膨大な時間と精神力を必要とするのだろう。学問であり誰も立ったことがないところに立つのだ、それは尤もだろう))。だけども、数学はその基礎を固めんとして沸き立つような熱い時代を経たということを知った。その時代、その分野にいた人は身悶えするほど楽しかっただろうなぁ。うらやましい！

さらに今の数学がすごく最近(高々100年程度)の概念の産物なのだという感想を持ったのだけどもどうなんでしょう。それこそフェルマーとかニュートン、ライプニッツなんかがいた時代と手法が似たようなものあるいは延長線にあるようなものだと思っていたんだが。読んだ印象では、再定義を繰り返しているように、その度に同じもの(たとえば実数)に対して新たな概念からの意味づけを繰り返しているようにみえた。すると、仮に手続きが同じでも意味が変わっていたりするのかなと。その大きな変化(あるいは最初の変化？)が、ヒルベルト計画および不完全性定理だったのかな。この辺はあまり読んでも僕の頭の中で整理されなかったので誤解満載かも(誤解している自信はある)。

で、結局不完全性定理を僕は説明できないわけだが。著者が不完全性定理があることによって数学が矛盾をはらむことを必ずしも否定的に説明していないことに好感が持てた(この分野ではごく当然のことなんでしょうが)。そういうものの捕らえ方だから著者たちはあれだけ生き生きと描写できたのではないだろうか。(それで思い出したけども、竹内薫の「99.9％は仮説 思い込みで判断しないための考え方」は、言っていることは正しいんだろうけども、なんか否定的な側面が強く強調されすぎている印象で個人的にはいまいちだった)

あ、ヒルベルトと物理のかかわり(1910?-1920?)について興味が出てきたのだけども、何かよい本ないでしょうかねぇ。ライトなやつがいい。

_ [健康で文化的な生活] シャープペンシルがほしい

5年ぐらい前、バイト先で学生に貸したら帰ってこなかった。それ以来シャープペンシルは使っていなかったのだが、書き込み用にほしくなった。なにかいいやつないだろうか。

_ [健康で文化的な生活] なんつーか

コミュニケーション能力は重要だなという案件を続けて二つほど伝え聞く。自分も同じ失敗をしないように気をつけねばならぬと思うんだが、あまりにも極端な例だったのでどういう風に参考にしたらいいかわかりぬ。

_ [astro-ph] High Performance Direct Gravitational N-body Simulations on Graphics Processing Unit

(笑)

_ [健康で文化的な生活] しまった

今日はMUVのメンテだった。ソースを置きっぱなしじゃん。

_ [健康で文化的な生活] ショック

ショックだ。朝鮮総連北海道本部や有名ジンギスカン店を捜索・脱税容疑 。画像追加。

朝鮮総連北海道本部や有名ジンギスカン店を捜索・脱税容疑 
　札幌地検と北海道警外事課は5日、数千万円を脱税したとする所得税
法違反などの疑いで、札幌市のススキノにある有名ジンギスカン店「だ
るま」や同店経営者が幹部だった在日本朝鮮人総連合会（朝鮮総連）北
海道本部、朝鮮総連系の在日本朝鮮人北海道札幌商工会など約10カ所の
捜索を始めた。 
　経営者や商工会幹部ら計4人を取り調べ、容疑が固まり次第逮捕する
方針。 
　札幌地検は脱税した金が総連を通じて北朝鮮本国に流れていた可能性
もあるとみて調べる。警察当局も北朝鮮に関係する金をめぐる事件を積
極的に摘発する方針を示しており、兵庫県警が昨年12月から今年1月に
かけ、兵庫県商工会幹部らを税理士法違反の疑いで逮捕している。
　関係者によると、経営者らは札幌市中央区のススキノにある本店と支
店のジンギスカン店２店の売り上げを少なく見せ掛け、数千万円を脱税
した疑惑が持たれている。商工会幹部は無資格で税理士業務を引き受け
た上、経営者から寄付名目で多額の金を受け取っていた疑いがある。
〔共同〕  (12:32) 

お気に入りのお店でいろんな人に教えていたのに。。。

_ [健康で文化的な生活] お昼は竹寿司

久々に、一人で。隣に外人が座る。「お断り」はなんて読むのかとすごく上手い日本語で聞かれたのでつたない英語で説明した。通じたのだろうか。ICU のプレイボーイらしい。確かに感じのいい人であった。

_ [健康で文化的な生活] 指揮系統がたくさん

下流が細い(つか一人)なのだらよ。

_ [健康で文化的な生活] まだだ、まだ動かんよ

次生まれ変わることがあったら汎用品で生きていけるような人になろう。そうじゃないと死ぬ。本当に死ぬ。というか、今もすでに死んでいる。しんどいなぁ。

_ [ASURA] ruby でソースジェネレーター

手元に本がないとできん。

_ [健康で文化的な生活] 空腹

耐えられない午後5時半。この辺食事とれる場所がないのが非常に問題。院生の頃は集中力がとぎれたところで食事を取って仕切り直しが出来たんだけどなぁ。

なので、書くべき書類を全く書いていない。

おなかすきすぎなのでご飯食べて帰ってきた。寝起きがわるい、日中眠い、全身だるい、疲れている、おなかがすく、集中力がない、、、充実感がない。充足感がない。わがことながらあまりまともじゃない気がするなぁ。文句が多いなぁ、自分。

年を取ると愚痴っぽくなっていかん。

_ [健康で文化的な生活] 大尉殿は言いました

魂にも贅肉はつく、と。これは、心の贅肉とはまたちがうんや。

_ [健康で文化的な生活] プログラマの心の健康

参考になるようなならないような。

_ [健康で文化的な生活] 申請書類

昨年と良く似たものを作る。あまりにも良く似ていて僕には区別がつかない。

_ [ASURA] あれ？

メモリ使用量がとんでもないことに。メモリリークの予感。

どこで変なのか完全に絞り込めていない。どこだ？

発見。とんでもないミスをしていた。よかったちゃんと気が付いて。いっぱいある #ifdef/#ifndef のとあるところで間違いを仕込んでいた。間違わないような何かを用意しておくべきだなぁ。vim では、当然ながら #ifdef/#ifndef の中身の色が変わったりしないので(#if 0 であればコメントアウトとして扱ってくれる)、緩慢にプログラムしているとおかしくなる。

あやうく人のせいにするところだった。あぶないあぶない。

_ [ASURA] Phantomは便利だなぁ

ありがたい。

_ [ASURA] 半分

あまりにもいろんなところに手を入れたので自分で自分がわからなくなりつつあるが、だいたい計算時間が半分になった。

_ [ASURA] mpd

mpdboot_??? (handle_mpd_output 388): from mpd on ???, invalid port info:

う、なんだこれ。。。なんか、設定がおかしくなった予感。

_ [健康で文化的な生活] 書類

xpdf だと問題ないのに、adobe reader 8 だと最初のページが表示されない問題が発生。理解出来ないし、昨日は表示されていたような気がする。何ででしょう。

一ページからのページを追加するか、そのまま出すかで悩む。xpdf で正しく見えるのだから、adobe reader がおかしいのだろう。

gmail で html 表示させた場合も一ページ目はちゃんと存在する。つまり adobe reader の問題だろう。

_ [ASURA] メモリリーク

もう一カ所あるっぽい。どこだ！？

_ [ASURA] リーク！リーク！リーク！

諸君　私は漏洩を地獄の様な漏洩を望んでいる

諸君　私に付き従う大隊戦友諸君

君達は一体何を望んでいる？

更なるmallocを望むか？

情け容赦のない糞の様なreallocを望むか？

鉄風雷火の限りを尽くし三千世界の鴉を殺す嵐の様なfreeを望むか？

『リーク！　リーク！　リーク！』

よろしい　ならば漏洩だ

我々は渾身の力をこめて今まさに振り降ろさんとする人差し指だ

だがこの暗い闇の底で半世紀もの間堪え続けてきた我々にただのメモリリークではもはや足りない！！

膨大なメモリリークを！！

システムすら巻き込む超大なメモリリークを！！

_ [ASURA] おや？

あるライブラリを使うと徐々にメモリ使用量が・・・

というわけで、僕のせいではなかった。

_ [ASURA] drive update 失敗

リモートで最新のドライバに更新しようとして、失敗したので再起動をかけたら起動しなくなった。

Linux なのに、何かよく分からないことが起きたらとりあえず再起動しようという発想はどうかと思う。

計算機室で一時間ほど再起動と新しいドライバのインストールを行っていた。寒い。風邪気味なのに。

_ [健康で文化的な生活] 半分もやさしさが！

バファリン効くなぁ。これさ、全部やさしさにしたらすごく効くと思わない？俺天才じゃね？

_ [ASURA] やった

きたみたうごいた。

_ [ASURA] なんか

二ヶ月ぶりに計算を動かしてみる。こんなちんたらやっていて間に合うのか、ぼくの人生。

_ [健康で文化的な生活] 味わい深い

昨夜、ミスドで二時間ほど本を読んだあと、散歩がてら駅の南口の方にでたら、色紙に面白い言葉を書いたものをいっぱい並べている人がいた。ちょっと面白そうだったのでじっくり眺めていたら、いくつか魂を揺さぶられるすばらしいものを発見してしまった。 20分ぐらい書いた人とちょっと話しながら悩んだあげく二枚購入。お代はこっちで決めてくれと言うことだったので、二枚で3000円にした。 片方は自分がもし将来偉くなるようなことがあったらそのときに使うこととしよう。 週末は日中は原宿にいるそうです。調布駅ににいるのは土曜の午後9時以降のことが多いとのこと。毎週いるかはわかりませんが、興味ある人はどうぞ。

_ [健康で文化的な生活] WinSCP

WinSCPって何であんなに、描画が変になったり転送速度が遅かったりするんだろう。結構長いソフトだから、そういう問題が生じている理由が解せないのですが。

_ [健康で文化的な生活] 巻頭言は、

某所からのコピペだったりしますが、大変すばらしいと思います。

_ [健康で文化的な生活] なんか

すでに別件の雑用的仕事が。。。

_ [健康で文化的な生活] 頭痛

死ぬまでに一度、枕を高くして眠ってみたい。

_ [健康で文化的な生活] 眠い

鼻かむと鼻の付け根が痛い。コレなんて病。

_ [健康で文化的な生活] 書類提出

なんか、高圧的な文面だなあ。

_ [健康で文化的な生活] ついて行けない

10ぐらい下の人の考え方について行けない。コレが若さか。自分も青かったであろうと想う今日この頃。

もっとも、青いのはいつものことであり、今も真っ青である。

_ [健康で文化的な生活] 運転免許証更新

黄金色の免許書更新。プラチナ会員に。いや、金だけど。今回はICチップ搭載バージョン。たしかに、日にかざすと四角い5ミリ四方程度の黒い影が見える。これからは本籍はこちらにだけ登録されるらしい。

_ [健康で文化的な生活] チーム30

明日合流する。

_ [健康で文化的な生活] やめる

俺は20代をやめるぞ！ ジョジョーーッ！

_ [健康で文化的な生活] 大問題

私が普段使っているものに、私のせいではないとんでもない問題発覚。もう、知らん。

せめて晴れやかにすごしたかったのだが。

_ [健康で文化的な生活] チームサーティーに合流

何もかもが神々しく見える。

_ [健康で文化的な生活] ありがとう

半そでの赤いちゃんちゃんこ(の絵をもらう)。三十の重みを感じる。

さて、盗んだ二輪車x2で走り出すか。風になるか。

_ [健康で文化的な生活] アニメの“聖地”練馬区　商店街活性化へ「フラッグ」作戦-エンタメニュース:イザ！

春風高校についての言及はないのか！って、あれは基本的に漫画か。アニメは飯田線専修だったけ。

_ [健康で文化的な生活] 昨晩は

怒りのあまりなかなか寝付けなかった。あるいは、寝付けなくて怒りが反芻されたのか。

_ [健康で文化的な生活] 振り出しに戻る

ということで、時代はPhantom。刻が見える・・・

_ [ASURA] Frontiers in computational astrophysics

メモメモ

_ [健康で文化的な生活] 開発プロジェクトで使える(かもしれない)アニメの名台詞

自分が使ったことがあるor使いかねないのは、1,4,5,9,11,12,17,18あたりだろうか。

_ [健康で文化的な生活] 理研公募

理研は住宅地手当が付くのか。丸の内勤務と言うことは、都心に住めるのか。

そうかそうか。

追記：言っておくけど、まだ出していないんだからねっ！(ツン)

_ [ASURA] 1000万パワー

並列で解析するツールを作らないと、絵一つ見ることが出来ないね。解析用の並列計算機がないと解析出来ないね。

余裕がないわー

_ [ASURA] あう

フラグ間違えた。

_ [健康で文化的な生活] プラネタリウム

僕のシミュレーションとYSKさんのでプラネタリウムの番組になるらしい。

ぼくのあれ、やり直したいなぁ。

_ [健康で文化的な生活] 石の谷のナウシカ

アスロン！みんなに言って！
計算機の生まれたわけを、計算機は世界を守ってるって！

感動した！ 一つ上からいける吉野屋も感涙失禁ものです。

超並列で数値計算。これが通のやり方。
数値計算ってのは結果が多めに入ってる。そん代わり考察が少なめ。これ。

_ [健康で文化的な生活] ということで

とりあえず、理研のは出していない。

_ [健康で文化的な生活] Grace

ちょっと良さそうじゃないの。pgplotは線種が4つしかないとかいろいろ悲しいから。

四つも線が必要なほど難しいことを考えたことはない。

_ [健康で文化的な生活] 一方此方天文台では

油断していたら本郷で猛威を振るった教授様に茶碗を洗われてしまった。

_ [健康で文化的な生活] アフターヌーン4月号

蟲師、ふつうによい。無限の住人はまぁまぁ。宙のまにまにはどこに行くのだろう。

実写映画版のギンコは銀髪の鬼太郎みたいなんだが。

_ [健康で文化的な生活] 山

明日から山篭り。もっと強いやつと戦いたい！

じゃぁ、この日記を読んだ人は各自思い思いのシュプールをコメント欄に記すように。変なものが書いてあっても帰ってくるまで消せないから、そのつもりでヤレ。