ヒアドキュメント．Stringの%メソッドを合わせることで， 長い文字列もすっきり． 今まで何と無駄で読みにくいコードを書いていたのかと．

変数が保持するものは，オブジェクトへの参照．ラベル付け． どこからも参照されなくなるとGCのときに回収される?

nil/falseは偽であること， 変数は大体初期値がnilであること， 論理演算子が真偽値ではなくオペランドを返すことを利用して， 次のような初期化イディオムが使える．

  @instance_var ||= some_value

if/for/while/caseは値を返す制御文なので制御式と呼ばれる． ていうか値を返すのか．

some_var = if some_cond then
  value
else
  another_value
end

case制御式のためにcase比較演算子===がある．

catch/throwでネストしたループを脱出． 自分はたまに再帰で構文解析とかやるとC++の例外でほぼ同じような事を…．

コードブロックをオブジェクトとして扱う． 確かにイテレータメソッドは幾度も使って慣れてきたけど， Procでコード片をオブジェクトにして渡し， あとで使うなどということを意識してやったことはなかった．

attr_accessorメソッドで属性定義が簡単にできる． 以下のように書くと，Studentクラスにname/student_idの getterとsetterが自動で定義される．

class Student
  attr_accessor :name, :student_id

  def to_s
    "#{@name}, \##{@student_id}"
  end
end

student = Student.new
student.name = "line"
student.student_id = "1234cs567"
puts student    #=> line, #1234cs567

特異メソッド，特異クラス，メタクラスの関係がまだ把握できていない． ここでいう「特異」は”singleton”と訳すと知った． singularかと思ってました．

論文書いてる間は我慢してたので，早速買ってみた．

4873113679,caption

今まで書いた自分のコードが如何に冗長かということが分かる． Rubyを使うならRubyらしく考える…というのが必要でした．

配列はオブジェクトへの参照を並べたコンテナ…という言葉から色々と分かった気がする． 参照を持ってるだけならそういう動作になるわけだよ．

イテレータと言うと，C++に慣れた自分は

for (vector<int>::iterator ite = array.begin();
     ite != array.end(); ++it) {
  cout << *ite << endl;
}

でいうところの ite を想像するのだけど， Rubyではブロック引数をとるメソッドがイテレータ． 何が違うのかと思いWikipediaを見たら， イテレータには内部イテレータと外部イテレータの区分があるとのこと．なるほど．

Stringには%メソッドがあるのでsprintfは要らないようだ．

シンボルのことをinternされた文字列のようなものと言っていたけど， まずinternが分からない自分涙目．

途中まで読んで，気になったのはこんなところか．知らないことがたくさんあるなぁ．

• 女王シリーズの3作目は出るのか
• スカイクロラシリーズの文庫は単色の表紙に戻るのかどうか
• Gシリーズ/Xシリーズは完結するのか(目薬α〜は読んでない)

すみませんがサーバでエラーが起こりました。このページを再読込してください

固有ベクトルを（数値的に）求める方法．

行列の固有ベクトルと固有値は， （あるベクトルにその行列をかけた結果を）それぞれ伸縮する方向と伸縮率を表します． というのは4274065782,textからの受け売り． アニメーションで見る線形代数を見るとわかりやすい．

4274065782,caption

つまり，ベクトルに行列をかける（y=Axとでも書く）と， 元のベクトルはその行列の固有ベクトルの方向に移される． ここで固有ベクトルは一般には複数存在するが， （ベクトルyの）方向はそれらのうち一番伸縮率が大きい固有ベクトルに左右される． つまり最も大きい固有値に対応する固有ベクトルの方向に支配される （固有値が負だけど絶対値は大きいときは，その固有ベクトルと逆の方向を向くだけで， 結局その方向に支配されることに変わりはない．ということで厳密には 絶対値最大の固有値に対応する〜というのが正しい）．

以上よりこんなことを考える． 適当な初期ベクトルx₀を用意して， それに行列Aをかけてベクトルx₁を得る． またベクトルx₁に行列Aをかけて， ベクトルx₂を得る． さて，この手順を延々繰り返していくと， 最終的にベクトルx_nは行列Aの絶対値最大の固有値に対応する固有ベクトルの方向に向かうはず． これで固有ベクトル（の近似）が一つ得られる．このやり方が冪乗法（power method）．

これとは逆に，Aの逆行列A^-1をかけていくと， 今度は絶対値最小の固有値に対応する固有ベクトルの方向に向かうことになる． 実際にはA^-1を陽に求めず，LU分解して連立一次方程式を解く方が良いらしい． つまり初期ベクトルx₀を与えて Ax₁=x₀を解き，次に Ax₂=x₁を解くというのを繰り返す． これもまた固有ベクトルが得られる．このやり方が逆反復法（inverse iteration method）．

どちらも収束性は良いらしい．

いかにして問題をとくかを図書館から借りた。

1. 問題を理解せよ
2. データと未知のものとの関連を探せ。見つからなければ補助問題を考えよ。 解答の計画を立てよ
3. 計画を実行せよ
4. 答を検討せよ

という手順で問題を考えましょう、みたいな本。また個々のステップについて気を付けるべきことが事細かに書いてある。

未知のものは? 与えられているものは? 条件は? 矛盾はないか? 問題を部分に分けよ。似た問題を見たことがないか。言い替えができるか。定義にかえれ。違うやり方で結果を導けるか。他の問題に応用できないか。

などなど、問題に立ち向かうときに手元に置くと良いかも。買うべきか…。まだ読みきってないので上の言葉は適当に表紙の裏から取ってますが、なるほどと思うことばかり。

インターネットの法と慣習。 HotWired の連載は数回読んで、本になるとどこかで知って、後でまとめて読めば良いやーと途中で挫折。以来忘れてましたが、新書で出てると知り買ってみた。ソフトバンク新書だったか…。

順列都市〈上〉を買ってみた。

コンピュータ上の自分のコピーで実験がどうのとか、面白そうだったので買ってみた。これはまだ読んでない。

• よつばと! 6 (6)買った
• アルゴリズムイントロダクション 第1巻 数学的基礎とデータ構造 良さげ
• アルゴリズムイントロダクション 第2巻 アルゴリズムの設計と解析手法 これは欲しい
• アルゴリズムイントロダクション 第3巻 精選トピックス FFTとか行列計算とか計算幾何学は読みたい

本買いたいなぁ。あと勉強することいっぱいあるなぁ。レポート書かなきゃなぁ。

関数型言語といえば最近は Haskell が流行ってるみたいですね。さて、とりあえず教科書の「これが LISP だ!」を買ってみた。

そして家のマシンには sudo aptitude install clisp で Common LISP の処理系も入れた。

試しにちょっと打ってみる。

=> (+ 1 2 3 4 5 6 7 8 9 10)
55

はあ。引数を三つ以上取っても普通に計算してるのはなぜだ、とか疑問が。アトムと点対、リストは習ったけどこれじゃまだ分からない。

(1 2 3) <=> (1 . (2 . (3 . nil)))

リストを点対で表すとこんな感じらしい。あと関数は内側より外側から先に評価されるらしいと読んで ? となった。これは読み間違いか。普通に「関数呼び出しの実引数は、その関数が実引数に適用される前に、評価される」とある。

大学も 3 年になると面白そうな講義が出てきますね。セキュリティ工学とか。選ぶのが難しい。

いわゆる「世間は狭いねぇ」的な体験は偶然ではないということを示すのが昨今流行のスモールワールドネットワーク。リンクを多数持つハブと呼ばれる存在によりネットワーク内の距離が非常に短くなる。リンクを多く持つ者はより多くのリンクを獲得するという優先的選択からスケールフリーとなり構造的な頑健さを得る。とか。

これは難しかった。借りた本の中ではいちばん薄いから最初に読んでみたけど、数学の話がどさっと出てきて、論文を簡単にしたような本かこれは! と思い断念した。

また講義の先生曰く、この人の出したもう一つの本 スモールワールド・ネットワーク―世界を知るための新科学的思考法 という本は訳書が最悪なので読むなら原著を、ということでした。これは未読。

ランダムネットワークと規則的なグラフの間にあるスケールフリーネットワークとかの簡単な紹介? 例えや研究のエピソードが多く分かりやすい本だった。六次の隔たりとかケビン・ベーコンゲームは講義で出てきた。スモールワールドネットワークの構造、冪乗則とかからパレートの法則が必然的に現れるというのは面白い。選択と成長がこのネットワーク構造の重要な点だとか。

他の本にも出てくるけど、ネットワークはいろんな分野に顔を出す。筆者は同期現象を研究していてネットワークの構造に興味を持ち、色々と発見をすることになった。カオスが同期するとかいう話とかは講義でも出てきたので、驚きというよりも更に詳しく読むことが出来てへぇーという感じだった。

水が氷・水蒸気に相転移するというのは還元主義的に分解しても分からす水分子の構造を考えることで理解できる、という話が示唆的でした。個々の要素ではなく要素同士の関係を考える、という。

てなわけで、どれも（一番上を除く）面白い本だったのでお薦めです。

シフトには名字だけ書いてあって、私と同姓の人がいてそれを自分だと勘違いしていたというオチ。店に行くだけで 40 分くらいかかるのに、時間を無駄にしてしまった。確認しろよ > 自分

わりとがっくりきたので、最近本買ってないしあれ面白そうなんだよなーと思ってたのがあったので「フェルマーの最終定理（新潮文庫）」を買った。

フェルマーの最終定理っていうのは 3 以上の自然数 n について xn + yn = zn を満たす 0 でない自然数の組 (x, y, z) が存在しないっていう有名なやつ。フェルマーは他にもいくつか予想を残していて、それらは解決した（証明できた）けど上の命題はずっと解けずじまいだったので最終定理と呼ばれるようになったとか。この本は 17 世紀中頃にフェルマー自身がある本にこの定理を書き込んでからワイルズが 20 世紀終わりに完全な証明を発表するまでのドキュメンタリー的な内容らしい。日本の数学者が絡んでくるっていうのもなかなか面白い。

まだこの本も読んでないんですが、著者は他にも「暗号解読」とか「ビッグバン宇宙論」などを著していて、これは書名からして読むしかねぇなあという感じ。どれもこれもカスタマレビューの評価高くて（星三つ未満がほぼ皆無）うさんくせぇーと思ったりしなくもないですが、いずれにせよ読んでみたい本。大学の図書館で借りるかな…。

本のデザインで見ると、光文社新書、講談社現代新書、ちくま新書、集英社新書あたりは良いと思いますね。岩波新書は新装したみたいだけどどこが変わったのか微妙。

• 99・9%は仮説 思いこみで判断しないための考え方

で、最初に買ってみたこれ。わりと後悔してます（何）。

科学の理論は現れては覆されるし、世の中に定説なんて無いのだ、ということを言うために挙げた例が、東南アジアのリゾートに津波が来るなんて誰も思ってなかったでしょ? とか、山一證券がつぶれるなんて誰も思ってなかったでしょ? とか、それで納得しろと言われても…という。

本のタイトルにしても、

• 科学は仮説だ
• 常識も仮説だ
• 定説も仮説だ

はぁそうですか。という。そう呼んだら 99.9% は仮説だよ。

章末にある問題に関しても。日本の海岸線の長さは? という話で、日本の面積は 370000 km² だから一辺 600 km の正方形でだいたい置き換えられるので 600 km * 4 = 2400 km が日本の海岸線の長さです。これは本当でしょうか? と問い掛けてますが、その問い掛け自体どうなのよと思わざるをえない。何を以って本当かと聞いてるのかと。

何回か読み直してますが、新しい価値や知識とかは特になかったです。一緒に買った無限論の教室の方が面白い。

• 無限論の教室

計算論の講義で対角線論法についてやっていたので、後半の内容はわりとスムーズに飲み込めました。

ゼノンのパラドックスについても書いていて、現実にはアキレスは亀に追いつくわけで、つまり亀に追いつけないとする説明の方が間違ってる。何がおかしいのかというと、要は無限という概念の捉え方だと。では無限とは何なのか…という感じで、話がゲーデルの不完全性定理にまで及びます。小説みたいな感じで読みやすかった。

ケーキの差入れをもらって「ウヒョヒョー」とか言ってるタジマ先生とケーキは 5 個までなら大丈夫です! というタカムラさんにぞっこんです（何）。

この本を読んで、対角線論法というか自然数との対応付けという手法って正しいのか? と疑問が湧いてきた。大学の講義では証明方法はそれなりにやったけど、本題は計算論だったからたいした疑問を持つことなくスルーしていたし。

というわけで無限論の教室は面白かった。

「魔法」と「タブー」は呪術の両側面である、らしい。

• 「かくかく事の起こるためにこの事をなせ」が魔法で
• 「かくかく事の起こらざんためにこの事をなすべからず」はタブー。

これらは共通の法則に従ってもたらされると考えられる、と。

言葉が古い（1951 年に第一刷発行）ので読むのがとても疲れる。 けだし、なんとなれば、…せしめるには、などなど普段遣わないっていう言葉がちらほらと。

ギリシャ神話かローマ神話について、もっと調べてから読んだほうがよかったぽい。

「殺される神」って何なんだ…。