■数学ガール 整数の《本当の姿》 [book]

数学ガール/フェルマーの最終定理 (数学ガールシリーズ 2)

• 作者: 結城 浩
• 出版社/メーカー: SBクリエイティブ
• 発売: 2008-07-30
• ASIN: 4797345268
• メディア: 単行本
• 

フェルマーの最終定理の証明に関しては、最後の10章でのみ語られる。

フェルマーの最終定理は、その命題だけを見れば整数しか現れない。
けれどその証明には、今のところ楕円曲線という別の世界への橋を渡らなければ到達できないわけで。それが証明を解説するのが難しいところでもあり、あるいは証明までに長い時間を要した理由でもある。
今のところ、整数しか現れない命題に「初等的な証明はない(p335)」のだ。

では、この本はというと。
「数というものの《ほんとうの姿》(p25)」は何なのか? どこにあるのか? どこを通ればたどり着けるのか?
あるいは、それを追いかければどんな世界を垣間見ることが出来るのか? というのが大テーマ(だと勝手に思った)。

そのための道具立てが「フェルマーの最終定理」。
そこにたどり着くまでに見える世界は豊穣で、広い。理解するのは難しく、けれど想像することが楽しいほどに。

テトラちゃんが、群というキィワードを頼りに、想像の翼を広げて楕円曲線という世界を垣間見る瞬間があった。
その一行一行を、テトラちゃんの世界が広がる様を、ゆっくりと堪能した。
それは、私にとっては「感動した」と表現するのに値する時間──。

■統計的言語モデル [book][tech]

ぶっちゃけきしださん(id:nowokay)が薦めていたからという理由で買ったわけだけど、これはいい本だ!
音声認識システムというタイトルなのだけど、音声を扱わない自然言語処理、言語モデルを勉強したい人でも問題なくお薦めできる。

フリーソフトでつくる音声認識システム パターン認識・機械学習の初歩から対話システムまで

• 作者: 荒木 雅弘
• 出版社/メーカー: 森北出版
• 発売: 2007-10-01
• ASIN: 4627847114
• メディア: 単行本（ソフトカバー）
• 

音声認識なのでフーリエ変換とかフォルマント(懐かしい!!)とか出てくるけど、音声関係ない人は無視していい。

NN法、パーセプトロン、SVM(サポートベクターマシン)にニューラルネットワーク、ベイズ推定から、システム評価法(分割学習とか効果確認法とか)にチューニングまで。
モデルとしてはHMM(隠れマルコフモデル)と学習のさせ方。
正規文法に文脈自由文法。

これだけの範囲を扱っていて、なお説明は読みやすい。
数式は出てくる。定式化が必要な部分ではちゃんと式を使って説明するのだけど(そうでなかったら評価はもっと低い)、その前後の説明や図表の使い方がうまい。

これは良い買い物だったと思う。

■夢の中の恐怖 [movie]

見たい……が、レア品だ。高ーい!*1

夢の中の恐怖 [VHS]

• 監督: ベイジル・ディアデン,アルベルト・カヴァルカンティ
• 出演: マイケル・レッドグレーブ,バジル・ラドフォード,チャールズ・クライトン,ジョージ・ウィッターズ,サリー・アン・ハウズ
• 出版社/メーカー: ビデオメーカー
• ASIN: B00005HBPL
• 発売: 1989-12-15
•