www.adventar.org

はじめよう位相空間

はじめよう位相空間

数学をやりましょう.

とりあえず位相空間論分からないといけないなということで借りました.目は大体通したのですが,手は動かしてないので絶対に身に着いてません.手を動かしましょう.

具体的なユークリッド空間の性質から始まり,距離空間位相空間へと少しづつ抽象的な議論に進んでいきます.一番最初に具体例が出てくるので,後々の一般的な議論の中でもユークリッド空間の場合に当てはめることで理解しやすくなって良いですね.「例示は理解の試金石」ということなのでしょう.

幾何学とは適当な変換に対して不変な性質を調べる学問だと考えていて,現実にも様々な幾何学的性質が見えると思います.例えば,エネルギーは座標変換によらない物理的に重要な量でしょう.統計学機械学習においても,変数の取り方によらないモデルの普遍的な性質に対象の本性が宿るやもしれません*1幾何学,身につけたいものですね.やっていきましょう.

*1:この着想は http://pandaman64.hatenablog.jp/entry/2016/12/02/225344幾何学的な量がベイズ推定の理論において重要な役割を果たしていることから来ています.

www.adventar.org

計測における誤差解析入門

計測における誤差解析入門

教科書の参考文献によく出てくる本です.不確かさの取り扱いについてかっちりした事を知りたくて読みました.

うーん.知らない内容は余り無かった記憶がある.χ^2分布の辺りは読まなかったのでよく知りません.
不偏性を持たせるために標本標準偏差の割る数を$N-1$にする理由とか知りたかったのですが,統計学の本を読むべきなのかしら.

練習問題も沢山あるし一からやりたい人には良いかもしれません.

www.adventar.org

物理法則はいかにして発見されたか (岩波現代文庫―学術)

物理法則はいかにして発見されたか (岩波現代文庫―学術)

確かに読んだんだが内容がおぼろげ大賞

ファインマンの講演を文字起こしした本です.物理法則がどのようなものなのか,現在知られている物理法則の勘所である保存量と対称性はどのように結びついているのか,彼の軽快で分かりやすい話しぶりには引き込まれてしまいます.

後半では彼がノーベル賞を受賞した経路積分や量子電磁気学について,どのような過程で研究し発見に至ったかを語っています.細かい所は覚えていませんが,直観で理論のギャップをエイヤと乗り越えてしまう所はわくわくしました.

www.adventar.org


[1604.02603] Information, Processes and Games

Twiiterで流れてきた大賞

論文の形式をしているけれども,本人がHandbookだと言っているので本です*1


「情報を得る」とはどういうことなのでしょうか.この問いに答えるには,情報の変化を扱えるような学問,すなわち「情報動力学(Information Dynamics)」が必要となります.このハンドブックでは,情報動力学の構成に向けて,現在までに構築された情報に関する(計算機科学の)理論を振り返り,簡単な解説を与えています.特に領域理論や論理学,ゲーム意味論といった話題に詳しいです.

僕はこのハンドブックを読んで「情報とは何か」という問いに強く惹かれるようになりました.いつか非自明な回答を返せる人間になりたいですね.日々精進. 今日も一日ありがとうございます.

*1:こういうのをサーベイ論文というのかしらん

www.adventar.org

最高

1巻読了後:

最新刊まで読んだ後:

最高.特別になりたいんだけど特別じゃないのが特別で特別になってしまうと特別になれないって百合なんだよな…

評価:尊尊尊尊尊
最高.

www.adventar.org

コンパイラ―原理・技法・ツール (Information & Computing)

コンパイラ―原理・技法・ツール (Information & Computing)

言わずと知れた名著大賞

今年の初めD言語の.NETバインディング作るぞーとなっていた時期があり,まずは簡単に言語自作してからだろうと読んでた.これは完全に気のせいで,ドラゴンブック読んでたの去年の10月だった.まあ気にしないことにしよう.

その時の成果物がこれ
github.com

F#+FParsecでパースして後はC#で意味解析+コード生成..NETはリフレクションが標準ライブラリでカバーされていてバイナリ生成からマシン語の出力まで簡単にできる.で,文とか関数宣言とか変数宣言とかはできるようにして,main関数で1+1とか計算して関数の戻り値がexeのステータスコードになってるぞやったーという所までは到達したんだけど,Hello Worldのために文字列を導入しようとしたら,型の扱い方が良くわかんなくなって無になった.

具体的に読んだ場所は構文解析からコード生成の辺りだったと思う.後半の最適化とかの所は全然読んでない.ドラゴンブックは文脈自由文法でパースしてレジスタマシンのコード生成をする流れなので,PEG*1+スタックマシン*2でやったC±には直接活かせない部分も多かった.基本ブロックを用いた意味解析の所とかは参考になったかな.やっぱりスタックマシンはサイコーだよ,AST舐めてその順に命令発行して終わり!だからね.

評価:✅✅✅
目的には合わなかったけれども勉強にはなった.虎本とか他のコンパイラ本も読んでみたいね.

http://amzn.asia/bWZ8TBe
このURLに意味はあるのでしょうか.決めるのはあなたです.

*1:Parsing Expression Grammar

*2:.NETなので

www.adventar.org

ベイズ統計の理論と方法

ベイズ統計の理論と方法

今年度もっとも訳分からん大賞

昨日の本が確率の哲学について語ったものだとすれば,今日の本は確率の実践についての本だと言えるだろう.統計的推測法の一つであるベイズ推測について,定義から性質・他の推測法との比較までコンパクトにまとめている.

正直コンパクトすぎて理解が追い付かない.論理展開を追う限りでは無茶苦茶なことはしてはいないと思うけど,行間を埋めるのがひたすら大変.これが数学書という奴なのかなあ.やればできる所はまだましだが,3章の途中から完全に数学が分からなくて死んだ.

とはいえ,各章末の問答集や第7章のような定性的なことを記述してある部分は十分理解できるし,深みが深い.統計的推測は全て不良問題であり,恣意的な選択無しには為され得ないという主張は面白かった.最尤推定にしてもベイズ推定にしてもそれを選ぶ必然性は無く,恣意的に手法を選んだのに過ぎないのである.しかし,手法の選択が全く恣意的であったとしても,手法の良し悪しを評価することができる.これこそが統計学の目的であるというのが,この本の大きなテーマである.

本書を読む前の自分は,統計的推測そのものがどういう基盤に立っているのか分からず胡散臭く思っていたのだが,本書の説明はその疑問を晴らしてくれた.その意味で,僕は本書にとても感謝している.また,本書は統計学を推測だけではなく,情報科学における機械学習にも応用できるツールとして説明している.僕はこれまで統計的推測と同様に機械学習に対しても完全に斜に構えていたのだが,本書の立場に触れて否定的な感情は消失した*1.今では機械学習も情報の獲得モデルの一つかなあという気持ちになっている.

評価:📝📝📝📝📝
数学をやりましょう.

*1:scikit-learnとかchainer触ったのもありそう