Twitter APIの仕様変更のため、「いいね」の新規取得を終了いたしました

黒木玄 Gen Kuroki

@genkuroki

  • いいね数 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 を見て下さい。
Favolog ホーム » @genkuroki » 2021年02月27日
並び順 : 新→古 | 古→新

2021年02月27日(土)

天むす名古屋 Temmus @temmusu_n

21年2月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

天むす名古屋 Temmus @temmusu_n

21年2月27日

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

タグ: 超算数

posted at 00:05:05

天むす名古屋 Temmus @temmusu_n

21年2月27日

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

タグ: 超算数

posted at 00:09:33

非公開

タグ:

posted at xx:xx:xx

天むす名古屋 Temmus @temmusu_n

21年2月27日

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

タグ: 超算数

posted at 00:13:50

黒木玄 Gen Kuroki @genkuroki

21年2月27日

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

PythonやRでも使える。

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

twitter.com/genkuroki/stat...

タグ: Julia言語

posted at 00:15:15

天むす名古屋 Temmus @temmusu_n

21年2月27日

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

タグ: 超算数

posted at 00:15:23

OokuboTact 大久保中二病中年 @OokuboTact

21年2月27日

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

タグ:

posted at 00:19:01

天むす名古屋 Temmus @temmusu_n

21年2月27日

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

タグ: 超算数

posted at 00:25:15

天むす名古屋 Temmus @temmusu_n

21年2月27日

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

タグ: 超算数

posted at 00:30:23

OokuboTact 大久保中二病中年 @OokuboTact

21年2月27日

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

そうですね

タグ:

posted at 00:31:55

山本一成 @issei_y

21年2月27日

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

タグ:

posted at 00:32:32

天むす名古屋 Temmus @temmusu_n

21年2月27日

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

タグ: 超算数

posted at 00:38:04

OokuboTact 大久保中二病中年 @OokuboTact

21年2月27日

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

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

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

タグ:

posted at 00:50:04

OokuboTact 大久保中二病中年 @OokuboTact

21年2月27日

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

タグ:

posted at 00:52:15

天むす名古屋 Temmus @temmusu_n

21年2月27日

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

タグ:

posted at 00:55:32

OokuboTact 大久保中二病中年 @OokuboTact

21年2月27日

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

タグ:

posted at 00:59:43

OokuboTact 大久保中二病中年 @OokuboTact

21年2月27日

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

タグ:

posted at 01:19:08

黒木玄 Gen Kuroki @genkuroki

21年2月27日

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

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

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

タグ: 数楽

posted at 07:50:21

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

21年2月27日

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

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

posted at 08:02:48

黒木玄 Gen Kuroki @genkuroki

21年2月27日

#数楽 例えば、某大(笑)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

21年2月27日

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

21年2月27日

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

タグ:

posted at 10:16:09

ヤッシー @84yame1000

21年2月27日

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

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

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

タグ:

posted at 11:09:54

小林克彦 @cjackano

21年2月27日

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

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

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

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

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

タグ:

posted at 12:54:59

黒木玄 Gen Kuroki @genkuroki

21年2月27日

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

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

問題:これはなぜか?

タグ: 数楽

posted at 13:02:53

黒木玄 Gen Kuroki @genkuroki

21年2月27日

#数楽 訂正&補足

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

タグ: 数楽

posted at 13:04:25

kashi @mkashi

21年2月27日

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

タグ:

posted at 13:27:53

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

21年2月27日

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

タグ:

posted at 13:29:47

黒木玄 Gen Kuroki @genkuroki

21年2月27日

#数楽 「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

黒木玄 Gen Kuroki @genkuroki

21年2月27日

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

* 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

黒木玄 Gen Kuroki @genkuroki

21年2月27日

#数楽 以下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

黒木玄 Gen Kuroki @genkuroki

21年2月27日

#数楽 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

黒木玄 Gen Kuroki @genkuroki

21年2月27日

#数楽 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

21年2月27日

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

タグ:

posted at 14:02:09

Shuhei Kadowaki @kdwkshh

21年2月27日

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

Shuhei Kadowaki @kdwkshh

21年2月27日

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

Shuhei Kadowaki @kdwkshh

21年2月27日

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

Shuhei Kadowaki @kdwkshh

21年2月27日

... 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

黒木玄 Gen Kuroki @genkuroki

21年2月27日

#Julia言語 え!これマジ?

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

すごすぎ!

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

タグ: Julia言語

posted at 15:45:25

Shuhei Kadowaki @kdwkshh

21年2月27日

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

タグ:

posted at 16:00:15

富谷(助教);監修 シン仮面ライダー @TomiyaAkio

21年2月27日

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

タグ:

posted at 16:20:02

富谷(助教);監修 シン仮面ライダー @TomiyaAkio

21年2月27日

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

富谷(助教);監修 シン仮面ライダー @TomiyaAkio

21年2月27日

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

タグ:

posted at 16:26:18

富谷(助教);監修 シン仮面ライダー @TomiyaAkio

21年2月27日

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

タグ:

posted at 16:29:56

富谷(助教);監修 シン仮面ライダー @TomiyaAkio

21年2月27日

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

タグ:

posted at 16:49:02

おかゆ @oka_iu_tcan

21年2月27日

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

タグ:

posted at 16:57:32

富谷(助教);監修 シン仮面ライダー @TomiyaAkio

21年2月27日

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

タグ:

posted at 17:01:01

富谷(助教);監修 シン仮面ライダー @TomiyaAkio

21年2月27日

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

タグ:

posted at 17:08:04

おかゆ @oka_iu_tcan

21年2月27日

function norm(p::Point{T} where T<:Real)

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

タグ:

posted at 17:10:03

おかゆ @oka_iu_tcan

21年2月27日

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

タグ:

posted at 17:23:39

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

21年2月27日

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

タグ:

posted at 20:25:12

Josef Heinen @josef_heinen

21年2月27日

Mplay.jl version 1.1 is out. Provides a new text user interface and better hard- and software support (Apple arm64, #JuliaLang 1.7). Have fun making music. github.com/JuliaMusic/Mpl...

タグ: JuliaLang

posted at 20:53:46

非公開

タグ:

posted at xx:xx:xx

Julia日本語記事まとめ @julia_kizi

21年2月27日

新しい記事がQiitaにアップされました!qiita.com/phigasui/items...👈

タグ:

posted at 21:55:44

非公開

タグ:

posted at xx:xx:xx

@genkurokiホーム
スポンサーリンク
▲ページの先頭に戻る
ツイート  タグ  ユーザー

User

» More...

Tag

» More...

Recent

Archive

» More...

タグの編集

掛算 統計 超算数 Julia言語 数楽 JuliaLang 十分 と教 モルグリコ 掛け算

※タグはスペースで区切ってください

送信中

送信に失敗しました

タグを編集しました