黒木玄 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 を見て下さい。
2021年02月22日(月)
日経新聞の書評欄に出ていた模様！──新型コロナからいのちを守れ！ 西浦博著: 日本経済新聞 www.nikkei.com/article/DGKKZO...
タグ：
posted at 00:27:20
Sometimes we can forget how much little online interactions can mean to people; be kind, encouraging, and patient with people, it's been a hard year and we all need the help! twitter.com/kdwkshh/status...
タグ：
posted at 01:09:37
stakhanovite coaster @endsofthreads
the reason that Rust bundles “a huge fork of LLVM” and “refuses to support [linux packaging systems]” is that—if I recall correctly—rustc often hits bugs in LLVM and needs to patch them. “genuine”, system-provided LLVM libraries would have resulted is miscompiled code pic.twitter.com/jJr4J4VAZN
タグ：
posted at 02:33:49
Julia REPL stan now @miguelraz_
Rust Julia
🤝
carrying llvm patches twitter.com/endsofthreads/...
タグ：
posted at 03:29:20
Stefan Karpinski @StefanKarpinski
It’s almost as if projects that heavily depend on llvm that aren’t clang might have a good reason to patch llvm! twitter.com/miguelraz_/sta...
タグ：
posted at 04:17:53
Stefan Karpinski @StefanKarpinski
@steveklabnik @endsofthreads Any interest in a #Rust and #JuliaLang joint open letter about this? We get a ton of grief about our entirely necessary llvm patches and distro Julia builds are regularly broken to the point that we officially discourage using them. Best outcome would be fixing that
posted at 04:22:32
Stefan Karpinski @StefanKarpinski
@steveklabnik @endsofthreads We don’t really have the resources for that approach, unfortunately. We do upstream patches as much and as fast as we can, but it’s basically ~2 people doing that. My goal would be to get distros to reconsider their policies. Especially LVMM is not “just a dependency”
タグ：
posted at 04:26:51
Stefan Karpinski @StefanKarpinski
These links are both making the same point extremely well: twitter.com/argorak/status...
タグ：
posted at 04:37:34
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
僕は Python 製の DL 資産を Julia でリベースしたり，xv6 の C 実装を Rust で書き換えたり，みたいなのにシビれるタイプの技術者なので……
タグ：
posted at 06:36:20
Alright, I'm just coming back to #julialang for a moment. pic.twitter.com/BjARonPLur
タグ： julialang
posted at 08:29:27
#数楽 これも『数値計算の常識』というタイトル
noreply.sci.hokudai.ac.jp/~yomo/official...
↓
noreply.sci.hokudai.ac.jp/~yomo/class/sa...
斎藤 正徳、数値計算の常識、応用地質・講義ノート pic.twitter.com/0JkaIgQaun
タグ： 数楽
posted at 10:13:24
@temmusu_n @musorami @genkuroki twitter.com/temmusu_n/stat...
多分、これを批判しているのが、数教協・水道方式。で、彼らは主流派と別のトンデモに突き進んでしまった。
タグ：
posted at 10:28:26
@temmusu_n @musorami @genkuroki ＞体積関連の見解は知りませんが、変にこだわった見解を持っていてもおかしくはないでしょう。
横浜市教委指導主事は、柱や錘の体積は、底面積×高さの順と言っていました。
タグ：
posted at 11:16:32
#キャルちゃんのarXiv読み
球フーリエ・ベッセル展開を用いて、次世代銀河観測から最大の角度方向と動径方向のパワースペクトルを推定するアルゴリズムを開発。局所的な平均効果は最大スケールのモードでのみ優位であることを確認。このコードはJuliaで公開されている。
arxiv.org/abs/2102.10079
タグ： キャルちゃんのarXiv読み
posted at 12:14:35
@sekibunnteisuu @temmusu_n @musorami 話題がそれてしまいますが、数学がよくできる人達によく見られる特徴は、大量の試行錯誤を行なっている汚いノートを持っていることです。
おそらく、小学生のときからそうしている。
試行錯誤を避けないことを小学校から高校まで続けて数学を得意にならずに済むことは全く想像できません。続く
タグ：
posted at 12:26:45
@sekibunnteisuu @temmusu_n @musorami 引用された指導書にある仮想的なノートの作り方は、すでに誘導したい先の結果が分かっていて、その誘導先について書かせたい人達にとって都合の良いノートの書き方に過ぎないと思いました。
こういう類の「きれいなノート」を作る時間があったら、汚い試行錯誤の練習に時間を割いた方がよいです。 pic.twitter.com/hC0udw1iAE
タグ：
posted at 12:31:33
OokuboTact 大久保中二病中年 @OokuboTact
@shoyugi ＞ 掛け算の式に単位や助数詞をいれるのも
数学として根拠の無いものを足すから、ローカル・ルールが産まれて、矛盾が産まれる可能性が大。
タグ：
posted at 12:58:07
私のノートは雑記帳です。
能開や学校で散々指導を受けましたが、全く改善されませんでした（笑）
それでも一応、計算はほとんどチラシやプリントの裏に取り敢えず書き殴って、それをノートに清書していました。 twitter.com/genkuroki/stat...
タグ：
posted at 13:00:13
@genkuroki @temmusu_n @musorami twitter.com/sekibunnteisuu... このノートもわざとらしいですよね。 pic.twitter.com/bUcLVdVbmk
タグ：
posted at 13:16:04
@sekibunnteisuu @shoyugi まあ、いずれにせよ、
【縦かける横は縦
このあたりと矛盾するようなことは言わないでほしい】
のようなことを言う人には算数を教えて欲しくないし、算数教育に口を出すのもやめて欲しいです。
「縦かける横は縦」はひどい。
子供の心にこの手の感覚を植え付けちゃダメ。 #超算数
タグ： 超算数
posted at 13:33:46
OokuboTact 大久保中二病中年 @OokuboTact
@shoyugi 客観的に調査すると、根拠が薄弱なことがわかるんですが・・・。
① 実験で対照群がない
② 海外の有名な研究を捻じ曲げて根拠にしている
③ 時代遅れの研究を根拠にしている
タグ：
posted at 14:18:16
OokuboTact 大久保中二病中年 @OokuboTact
@shoyugi 記録はたくさん残っていますが、科学的に評価できるものは皆無ですね。
でもチョー算数信者はそれで満足なんですよ
タグ：
posted at 14:26:32
ボドゲのアートワークをするようになって色弱の人がいるって事を知ったし、左利きも一定数いると言うのを意識した。色んな人が手に取る可能性があるものは私がわかる範囲で意識したデザインにしています。当たり前のことにしていきたい。
タグ：
posted at 15:05:45
5×2にしてしまう掛け算の分かっていない子をあぶり出す良問。
こういう問題であぶりだせるのだから、3つの長椅子に4人ずつを3×4と書く子を掛け算が分かっていないとみなす必要は全くありません。 twitter.com/gontadestroy/s...
タグ：
posted at 15:07:26
ごまふあざらし(GomahuAzaras @MathSorcerer
最初見た時，ナンジャコリャーって驚いたのを思い出した．#Julia言語
実装の中身を見られるのはいい世の中です． twitter.com/genkuroki/stat...
タグ：
posted at 15:33:00
戸上真人「Pythonで学ぶ音源分離（ amzn.to/3pRqvII ）」をJuliaでやっています。最初の章が終わったので公開。とても楽しい。
github.com/JikanBae/togam...
タグ：
posted at 16:17:24
Legacy Chris Kalmar @not_chriskalmar
Serious productivity boost for reading code on GitHub.
1️⃣.
Go to any repo you are interested in on GitHub.
2️⃣.
Replace "github" with "github1s" (one + s) in the browser address bar.
3️⃣.
Enjoy browsing code like you would in VS Code.
This is huge 🔥 pic.twitter.com/FVZhxDIuBC
タグ：
posted at 16:57:23
#数楽 #Julia言語
Remez_rel1 ←sin(x) - x へのRemez法で sin(x) への最大相対誤差を最小化
を追加。Julia trig.jlの13次多項式に相当に近くなっています。
しかし、これでJulia trig.jlの13次多項式の正体が判明したと判断するのは誤り。
gist.github.com/genkuroki/362b... pic.twitter.com/Eg7tXsj5ma
posted at 16:59:40
#Julia言語 #数楽
添付画像①は
github.com/JuliaLang/juli...
より。この数値は
github.com/freebsd/freebs...
からのコピーです(添付画像②③)。そこには
Copyright (C) 1993 by Sun Microsystems, Inc. All rights reserved.
とある。件の13次多項式の係数は1993年からの伝統がある数値らしい。 pic.twitter.com/ooEJd5M9I1
posted at 17:09:32
梅毒が美しすぎる～って思ったが、よく見たらデザインにモロに症状が組み込まれてて「気が付くと怖い」やつだな…。/台湾の国家機関による擬人化された疫病キャラクターが魅惑の悪役すぎると話題に karapaia.com/archives/52299... @karapaiaより
タグ：
posted at 17:21:18
#数楽 添付画像①と同じ数値(xの係数が1.0の13次の奇函数多項式の3～13次の係数、sin(x)をよく近似する)を得るためのコードを見たい。
数値計算考古学！(笑)
バビロニアの数学史の研究もこんな感じに粘土板に残された数値の再現法の研究になっている。バビロニア人達はニュートン法を知っていた。 pic.twitter.com/dIRklxCME9
タグ： 数楽
posted at 17:28:44
@genkuroki Juliaの結果が、xが大きくなるにつれて相対誤差の山が少しずつ大きくなっているので、
(sin(x) - x)/x
に対する最大絶対誤差の最小化かもしれないです。
タグ：
posted at 18:19:46
@tchaikovsky1026 コメントどうもありがとうございます。
非常に良いヒントになりました。
答えは、
(sin(x) - x - x³F₁₀(x))/x の区間 [-π/4, π/4] におけるsupノルムを最小化する10次多項式 F₁₀(x) に対する F₁₃(x) = x + x³F₁₀(x) がJuliaのtrig.jlで使われている13次多項式に非常に近い
です！
タグ：
posted at 19:41:57
#数楽 #Julia言語 Mうらさんに素晴らしいヒントをもらったお陰で、
(sin(x) - x - x³F₁₀(x))/x の区間 [-π/4, π/4] におけるsupノルムを最小化する10次多項式 F₁₀(x) に対する F₁₃(x) = x + x³F₁₀(x) がJuliaのtrig.jlで使われている13次多項式に非常に近い
ということが分かりました！ twitter.com/genkuroki/stat...
posted at 19:44:05
Emilia Kozlowska @em_kozlowska
I started using Julia programming language for the creation and implementation of math models. Excellent language for solving various differential equations very fast. I highly recommend!
#JuliaLang #mathonco #Lung #NSCLC
タグ： JuliaLang Lung mathonco NSCLC
posted at 19:47:56
#Julia言語 のRemez.jlで計算
Remez_rel2 では (sin(x) - x - x³F₁₀(x))/x のsupノルムを最小化しています。(分母の x が sin(x) なら最大相対誤差の最小化)
添付画像3を見れば分かるように、その場合とJulia trig.jlの13次多項式の相対誤差はよく一致しています！
gist.github.com/genkuroki/362b... pic.twitter.com/pHcBpC6Zi8
タグ： Julia言語
posted at 19:50:55
#Julia言語 #数楽 謎だった13次多項式の正体は
sin(x)との差をxで割ったもの絶対値の区間[-π/4, π/4]における最大値を最小化するxの係数が1の奇函数13次多項式
です。ただし、Remez.jlではBigFloatで計算しており、Float64用に調節されているはずの「謎だった13次多項式」からは少しずれています。 pic.twitter.com/iVgsLvJflL
posted at 19:55:37
@tchaikovsky1026 分母は 1 か sin(x) でなければいけない(絶対誤差か相対誤差でなければいけない)と思い込んでしまっていました。
分母が x の場合のsupノルムを最小化していたんですね。
(sin(x) - x)/x の分母が x なのを見てピンと来ました！(笑)
タグ：
posted at 19:58:21
#数楽 あとはFloat64専用にどのようにどうやって調節されているかが分かればうれしい。
私の計算では係数がBigFloatで計算されており、私が求めた多項式の係数を単純にFloat64に変換すると、添付画像のように相対誤差が大きくなります！
謎は残っている！
gist.github.com/genkuroki/362b... pic.twitter.com/Ht3Sed3a4p
タグ： 数楽
posted at 20:11:15
ところで「継承は最後の武器だ」はもう20年以上前のことらしい(元になった本が1999年発行)。
matz.rubyist.net/20030806.html
iss.ndl.go.jp/books/R1000000...
タグ：
posted at 20:31:13
我々は1993年のときよりも圧倒的に優れたパソコンを利用でき、 さらに #Julia言語 のような「お気楽プログラミングで爆速&視覚化可能」な環境が整っています。
1993年以前にどうやってこの多項式を見つけたかを知りたい。
1993年のコピーライトが付いているコード↓
github.com/freebsd/freebs... pic.twitter.com/QhVGiDIO5F
タグ： Julia言語
posted at 20:32:08
#数楽 低次の係数からFloat64に落とした値に固定して順番に係数を決めてみました。
一致度が高くなり(5次の係数までは完全に一致)、1993年から使われていてJuliaでも採用している13次多項式と同等の精度が得られました。(ただし相対誤差はFloat128の引数で計算している)
gist.github.com/genkuroki/362b... pic.twitter.com/Sq9UoKDJaS
タグ： 数楽
posted at 21:23:05
#JuliaLang
arxiv.org/abs/2102.10079
SuperFaB: a fabulous code for Spherical Fourier-Bessel decomposition
Henry S. Grasshorn Gebhardt, Olivier Doré
↓
↓Julia package
↓
github.com/hsgg/Spherical...
Code for cosmological SFB analysis. twitter.com/tweet_nakasho/...
タグ： JuliaLang
posted at 21:52:35
@gaelforget@mastodon @GaelForget
On #julialang side, this is part of what I am aiming for with IndividualDisplacements.jl bit.ly/3kiOkXV
As of v0.2.11 :
- trajectory computation for ocn & atm is mature
- plotting : Plots.jl and Maike.jl (e.g. below)
- analysis : DataFrames.jl and MeshArrays.jl
... twitter.com/ShaneKahn/stat... pic.twitter.com/0YpslF3kii
タグ： julialang
posted at 21:57:23
@gaelforget@mastodon @GaelForget
On the diagnostic side, porting over the transports & stats in Rousselet, Cessi, Forget, 2020 doi.org/10.1029/2020GL... is on near top of my to do list
Would also mention e.g. github.com/JuliaDSP , github.com/JuliaStats , etc
タグ：
posted at 22:07:36
#超算数 こんなことが去年の一月一日にありましたっけ… コロナ以降は、別の国に来てしまったような感じだ。 twitter.com/temmusu_n/stat...
タグ： 超算数
posted at 23:03:27
いちおう読みました。いちおうと言うのは、僕は読んだのですが、これがなんらかの意味で2011年に問題提起されその後の9年間をかけて理解されてきたことへの回答にはなんらなっていないと思うからです。おそらく春日氏はこの9年間「御用学者wiki」のことなど思い出しもしなかったのではないでしょうか twitter.com/tsuyomiyakawa/...
タグ：
posted at 23:14:59
逆に、僕がこの問題に戻ってきたのはTwitterで確認する限り2015年です。2019年12月31日に僕は以下のように書いています。
「僕は「御用学者wiki」を決して忘れないし、それを肯定的に評価したアカデミズムの人間を絶対に許しません。
どちらが正しかったかは既に歴史が証明しています。」
タグ：
posted at 23:18:08
さて、春日氏はブログのタイトルを「科学認識をめぐる論争とその裁定プロセスの問題について」としています。僕まさか御用学者wikiに関する意見表明にこのようなタイトルがつけられるとは思いもしませんでした。「科学認識をめぐる論争」とはなんのことでしょう。「裁定」とは誰がするのでしょう。
タグ：
posted at 23:20:50
冒頭「専門家と素人のコミュニケーションと言う問題について、かつての議論が再燃」と書かれています。僕はそんな話はしていません。僕が問うたのはそんなことではありません。専門家というのはwikiに取り上げられた人々でしょう。では「素人」とは誰のことか、コミュニケーションとは何か
タグ：
posted at 23:22:33
僕は「御用学者wiki」の暴力性を問うています。それは「コミュニケーション」ですか? あれは「コミュニケーション」でしたか?
春日氏は問題を無用に一般化して、具体例を出さないという「議論にならない議論」で一貫しています。その点について、僕は2011年に氏に問うたはずです
タグ：
posted at 23:24:31
僕は2011年に、春日氏に対して「具体例を挙げて論証すること」を求めました。例えば、僕自身についての記述をどう評価するかなどです。いたずらに一般化したところで、話は進まないからです。
今回も僕が望んだのは「専門家と素人のコミュニケーション」などという徒らに一般化した話ではありません
タグ：
posted at 23:27:10
僕が問うているのは「御用学者wikiとはそれ自体が暴力的存在ではなかったか」「それを一部なりとも容認した春日氏は自らを振り返ってどう考えるか」です。
その意味で、まず付された解像度の粗い謎の絵はなんの意味も持ちません。「Aと反A」とは今の問題では具体的に何でしょうか
タグ：
posted at 23:29:54
「事実に関する「科学的見解」が二極化していると言うことです」とは今の問題で具体的に何でしょうか。放射能問題ですか? それなら科学的見解は二極化などしていません。科学的コンセンサスは存在しました。それは教科書にも書かれていたことです。放射線取扱主任者試験の参考書にも書いてあります。
タグ：
posted at 23:33:40
次に「相手との議論 （ないし対話）にどのような表現を使うか」とあります。「議論」「対話」とはいったい誰と誰の議論であり対話なのでしょうか。今の問題で具体的には誰のことでしょう。
御用学者wikiが議論や対話の場だったとはとても考えられません。「御用学者」を一方的に認定しただけです
タグ：
posted at 23:35:47
「政策的な意思決定を行ったり、コミュニティで合意を形成するために重要なことは、横軸に関しては「社会のなるべく多くの人」（例えば８〜９割の人）がのれるような、事実認識についての、幅のある合意をとることではないでしょうか」とは具体的に「御用学者wiki」に即して言えば、何でしょうか
タグ：
posted at 23:37:04
「そのために必要なのは論理的な論証手続きに則っりつつ、相互の人格を尊重しながら、対話を深めると言うことであり、そのためには許容される縦軸の側を下に縮めていくことではないかと考えられます」とは何について言っているのでしょう。対話も議論も存在しないところで、それは意味がありますか?
タグ：
posted at 23:38:43
「一般合意は容易ではありませんが、現時点であっても、少なくとも法律に反するものはダメという合意はつくれるでしょう」とあります。当たり前です。法律に反するものはダメで当然です。僕が問うているのは、「御用学者wiki」というもの自体が暴力的言論封殺ではなかったか、ということです
タグ：
posted at 23:40:30
その点において、僕は表現が法律に違反するかどうかなど問うていません。あのリストそのものが暴力的言論封殺であるというのが僕の見解であり、それについて春日氏は何も答えていません。
2011年に僕自身についての記述はどうかと具体的に問うたことへの答えすら、9年経っても得られていません
タグ：
posted at 23:42:57
「明確な利益相反が存在しないのにも関わらず、「エア御用」という表現を用いることも、司法の判断が必要ですが、場合によっては名誉毀損に該当する可能性があると考えています」も全くのごまかしで、司法の判断だの名誉毀損だのの話はしていません。これ自体が暴力ではないかと問うているのです
タグ：
posted at 23:44:03
「どこまで成功していたかはわかりませんが、御用wiki 問題については最初の関わりで、このスイス役を担う可能性があったために、私としては双方に対して「横軸の価値判断は致しません」と宣言させていただいていたつもりでした」と春日氏はあたかも自分が論争の外の安全圏にいたかのように書いてます
タグ：
posted at 23:45:59
これこそがまさに不誠実であって、僕が問うたのは「御用学者wikiに書かれた菊池誠に関する記述について春日氏自身はどう判断するか」です。僕は春日氏に「安全圏」から一般論を言うのではなく、降りてきて議論をせよと求めたのです。
春日氏は決して安全圏から降りてこないので、議論にならないのです
タグ：
posted at 23:48:40
僕は御用学者wikiで取り上げられた当事者のひとりであり、特に「エア御用学者」の中では最も多くの記述がされている人間ですから、この問題についてはあくまでも当事者として述べます。僕自身が暴力予告を受けた経験があり、御用学者wikiとはそれと同列にある暴力的な言論封殺行為だったと考えます。
タグ：
posted at 23:51:45
春日氏はその問題に一切答えていません。誰も法律の話などしていないところへ「法律云々」と関係ない話を持ち出すのは、春日氏のいつもの「過度の一般化によって問題の核心には決して触れない」議論の仕方にすぎません。僕はそれは全く不誠実な態度であると思います。
タグ：
posted at 23:53:47
長くなりました。とりあえず、「とてもがっかりした」ことだけをお伝えして、いったん終わりとします。
まだブログ全文の1/3程度にしか触れていないと思うので、いずれまた続きを書くかもしれません
タグ：
posted at 23:55:19
