Yuki Nagai

今年の五月に技術評論社さんからJulia言語の本が出ます。 表紙できました。 Juliaではじめる数値計算入門 | 永井 佑紀 連立一次方程式 非線形方程式 固有値 数値積分 補間と近似 常微分方程式 偏微分方程式 のアルゴリズムをJuliaで書いてます。 amazon.co.jp/Julia%E3%81%A7…

1998年、大学院生だった私は一つ興味深いアルゴリズムを思いついた。様々な応用が可能だと気づき、計算結果を揃えて論文を書いた。だがジャーナルにはリジェクトされ、とりあえず個人ウェブサイトに置いていた。20年後、この手法が思ってもみなかった分野で使われ、その論文が引用されていることを知った。 　さらに、英国Reading大学の数学科の修士課程の学生がこのアルゴリズムをテーマに修士論文を書いたとのことで、その修士論文のコピーが送られてきたということもあった。 　何が起こるかわからない。何でも思いついたことは書いて公開しておくといい。

OpenMXって、MPI多段並列環境から呼べるんだろうか。openmx-square.org/openmx_man3.9/… によると、"Calling OpenMX as library or computational engine Note: I (Ozaki) had misunderstood how MPI_Comm_spawn works at the moment of the release of OpenMX Ver. 3.9 (Dec. 3, 2019). So, a part of the desctription below is not correct. Please use the capability at your own risk"とあるけど、今の状況はどうなんだろ

多分この方は数学的な意味での定理とか定義を導入する、という話はしていない。でも物理でこの書き方が基本的にできないのは、「実験結果」と「実験結果から推測されること」の区別がつかない、ということだと思う。一方、数理物理学の分野では数学的意味での定理証明の形で論文が書かれることはある。 しかし、実験結果は単なる数字の羅列で、たとえば「これは比熱を測定しました」といったからと言って、本当に定義された通りの「比熱」なのかはわからないし場合によってはノイズに意味があったりすることすらある。言い方を変えれば、出てきた数字の羅列に、何か関数をフィットしてるだけなので。あらゆる数値のデータに何らかの数学的操作を与えて出てくるのが「実験結果」なので、その意味では全て演繹で出てくる(ただし途中で数学者が嫌がるような謎の仮定をはさむことも)。 それでも腑に落ちない場合は、ニュートン力学でもなんでも、試しに自分で定理証明スタイルで書いてみるとよいかもしれない。すごく書きにくいことがわかると思う

@fjs_kyousosama 実験結果から数学的な手続きを経て得られる面白い結果のことを定理と呼んでいます

マジで、物理学の教科書は「実験結果」と「定理」を明確に棲み分けてくれ。 数学の教科書は割とこの辺りしっかりしているのに、なんで物理学の教科書はこんな適当なんだよ。

mondで匿名メッセージ・質問を募集しています。何でも送ってね！ #mondで質問募集中 こんな質問に回答しています ・普段物性実験をやっていますが、実験結果を理… ・1週間で学べるjulia数値計算プログラム… ・Blochの定理って結局何を言ってるんです… mond.how/ja/cometscome_…

先週は沖縄出張で、今週は北海道の実家に帰省中。娘(5)は千葉県民なので少ない雪でも楽しく遊んでいる。なおここは実家の牧草地(雪)。

北海道到着。もうほとんど雪ないな

今日から娘(5)と二人で北海道帰省。とりあえず起きられて成田空港に向かっている

一つには絞りきれないのでハードごと一つ選ぶとしたら。 ファミコン　くにおくん時代劇だよ全員集合 ゲームボーイ　ポケモン スーファミ　ルドラの秘宝 64 007 PS テイルズオブエターニア psp… (残り90文字) #mond_cometscome_phys mond.how/ja/topics/zym0…

ChatGPT5.4 のCodex、同じ出力を返すようにデバックするときは本当に強いな。先行研究のFortranコードと自分のFortranコードを比較してバグ探して直してっ言ったら直ってしまった。このバグ、昨年数週間探して諦めたやつだったのに。

@sava2uni @tokurontinus "強くてニューゲーム用の難易度設定なのに初プレイでその難易度設定になぜかなってしまった件" 小説化まったなし

@tokurontinus ざんねんながら、そちらの業界はノーマル〜イージーモードの方々がマジョリティ〜ですので、、、

偶然にも明日ロッテ財団のオンライン座談会で、私の数奇なキャリアパスを話す機会があるのであった

つまり、層と層の間のコネクションの強さを任意にして、遠い層ともコネクションがあってもよい、とするのね。なるほどアテンションだ

層の深さ方向を時間とみなすと、いま残差で接続してるからh_l = h_l-1 + f(h_l-1)は初期値h_0を用いてh_l = h_0 + Σ_k^l-1f(h_k))という積分を和にしたような形をしている。 これ、見方を変えるとl番目の層の情報はこれまで全ての層の情報を重み1で足し上げてできている。なので、この重みをアテンションにしてもいいよね、という話か。

Kimi-K2.5とかでお馴染みのMoonshotAIがほぼフリーランチ（学習時の計算が4%、推論時に2%重くなるだけ）でLLM学習の効率が25%相当爆上がりする革新的な技術、AttentionResidualsの論文を発表して話題に。あんま分かってないが、要するに計算時の残差接続を今までは普通に全部足し込んでたのをこの手法ではAttentionかけて必要な情報だけを足すように工夫したという。

理系文系の話は、ついくちばしを挟みたくなるけど、ガマンしよっと

mondで匿名メッセージ・質問を募集しています。何でも送ってね！ #mondで質問募集中 こんな質問に回答しています ・これから統計科学出身の人が物理と機械学習の… ・OISTにはどのような用事でいらっしゃった… ・高校３年生です。研究者になることを決めたの… mond.how/ja/cometscome_…

いにしえのFORTRAN記事、実は娘(5)の習い事のプール(約一時間)を待っている間にコーディングも記事作成もやってしまったという。我ながら早かった。

このままコーディングをAIに依存させて、人類が自力でコーディングできなくなったあたりでAIを取り上げて、「AIが欲しければ……」とかやられるんじゃない？

古のFORTRANコードをJuliaに移植しようとしたら、goto文とcontinue文、は while true if phase == 17 elseif phase == 52 みたいな感じでphaseに行番号を入れる方法をChatGPT5.4は提案してきた。なるほどね。確かにそれは動くだろうけど、すごくgotoっぽいっすね...