黒木玄 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月20日(土)
cd ~/.julia ; mkdir dev ; cd dev ; git clone github.com/johnmyleswhite... ; mv ContinuedFractions.jl ContinuedFractions ; cd ~/.julia ; cp packages/ContinuedFractions/Hk0HJ/Project.toml dev/ContinuedFractions で準備。juliaを起動、] でpkg>に入り、dev ContinuedFractions でアップデート。 twitter.com/genkuroki/stat...
タグ：
posted at 00:14:44
‥ pkg> st ContinuedFractions で確認。^C で julia>に戻り、using ContinuedFractionsの後、cf = ContinuedFraction(sqrt(2)) が無事動くようになった❣️ twitter.com/genkuroki/stat...
タグ：
posted at 00:18:53
@genkuroki 無事に、ContinuedFractions.jl が使えるようになりました。twitter.com/kazmuzik/statu... ありがとうございます。今後、プロジェクトによっては、PythonやJavaからJuliaに移行していくことになると思います。
タグ：
posted at 00:21:19
かけ算の順序に固執する先生を本格的に導入ということになりそうですぞ。
また一歩、学校教育の荒廃がすすんでいく。
#超算数 twitter.com/u_chan255/stat...
タグ： 超算数
posted at 01:41:53
@Inazuma_110 #Julia言語 ブロードキャストを並列化してくれるマクロがあると便利ですが、私は知りません。しかし、
github.com/tro3/ThreadPoo...
using ThreadPools
とすれば
tmap(f, x)
などが使えます。
円周率のモンテカルロ計算への応用↓
gist.github.com/genkuroki/2e8f... pic.twitter.com/uX2lXsYMRC
タグ： Julia言語
posted at 01:49:42
Castle Walls.
cw-210220015701
The Game of Life with the rule like an environment of nature. 🦠 www.deconbatch.com/2019/09/castle...
#processing #generative #creativecoding #OpenSource pic.twitter.com/ENSkzddlXp
タグ： creativecoding generative OpenSource processing
posted at 01:58:11
@sekibunnteisuu @genkuroki @golgo_sardine @cjackano やるなら「場合の数は難しいので、すべて書き出す以外の解法は存在しない！」くらい徹底してくれないと（）
ほんとに、これはもとから矛盾だらけなので、常に考え続けているくらいでないと、すぐボロが出ます。
タグ：
posted at 02:15:19
#超算数
【超算数をインストールされた人、なぜか再生産を行う傾向にある】
そうなる理由↓
日本で算数教育で飯を食って行きたい場合には、ちょー算数マスターになると、就職先が増えたり、出世できる可能性が増えたりする。
ちょー算数には100年以上の伝統に支えられた社会的基盤があります。 twitter.com/novlude/status...
タグ： 超算数
posted at 02:17:20
かけ算順序問題が新聞で話題にされても、ダメージも受けない理由は、社会的に硬い基盤を持っているから。
子供の保護者側は自分ちの子が被害を受けずに通過すれば発言を続ける意欲は減ります。
ちょー算数マスターになると算数教育界で出世してより良い地位に転職できるかもしれない。
この対比。
タグ：
posted at 02:21:57
例えば、算数の教科書の著作者リストに載っている人達がちょー算数についてどのような考え方を持っているか、どこでその考えを身につけたのか、どのような経歴で算数の教科書の著作者まで出世できたのか、などについては調べる価値があります。
これ面倒な作業で結構大変。
タグ：
posted at 02:24:47
いずれにせよ、「小学校の先生はバカだから、算数についておかしなことを教える」という見方しかできない人達は、この問題の解決において極めて有害であり、ちょー算数を間接的に応援しているとみなせます。
「ちょー算数の伝統に支えられた社会的基盤」も批判しないとこの問題は解決しない。
タグ：
posted at 02:29:17
教科書に、ちょー算数を教えることを前提にした記述を、それとはわからないように入れて、教科書検定を通るようにしておき、教科書のマニュアル本を一般人購入不可の形で別に出版して小学校にちょー算数教育を普及させる。
算数の教科書出版社はこういうことをやっているのです。何十年間も続けて！
タグ：
posted at 02:32:31
その影響下にある小学校や教育委員会内では、ちょー算数が正しいことは「共通の了解」(常識)になってしまっており、その中で楽に生きて行くためには、ちょー算数に従うしかなくなる場合さえあるようです。
こういう現状を無視して「教師はバカだからそうなる」的な偏見を強化する流れを作るのは有害。
タグ：
posted at 02:35:35
悪質なカルトの信者達が目立つときにその信者達を批判することは確かに必要なことでしょう。
しかし、末端の信者達をどんなに批判しても、その悪質なカルト内部のカースト上位の人達は安泰なままです。
数千万人単位で子供達に悪影響を与えた人達を批判しないとまずい。
タグ：
posted at 02:41:11
この話をするときに、私はいつも「なんて大袈裟なことを言うんだ！ついにこいつは妄想で頭が狂ってしまったのか？」と思われてしまうことを心配しています。
私はそういうことを心配しながら書いています。
タグ：
posted at 02:43:11
#数楽 問題：ランダム直交行列の固有値が単位円周上に等間隔に近い感じでランダムに並ぶ理由の「物理的説明」があるか？
反発力のようなものがあれば円周上の一様分布よりも等間隔に近くなりやすいと思うのだが。 pic.twitter.com/MfRt3lAADA
タグ： 数楽
posted at 03:20:19
#JuliaLang
v1.5.3 vs. v1.6.0-rc1
random counting
11 sec (v1.5.3)
↓
3 sec (v1.6.0-rc1)
😊😊😊😊😊
gist.github.com/genkuroki/33f6... pic.twitter.com/6kz8aADAZs
タグ： JuliaLang
posted at 03:54:16
#JuliaLang
3 sec (v1.6.0-rc1, single thread)
↓
0.9 sec (v1.6.0-rc1, ThreadPools.tmap)
ThreadPools.tmap example.ipynb
gist.github.com/genkuroki/2e8f... pic.twitter.com/xfsl8QF8Ac
タグ： JuliaLang
posted at 03:59:14
@numachi11111 @genkuroki @golgo_sardine @cjackano 簡単な順列は算数でも扱うのですが、指導案などを見ると、式を提示ししなかったりして、ごまかしているケースが多いですね。
タグ：
posted at 07:08:33
#Julia言語
forループの函数版：返り値のある函数fをX成分ごとに作用させた結果を得るためにはmap(f,X)を使い、返り値を使わずにXの各成分ごとにfを実行するにはforeach(f,X)を使う。
それぞれのスレッド並列版がThreadPools.{tmap, tforeach}。
github.com/tro3/ThreadPoo...
タグ： Julia言語
posted at 07:45:23
#Julia言語
ThreadPools.{tmap, tforeach}だけではなく、ThreadPools.{qmap, qforeach, bmap, bforeach}についての解説を誰かしてくれないものだろうかと思う。
github.com/tro3/ThreadPoo...
タグ： Julia言語
posted at 07:45:24
#Julia言語 互いに独立なモンテカルロシミュレーションを大量に並列で走らせたければ
using Base.Threads
@ threads for i in 1:niters
result[i] = monte_carlo_simulation()
end
実際には細かい注意が必要。
細かい注意の具体例については以下のリンク先を参照。
gist.github.com/genkuroki/3672...
タグ： Julia言語
posted at 08:19:51
#Julia言語 繰り返しを分割して、各々を別のスレッドで並列処理したい場合には、分割されたレンジを Distributed.splitrange(start, stop, n) で作れることを知っていると便利です。
@ threads for ran in Distributed.splitrange(1, N, nthreads())
for i in ran
～
end
end pic.twitter.com/ZEAPLyPaGa
タグ： Julia言語
posted at 08:32:27
@sekibunnteisuu @genkuroki @golgo_sardine @cjackano そこで「この指導方針は、おかしいのでは？」と気づけないんですかねえ…
タグ：
posted at 08:47:37
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
mRNAワクチンを「革新的」と呼ぶのにはやはり違和感。違うんだよ。30年にも渡る地道な努力の積み重ねで、数年前には実用化レベルまで行っていたけど既存品と比較して優位性がなかっただけなんだ。それでもこの技術はいつか役に立つときがあると信じてたんだよ。そして「いつか」が来てすぐ実用化した。 twitter.com/HironoriFunabi...
タグ：
posted at 11:30:45
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
「地道な努力」「諦めない」「役に立つ場面が来るという信念」。研究者の仕事としては、こういったものを称えるべきなんだ。
30年以上よく頑張ったと言ってあげるべきなんだ。
タグ：
posted at 11:43:06
そして、企業としての姿勢。
既存技術と比較して優位性がないとされても、新興感染症では有効な対抗策になるとわかってた。それでも経済的合理性から技術を手放す企業がある中で、社会的使命のために技術を保持しつづけた。その時がいつ来るか？来ないかもしれない。それでも人類のために。
タグ：
posted at 11:43:07
金の問題じゃあない。製薬企業は人の命を救うためにあるという信念ですぐに金にならない技術を維持してくれた。
革新技術じゃないんだ、30年以上の歴史で改良を加えて数年前に完成したけど、葬られそうになった技術なんだ。それを保持してしてくれてたんだよ。
称えるポイントが違うんだ。
タグ：
posted at 11:43:07
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
#Julia言語 における並列計算の情報って、ググってもあまり見つからないので（しかも英語の情報ばかり）、 @genkuroki さんのツイートは本当に参考になります。
タグ： Julia言語
posted at 12:27:13
#Julia言語 無駄な(重複した)計算やメモリアロケーションを無くして、スレッド並列化した結果、7倍程度速くなりました。CPUは4コア。コア数がもっと多ければより大きな高速化が可能なはず。
①最適化前 41.4秒
②最適化後 5.8 秒
数秒と数十秒では試行錯誤のループの回転の速さが全然違う。 pic.twitter.com/8nlFw0PJoj
タグ： Julia言語
posted at 13:06:06
「mRNAを注射すればタンパク質が作られてワクチンになるんじゃない」という発想自体はそれほどユニークでもなかった。実際にやってみると、細胞にうまく入れるには工夫が必要(想定内)、RNAは分解されやすい(想定内)、RNAがTLRという免疫システムを活性化させて危険な副反応が起こる(想定外)という課題
タグ：
posted at 13:10:31
という課題があった。大きな問題は分解のされやすさと過剰な免疫活性化。十分な研究資金がない状態でこの研究を続けてきたカリコさんは、これらを解決するのに実に15年近くかけ、TLR活性化と分解を回避するのに有用な修飾塩基を見出す。そこからうまくいくと思うでしょ？
しかし、
タグ：
posted at 13:10:31
彼女は教授職をクビになります(理不尽)。
で、製薬ベンチャービオンテックに就職。
その後、細胞内にRNAを入れる方法も確立。今度こそうまくいくと思うでしょ？ビオンテックはガンかレア疾患でRNAが使えないかと目論んでたけど、これらの病気ではダメでした。残念。
タグ：
posted at 13:10:31
当初の目論見の、感染症のワクチンはどうか？狂犬病やインフルでやってみたら、十分及第点。でも、これらの病原体のワクチンならすでにある。別に今までのワクチンで良くない？RNAワクチンいらなくない？ってなっちゃて、大手製薬はほとんど撤退、ビオンテックとモデルナが残った。
タグ：
posted at 13:10:32
でも大手のファイザーはビオンテックを切らずに感染症のワクチンの開発を一緒に続けた。資金と技術が切れずに残った。新型コロナパンデミックが起こって、結果的にこの判断が正しかったと証明された。
一方大手がついてないモデルナには、アメリカ政府が後ろ盾になった。
タグ：
posted at 13:10:32
コロナ対策を何もしなかった、失敗したと酷評されているトランプ大統領だが、モデルナへの資金提供を軸にした「オペレーション・ワープ・スピード」にゴーサインを出して、1兆円ものを投入し予算官民軍一体となった巨大プロジェクトを成功させた。
タグ：
posted at 13:10:32
「新しい革新技術でmRNAワクチンが開発された」ってことになってるけど、ちょっと違うんだよ。30年という今じゃあ信じられないような長期間かけてモノになった技術、カネにならないと見捨てられかけたけど大手製薬1社とベンチャー2社だけは捨てなかった技術、
タグ：
posted at 13:10:33
政治素人と言われる実業家大統領の思い切った決断と唯一無二の超大国の底力。ぽっと出の革新技術じゃなく、すごい長期間かけた挙げ句捨てられかけた技術を巨大企業の資金力やアメリカの底力が、サルベージしたんです。
タグ：
posted at 13:10:33
医療関係者から見たらいきなり出てきた新技術でしょうけど、4半世紀以上前からバイオ技術研究のサイドから見てきた者としては、全く違うものとしてmRNAワクチンを評価している。mRNAワクチンについて語る「プロフェッショナル」が医師だけなので、違った側面から見えるもう一つの事実を知ってほしい。
タグ：
posted at 13:10:33
試行錯誤で数学的に何が起こっているかを確認したい場合には計算速度は非常に重要。速いは正義！
さらにコードを少し変えてやり直すことも繰り返すので、コードを変更してから実行するまでの時間(コンパイル時間など)は可能ならばゼロであって欲しい。
このような点について現時点ではJuliaが最強！
タグ：
posted at 13:11:58
#Julia言語 マルチスレッドを使いたい場合には、環境変数 JULIA_NUM_THREADS を設定しておくか(v1.4以下でもOk)、
julia -t auto
のようにオプションをつけてjuliaを起動するようにしておくことを忘れずに！(v1.5以上)
docs.julialang.org/en/v1/manual/m... pic.twitter.com/jnjkgOAakn
タグ： Julia言語
posted at 13:34:28
#超算数
この連ツイを読んでほしい。つまりはこういうこと。
掛け算の順序で、順序批判の側から、単位を書かせればいいとかいろいろ「提案」がなされるが、そういうレベルの話じゃない。
算数教育全般が根本的におかしくなっていて、たまたま掛け算の順序という形でそれが顕在化しているだけ。 twitter.com/musorami/statu...
タグ： 超算数
posted at 13:48:49
毎年扱うんだけど阪大の過去問
正の数θnが，θ1+…+θ5=2π を満たすとき
sinθ1+…+sinθ5
の最大値を求めよ．
これって，円に内接する五角形の面積の最大値だよねと
タグ：
posted at 13:53:20
#Julia言語
Threads.@ threads (マルチスレッド)
Distributed.@ distributed (マルチプロセスの分散処理)
の違いについては、
スレッドとプロセスの違いについて検索↓
www.google.com/search?q=%E3%8...
タグ： Julia言語
posted at 14:46:01
#Julia言語 ThreadPools.tmapの解説
4sum(tmap(count_isindisk, splitint(N, Base.Threads.nthreads())))/N
でやっていることは
①splitintでNをnthreads()個に分割
②その各々にtmapでcount_isindiskを適用(並列化される)
③その和の4倍をNで割る
gist.github.com/genkuroki/2e8f... pic.twitter.com/Mno79sCQFP
タグ： Julia言語
posted at 15:42:51
#Julia言語
正の整数Nをn個の数に N = k_1 + … + k_n と分割するのではなく、レンジ 1:N をn個のレンジに分割するには Distributed.splitrange を使える。
注意：その函数の仕様は今後変わるかもしれない。(過去に変わったことがある。) twitter.com/genkuroki/stat... pic.twitter.com/IMybggB5qC
タグ： Julia言語
posted at 15:55:33
OokuboTact 大久保中二病中年 @OokuboTact
#超算数 ＃正三角形と二等辺三角形の関係 ＃正方形と長方形の関係
心理学や教育学が、算数教育に悪影響しか与えてない件
＞ 「正三角形は二等辺三角形である」は第２水準では正しいが、第０、第１水準では正しくない。 pic.twitter.com/YVPoklDeW1
タグ： 正三角形と二等辺三角形の関係 正方形と長方形の関係 超算数
posted at 16:45:02
OokuboTact 大久保中二病中年 @OokuboTact
＃超算数 次の頁
＞ 小学校では図形の概念形成が主で、定義に基づく図形の関係や図形の包摂関係を明確に指導しないものの、
算数教育の驚くべき事実（もちろん教師にとっては常識） pic.twitter.com/qveRy4V9jY
タグ： 超算数
posted at 16:53:01
OokuboTact 大久保中二病中年 @OokuboTact
#超算数
前頁に「図形の心理学」についての説明があり。
水準が０から４まであって、第４水準は数学者の水準だそうです pic.twitter.com/c9Lkj8BWjc
タグ： 超算数
posted at 17:00:28
OokuboTact 大久保中二病中年 @OokuboTact
＃超算数 ＃長方形と正方形の関係
算数教育あるある
定義を無視して教える習慣がある
twitter.com/OokuboTact/sta...
タグ： 超算数 長方形と正方形の関係
posted at 17:06:01
OokuboTact 大久保中二病中年 @OokuboTact
＃超算数 ＃長方形と正方形の関係
算数教育あるある
マッチポンプ式教育法。
自分で火をつけたことを忘れて火事だと騒ぐ
twitter.com/OokuboTact/sta...
タグ： 超算数 長方形と正方形の関係
posted at 17:10:45
OokuboTact 大久保中二病中年 @OokuboTact
＃超算数 ＃長方形と正方形の関係
有名な「教科書」作成会社の指導書（教師用授業マニュアル）を見てみる。
選択問題では、「正三角形は長方形ではない」
pic.twitter.com/ycmnA2uXSP
タグ： 超算数 長方形と正方形の関係
posted at 17:18:20
Juliaのissueを眺めていると、Aさん 「このイシューに取り組みたいです！！」Stefanさん「許可はいらない！！PRを作れ！！」(意訳)みたいなやりとりが繰り返されてるんだけど(但しPRは作られない)、これは様式美なんだろうか(笑)
タグ：
posted at 17:25:18
Juliaの数学関数はOpenlibmってのを開発して使ってるって小耳に挟んだ記憶があるが、Juliaで書かれてたのか。まあ三角関数は原点近くまで引き戻してしまえば後はどうやっても大差なくて、どうやって高精度に引き戻すかが難しいというイメージ。 twitter.com/Atsushi_twi/st...
タグ：
posted at 20:10:51
非公開
タグ：
posted at xx:xx:xx
#Julia言語 並列化関連
並列化せずに書いたコードを「小さなn」でテストした後に、やっていることがシンプルなら、ちょっとだけコードを追加して並列化できると結構美味しいです。
twitter.com/genkuroki/stat...
タグ： Julia言語
posted at 21:14:14
#Julia言語 Arrayではなく、Tupleが使える場合には、Tupleで済ませた方が効率的に特になることが多い。
しかし、Tupleには線形代数の演算が定義されていない。
Tupleを「線形代数化」したものに
github.com/JuliaArrays/St...
StaticArrays.jl
という便利なパッケージがある。
twitter.com/genkuroki/stat...
タグ： Julia言語
posted at 21:50:02
#Julia言語 ほとんどマクローリン展開なのですが、DS1～DS6の値をじっと見れば、高次の係数ほど大きくずらしてあって、ぴったりマクローリン展開にはなっていないことが分かります。
この微妙な点も結構面白いはず。
Juliaのリポジトリへのリンク↓
github.com/JuliaLang/juli... twitter.com/Atsushi_twi/st... pic.twitter.com/BSrmyaLgZa
タグ： Julia言語
posted at 21:57:37
小林 敬明|PDFへの書き込みはAxel @takobaya391076
Qiitaで順調にいいねがつきました。
マクドナルドで一日分の栄養を取れる組み合わせを計算したら衝撃の結果に qiita.com/takobaya391076... #Qiita @takobaya391076より
タグ： Qiita
posted at 22:39:13
Dr. Chris Rackauckas @ChrisRackauckas
This is a great showcase of the #julialang #sciml ModelingToolkit.jl and Koopman operator tooling for accelerating astrodynamic trajectory design.
www.youtube.com/watch?v=FMVOUv...
posted at 22:55:17
今日の詰将棋です。玉方の妙防に注意して下さい！
検討時、なぜか家の柿木将棋では解けませんでした、、PCがポンコツすぎるのでしょうか？ twitter.com/asahi_shogi/st...
タグ：
posted at 23:50:29
