牧野の公開用日誌

Copyright 1999-2002. Jun Makino

2001/12 2001/11 2001/10 2001/9 2001/8 2001/7 2001/6 2001/5 2001/4 2001/3 2001/2 2001/1
もっと昔

当面の予定

2/4-5 駒場修論発表会 4 日 非博士
2/6 駒場博士試験
2/8 課題研究題目〆切
2/14-15 天文修論発表会 106
2/15 JGRG 集録〆切
2/18 打ち合わせ@駒場
2/19 天文専攻会議
2/22 全学広報委員会１０：００〜１２：００
2/25-26 アストロメトリ衛星何とか
3/1 学部課題研究発表会
3/5-6 未来開拓シンポジウム
3/11-13 箱根天体力学研究会
3/18 打ち合わせ@駒場
3/18-20 研究会@北大?
3/22-23 特定研究会@名古屋?
3/28-30?? 学会@水戸?
4/19-21 Coolchips V

2002/1/31

• あら、昨日と一昨日の分が日付がずれてた。修正。
• うーん、12時間動いたのは 8 台中5台？ GRAPE 並だな。とりあえずメモリ3枚のせいかどうかを確認せねば。
• 1号館にくると JCC とぷらっとホームのパンフレットが。 USIII 750 MHz で 150 万とか PIII 1.13GHz 3 台で 100 万とか書いてある。Dual Xeon で 40万というのはまあまともな範囲かも。
• 報告書出す。ふう。
• FSB clock やら電圧やらをいじって遊ぶ。これで安定度が確かにあがるのがすごい。そんな動作マージンが小さいものを売ってるのか。

• なにしてたっけ？あたま山計画ちょっと更新。
• 小久保君来訪。 GRAPE-5 里子にだす。

• そういえば、数値計算の(に限ったことではないが)プログラムの間違 いの発見・修正のしかたって、どうやっておぼえるものなんだろうか？ 例えばプログラミングや数値計算の講義や演習でも、説明されるのは計算アル ゴリズムと、まあ、後はせいぜい動くプログラムが与えられてそれの中身が説 明されるにすぎないわけだ。

  これがデジタル回路ハードウェアのデバッグということだと、これは極めて自動化 が進んでいる。もっとも、自動的に発見できる間違いは、設計、ないしはその シミュレーションモデルと実機の間の違いに限られる。この場合にはテスト入力に 対するシミュレーションモデルと実機の答を比較し、その2つが違うなら実機 のほうが間違っていることになる。で、スキャンテスト設計とかしておけば回 路の内部状態を完全に取り出すことができるので、内部状態でどこが違うかがわかり、 さらにデバイス故障モデルをもってくればそれがどういう故障かもわかる。 テスト入力自体のテスト(どれくらいの故障を発見できるか)も自動でできるし、ある程度まではテスト入力自体の自動生成も可能になっている。

  もちろん、このようなことができるのは、テスト入力に対応する「正しい答」がわかっているからであり、そのためにはシミュレーションプログラム自体が「正しい」ものでないといけない。まあ、というか、それが正しいかどうかと無関係に実機はシミュレーションプログラムとおなじ動作をするようになるわけである。

  つまり、「なにが正しい動作か」がわかっていれば、デバッグは完全に機械的な作業であるはずである。いいかえれば、デバッグで機械的にできないところは、「正しい動作」を与えるところにあるはずなわけである。

  というわけで、現実のデバッグ作業としては、各ステップで答が確認できるような簡単な、しかし間違った答がでる例を構築し、それについてどこで間違えるかを機械的にチェックすることで大体は終わる。あんまり創造性も根気も関係ない。

  で、まあ、人のデバッグを覗いてみると、多くの場合にステップ毎にチェックというのができていないし、それ以前に「なにが正しい動作か」がわかっていない状態でいろいろプログラムをいじっているわけである。まあ、途中をチェックしなくても最終状態が正しいかどうか判定できれば SA 的に正しいプログラムに辿りつけ、、、 たりは普通はしないというか、それにはよほど短いプログラムでないといくら根気があっても人間にはできる作業ではないしね。

• MPA か、いいなあ。というか、おめでとうございます。
• 24 port GbE SW注文。40万切ってる。なんかすごい。
• DNA コンピュータというか、、、とりあえずこれは多分最短路問題ではなくて、DNA 計算といえば普通でてくるハミルトンパスとかそういうもののつもりだったのではないか。

• 講義終了!
• 1/28 15-17 博士論文審査@本郷
  
• お疲れさま。まあ大丈夫と思われます。
• 「組み合わせ論的」×「組み合せ的」○。なるほど。

• Intel による x86-64 の記事、、、のはずなんだが、なんだこの記事？あ、英語 の元記事のほうはまともなことが書いてある。
• b-mobile は 臨時メンテナンス なんてものがあったのか。そういえばこのあとゲート ウェイの外から見える名前と IP が変わってたな。この日の夕方に調布のドトールで怪しい作 業をしていいたら隣に座っていたおじさんに「御専門は機械工学ですか？電子 ですか？」とか聞かれたような。すみません、多分どちらでもないです。
• ありゃ、コネクタがついてないではないか。
• とりあえず8台組み立て終わった。というわけであたま山計画いっぱい更新。

• NISTEP による調査の朝日による報道だが、なんか問題文が変(4番とか)。NISTEP の 資料とは違う文面になってる。
• 「戦時期航空機工業と生産技術形成」前田裕子、東大出版会を読む。博 士論文ですか。うーむ。
• そんなのを読んでる場合ではない。やはり博士論文の〆切は従来方式にしてほしい なあ。まあ、問題がない人は問題ないんだから、、、という議論はあるんだろうけど、もちろんこれは問題があるひとはあるということなんだし。
• これは確かになかなか素敵な問題ではないか。

• お、T-Zone 渋谷はまだ当座はあるのか。といっても当座でしかないみたい。
• 報告書書きって嫌い。まあ、好きな人は珍しいか。
• もちろん(2002/1/19の項ね)、あれというのはそれのことです。
• ああ、ついに空中戦が始まりそうな、、、こちらに流れ弾が飛んでこないことを祈るのみ(実は狙い打ちされてたりして)。
• 報告書は大体できたような気分になったので、計算機を組み立てて遊ぶ。もっとも面倒なのは梱包を解く作業であるということが判明。

• 1/24 打ち合わせ@駒場 13:00- 15-707
  
• ゼミ、高橋君。世界初の2DFP による中心BH 成長。画期的な結果といえよう。
• おお、 AO での IRCS 分光観測できるようになったのか。すごいすごい。 これだとM15 のコアの分光とか、、、ちょっと厳しいかなあ？M82 の星団の radial profile なんかは楽勝だな。

• 1/23 13-15 博士論文審査@三鷹
  
• 今日の日記の代わり。つうか、共立の本には要するにそういうことしか書いてないんだが。
• 出来たものは大変素晴らしいんだから、ちゃんとそうわかるように検証 とか他との比較とかをつけてくれれば、、、
• これ とかってもっともではあるけど、なんかその前にその気になれば少なくと も 0 ではない打率をだせる技術がないとはじまらないんだよな。
• 某原稿改訂版作成・発送。そうはいっても急に常識がついたりはしない んである。

• 明日審査のD論を読む。
• 私が常識のないおちゃらけた人間であるということが再認識される。
• え、京都の宇宙物理の助教授ってことは嶺重さんの後？
• ええええ、、、(ちょっと気が動転)

• 1/21? 物理学会原稿〆切
  1/21? 学術月報原稿〆切
  これらは処理されたはずである。
• ええと、latex source と PS ファイルを tar + gzip して送ったものに「一太郎のテキストファイルが文字化けしています」との返事がくるのはどういうことなんだろうか。物理学会って一太郎がデフォルトだったりするのかな。依頼文には「ワープロを用い」「text file を e-mailで送信して下さい」としか書いてないんだが。
• X が上がった状態で AFiNA に外付けモニタをつなぐと、、、あーら不思議、ハングアップ しました。 X の設定変えたせいかな？ハングアップしないようにXの設定(と思われる)をなんとかするのと、ハングアップしてもなんとかなるように ext2 を ext3 かなんかに変えるのと、どちらが正しいか。というか、両方するべきに決まってるわね。

• ありゃ、こっちも全然オーバーしてるではないか。ほぼ半分に削らない と、、、どこで計算間違えたんだろう？
• 学振の封筒は宛先が「行」。物理学会のは初めから「御中」と印刷して ある。まあ、手間が省けていいんだけど、なんとなく線で消して「行」に書き 直したくなったりして。あ、いかん、だんだん本当にしたくなってきたぞ。
• とにかく枚数には収めた。一応今日出して、、、明日につかなくても許してくれるかしら。まあ、遅れたからあなたの原稿はいりませんっていうんなら別にそれでもかまわないしなあ、、、というか、そのほうがありがたいよな。
• 両方送った。ふう。次は別の原稿修正を、、、で、講義準備も。破綻しないでできるとは思えないというかすでに破綻してるな。
• で、原稿修正を、、、あれ、既に直ってる？小人さんが直してくれたかな、じゃなくって、ありゃ、前に PS ファイルを作った時に latex を2回掛けるのを忘れてたか。なんか同じミスをした別の人に文句をいったことがあったような、、、いや、そうじゃなくて、そのミスを私のせいにされたことに文句をいったのであった。今回はちゃんと本当に私のミスである。
• 思い立って sendmail の spamlist を有効にして、いろいろ登録してみる。 msn.com とか hotmail.com を全部捨てればだいぶいいけど、そうもいかん。そういえば最近のヒットはこれである。

        Subject: Kill SPAM before it Arrives! SPAM FREE INBOX!                         27749
        From: Spamfree@mail.ru
  

• とりあえずエネルギーが保存はするようになったぞ、、、やっぱ無謀だったかなあ？
• Hammer の性 能予測 だって。

• サンプルをみながらレファレンスを付ける。ええと、番号は振るけど文 中では名前？ harvarditem を使ってできるんだっけ？で、形式はと、、、あ りゃ、論文ごとに形式が違うではないの。うーむ、さすが学振。
• それはいいが 4 ページに収まらなくなった。もうちょっと削る。
• こっちは計算機の話だから図とか自前で簡単なんだが、もうひとつは観 測からみなので図の reproduction premission が、、、ええと、でも赤外の はまだ論文になってないよね。どーすんだ？ X のは ApJ だから本人の許可だけだな。と思ったらこれは使いたい図と違うではないか。

• 1/18 打ち合わせ@駒場 10:00- 15-101
  駒場は私大より大変であるという話
• それはいいんだが上の予定がどんどん長くなるのは何故だ？
• ひたすら字数を減らす。今日の生産性はマイナス 10KB。
• 3大陸電話会議、、、

• ゼミは r-mode の話を英語で聞く。なんか良くわかった。まっとうな研究の方向というのはあーゆーものですね、みたいな。
• 不用意に人の悪口を言うのは、、、用意周到にだったらいいとか、そういう話なのかな？(多分違う)
• 1/17 理広報委員会 14:00- 1-205
  委員長が4人、みたいな。強力すぎる。ご苦労さまでございます>稲葉様。
• しかし和達さんって変な人である。(変わっているのほうが変なより好意的というのは同意しがたい)
• 3/26 から 128kになりますか。嬉しいなっと。
• メモ。しかし、K6-2 にくらべてちょっと速いといわれてもいかんわね。
• いかん、字数を大幅にオーバーした上に全然まとまってない、、、
• 明日には九十九から部品が届くそうなんだが、、、組み立てはいつになるかな？今月分の原稿はすましてからでないと。

• 1/16 教室スタッフ会議
  教務、、、 ですか、、、

• 意外に怪しくないというかまともそうだった。お客様はここの人。
• 予算は意外にまだあることが判明。というか補正(？)が来た分が残ってるだけだな。来年お金があるわけじゃないからちゃんと 0 にしないと、、、
• 1/16 学内広報原稿〆切 300字 1/15 に紙とフロッピ(!)を理学部庶務に
  これは出した。
• あ、もうひとつ〆切発覚。

• あ、森山さんの最後まで出たのか。
• あらら、ここにあれがリンクされちゃってるよ。
• 21日〆切のうちの一つをとりあえずチェックに回す。この隙にもうひとつをなんとかしないと。
• その前に 300字を処理。
• しかしなんか原稿書きばっかりだなあ、、、こういうのは大事な仕事ではあるというのは頭ではわかるが、誰か別の人にやって欲しいよな。あああ、もうひとつ〆切を思い出したぞ。

• ありゃ、ファイルサーバが落ちた？なんかこの子微妙に変なんだけど、何が悪 いのかしら？怪しいマザーに怪しい IDE カードを付けてるし。どっちかくら いは怪しくないほうがいいかも。
• とは思うがとりあえずほっとく。マシン移動しただけ。
• 原稿書きの参考にパリティ 1 月号を導入。蜂巣さんは写真ではなく似顔絵がのってる。これはしかしすごくよく似ているとはいいがたいような気もしなくはない。

• 原稿が進まん。というか、予定の枚数には到達したがまだ話が全然進ん でない。うーむ。
• なんだか謎な人から謎なメイルが。面白い進展があったらまた書こう。

• また来た。別人だと連絡してあるのに。

       
  Date: Thu, 10 Jan 2002 22:14:57 -0400
  X-Mailer: Windows Eudora Pro Version 3.0 (32)
  
  Dear Dr. Kazuhisa  Makino:
  
  We are sorry to take your time for a second time, but we thought you might
  be interested in knowing that we extended SCI2002 deadlines as follows:
  ......     
  

  これと Junichiro Makino 宛のが 2 通で、3通同じものが来た。 Second time どころではない。まったくもう。
• さすがに binhex には文句がついたのか、今度は PDF になって来た。ファイル名が日本語でないともうちょっとうれしかったかも。
• 1/11 11:00 打ち合わせ@15-707 駒場
  実施計画書の書き方みたいな。今年度の予算がこれから執行というのはなんか凄い。
• 某社がとある ML に流したメイルから

  PC クラスタシステムは、単に装置を結合しただけでは動きません。メモリ性能 (部材、BIOS)、CPU 性能、I/O 性能、ネットワーク性能などの性能をきちんと 把握し、システム管理ユーティリティを充実させ、スパコン並のバッチ処理シス テム機能兼ね備え、チューニングされた並列処理機構、数学ライブラリを実装 し、技術の分かるテクニカルサービスを提供することによって、初めて使える システムになります。

  文の主語がなんだかわからない。このパラグラフだけでなく、メイル全文がこういう調子で書いてあるし、、、会社の技術力自体を営業の日本語作文能力で判断してはいかんのだろうけど、でもこちらが付き合うのは営業だし。社内のどこかに高い技術があっても、営業でフィルタリングされてきてはしょうがないもんね。
• あああ、原稿が仕上がってない、、、

• Canvas 3.5.5 (ってなんだっけ)で binhex40 な添付ファイルが、、、 Word とか Excel ならともかく、こういうのは珍しい。Eudra だし。
• ありゃ、ネットワークボード1枚死んだかな?まあ、今度くるのが 3/4 動けばとりあえず足りるんだけど、壊れると面倒なんだよな。

• JGRG にいってきた。自分の話については嶺重さんから「わかった」とのお言葉をいただいたのでまあいいことにしよう。
• しかし、嶺重さん、鶴君、梅村さん「以外」の話は全くわからないというか別世界の話であった。しょうがないので原稿書き。で、電池が上がったので退散。ACアダプタもってくのを忘れてた。

• JGRG の準備をしないといけないんだが、なんか前に作ったのを見ていると変更するべき箇所があんまり思いつかない。別にこれの出来が素晴らしいわけではなくて、まあなんというかほら話だし、まともな観測の話は鶴君がするし。とはいえ、これで35 分はきついから、30枚くらいまで減らしたいような気もするが。
• というわけで微修正。

• 気が付くと JGRG はあさってではないか、、、
• 講義はとりあえず済む。 C/C++ でポインタを使って普通に書くと妙に人に説明するのが面倒なプログラムになるような気が。
• Top 30 用個人資料を作る。 Citation Count ねえ、、、

• 講義準備と学会予稿。講義は去年やったところが今回で尽きるので、来 週からは新しいネタがいる。ふう。
• 一応ネタはツリーコードを頭から書くというものなんだが、、、
• 下の、 h が抜けてると指摘あり。確かに、、、というか、次元がこれではあってないの。いかん。
• 学会予稿は出した。良い子は今日中、、、という以前に、金曜あたりには出しているべきですね。ちなみに217番であった。
• 明日から講義していいんだっけ？というのが急に不安になったので日程が書いてあるところを探す。物理のページでそうなってるから大丈夫だよね。あ、来週は休みか。
• 物理のページには歴代進学者の写真 なんてものがあるのか。いろいろ知り合いをみると大体みんな今とあんまり変わらん。
• Eric Hayashi の IAU 208 写真ページ

• 海の向こうで Tyan Thunder+RH7.2 の機械に GRAPE-6 をつなげるとかい うのを見る。RH ってなんかいろいろおかしいんじゃないか？
• 北海道にもらわれていった GRAPE-5 は、、、
• 1/10(ai-ai+1)+1/120(ji+ji+1)(記号いい加減) を 1/12(ai-ai+1)に置き換えてもいいのはどうしてか？
• 、、、動いたらしい。わーい。

• ふむむ、不可解なことは海の向こうでも起きるのか。というか、前もケンブリッジでワークステーションがごっそり盗まれたとかあったしね。とはいえ、管理者とかバックアップとかは信用しないで、大事なものは自分のノートPC に「も」もってるほうがいいかも。
• なんだこれ(保存版)。新しく作るくらいなら地球シミュレータの電気代でも出せばいいのに。というか、次世代スーパーコンピュータって何？
• 去年からほってあった学内雑用処理。なんで学内雑用で知らん人に英語でメイルをかかんといかんの？
• あ、2次補正(PDF)なのか。
• お、こんなところに戎崎さんが。
• なんか妙にここの更新が多いと思うかもしれないが、これはもちろ ん日本語の原稿を書いているからである。論文とかなら2体緩和だって dynamical friction だって知らんのは読むほうが悪いですむわけだが、解説 記事となるとそうはいかんし、といってそんなのから説明してたらいくら書いても話が進まない。うーむ。

• 起きると外は真っ白である。私は雪に弱い新幹線で今日中に東京にたどりつけるのであろうか。
• あたま山計画更新
• 意外に 40分遅れくらいで大きな問題もなく東京駅に到着。まあ、太平洋 側で雪が降ったのって本当に名古屋と米原の間だけみたいだったから、そんな ものかも。名古屋を出た時点での予想到着時刻より早く着いたのでなんか得し た気分になったけど、もちろんこれは予想時刻が遅めにみてあったのであろう。

• ダウンロードの速さが Air-H" のが速いのは何故？ pppd とか NN が悪いのか、サービスの質が違うのか？カード交換して比べてみればいいのか。
• しかし、彼らの性格(と私が思っているところのもの)から想像すると、 わざとってことはありえないと思うなあ。そんな高度な機能が実装されてると は思えない。
• Win95 がのったノートについてたハードディスクを Win XP の機械に移 動。 SCSI カードを追加導入する。さらに桐(が実家では使われているのであ る)を入れ直してサービスパックも入れてみる。ちゃんと動くものですね。当 たり前か。
• うーん、せめて熱量当りで計算するとかくらいはして欲しいような。 そういえばこのへんで計算してたか。
• Air-H" に比べて現状で bmobile が圧倒的に優れている点を発見。回線 がすいているのか、いつ電話しても必ずつながる。 Air-H" + Nifty とかだと夜はほとんどつながらなくなる。

• お、本当に新幹線のなかでも使えますね。まあ、トンネルとか、電波 状態が悪い時が多いけど。
• 実家の機械は何故か Air-H" になる。あとは Eudra-Lite を WXP の機械に入れるとか。

• 牧野のホームに戻る