はじめてのにき

_ 材料科学

ちょっと coursera で聞いてみたりしている

https://www.coursera.org/learn/materials-science/home/welcome

学生の頃とかは全く興味持てなかったけど、今話を聞いてみるとかなり面白い。中高くらいで特に意味とかは習わず覚えた面心立方格子とかそういう知識と、大学で習ってギリギリ覚えてるくらいの量子力学とかが、それなりにいい感じにからんで、いきなり割れるものとか、伸びてから割れるものとか、そういう違いが原子構造に由来してるという説明がされていく感じ

えっそういう理由で格子とか習ったんだ、そんな重要な意味があるなら高校で教えろよ！25年くらい経ってネタバレかよ、みたいな。いや、高校とかでも教わってたけど忘れてたとか、大学でも授業でやった、とかもありえるけど

このコースはまだ6/10だけど、内容はすごく簡単で、数式とかもちょっとしか出てこないし、雑学的に面白いと思う。物ひっぱって力を増やしていくと、

1. フックの法則で力に比例して伸びる、離せば戻る 2. 離しても戻らない、伸ばすのに必要な力は線型より少なくなっていく。ちょっとずつ細くなる 3. 伸ばすのに必要な力が減っていく 4. プチンと切れて、ある程度長さが戻るが、元の長さには戻らない

みたいな過程を経るので、それぞれの点を記録して、材料のデータとしてカタログにしてる、て感じらしい。文章で書くよりグラフをはった方が良さそう

https://en.wikipedia.org/wiki/Stress%E2%80%93strain_curve

(08:48)

_ 転機

https://twitter.com/nishio/status/1390326819652456456

を見て、あまり主体的な選択せず、流れで生きてるしなぁ、と思ったけど、でも、最近主体的に選んだこととしては、結婚があった。選択肢をどうやって知ったのか、っていうとそりゃ当然その選択肢は知っていたわけだけど、なんかあまり考えてなかった選択肢ではあった。一人で普通に楽しくて、それなりに色んなことが安定していて、まあ妻がいなけりゃ同じ生活してただろうなあ、と思う

何が良くなったかというと、普通にバカ話するとかでかけるのが楽しいとか、そういう良いところは色々とあるのだけど、一番大きいのは会話で影響を受けて変化できることかなあ、と思う

細かいことから大きなこと、日常的なことから生活に関係無いことまで、なんかまあ色々と考えかたに違いがあって、おかしなことを言うとちゃんと反論してくれて、自分が当たり前だと思ってたこともたまに喰い違ったりして、なるほどそっちの方がいい考えかただなあと考えを改めたり、まあそういうのもアリかなってなったり、いやそれはおかしいぞってなったり。割と「お前は変わらんなあ」と言われる気がするのだけど、自分としては結構変化してるつもりで、変化するのも好きなつもりではある。前も十分満足な生活を送っていたのだけど、今考えると変化が乏しかった。というか、まあある程度「僕という人間はこんな感じなんやろうな」って固まってきてたのかもしれないんだけど、なんかそれがいい感じにほぐれたというか、まだ変わっていけるもんなんやな、的な

もちろん何から何まで違うと生活とかしんどいわけで、基本的には似ているとも思っている。なんか旅行先で適当に向かった場所が、下調べ足りなくてすごいくだらない場所だったりしても、「うわあ失敗したねえ、ワッハッハ」くらいですむとか。なんかそういうとこの性格違うとつらそうという気がする

ということで、あからさまにその後の人生が良くなったのだけど、しかし元々悪い状態とも思ってなくて、より良い状態があると思ってもいなかったというか。いや、結婚とか良いぞとか言う(おせっかいな)人はいくらでもいるわけで、でも、「良い人にはいいんだろうね、人それぞれだからね」て感じで、まあ基本的にマイペースなので、 it's not for me くらいの気持ちだった。経済的にも安定していて、あとあまり物事を悪く考える習慣がないので、精神的に極めて安定してて、元々普通に良い状態だったので、さらに良い状態に、って発想にも特にならなかったのかな

最初の話に戻ると、なんというか、選択肢を教えられたとしても、自分が実際に選ぶまで教えられたことが腑に落ちない人っているよね、っていう。僕とかは人の体験とか聞いても、だいたいフーンという感じで、でもそういう人の経験談をよく聞く人とかもいるものなのかな

ついでに他の影響大きそうな変化を思い出すと

• 転職した。妻が職探ししてて、なるほど俺もやってみるかと思った
• 就職した。高林さんが誘ってくださったからだなあ。これよく考えるとこれ、元のツイートの趣旨ぽいのか
• 寮に入った。割となんとなくだったけど、これも人と関わって、自分をマイナーチェインしていく楽しさみたいなのを感じれて良かった
• 大学。高校の時の先生が適当に「お前東大行けや」みたいに言ったのがきっかけだったので、逮捕されたりしたおかしな人だったけど恩師ではある

あたりを思い出した。流れで生きてる系でいうと、2回留年してなかったらどうなってたかなあ、というのはよく思う。というのはグーグルの新卒募集開始年に卒業したのは、割と運の良かったことなような気がしているので……そんなこんなで人生万事塞翁が馬が最近好きな諺になっている

(00:48)

_ unix game

https://unixgame.io/unix50

blockly て shell があるんだ……

(10:06)

_ nncp

fabrice 先生の新作すごそう

https://bellard.org/nncp/

(10:08)

_ めも

https://arxiv.org/abs/1805.02566

(11:56)

_ 誤差

深層学習が予想した物理量、誤差の評価ができないのは良くない、て面白い話だな

標準模型から計算した誤差を越えて、実験で得られた値がずれてる場合、なんか標準模型に足りない気がする、と議論できるけど、それができない、と

なんかでもこれ、 AI は推論の理由を説明できない、て話と同型の話だな、たぶん。色々立場があるだろうけど、「別に説明しなくてもいいんだ、有用な結果が出るのだから」て立場が強くなってきてる気がするけど、それで物質探すとかはいいかもだけど、まあ理論の人とかはそれでは困るわけだ、なるほど

(11:54)

_ ガザ地区

「ガザ地区大変だねえ……乳幼児死亡率とかも高いんだなあ」「別の区の医者に行けばいいんじゃないの？」「出れないんじゃないの、壁とかあるし」「えっ足立区って壁とかあるの？」

みたいな会話をして面白かった。割とあるあるの齟齬っぽい

https://twitter.com/search?q=%E3%82%AC%E3%82%B6%E5%9C%B0%E5%8C%BA%20%E8%B6%B3%E7%AB%8B%E5%8C%BA&src=typed_query

(18:53)

_ パリ症候群

https://ja.wikipedia.org/wiki/%E3%83%91%E3%83%AA%E7%97%87%E5%80%99%E7%BE%A4

思ったほどパリが綺麗で夢のようなとこじゃなくてガッカリ的な話。なるほどねえ

(22:39)

_ 演算ユニットの構成

最近のプロセッサのスーパースカラ具合ってどんな感じなん、てのを見るのいつも場所わからなくなるのでメモ

haswell: https://www.anandtech.com/show/6355/intels-haswell-architecture/8

m1: https://www.anandtech.com/show/16226/apple-silicon-m1-a14-deep-dive/2

core 2 vs k8: https://www.anandtech.com/show/1998/4

(12:04)

_ リングフィット

スイッチごと妻が買ってくれたので、しょぼしょぼとやっている。運動時間50時間弱くらい。ゲームとしては全然面白くないのだけど、筋トレにしては続く、という感じ。ゲームやらない層も楽しめるように、ゲームとしては意図的につまらなく作っているのかな、とか思う。なんというか敵の色を変える技とか、なんかその手のバフデバフが最小限すぎる気がする

スイッチ、なんか海腹川背をちょっとやったくらいで、あまりゲームしていない。グノーシアとかも途中で放置。なんかゲームやる気力がいよいよないという感じがある。あ、 ABA さんのミニゲームは欠かさずちょっとずつ遊んでいる

https://twitter.com/abagames/status/1387906908174970880

とか好き

ゲームといえば ffrk だけはやっている。最近はバハムートの次のエンドコンテンツのボスが雑魚敵とかになって、困惑している。もうそろそろサービス終了だろうに、なんでラスボスにしないんだろう……エンドコンテンツじゃないとこではラスボス出してあるので、ドットも既にあるわけで、ケチる理由がさっぱりわからない

(12:37)

_ HPCぽい話と並列性の分類と

https://tl.hateblo.jp/entry/2021/04/30/154411

HPC ぽい話も(にわかほど語りたがるというし)ちょっと書いてみたかったけど、発散しそうだったから、やめたのだった

HPC、とりあえず、スケールしない部分が足をひっぱらない程度にはバカパラに近くなってないと、なんともならないというのがあると思う。そこはなんか問題いじったりしてでもバカパラにするし、できないならスパコン使う必要とか無い、ということになるんだと思う

次は DRAM からの移動なりインターコネクトなりのバンド幅足りないとお話にならないので、計算戦略やデータの持ち方とかでなんとかして、そこまで行くとSIMD、パイプライン、スーパースカラ的なのをやっていく、みたいな印象を持っている。なんというか、クラウドとかのバカパラマルチスレッド的なのと、いわゆるアセンブリでチューニング的なやつの両方必要な感じだなあ、と

その二つに加えて、ヘテロなスレッドが協調動作してる系のやつ、くらいで雑に並列性ぽいものは分類できるのかな、と思った。つまり

• 1. マルチスレッドパイプライン並列
• 2. マルチスレッドバカパラ並列
• 3. SIMD/パイプライン/スーパースカラなどの計算ユニット内並列

くらいに分類できると考える

1 は DRAM や IO 待ちで律速しがちで、用途的にもレイテンシ重視が多め。 DRAM や IO 待つとこまでいければ良いので、 2,3 をやってもしょうがないみたいなケースも多いが 2 も併用したりもよくする。 1+2 がタスクキュー。「並列プログラミングは難しい」と言う時に思い浮かべるのは、僕はコレ

2 は message passing に主題として書いたやつ。高速化的には最も簡単でバグらなくて素晴らしい

3 は message passing 書いてる最中に書こうかなあ、と思ったけどやめたやつ。普通あまり並列プログラミングと言わない気もするんだけど、並列計算ではある。コアの性能をしぼり出すというソフトウェアの観点からも、電力や回路面積などのリソースをどこに割り当てるかというハードウェアからの観点からも、関連した話題ではあると思う。そのへんで言うと A14 のスーパースカラすごい広いのとかも、これバランス悪い気がするんだけどどうなんだろう……とか思うけどどうなんだろう: https://www.anandtech.com/show/16226/apple-silicon-m1-a14-deep-dive/2

スマホや chrome はおおむね 1 、 jpeg のデコードは 3 (2も使ったりする？)、 HPC は(たぶんおおむね) 2 と 3 、クラウドは 1 and/or 2 、 GEMM は 2 と 3 。ディープラーニングだと GEMM に加えてデータローダとかはちょっと 1 ぽさあるので、割と全部あるかもしれない。あと inter-op のモデルパラレルは 1 ぽさがある

あと、 1 と特に 2 はノードまたぐか否かとかで割と雰囲気が変わるとかあるかもしれない

(10:39)