黒木玄 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月13日(土)
ただ、こういうの、どの言語で書くのがいいのか決めかねている。Web フロントエンド業界では Node.js + React が神みたいに扱われてるけど、DB を叩くだけじゃなくて科学データへのアクセスを伴うなら Python のほうがライブラリが揃ってるし、かといって計算もやるなら Julia じゃないと遅くて辛いし
タグ：
posted at 23:32:35
Julia の非同期プログラミングを学ばねば。Channel とか Task とか。電顕画像のサムネイルを提供する Web API backend が目的で、リクエストが来たらそれを優先的に処理するけど、暇なときは他の画像のサムネイルを前もって作るようなもの。PriorityChannels.jl あたりを使ったらいいのかな。
タグ：
posted at 23:22:00
JuliaでもM1のほうが速いのか。ちょっとショック。今のコードを倍速くするにはM1に買い替えるのが早い？でも、Intel版を買ったばかりだから無理だな。悔しい twitter.com/tomiyaakio/sta...
タグ：
posted at 22:12:29
@ChadScherrer @mason_protter It is interesting to see this discussion online. I am surprised how often people who are really into Swift for this, seem to be totally unaware of Julia. Or they seem to not take it serious because it is not statically typed.
タグ：
posted at 22:10:58
このツイートこそ教育の敗北、いや、トンデモ算数の勝利かな。この人自身も、超算数の犠牲者なんだよね。犠牲者が加害者になる。カルトやマルチ商法と同じだね。 twitter.com/Eylice966/stat... pic.twitter.com/CNJv6EEdu0
タグ：
posted at 21:40:22
日本版AAASは春日が手を引いたら話を聞いてもいい。それまでは聞く耳持たん。
御用学者wikiみたいな言論の暴力を肯定するやつに科学技術と社会だの語ってもらいたくない
タグ：
posted at 20:39:05
このように考えてしまうのは当然だが、実際は、レベルの低い教員がおかしなことを教えているのではなく、算数教育の専門家がおかしなことを言っていて、多くの教員はそれを無批判に受け入れている。
算数教育を熱心に学んだ教員こそが一番たちが悪い。 twitter.com/Hattenazo/stat...
タグ：
posted at 19:32:22
これも馬鹿すぎる。
教師のやることはすべて正しい
教師のやることに文句を言ってはいけない
という人なのかな？
twitter.com/kurikaniko/sta... pic.twitter.com/gCti5Mn2sN
タグ：
posted at 19:23:14
@mason_protter Think we'll see former S4TF people popping up in the Julia community?
タグ：
posted at 19:18:46
「a_{n+1}とa_nは別物なのに、コレを同じ文字で置く理由がわからない」のような疑問は、その問題のみの話にしなければ、強制振動の話にも繋がっていると思える。
タグ：
posted at 18:54:11
#数楽 sin(t) - sin(0.99t) のプロット
三角函数の加法定理は強制振動の分析そのものだとも思える。
www.wolframalpha.com/input/?i=plot+...
www.wolframalpha.com/input/?i=plot+... pic.twitter.com/6vo4m7HsA1
タグ： 数楽
posted at 18:51:00
易しいことから、地道に順番にやって行くことが基本。
一歩先の難しい問題を既知の易しい問題の組み合わせに分解しながら一歩ずつ進む。
「算数むちゃくちゃ苦手」な子と同じように作業を進める。
数学は難しいので、みんな「算数むちゃくちゃ苦手」な子と同じ状態に陥るのが当然のはずなのです。
タグ：
posted at 18:30:21
Guen'ichiYamaguchi @GuenichiYGC
@solid__blue ちなみにこれも私の無断翻訳でした
anond.hatelabo.jp/20190824134241
タグ：
posted at 17:39:45
Guen'ichiYamaguchi @GuenichiYGC
@solid__blue ご報告ありがとうございます。
著作権法的にアレですが･･･ワシントンポストのコラムをこっそり翻訳してしまいました
www.dropbox.com/s/xw53vz4brpve...
タグ：
posted at 17:29:44
よく言われる「一文字変数名はダメ、意味のある名前に」というのは、問題領域の言葉(金融なら「利率」とか、販売管理なら「入庫数」とか)を変数名にしなさい、という事なので、数式という問題領域の言葉でεという一文字で表現されているなら、コードもεと一文字で表現するのが自然なんですよね。 twitter.com/genkuroki/stat...
タグ：
posted at 17:17:27
@musorami @Yta8Ntion1FKvR0 @OokuboTact @temmusu_n やり方の説明だけじゃなく、なぜそうなるのかまで説明すれば、教える側の勉強にはなるけど、
どっちにしても教わる側にあまり益はないでしょうね。
タグ：
posted at 16:48:19
@musorami @Yta8Ntion1FKvR0 @OokuboTact @temmusu_n そうなっちゃいますよね。
子供同士が教え合うことが素晴らしいみたいなことを思っている人がいるかもしれないけど、算数・数学には当てはまらないですね。
タグ：
posted at 16:47:13
少し上の方の誤植：❌u(x_ → ⭕️u(x)
#Julia言語 SymPyの使用例
① a_{n+1} = 2a_n + n² + n + 1, a_0 = c の答えの検算
② u'(x) = 2u(x) + x² + x + 1, u(0) = c の答えの検算
③ u'(x) = 2u(x) + 5sin(x), u(0) = c の答えの検算
gist.github.com/genkuroki/fc55... pic.twitter.com/bxVOxh481w
タグ： Julia言語
posted at 16:45:07
#数楽 以下のリンク先の「算数むちゃくちゃ苦手」な子の路線が王道だと気付いて実践し続ければ、近道の方法を採用することも徐々にできるようになるし、
* 問題を解くときの計算量が増えて計算練習にもなる
というボーナス経験値も得られます。ランダムな計算問題の練習よりこちらが勝ると思う。 twitter.com/09waku09/statu...
タグ： 数楽
posted at 16:38:56
#数楽 このスレッドのテーマは、与えられた問題の答えをいきなり得ようとするのではなく、より易しい別の問題を解き続けることによって、結果的に与えられた問題も解けてしまうことの理解。
要するに、以下のリンク先の「算数むちゃくちゃ苦手」な子の考え方が数学では王道だということです。 twitter.com/09waku09/statu...
タグ： 数楽
posted at 16:33:52
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
@musorami @Yta8Ntion1FKvR0 @OokuboTact @temmusu_n 議論させたり、児童同士の相互作用が無条件にいいとされてそれが目的になってしまっているように思いますね。
一方で、「だから問題解決型授業は駄目なんだ」と言って号令で子供を操るTOSSが流行ったり
なんだかな~
タグ：
posted at 15:16:12
Mark Kittisopikul ht @markkitti
In other hardware interface news, using #JuliaLang to call C APIs is amazingly easy, carries little to no overhead, and required no glue code other than describing data structures.
The latter was easily handled with some regular expressions on the C header file. pic.twitter.com/KWja3xNmjX
タグ： JuliaLang
posted at 15:08:39
Day 13/ #100DaysOfCode Finally conquered the spiral matrices in #julialang! Three days of searching for patterns, searching for patterns within the patterns, expressing them through math, putting it all together in code.
Article coming up soon (hopefully😰). pic.twitter.com/kjxq2kpBLL
posted at 15:01:29
非公開
タグ：
posted at xx:xx:xx
@Yta8Ntion1FKvR0 @musorami @OokuboTact @temmusu_n お互いの解決方法を鑑賞し合う、というのはある程度のレベル以上でなりたつ授業でしょうね。
私が塾で教えるときは、塾生同士が影響し合わないように配慮します。数学の理解というのは、孤独な作業だと思っているし、他人の意見を聞いて分かった気になるというのは色々厄介だと思うからです。
タグ：
posted at 14:27:18
@musorami @sekibunnteisuu @OokuboTact @temmusu_n 学校教育は
・自分で解法を導く
・他人の解法(考え)を読む
だと前者奨励の傾向があるのかな...と思ってましたが
「解き方が何通りもある問題に自由に取り組ませて、お互いの解決方法を鑑賞し合う」
の"お互いの〜"は方はちょっと後者っぽいですね。
タグ：
posted at 14:16:58
TensorflowがSwiftを選んだのは愚かであったことが証明された。
Juliaでやっていれば、プロジェクトがシャットダウンすることを防げてかつ、有益なツールの提供とその核心部分を握るアドバンテージが得られたと思う。
数学がらみの高速計算用途ではJuliaが優れている。
タグ：
posted at 14:16:53
@genkuroki すみません、漢字ではありませんでした。どこかの学校であったと思うのですが、失念してしまいました。すみません。
研修で、「理系の入試問題で単語を書かせる問題が増えている。由々しき問題」と元文科省の方が怒ってました。
同時に、「選択問題害悪論」も語られてましたが。
タグ：
posted at 13:38:29
HomeMadeGarbage @H0meMadeGarbage
【ブログ更新】
Raspberry Pi Pico でバーサライタ製作
回転速度 960rpmで1周1000分割でも余裕でアニメ表示ができました。
ヤバいんですけど。
#RaspberryPiPico #バーサライタ #バーサライター
🔽ブログリンク
homemadegarbage.com/pipico06 pic.twitter.com/yeFrbqHCn5
タグ： RaspberryPiPico バーサライタ バーサライター
posted at 13:30:19
@yoshiyu02784200 どこの大学の何年のどの入試問題なのかわかるのなら、適当なスクショとリンクを示して頂ければ責任を持って拡散します。
おかしな入試問題への風当たりが強くなることは社会的に大事なことだと思います。
タグ：
posted at 13:06:31
@genkuroki @eco_tetsu ﾋｴｯありがとうございます
愚直に「多項式だから解析的に積分できるなぁ」「積分結果の多項式の根は (0, 1) にあることが分かっているし数値的に求まるなぁ」という感じで出しました…誤差は小さいかもしれませんが計算はエグいので、楽ができるような知識は付けたいなと思いました
タグ：
posted at 12:07:31
@OokuboTact @sekibunnteisuu @musorami @temmusu_n できるほう（格上のほう）の児童は出来レース（演出）に乗ってあげるだけのサービス精神が必要。（これはこれでしんどいということは知られて良い）
タグ：
posted at 12:06:34
OokuboTact 大久保中二病中年 @OokuboTact
@kankichi57301 @sekibunnteisuu @musorami @temmusu_n 教師に演出家センスを要求する授業方法は、馬鹿にされるべきだと思う。
タグ：
posted at 12:01:47
@OokuboTact @sekibunnteisuu @musorami @temmusu_n 格上の児童がクラスに存在しないと出来レースがうまく組めないでしょうねぇ。
タグ：
posted at 11:57:32
現在YMM3使ってるけどYMM4に乗り換えようかめちゃくちゃ迷ってるの
C言語とPython使ってるけど、Juliaに乗り換えようか迷ってるのと全く同じだなぁ
タグ：
posted at 11:42:48
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
@OokuboTact @musorami @temmusu_n 上手な先生は、それをあたかも子供たちが自主的に気付いたような体裁に作り上げる。
それで間違ったことを教えるのだから最悪。
タグ：
posted at 11:27:47
OokuboTact 大久保中二病中年 @OokuboTact
@sekibunnteisuu @musorami @temmusu_n 短い授業中に対立した意見を出して論争させて、なおかつ教師がうまく収束させるには、誘導になるのは見え見え。
タグ：
posted at 11:26:04
@OokuboTact @musorami @temmusu_n 問題解決型授業とされているものの多くは、誘導尋問で公式に当てはめさせるものですね。しかも、「クラスのみんなで約束した公式」みたいなかなり歪んだ形になるので、ある意味、頭ごなしに公式を覚えろというよりもたちが悪い。どっちもダメなんだけど。
タグ：
posted at 11:21:51
#数楽 確率分布関連の計算やプロットには #Julia言語 のDistributions.jl と StatsPlots.jl も便利。
julialang.org/downloads/
を入れて
julia> ]
pkg> add Distributions StatsPlots
pkg> バックスペース
julia> using Distributions, StatsPlots
gist.github.com/genkuroki/78c0... pic.twitter.com/u3T2achJsA
posted at 11:21:10
John Myles White @johnmyleswhite
@StefanKarpinski @F_Vaggi I agree with this broadly, although I'm not sold on those orders of magnitude -- seems too soft on Julia and too hard on Swift.
タグ：
posted at 11:21:07
@eco_tetsu @TaniyamaNoko もしもベータ分布がらみのある計算を、何も知らずに、自分で近似式を作って100万分の1未満の誤差で計算したならすごいです。
楽をしたい人には #Julia言語 Distributions.jl などがお勧め。例えば、
using Distributions
d=Beta(3, 8)
の後で
mean(d)
std(d)
mode(d)
median(d)
などが可能です。
タグ： Julia言語
posted at 10:47:02
@mason_protter Yeah, true enough, but I think there could have been a middle path where Google would have funded 1 or 2 compiler people in the core community and really doubled down on TPU support & use of Julia within Google. Anyway, not their DNA and that's ok.
タグ：
posted at 10:40:33
さすがにこの馬鹿採点を擁護する馬鹿はいないだろうと思ったら、いた。 twitter.com/naocchin1/stat... pic.twitter.com/pe2WFqIEK3
タグ：
posted at 10:37:34
非公開
タグ：
posted at xx:xx:xx
The S4TF team had some awesome people and I always thought very highly for their technical understanding of AD. But yeah, Google probably spent >10x-20x the $$ on this that we've had to work on AD in #julialang - sad to imagine the possibilities. twitter.com/johnmyleswhite...
タグ： julialang
posted at 10:32:05
@Bakeneko_JABLaw @tailwind04 「直接会って話したい」て言葉が出たら、対面なら恫喝なり懐柔なり相手の根負けまで話せば分かってもらえる=言質をとって丸め込める、と考えている危険人物なので絶対に会っちゃいけないタイプだって爺っちゃんが言ってた。
タグ：
posted at 10:25:39
@eco_tetsu @TaniyamaNoko え！そういう計算の仕方をしたんですか！
ネタバレになるので私の戦略の詳細はここでは語りませんが、私の戦略と谷山のこさんの戦略の数値的な違いは1e-6未満になっています。誤差は100万分の1未満。違いの数値は添付画像を参照。
いやあ、面白いですね！ twitter.com/taniyamanoko/s... pic.twitter.com/T3jKoxKTCr
タグ：
posted at 10:16:33
Stefan Karpinski @StefanKarpinski
@F_Vaggi @johnmyleswhite Would be 100x times easier to add static verification to Julia than to do what S4TF was attempting. Not exaggerating:
- adding static verification to Julia is a ~1-engineer-year project
- building a usable ecosystem for S4TF would take at least 100 FTEs
タグ：
posted at 10:05:17
伝統的な主観主義ベイズ主義の極端な考え方については以下のリンク先を参照。
穏健で合理的な考え方を学ぶには、渡辺澄夫さんが書いた本や講義のスライドが優れています↓
watanabe-www.math.dis.titech.ac.jp/users/swatanab...
↓
watanabe-www.math.dis.titech.ac.jp/users/swatanab... twitter.com/genkuroki/stat... pic.twitter.com/3WaR1M4pIX
タグ：
posted at 10:03:42
ちなみに固有値の幾何的重複度と代数的重複度がずれる場合、この方法は使えません。例えば、縮退した固有値やジョルダン標準形が出てきたらアウト。このような問題を扱う良い方法はまだオープン問題です。
タグ：
posted at 09:37:59
非公開
タグ：
posted at xx:xx:xx
「Juliaで精度保証付き数値計算」更新しました。
標準固有値問題の精度保証付き数値解法
taklab-blog.blogspot.com/2021/01/rigoro...
密行列の全ての固有値の厳密な区間包含を求める方法。今回から学生さんが手伝ってくれました。私が修士の頃、論文が出て勉強したアルゴリズムの一つです。
タグ：
posted at 09:28:20
No sabía que habían cerrado Tensorflow para Swift. Pienso que es una buena opción en el futuro para aquellos que prefieren un lenguaje nativo de Mac OS X versus Python. Sin embargo es una pena que no se apoye a Julia, es un lenguaje espectacular en cualquier OS #JuliaLang twitter.com/johnmyleswhite...
タグ： JuliaLang
posted at 09:13:55
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
John Myles White @johnmyleswhite
Now that it's archived, it really seems a shame that the great work that went into Swift for Tensorflow didn't go into Julia instead: github.com/tensorflow/swi...
タグ：
posted at 08:58:36
@Ayliean @drmelodyobeng And for some reason it also includes information about types of knot and logic notation pic.twitter.com/hgPmtLXSzK
タグ：
posted at 03:20:42
@Ayliean @drmelodyobeng I don’t have a printer 😢 BUT I do have an incredible little red notebook full of different grid paper 😁 pic.twitter.com/h8zEPulXNe
タグ：
posted at 03:17:35
非公開
タグ：
posted at xx:xx:xx
Ligun (りぐん) ☠️ Nenio @choonggeun
配列の添字が1始まりってのも数学とかソッチ用途向けって感じが伝わるなぁ
汎用言語としてはPythonの方が強いだろうけど、数値計算・統計ではJuliaの方がフットワーク軽そうだなぁ
タグ：
posted at 01:12:58
Ligun (りぐん) ☠️ Nenio @choonggeun
Julia、円周率をπ表記してくれるし複素数や行列も簡単に表現できる
PythonはおろかMATLABやScilabすら代替できるのでは pic.twitter.com/Ty433CBdFa
タグ：
posted at 01:10:17
富谷(助教);監修 シン仮面ライダー @TomiyaAkio
L=4^4 SU(3) Wilson-HMC 100 trajectory (+pion mass measurements)
MBP 1902.895140 seconds
M1air 1233.171178 seconds
1.5 倍速い
タグ：
posted at 00:55:12
Math Lady Hazel @mathladyhazel
Every geometry teacher should do this project in winter! 😍[bit.ly/3d7S0dx] pic.twitter.com/Sg9ZcpZGiY
タグ：
posted at 00:51:22
Next #JuliaLang must-have developer tool: github.com/JuliaDebug/Cth.... Apart from the awesome name, this pkg provides the macro `@descend expr`, which allows stepping thru code, debugger-style, and inspecting the different levels of compiled code at each step. Native, LLVM, or typed!
タグ： JuliaLang
posted at 00:00:02
