黒木玄 Gen Kuroki
- いいね数 389,756/311,170
- フォロー 995 フォロワー 14,556 ツイート 293,980
- 現在地 (^-^)/
- Web https://genkuroki.github.io/documents/
- 自己紹介 私については https://twilog.org/genkuroki と https://genkuroki.github.io と https://github.com/genkuroki と https://github.com/genkuroki/public を見て下さい。
2018年07月01日(日)
N(eutral).W(-boson). @math_phys
作ってみて気付いたのは、思ったよりもKernelとacquision関数の選択が初期(少数サンプル)には効いてくるということ。DLのhyperparameterチューニングが思ったより上手く行かないのも、ここなのかな。(加えてノイズも大きいし)
タグ：
posted at 00:04:44
マクロな対象の量子的干渉効果については、こちらでも読めます。＞量子力学における「実在性」について - Togetter togetter.com/li/953738 via @togetter_jp
タグ：
posted at 05:27:25
津田和俊／急激に進行した網膜剥離と闘って @kaztsuda
例えば、頑張って働いて、きちんと税金納めて、幾許かの貯金ができた、これでクルマが買い替えられる、としましょうや。クルマ買うなんて贅沢だ、それなら給料下げるか税金上げてもいいよね？、と言われたら、ふざけんなですわ。でも、生活保護ではこれで怒る一方で、トヨタに対しては言うのですよね。
タグ：
posted at 06:03:02
津田和俊／急激に進行した網膜剥離と闘って @kaztsuda
つーか、田舎じゃクルマがないと勤めにも行けなくて生活必需品なのに、クルマ持ってると生活保護を受けられないってどゆこ？、という問題をなんとかしてくれる野党って、いないの？ これって厚労省の通達一本で解決できる話のはずなんだけど。
タグ：
posted at 06:06:04
#仮面ライダービルド 第42話の黒板の数式はKAM理論(Kolmogorov-Arnold-Moser)に関するもの？ sci.tea-nifty.com/blog/2018/07/4... pic.twitter.com/twhZobNBMO
タグ： 仮面ライダービルド
posted at 09:39:36
#仮面ライダービルド 今週のオープニングの話数の式は、10の分割数は42だというものです。ある数nの分割数p(n)は、その数を自然数に分割する方法の数で、例えば5は5, 4+1, 3+2, 3+1+1, 2+2+1, 2+1+1+1, 1+1+1+1+1の7通りに分割できるのでp(5)=7です。そしてp(10)は42です。
タグ： 仮面ライダービルド
posted at 10:12:36
分割数は多くの数学者が研究する興味深い対象で、例えばラマヌジャンは色々な関係式を見つけています。分かりやすいものだと「7で割って5余る数の分割数は常に7の倍数になる」というものがあります。整数分割問題は物理とさえ関係していて、例えば定常流のモデルや量子カオスでも現れます。
タグ：
posted at 10:13:17
ラマヌジャンの分割数についてHardyとの共著原論文は
londmathsoc.onlinelibrary.wiley.com/doi/pdf/10.111...
p(200)まで計算、映画に使われた絵も掲載
TeXにしたのが
ramanujan.sirinudi.org/Volumes/publis...
うちの大学も来年度からWiley包括契約打ち切り（涙）なので助かります。訳あって、この6月は私にとって #仮面ライダービルド 月間だった。 twitter.com/Perfect_Inside...
タグ： 仮面ライダービルド
posted at 10:49:15
@JapaneseSchool @genkuroki ？これ、先生の見解を聞きたいですね。
問題文の順序通りに式を作ると聞きましたよ？
つい一、二年前の話です。
タグ：
posted at 10:50:29
Ramajujanの37本の出版論文とLost Notebookを含めた4冊のノートについては、いくつかサイトがありますが
ramanujan.sirinudi.org/index.html
Ramajujan全集は紙でも今なお購入できます
admin.cambridge.org/ck/academic/su...
タグ：
posted at 11:06:16
#超算数 リアル生活内で算数プリントに「掛けるのかな？割るのかな？」のように書いてあるのを見ると、頼むからそういう教え方はやめてくれと思う。
リンク先のように考えることが普通であり、「掛けるのかな？割るのかな？」のように教えるから、子供達が苦行に陥る。
twitter.com/09waku09/statu...
タグ： 超算数
posted at 11:07:10
「人間の手みたいな感じで『何でも掴めるロボットハンド』って出来ないでしょうか？」と時々民間企業の方から切実な相談を受けることがあります。
残念ながら私が知る限りそういう技術は存在しません。未だに。世界のどこにも。
#ロボット工学の未解決問題
タグ： ロボット工学の未解決問題
posted at 12:31:53
Curse and blessing of non-smooth optimization: non-smooth parts (eg corners of sets) attract the solutions of optimization problems (e.g. projection on sets). en.wikipedia.org/wiki/Subderiva... en.wikipedia.org/wiki/Variation... pic.twitter.com/yeLLKsJkxc
タグ：
posted at 15:00:13
TikZによる連成振動アニメーション (2) ～ 動くPDF篇 - TeX Alchemist Online doratex.hatenablog.jp/entry/20140418...
楽しそう！今度何かこういうアニメーションの組み込んだpdf作ってみたいな pic.twitter.com/Vk7ce6wxFF
タグ：
posted at 15:40:01
@sekibunnteisuu より多くの人に実態を知ってもらいたいと思います。「ＰＴＡ脱退者の子どもを通学班から閉め出す岐阜県西濃地方のある小学校のＰＴＡ幹部役員、見て見ぬ振りをする校長そして市教育委員会」blog.goo.ne.jp/mh0920-yh/e/4f...
タグ：
posted at 17:08:35
#数楽 #Julia言語 小さな文字のPDF化のページ数が172に増えた。また増えた。
「z cot zの部分分数展開とMaclaurin展開(ベルヌイ数の導入)を比較してζ(2k), k=1,2,3,...を計算する」という標準的なネタを入れた。
超幾何微分方程式も入れた。
実1変数函数の微積分のノート
github.com/genkuroki/Calc...
posted at 18:39:41
#数楽 #Julia言語
github.com/genkuroki/Calc...
実1変数函数の微積分のノート
では、大学1年レベルを意識して、複素解析をできるだけ避けているのですが、避け過ぎると滅茶苦茶不自然になって不健全になりますね。大学1年レベルの話題であっても、複素解析が欠けていると自然さという点でかなり苦しい。
posted at 18:41:52
#数楽 「良い公式」は積分公式ではなく、無限和の公式でもよい。
例えば、
(xの小数部分)-1/2 = - Σ_{n=1}^∞ (sin(2πnx))/(πn)
という公式を認めて使えば、Z⊂R に関するPoissonの和公式を「初等的に」証明できます。(Euler-Maclaurinの和公式の最も易しい場合を使う)
www.maths.lancs.ac.uk/jameson/poisso...
タグ： 数楽
posted at 18:55:01
#数楽 「極限を交換できるかどうかは計算するときには気にしなくてよい」は「完全な理解は常に先送りにして良い」という話の典型例の一つ。
たくさんの経験を積んでいるうちに、厳密な証明を先送りせずにノータイムで頭の中だけで処理できる場合が増えて行きます。
twitter.com/genkuroki/stat...
タグ： 数楽
posted at 19:22:03
「航空業界が失敗から学ぶ仕組みを構築している」話、もうちょっと詳しく書くと航空事故はどの国でも独立した事故調査委を置かねばならず、刑事・民事係争に利用されないという免責のもとで、必ず真実に迫り事故を再発させないというただその一点のみのために全ての努力が注ぎ込まれるようになっている
タグ：
posted at 22:21:02
これは言い換えると「その努力をしない国の飛行機は自由に地球の空を飛ぶことすら許されない」。例えば、一時期事故調査体制が破綻してたインドネシアのエアラインはその間EU圏内飛行が禁止されていた。「いつ落ちるか分からない上に落ちても原因究明をやらない国の飛行機はEU圏内を飛ぶ資格がない」と
タグ：
posted at 22:23:50
だがそれらの国際的な事故調査体制の確立までには多くの犠牲を伴った。1960年代はまだブラックボックス搭載が義務化されていなかった。コメット連続墜落事故で検証のための大掛かりな再現実験の必要性が広く認識された。大韓航空機撃墜事件のように国際政治の取引にされたことすらあった
タグ：
posted at 22:25:56
1977年のテネリフェ島衝突事故ではスペイン・オランダ両国の事故調査報告書が対立した。DC10がパリで落ちた時はその前にFAAとメーカーとの癒着があって防げる事故を防がなかったと糾弾された。そういう多くの「あの時こうしていれば…」を積み重ねた結果として、現在の国際的な航空事故調査体制がある
タグ：
posted at 22:29:30
こうして、現在の飛行機は「必ず昨日よりは今日はより安全に飛ぶ」ように不断の努力がなされている。B737のラダーリバーサルによる連続墜落事故は、3機目が辛うじて生還した際に即座に調査が入ったことで原因究明が成り、その後B737に乗った多くの人命を守った。この構図は今も変わらない
タグ：
posted at 22:31:43
過去には「機体洗浄時にピトー管を塞ぐシールを貼ったまま剥がすのを忘れた」だけで落ちた飛行機もいれば、「与圧弁を整備士が開けっ放しにしたのを忘れたまま飛んで飛行中に酸欠になって」落ちた飛行機もある。どれほど愚かしく下らない理由で落ちたとしても、その教訓は全世界に共有される
タグ：
posted at 22:34:23
例えば、機体洗浄時にピトー管をシールで塞ぐ場合にはそのシールに直立する旗が付くように改められた。これにより、剥がし忘れはなくなったという。エールフランス機がピトー管凍結によって失速して落ちた時は、当該ピトー管のメーカーの資格自体が取り消され、ピトー管凍結は減ったそうな
タグ：
posted at 22:37:38
空中衝突防止に使われる航空電子機器のTCASについても、静岡沖でJAL機同士の危険なニアミス（一説には20m差だったと言われる）があるまでは、TCASの警報と管制官の指示が食い違った場合は「管制官に従え」が絶対基準だった。だがこの一件以降「管制官は間違え得るのでTCASに従え」が国際基準になった
タグ：
posted at 22:41:02
この教訓が報告書としてまとめられる直前に、スイス上空で悲惨な空中衝突事故が起きてしまった。子供多数が乗ったチャーター機と貨物機が出会い頭空中衝突し全員死亡。これもまた管制官が間違え、TCASに片方の飛行機が従わなかった結果だった（なお間違えた管制官も後年犠牲者の遺族に刺殺された）
タグ：
posted at 22:43:46
このように、数え切れないほど多くの悲劇と屍を積み重ねた上に、現代の空の旅の安全は成り立っている。単なる乗客であっても、気付いたことはためらわず乗務員に申し出るようにと推奨されているそうなので、何か気になることがあったら是非どうぞ
タグ：
posted at 22:46:20
というのは、飛行機の天井の大半が吹き飛びながらも辛うじてほぼ全員が生還したアロハ航空機の事故では、乗客の1人が搭乗時に天井に入った大きなヒビに気付いたものの、事故になるまで誰にも言わなかったことが記録されている。この乗客が指摘していたら、また結果は違ったかもしれない
タグ：
posted at 22:48:31
中には迷宮入りした事故も多い。近年だと失踪したマレーシア航空機がその代表だろう。1996年に落ちたTWA800便もそうなりかけていた。だが米運輸安全委(NTSB)は諦めなかった。比較的浅い海に散らばっていた破片を全て集め、莫大な時間をかけて組み合わせ機体を復元するという大変な取り組みを完遂した
タグ：
posted at 22:53:25
その結果、機内の中央燃料タンクが「内側から」花開くように爆発していたことが判明した。これでテロやミサイルと言った可能性はなくなった。だが普通は燃料タンクが自ら爆発するなどということはあり得ない。NTSBはあらゆるデータを集めて残りの可能性を探った
タグ：
posted at 22:54:55
当時掴めていたのは「中央燃料タンクの配線内にショートしている箇所があった」こと。だが灯油系のジェット燃料は常温で火を付けても引火しない（ナショジオの検証番組で実演していたが、ジェット燃料に直接火の付いたマッチを落としてもマッチの火が消えるだけ）。これでは中央燃料タンクは爆発しない
タグ：
posted at 22:58:15
だが、NTSBの調査でさらに詳しいことが分かった。「当時中央燃料タンクはほぼ空っぽだった（両翼の燃料タンクの分で大西洋を渡れたため）」「当該機は直前に真夏の炎天下で長時間エアコンを付けたまま駐機していた」「エアコンは中央燃料タンクの真上にあった」これらを組み合わせて分かることは…
タグ：
posted at 23:00:10
エアコンの熱で温められた中央燃料タンクの中身がほぼ空っぽなら、灯油系ジェット燃料であっても気化している（＝引火可能）かもしれない。そこで全く同一の条件の廃棄予定の飛行機を用意し、そこで中央燃料タンク内の配線にショートする箇所を作って電流を流したら…物の見事に爆発した。これで確定
タグ：
posted at 23:02:26
結局、事故から6年後に最終報告書が出て、その中で「燃料タンクは燃料が不要であっても空っぽにはしない」「タンク内配線の絶縁状態は細かくチェックする」などの対策が提言され、全ての航空機メーカーとエアラインはこれに従った。これ以後中央燃料タンクが爆発するという大事故は一切なくなった
タグ：
posted at 23:04:46
航空事故の歴史は悲しい話が多いが、一方で国際的な航空事故調査体制は「一度起こした事故は二度と起こさない」ことを常に目指しており、基本的には実際に一度起きた事故は二度は起きないように努力されている。その取り組み方には、他業界の人間であっても学ぶところは多大であるように思う
タグ：
posted at 23:08:30
ああそうそう、最後に一つだけ嫌なことを書いておくと、遥か昔から繰り返されてきたのに未だに起きる航空事故は、"CFIT" (Controlled Flight Into Terrain) つまりパイロットの勘違いや過信などで真っ直ぐ山や地面に突っ込む事故。そしてもう一つ最近多い事故は。。。
タグ：
posted at 23:24:06
「若手パイロットに対する手動操縦の訓練不足で、ちょっとした異常時にパニクって間違った操縦をして落ちる」事故。代表的なのがエールフランス447便とシンガポール付近で落ちたエアアジア機の事故（失速時は機首下げしなければならないのに誤って副操縦士が機首下げ操作し続けてそのまま落ちた）
タグ：
posted at 23:26:34
このツイートから始まる航空業界の事故原因究明の歴史と事例がぞくぞくするほど面白く、そして感動的！ twitter.com/TJO_datasci/st...
タグ：
posted at 23:32:07
ただし、1994年に旧名古屋空港で中華航空のA300が落ちた時は、ヒトの操作よりも機械の操作をヒューマンエラー防止のために優先する仕組みが災いし、双方の操作が干渉した結果空港上空で失速して真下に落っこちるという大事故になった。ヒューマンエラーは機械を優先したからと言って防げるものでもない
タグ：
posted at 23:32:54
「人工知能」が飛行機の操縦を主に担う時代になった後であっても、国際的な航空事故調査体制による不断の努力は連綿と続けられていくのだろうと思うし、そうあり続けるよう願っている。いつでも、より明日は、皆がより安全に飛べるように
タグ：
posted at 23:34:22
おっと、最後の最後にもう一つだけ。航空無線には今でも音質の悪い昔ながらのAMが使われる。理由は簡単で、同じ周波数帯で複数人が同時に発信するとピュー？というスキール音という混信を示す音が鳴る。これで誰かが助けを求めていたらすぐ分かるというわけだ。こんなところにも安全上の工夫がある
タグ：
posted at 23:48:42
ところが。1977年のテネリフェ空港衝突事故ではそのスキール音のために最後に正面衝突を回避することにつながり得た交信が阻害され、互いに「だろう運転」を誘い、正面衝突して550名以上の犠牲者を出してしまった（未だに史上最多）。安全のための取り組みが時に牙を剥く、それが航空事故の歴史なのだ
タグ：
posted at 23:51:57
