黒木玄 Gen Kuroki(@genkuroki)/2021年02月27日

@OokuboTact #超算数 51年指導要領が12月に出る前に、執筆者の一人が掛け算の順序にこだわる指導を発表。
尾崎馨太郞「学習指導の技術算数 (とりいれ) 」『小三教育技術』第5巻第7号 (1951年10月)、74-79ページ。
これは指導要領第5章「数についての評価」の文言に類似するerid.nier.go.jp/files/COFS/s26...。 pic.twitter.com/RbZyuNqwMR

タグ：超算数

posted at 00:02:01

@OokuboTact #超算数以前にも尾崎馨太郎のこの記事について述べましたが、国立教育政策研究所が提供する学習指導要領のリンクが変わったので改めてツイートに画像を載せました。直接的証拠は未だありませんが、尾崎の文章をかなり読んだ後では、指導要領の記述は尾崎の文体によく似ていると感じられます。

タグ：超算数

posted at 00:05:05

@OokuboTact #超算数黒田孝郎さんについてもざっと情報をja.wikipedia.org/wiki/%E9%BB%92...。経歴と著書を見る限り、数教協参加以前は小学校教員との接点は限られているようです。自分や子供が教わった教員との経験を主に上のように述べたと考えられるだろうか？

タグ：超算数

posted at 00:09:33

#Julia言語 DifferentialEquations.jl はお勧め

nbviewer.jupyter.org/gist/genkuroki... pic.twitter.com/V9bodsSBBR

タグ： Julia言語

posted at 00:11:37

非公開

タグ：

posted at xx:xx:xx

#Julia言語古い情報に要注意

twitter.com/genkuroki/stat...

タグ： Julia言語

posted at 00:12:35

@OokuboTact #超算数師範学校附属小で教えるようなエリート小学校教員らは、戦前もかけ順にこだわった指導をよしとしていました。だから黒田が彼らと接点があったなら【子どもが交換するのをみて…止めさせたという話をきいたこともないし、している人もないようである。】とは書かなかったかも。

タグ：超算数

posted at 00:13:50

神野オキナ @OKina001

#声に出して読みたい日本語　19
外国の知識が、世間には遠かった頃の話 pic.twitter.com/15nK3Pt6Xi

タグ：声に出して読みたい日本語

posted at 00:13:58

#Julia言語 DifferentialEquations.jl なら、ハミルトニアン函数を与えるだけで、正準方程式を解いてくれます。

PythonやRでも使える。

非常に多機能でかつ高速です。

twitter.com/genkuroki/stat...

タグ： Julia言語

posted at 00:15:15

@OokuboTact #超算数 (数教協の他の人々も、数教協結成以前は初等教育のこと接点がなさそうですよね。)

タグ：超算数

posted at 00:15:23

@temmusu_n スウキョウキョウの人が初等教育に接点があるかどうか、私は知らないんです。
遠山啓は小学生の子供の教育で関心が出てきたそうですが

タグ：

posted at 00:19:01

@OokuboTact #超算数人間関係だけでなくて、例えば国定教科書の教師用書を分析すれば（現代版でやっている人知ってます）、エリート教員とかの当時の算数教育界のあり方が見えたと思うんですけどね。戦後教員になったおばさんが初任者研修？でかけ順を習い、信じなかったという証言もtwitter.com/temmusu_n/stat...。

タグ：超算数

posted at 00:25:15

@OokuboTact #超算数直上のツイの後半からつづきます。戦後にそういう証言があるくらいだから、戦前のかけ順こだわりがどの程度浸透していたかはよくわからないんです。全体として階級社会だった戦前日本ゆえ、教員も一般層エリート層にわかれ、かけ順こだわりはエリート教員のおもちゃだった可能性さえあります。

タグ：超算数

posted at 00:30:23

@temmusu_n ＞　かけ順こだわりはエリート教員のおもちゃだった可能性さえあります。

そうですね

タグ：

posted at 00:31:55

山本一成 @issei_y

この時の記事化してくれた人いました。ありがとうございます(5パートもある)
コンピュータ将棋というかコンピュータ将棋を通してみる将棋の指し手の話を延々と8時間くらいしててすごい楽しかった。
emptywords.hatenadiary.jp/entry/2014/04/...

タグ：

posted at 00:32:32

@OokuboTact #超算数つまりほら、現代の算数教育界の上の方の人たちが、長方形の面積だけでかけ順に寛容で、現場教員が長方形でもかけ順にこだわるのを嘆かわしく思うのと、よく似てるんじゃ。。。

タグ：超算数

posted at 00:38:04

@temmusu_n アレイ図を使って「１つあたり✕幾つ分」にこだわるのが流行してますね。

現場の教師に関しては、算数教育の本ではないですけど

www.amazon.co.jp/%E3%82%AA%E3%8...

タグ：

posted at 00:50:04

@temmusu_n TOSSに依存している教師も酷いけど、
エリートの筑波付属の算数教育も酷い。

タグ：

posted at 00:52:15

@OokuboTact たしざんのじゅんじょで創造性（ハート）の広島大学も忘れないで💦

タグ：

posted at 00:55:32

@temmusu_n 戦前に関しては、中学は５年制で進学率は今よりかなり低くて・・・
中学生はかなりエリート

タグ：

posted at 00:59:43

@temmusu_n 戦前は尋常小学校が４年制で義務教育はそこで終りなので、
学力の格差が大きかったはず

タグ：

posted at 01:19:08

日経ビジュアルデータ @nikkeivdata

#数楽ツイッターを検索してみた。

大学入試問題の解答解説をしている人がたくさんいるんですね。

単にマルをもらえそうな答案を示すだけではなく、そこから一歩先に進んだ話を書いたり、話したりする人がもっと増えるといいなあと思いました。

タグ：数楽

posted at 07:50:21

タグ：データビジュアライゼーション日経ビジュアルデータ東日本大震災

自然災害として戦後最悪の被害をもたらした東日本大震災から10年。その余震とみられる有感地震は1万4000件を超え、今なお続いています。大震災の被害を写真とデータで読み解くコンテンツを公開しました。
#日経ビジュアルデータ #東日本大震災 #データビジュアライゼーション
 vdata.nikkei.com/newsgraphics/3... pic.twitter.com/wDSMz2wsoi

posted at 08:02:48

#数楽例えば、某大(笑)2021前期数学6番に添付画像の式が出て来るのですが、左辺をf(a)に、右辺の積分中のeˣをf(x)のn+1階の導函数f^{(n+1)}(x)に置き換えた場合に一般化されます。

問題：積分の中に

　(a-x)ⁿ/n! = (一辺の長さが a-x のn次元超立方体の体積のn!分の1)

がどうして出て来るのか？ pic.twitter.com/6h2hJOEpAT

タグ：数楽

posted at 08:22:02

Eric Holthaus @EricHolthaus

Wow, this is an absolute game changer.

There's now a mRNA vaccine in the works for malaria.

Huge, huge news for Africa. 💚

academictimes.com/first-vaccine-...

タグ：

posted at 09:37:58

ドイツ大使館 @GermanyinJapan

ベルリン動物園で新しい赤ちゃんが誕生！ゴリラの赤ちゃんが産まれたのはなんと16年ぶりだそうです😍 twitter.com/Reuters/status...

タグ：

posted at 10:16:09

ヤッシー @84yame1000

掛け算の順序の話で
「小学校のうちは順序固定。段階が上がると可換になる。」
って話があるんですけど、

何年生のどの単元で
「ハイ！今日から〜……可換！」
ってなるのか知りたいです。

「そのうち中学の先生とか、適当に訂正するでしょ。」
は、無責任すぎです。

タグ：

posted at 11:09:54

小林克彦 @cjackano

古典的確率の
同様に確からしいをめぐる話題としては

かのガリレオ・ガリレイが
友人の賭博師から持ちかけられた相談が
面白い

3つの全く同じサイコロで
目の和が9
目の和が10
ともに6通りなのだけど

賭博の長年の経験から
目の和が10のほうが
出やすい気がしているという相談

経験則が正しかった pic.twitter.com/TYqTb6x6Vt

タグ：

posted at 12:54:59

#数楽上の公式は部分積分を使った帰納法で証明する方法が広く普及してしまっているが、その方法だと積分剰余項中に「n次元超立方体の体積のn!分の1」が出て来る理由が分からなくなってしまう。

f^{(k)}(0)aᵏ/k!の項にも「n次元超立方体の体積のn!分の1」が出て来ている。

問題：これはなぜか？

タグ：数楽

posted at 13:02:53

#数楽訂正&補足

公式の右辺の積分以外の項に f^{(k)}(0) をかけておく必要もある。 twitter.com/genkuroki/stat...

タグ：数楽

posted at 13:04:25

kashi @mkashi

あらたか(仮歯)9.7〜9.12写真展福 @arataka_zc32s

@genkuroki ちょっと訂正。s/7桁/8桁/でした。この問題、10^8までの和で区間演算するとすでに[13.277605938,13.277605942]と有効数字が9桁しかないので、丸め誤差の影響が無視できないレベルになっています。

タグ：

posted at 13:27:53

天の川を撮りたくて撮りたくて震える((👴)) pic.twitter.com/fZCHJPZQuS

タグ：

posted at 13:29:47

#数楽「f(x)のn+1階の導函数f^{(n+1)](x)をn+1回不定積分すれば元の函数f(x)に戻る」という計算をできるはず。積分定数の調節は

f^{(k)}(x) = f^{(k)}(0) + ∫_0^x f^{(k+1})(x_{k+1})dx_{k+1}

を使えば悩まずに済む。

タグ：数楽

posted at 13:30:55

#数楽実際にそれを実行すると、

* f^{(k)}(0)を0からxまでk回積分した結果としての f^{(k)}(0)xᵏ/k!

* f^{(n+1)}(x_{k+1})を0からxまでn+1回積分した結果

たちの和が f(x) に等しいという公式が得られる。

沢山微分して沢山不定積分するだけの方針が明瞭な計算。

タグ：数楽

posted at 13:30:55

#数楽以下x>0と仮定。

1を0からxまでk回積分することは、(x_1,…,x_k)を

(*) 0≦x_k≦…≦x_2≦x_1≦x

の範囲で動かす積分になる。(*)の条件で定義されるk次元の超立体の体積は一辺の長さがxのk次元超立方体の体積xᵏにk!分の1になる。

これがxᵏ/k!が出て来る理由。

タグ：数楽

posted at 13:35:17

#数楽 f^{(n+1)}(x_{n+1})を0からxまでn+1回積分することは

0≦x_{n+1}≦x_n≦…≦x_2≦x_1≦x

を満たす(x_1,…,x_n,x_{n+1})に関する積分になる。

タグ：数楽

posted at 13:41:15

#数楽 f^{(n+1)}(x_{n+1})は(x_1,…,x_n)について定数なので、

x_{n+1}≦x_n≦…≦x_2≦x_1≦x

を満たす(x_1,…,x_n)について積分すると(x-x_{n+1))ⁿ/n!が出て来る(xᵏ/k!が出て来る仕組みと同じ)。

部分積分抜きでいきなり答えが分かる。

タグ：数楽

posted at 13:41:16

神野オキナ @OKina001

出典はこちら。
小池一夫の木曜日のリカ1 を Amazon でチェック！ amzn.to/2NK3rhd

タグ：

posted at 14:02:09

Today's #JuliaLang news: inter-procedural conditional constraint propagation has come !
github.com/JuliaLang/juli...

It's a compiler enhancement for Julia v1.7, which greatly improves type inference flow-sensitivity :)
Thanks a lot for @vtjnash for his invaluable help with the PR.

タグ： JuliaLang

posted at 15:29:51

Previously constraints from `isa` or `===` conditions were only available in local inference (i.e. in a function body), but now they'll be (back-)propagated across arbitrary function calls.
For example, the code snippet below will now run 3x faster by the improved type-stability. pic.twitter.com/r9Ad4ucbPd

タグ：

posted at 15:29:52

You may also find this interesting if you're an invalidation-risk enthusiast; now there is no longer any inferrability penalty of using `isnothing(x)` instead of `x===nothing`,
and we don't need to worry about annotating `x::Expr` after `Meta.isexpr(x, head)`, for example.

タグ：

posted at 15:29:52

... and this enhancement will eventually greatly improve the type check quality of JET.jl, a static type checker for Julia, by cutting out lots of false positive error reports.
Stay tuned for its upcoming v0.1 release too ;)

github.com/aviatesk/JET.jl

タグ：

posted at 15:29:53

#Julia言語え！これマジ？

0 allocations: 0 bytes になっちゃうのね！

すごすぎ！

効率を気にしながらコードを書くときのストレスが大幅に減りそう。 twitter.com/kdwkshh/status...

タグ： Julia言語

posted at 15:45:25

マジですマジです😉 twitter.com/genkuroki/stat...

タグ：

posted at 16:00:15

最新版のjulia をmake してみてる
とおるかな？

タグ：

posted at 16:20:02

Julia Version 1.7.0-DEV.623
Commit 2cf1f340c6 (2021-02-27 02:35 UTC)
Platform Info:
OS: macOS (arm64-apple-darwin20.3.0)
CPU: Apple M1
WORD_SIZE: 64
LIBM: libopenlibm
LLVM: libLLVM-11.0.1 (ORCJIT, cyclone)
通った

タグ：

posted at 16:23:07

package を入れようとしたら対応してないっぽいdependence があり、エラー。残念。

タグ：

posted at 16:26:18

1.6.0-rc1 をmake
apple silicon でも普通にmake できるっぽいな

タグ：

posted at 16:29:56

と、おもったら落ちてた。解決できるかな？
(バイナリあるからいらないけど)

タグ：

posted at 16:49:02

おかゆ @oka_iu_tcan

「関数定義のwhere構文は省略できない」ってまず覚えとこう（合ってるよね？）

タグ：

posted at 16:57:32

エラー2つまで減らせたけど、眠いからやめよ

タグ：

posted at 17:01:01

2021/2/27 現在、m1 で
Julia 1.6.0-rc1はmake できず、
Julia 1.7.0 はdistribution がまだ対応してなかった
まぁバイナリあるからmake せんでもいいんやけども。

タグ：

posted at 17:08:04

おかゆ @oka_iu_tcan

function norm(p::Point{T} where T<:Real)
と
function norm(p::Point{T}) where T<:Real
は微妙に意味合い違うんだな

タグ：

posted at 17:10:03

おかゆ @oka_iu_tcan

あ〜る菊池誠(反緊縮)公式 @kikumaco

当の問題、
function f(x::T<:S)ができない
については、
function f(x::Union{<:S})
ならできるってことだよな

タグ：

posted at 17:23:39

「甲状腺検査をしてほしいという希望がある」ということと「子ども全員学校で甲状腺検査」との間は100万光年くらい離れてるよね。
希望者は医療機関で無料で甲状腺検査を受けられる制度にすればいいだけじゃないですか。なぜ「全員エコー」なのか？

タグ：

posted at 20:25:12

Josef Heinen @josef_heinen