No Such Blog or Diary

二項分布って n = 30 とかあったらもう正規分布でいいよねとか思ったけど，なんでこれでいいんだっけとかいうことを微妙に悩んだ．二項分布はベルヌーイ試行の和なので中心極限定理でよさげだけど……　と．

あとで調べたら普通に階乗をスターリングの公式で近似しちゃうのでもよさげ．まあ，スターリングの公式は細かい係数を覚えてないので中心極限定理の方が説明しやすいか．

日立のエレベータに乗って，ボタンパネルの前に爺さんが居たけど閉めるボタン押さない感じだったので手を伸ばして閉めるボタン押したら，「７秒待てば自動で扉は閉まる。俺が設計した。」って言われた．……？

よく分からんけど 7秒も放置するのは現代人的には（特に朝方は）微妙じゃないんかね？　あと，7秒待たなくても閉められるようにボタンを付けたのでは？

とりあえず謎だった．

長袖だとまだ暑いなぁという感想だった．最低気温的にはそろそろ長袖でも良いけど朝以外はまだ暑い．

「自由と平和を愛し、文化をすすめる」というのを趣旨とした祝日だと聞いて，なんで文化って文化って書くんだろうとかいうことが気になった．読み方的に酸化や炭化みたいな意味ではなさそうだけど，と．

で，結局「化」という感じの意味として「形や性質がかわる」の他に「教え導く」というのがあって，「文」を使ってのこの後者の意味での「化」ということで「文化」であるということっぽい．中国の古典から来たものだとか．

なるほど．

ところで「文」ってなんだ？

なんか変な時間に寝ちゃって昼間が眠い．先週の突貫作業とかで寝不足なのが悪い．

というか昼間でもエアコン無しで快適に寝られる涼しさになったのは素晴らしい．

紅葉でも見に出かけようかなと思ってたけど朝っぱらに大雨を食らったので残念な気分．路面濡れるとバイクで出かける気にならんのよな……

ということで，家でゴロゴロする．