黒木玄 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年06月30日(水)
しかも、 #超算数 に汚染された先生は「”単位量あたりの大きさ×いくつ分” というふうに指導することになっているから、かけ算の順序は大切です。」などという主張を展開するわけですから、異常と言わざるを得ない。(続) pic.twitter.com/eBj5uBe6mE
タグ： 超算数
posted at 23:58:27
公式にあてはめて解くことになっているのだとしても、「単位量あたりの大きさ」とか「いくつ分」とか「全部の大きさ」というのが何なのか児童に分かるように説明できるものなのか？(続)
#超算数 pic.twitter.com/TSfPucoxtQ
タグ： 超算数
posted at 23:47:28
式を書くための方法が２つ示されています。
1. ことばの式で考える
2. 倍を使って考える
ことばの式 というのが、全部の大きさを求めるには「単位量あたりの大きさ×いくつ分」というもので、要するに公式あてはめ戦法です。(続) pic.twitter.com/bA4mzcGpcW
タグ：
posted at 23:43:30
1リットルあれば2.4㎡に水をまくことができる。では、1.5リットルでは？
この問題を解くための”定められた手順”があることが分かります。
大前提として、 2.4 × 1.5 = 3.6 という式を書かなければならないことになっている。
では、式を書くにはどうすればいいのか？ (続)
タグ：
posted at 23:35:43
現行の5年算数教科書です。
ここはごく普通の内容です。
湿った空気と乾いた空気では音速が違うとか、そういう話は無しということで… (続)
#超算数 pic.twitter.com/4NBhGTuWbr
タグ： 超算数
posted at 23:16:51
Can do partial eval, trace code at runtime, hotload and iterate codegen, compiler transforms in package space etc . Virtually the entire language is also natively differentiable. Julia is also plenty general purpose. Only problem is less code lying around.2/n
タグ：
posted at 22:07:40
I think this is a huge opportunity for #julialang given that we have an unmatched combination of reflection, dynamism, speed, numerics , symbolics, differentiability, static analysis, codegen and compiler tech. And burgeoning ml and probprog and e-graph ecosystem. 1/n twitter.com/Skiminok/statu...
タグ： julialang
posted at 22:04:22
@ClimatePrimate @JuliaLang Higher resolution grids will resolve some features better, such that the bitwise information will recommend to preserve more bits. But the lossless compression will have an easier job due to more spatial correlation! There's an example in the preprint: Fig. S3
タグ：
posted at 22:03:32
@ClimatePrimate @JuliaLang For unstructured grids, you'd need to define what "adjacent grid points" are (more a technical question though), worst-case unravelling those 2D into 1D, maybe with a space-filling curve.
タグ：
posted at 21:50:40
富岳の運用状況がGrafanaで可視化されている！エモい！
status.fugaku.r-ccs.riken.jp pic.twitter.com/vc10SBRV9X
タグ：
posted at 21:49:46
@milankloewer @JuliaLang interesting study and great visualisations! Not sure I have fully understood the details, but is there a sensitivity to model grid details (resolution, structured vs unstructured). could lower resolution grids require more precision if they have less “noise”?
タグ：
posted at 21:37:44
非公開
タグ：
posted at xx:xx:xx
@uKi2wQXyG7rx3gL りんごやみかんを持ち出すこと自体には問題ないし、りんごやみかんに応用できないようだと算数を勉強しても無意味でしょう。
そして、3+4のような式が、数量ではなく、場面を表すことにしてしまっている算数教育界の非常識な伝統を全面的に改めさせることは社会的に非常に重要です。
タグ：
posted at 19:06:12
@uKi2wQXyG7rx3gL 真の問題は、算数だけではなく、高等数学であっても具体的なイメージを重視し、実際に口先だけの重視ではなく、手描きの図やコンピュータによるプロットを多数ツイートしている私のような人物が参加している議論で、添付画像のような人間的にクズな発言を平気でできてしまうことです。 pic.twitter.com/Lb0ZbXbDqT
タグ：
posted at 19:03:02
色々なサイトと，銀本あたりを参考に作ったSod shock tube．有限体積法で，言語はjulia pic.twitter.com/XodgcmIGBl
タグ：
posted at 19:01:22
OKUMURA, Akira（奥村 曉） @AkiraOkumura
VS Code で Jupyter の Live Share が動くようになったらしいぞ。ただし VS Code Insiders にする必要あり。試してない。github.com/MicrosoftDocs/...
タグ：
posted at 17:45:37
【［問題］
飴がいくつかあります。5個あげたら、のこりは12個になりました。飴は何個あったのでしょう。
～
この問題の式を
17−5=12
って息子は書いてしまうんですよ。答えは合ってるけど式が違うからバツ。】
息子さんは何も間違っていない。
バツを付ける人にバツを付けるのが正解。 twitter.com/amazakeiko/sta...
タグ：
posted at 17:40:32
@physics303 #Julia言語
flush(stdout) が必要
↓
discourse.julialang.org/t/how-to-flush... pic.twitter.com/Ykw5aAmwWh
タグ： Julia言語
posted at 17:03:28
なにも間違ってないでしょ。
こんな意味不明な理屈で「何でわからないの？」とか言われても困るよね。 twitter.com/amazakeiko/sta...
タグ：
posted at 16:59:18
Diego Javier Zea @diegojavierzea
@opensourcesblog @natfriedman I am in the same position here. I will love to know if that works for the @JuliaLanguage
タグ：
posted at 16:30:35
@nonoeveryday 添付画像は現行の学習指導要領からの引用です。「数学」「数理」が学習指導要領の算数の目標の説明を支えるキーワードになっています。
反数学的な算数の教え方をしている教師は学習指導要領における算数の目標とは正反対の教え方をしていることになります！！！
www.mext.go.jp/content/141352... pic.twitter.com/sQZ5aili22
タグ：
posted at 14:56:53
@nonoeveryday 学習指導要領は公開されており、現行版は
www.mext.go.jp/content/141352...
で閲覧できます。
非常に紛らわしいことに「学習指導要領解説」という拘束力のない文科省著作物(教師はこれの内容に従う必要はない)もあるので混同しないように注意して下さい。
タグ：
posted at 14:49:07
@nonoeveryday 具体的にどういう算数の問題なのか書いていないので分かりませんが、ほとんどすべての場合に、事実は「そもそもそれ学習指導要領に書いてありません」です。
驚くべきことに、教育関係者の多くは「学習指導要領に書いてある」と嘘をつきます。嘘つきであることは保護者仲間に広く周知されるべき。
タグ：
posted at 14:41:38
ぎょぎょぎょ。現在の nightly build v1.8.0-DEV.94 よりも新しい v1.8.0-DEV.100 に関する超最新情報だった！ #Julia言語
現在の nightly build v1.8.0-DEV.94 ではまだ添付画像の通り。 twitter.com/kdwkshh/status... pic.twitter.com/ARJYCDgA4M
タグ： Julia言語
posted at 12:44:25
Jupyter Notebook で，julia で
displayとprintlnの挙動がよくわからない．
displayの方が先に表示される．．． pic.twitter.com/BbFdZThlSg
タグ：
posted at 12:17:19
Masayuki Tsuda @MasayukiTsuda2
28 才のグレン・グールドが、バーンスタインと共演してバッハのチェンバロ協奏曲第１番を演奏している貴重な映像。演奏前には、バーンスタインのレクチャーがあり、グールドとバッハが伝説的な組み合わせだとか、バッハが細かい演奏指示を書いていないことを語っています (www.youtube.com/watch?v=9ZX_XC...)。 pic.twitter.com/g3cQbtHR2h
タグ：
posted at 11:53:23
Now special functions are fully constant-folded on #JuliaLang level. But why on Julia level ? LLVM can do constant-folding on behalf of us but it won't work across Julia function boundaries and so we can't constant fold this kind of case otherwise.
github.com/JuliaLang/juli... pic.twitter.com/AaYiFRgSsr
タグ： JuliaLang
posted at 11:45:55
タイトルだけでも、朝日と日経でやっぱりカラーの違いを感じる🐣
www.google.co.jp/amp/s/www.asah...
business.nikkei.com/atcl/gen/19/00...
タグ：
posted at 07:09:56
職域接種で使われるモデルナ社製のワクチン、1回目接種後1週間くらいで0.8％の人がかなり腫れるけど自然に治る、2回目もうてる、2回目の方が腫れる人が少ない、
って、結構大事な情報だと思うにゃ🐣
（はね先生の資料で勉強しました）
www.nejm.org/doi/full/10.10...
タグ：
posted at 07:06:41
Today's @BohemianMatrix computation, by my student Aaron Asner: the eigenvalues of all 31 by 31 skew-symmetric tridiagonal matrices with population 1 and i. Over a billion matrices; computation in parallel on a 64 core machine took 85 hours. The center rose is rounding error! pic.twitter.com/e0dHoyBBsp
タグ：
posted at 05:46:44
Best example of why we, developers, need to make our docs extremely specific. pic.twitter.com/NP7Ugj0tsw
タグ：
posted at 04:20:25
@natfriedman Does this work with any programming language like #julialang? Anyone tested? (I'm waiting for my invite ☺️)
タグ： julialang
posted at 03:44:36
Re: RTs 人類は、object.method(x, y) スタイルのクラスベースのオブジェクト指向でプロジェクトを推進することについて、疑問を持つべきなのかもしれない。
数十年にも渡ってみんな間違っていたのではないかと。
タグ：
posted at 02:16:34
@bjartnes God yeah... I thought it was worse than good old nib files. I honestly think it went downhills since Apple abandoned nib for xib, then began with storyboards. Plain nibs was fairly easy to work with and understand. SwiftUI has an insane amount of crazy magic... off putting.
タグ：
posted at 02:11:24
2/2) OOP makes it hard to test stuff quickly in a REPL. Almost anything you do requires defining some class, setting up callbacks and links. And modern IDEs have become complexity beasts packed with features making it real hard to find stuff, despite Apple's good UI design.
タグ：
posted at 02:05:47
心理学の本を読んで自分が少し賢くなったと感じたら読むと良さそうなリスト(おおくの有名な説が疑わしいとされている)
↓
Reversals in psychology www.gleech.org/psych
タグ：
posted at 00:43:23
Ooo, I'm so happy that someone beat me to wrapping @napari_imaging for #julialang 😅
Can't wait to play around with it. twitter.com/markkitti/stat...
タグ： julialang
posted at 00:30:00
@ynakahashi1003 1934年までは，仲は悪くなかったようですね．
学術論争を除いたとしても，私的にも，例えば，ネイマン自伝（訳書 p.223）で，1935年晩春にネイマンが使っていた木製模型が壊れていて，NPはフィッシャーが壊したのだとずっと思った，という逸話が載っています（この話の語り部はネイマンです）．
タグ：
posted at 00:10:26
@ECMWF produces 230TB of data on a typical day, we're sure we can reduce this considerably, without a worse forecast! Thanks @CopernicusEU & @esowc_ecmwf for the funding. @StephanSiemen @VHPeuch @JeanNoelThepaut @carlo_tuitter @FlorenceRabier @bnlawrence @jlesommer @rabernat 5/5
タグ：
posted at 00:00:20
A forecast for London, would be 61x smaller when compressed to 99% of real information while still being ±0.1˚C accurate. That's information-preserving compression: The uncertainty is inferred from the data itself, real information preserved & false information thrown away 4/n pic.twitter.com/ODAIy8RL0R
タグ：
posted at 00:00:20
We investigated this in CAMS, @CopernicusECMWF air quality forecast. False information are effectively random bits, that can't be compressed. @ECMWF presumably stores 100PB+ of such random bits, increasing file sizes and slowing data sharing via the internet. 3/n pic.twitter.com/LiNyOkvzYP
タグ：
posted at 00:00:19
We define the bitwise real information in data by the mutual information of adjacent bits: Real=knowing one bit tells us something about the next, false=otherwise. This is published in github.com/milankl/BitInf... a @JuliaLang package! Why separating real&false information? 2/n pic.twitter.com/9rDCdc3kqU
タグ：
posted at 00:00:17
Our information-preserving compression is in review for @NatComputSci! What's real information in #climate data?🌍↔️💿Why do large archives store mostly random bits, and how to separate the false from the real information. Preprint doi.org/10.21203/rs.3.... summary 🧵here⬇️ 1/n pic.twitter.com/b6X0U7bQUS
タグ： climate
posted at 00:00:16
