ぎょーむ日誌 2014-06-30

2014 年 06 月 30 日 (月)

• 0600 起床． 朝飯・とらめし・弁当の準備． ささっと朝飯． とら坊がおきてきたので， とらめし． コーヒー． 0810 自宅発． 0820 保育所着． 0850 研究室着．
ちょっとした Twitter 雑談が発展して， またいろいろと教えていただけた ……
• RT @mujinbot : ワイルの均等分布定理（equidistribution theorem）。ヘルマン・ワイルなるドイツの数学者によって発表された定理。ベンフォード則の一部を数学的に証明できるので複雑系の分析に使える。人工生命などの複雑系にも応用できる。 pic.twitter.com/qbhovGq9t7   09:58:10
• ベンフォードの法則 ja.wikipedia.org/wiki/%E3%83%99… 自然界での測定結果はしばしば対数的に分布する …ということは… 一様分布の事前分布はよくない?! …はんぶん冗談ですが．   10:01:10
• RT @ibaibabaibai : @KuboBook Rissanenとか符号の人がＭＤＬがらみでいってる自然数上の事前分布は1/n改め1/(nlog*n)に比例、という普遍記述長の話、もっといえばなぜ２進数や１０進数のような「事前分布」が使われるのかみたいな話はその辺ですよね。理想符号長は事前分布の対数なので   12:21:40
• @ibaibabaibai いまさらながら，伊庭さん (2006) 「情報理論と統計科学」 www.ism.ac.jp/~iba/kougi_200… で勉強して，「予測=圧縮」とか MDL の対応関係が少しわかってきましたが，あとの tweet で述べられる「迷宮」にはまりこんでしまいました…   12:41:59
• @ibaibabaibai たしかにスケール不変とか，生物学の理解に役立つアロメトリー則とかあるんでしょうから少しは勉強したほうがいいんでしょうが…私がケチをつけてるのは拡張相対成長四季」とかいうやつで，これに対する無批判さとか，使われかたにもいろいろ問題を感じるわけで…   12:50:20
• RT @ibaibabaibai : @KuboBook まんでるぶろのちくま文庫を買って、あろめとりーの悪口を懺悔するとか・・   12:51:04
• RT @ibaibabaibai : @KuboBook いっぽうでスケール不変なべき則というのはフラクタルの主題であり、それ以前にはＺｉｐｆ則とか、久保さんの嫌いなあろめとりーとかにも関係しています。ベンフォードというのは知らないですがそれらとは違うのかな。   12:51:49
• RT @ibaibabaibai : @KuboBook ２進や１０進のような「対数的長さ」の記数法が普遍的にみえるのは、「ミニマックス性がある戦略だから」なのか「経験的自然法則」なのか「経験的自然法則の裏にある普遍的仕組み」の故なのか、は考えると迷宮化しますが、まあ正規分布を仮定した記数法は全然ロバストでないので。   12:52:03
• @ibaibabaibai 「迷宮」もさることながら，「正規分布を仮定した記数法」という表現を読んで，椅子の上でカラダがぐらぐらしてきました……   12:53:29
• RT @ibaibabaibai : @KuboBook そして具体的に符号化することで無限和の収束がいえるのもオモシロイ（Rissanen本とか情報圧縮の教科書）。実際は1/(n (log n)^2)の収束は積分と比較すればすぐできるんですけど（→「解析概論」とか参照）   13:03:43
• RT @ibaibabaibai : @KuboBook 予想した平均値との差が予想した標準偏差の数倍を超えると桁がどーん！　「すみません、その金額は紙に書けないので。ああ、コンピュータもエラーに」   13:07:03
• RT @ibaibabaibai : ただ、ＭＤＬの話を聞いてはじめてシャノン（情報源の誤り無し符号化のほう）の意味がわかった、というのはある。情報理論には「意味」を扱わないというが、それはむしろ符号化の背後にあるモデルにあったんだね。シャノン理論とモデリングの関係を理解するには学ぶ価値あり。盲信は禁物だけど。   16:45:46
• うーむ， あれこれ進捗しない ……
• 1720 研究室発． 保育所でとら回収． 1810 帰宅．
• [今日の運動]
  • とらちゃんえくささいず．
• [今日の食卓]
  • 朝 (0630): にぎり飯 (小)．
  • 昼 (1200): 研究室． 米 0.7 合． とり肉．
  • 晩 (1900): 米 0.7 合． 豆腐の味噌汁． ブリの塩焼き． キャベツ・タマネギのサラダ．