黒木玄 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年05月06日(木)
@OTOKUEMON @sekibunnteisuu @genkuroki @HackStudying @kamo_hiroyasu 積分定数さんが批判しているのは特定の式のみ正等扱いする指導(掛け算の順序で誤りにする等)です。
文科省の見解では、掛け算の順序を理由にバツにしろとは言っていません。
タグ：
posted at 23:29:53
@OTOKUEMON @sekibunnteisuu @genkuroki @HackStudying @kamo_hiroyasu 学習指導要領の【場面を式に表したり】は曖昧な表現で、何を指しているか明記されていません。
学習指導要領解説でも不明瞭です。
8254.teacup.com/kakezannojunjo...
タグ：
posted at 23:29:33
ディテールを端折った（のか？）
新井家の不完全性定理 公式見解
＞いつまでも平行線のまま
わかりあえない可能性がある、っていうのが
「ゲーデルの不完全性定理」です
「人は言葉だけでは絶対にリアリティを共有できない」そういう定理なんですよ 2018.5.14
www.1101.com/torobo_talk_ar...
タグ：
posted at 23:22:31
↑書評続き
だからこそ記数法から不完全性定理までわずか224ページの本書に収まっている
「計算とは何か」新井紀子著 監修 新井敏康 著
2009.10.7出版
不完全性定理で思い出すのは
共著者の言葉
↓
新井敏康「どれどれ？あ、これ、僕同じ説明昔したことある」
2018.6.20
togetter.com/li/1238972
タグ：
posted at 23:15:05
小飼 弾氏
「計算とは何か」新井紀子 書評
ディテールの端折り方に納得が行かない
基本的に著者のディテールの端折り方は「生き抜くための数学入門」と変わらない。ページ数を見ての通り本書で扱っている具体的な諸計算が「なぜそれでOKなのか」は本書だけ読んでもわからない
blog.livedoor.jp/dankogai/archi...
タグ：
posted at 22:53:59
2008.2.11小飼 弾氏による
（改定前）生き抜くための数学入門書評
後の方に行くにつれ本書はどんどん理解型になっていき三角関数のあたりまでいくと高校の教科書よりもひどくなり、博士の愛した数式に挑戦！になると理解型の生徒すらおいてけぼりを食らうような端折り方になる
blog.livedoor.jp/dankogai/archi...
タグ：
posted at 22:42:22
＃超算数 有害な教え方 ＃東ロボ ＃新井紀子
ハッピーになれる算数
twitter.com/genkuroki/stat...
posted at 22:30:54
＊「東ロボくん」ディレクターによるロングセラーが
増補改訂でついに復刊
#超算数 ＃読解力
増補新版 ハッピーになれる算数 新井紀子
www.shin-yo-sha.co.jp/book/b577467.h...
posted at 22:29:13
「#超算数 メタメタさんに限らず、数恐々の人達は「...」の会話スレッドまとめ - まとめbotのすまとめ sumatome.com/chat/138831374...
タグ：
posted at 21:18:26
#超算数
算数の教科書やそのマニュアル本の内容がひどいこと及びその酷さが算数教育界の歴史そのものがあることを知っていると、算数教育の研究家がひどくなりやすい理由は、伝統的にひどいスタイルに忖度しなければいけないからだとよく分かる。
くだらない伝統は全部否定した方がよい。 twitter.com/nabekichi32/st...
タグ： 超算数
posted at 21:13:29
@genkuroki @OTOKUEMON @HackStudying @kamo_hiroyasu と考えたら、式が状況を表すなんて馬鹿げていると思いますがいかがでしょうか？
タグ：
posted at 21:00:39
@genkuroki @OTOKUEMON @HackStudying @kamo_hiroyasu 10-7だと、10人いて7人帰ったら何人残るか？という意味になりませんか？
何人かいて、4人帰って12人やって来た。最初より何人増えたか？
12-4だと、12人来て4人帰った、になっちゃいますよね？そうすると、-4+12とするのが正しいのでしょうか？
タグ：
posted at 21:00:34
@genkuroki @OTOKUEMON @HackStudying @kamo_hiroyasu twitter.com/OTOKUEMON/stat...
先輩に聞いてほしいのだけど、増加の足し算には順序がある、5人いるところに3人来たら何人か？は5+3とすべきで、3+5となる、式は場面を表すというけれど、
その理屈だと
7人いて、何人か来たので10人になった。何人来たか？
だと、10-7と求めるのはおかしいですよね？
タグ：
posted at 20:57:20
前2RT：#ニコ美 春画展第２夜での笹紅実演には、伊勢半さんの小町紅を使わせていただきました。オンラインショップで同様の製品をお求めいただけます。バリエーションもいろいろあるので、ぜひご覧下さい。isehanhonten-onlineshop.com/?_ga=2.2456172... twitter.com/hashimoto_toky...
タグ：
posted at 20:51:08
ほんとだ。すんなりうまくいきました。
<<型を指定しない方がいい。。>>
肝に銘じておきます。 twitter.com/genkuroki/stat... pic.twitter.com/gzybj1E7eX
タグ：
posted at 20:48:41
#Julia言語 さらに、
f(x) = x^2 - 2
df(x) = 2x
と書くと、読み易くなります。
df の代わりに f\prime TAB を使うとさらに数学書っぽくなる。
function f(x)
x^2 - 2
end
と return も省略できる。Juliaの文はすべて値を持つ式になる。 twitter.com/hackstudying/s...
タグ： Julia言語
posted at 20:47:31
#Julia言語 エラーメッセージによれば f(x::Vector{Int64}) が実行されているせいで、BoundsErrorになっているようです。
おそらく、添付画像のようなことになっているのだと思う。
型によるディスパッチが必須の場合はそう多くないので、函数の引数の型を書くことをやめれば事故る確率が減ります。 twitter.com/hackstudying/s... pic.twitter.com/KoNEHSyA5y
タグ： Julia言語
posted at 20:43:18
@rikuri1113 #Julia言語 X が縦長の行列なら b = X \ y の1行で最小二乗法が終わります。添付画像は sin + ノイズ のデータを3次多項式の最小二乗法でフィッティングしています。
Juliaの線形代数まわりはおそろしく便利です。
この辺を整備してくれた人達は神。 pic.twitter.com/Aoulu5d1Gq
タグ： Julia言語
posted at 20:15:47
@rikuri1113 #Julia言語 例えば In[277] でも Vector 化する必要はないです。
A = Rational[
1 2 3
4 5 6
7 8 8
]
b = 1:3
x = A \ b
で行ける。using LinearAlgebraもいらない。 pic.twitter.com/B35nZ1TKGj
タグ： Julia言語
posted at 20:12:53
@rikuri1113 #Julia言語 そして多くの場合に、collectにあたることが計算途中で無駄に実行されて、メモリアロケーションが多めになるコードを書くと遅くなります。
1:5 や range(0, 2π; length=1001) などはcollectせずにそのまま利用する方が勝る場合が多い。
タグ： Julia言語
posted at 19:58:31
@rikuri1113 #Julia言語 1:3のような実態を持たないモノを実態を持つ配列に変換する函数として、collectを覚えておくと便利です。
Vectorと違って、collectなら、1次元配(Vector)に限らず、高次元配列になる場合も使えます。 pic.twitter.com/DRfNglsjWv
タグ： Julia言語
posted at 19:56:30
@rikuri1113 #Julia言語 In[217]について
xとyを配列に変換する必要はないです。zは
f(x, y) = x^2 + y^2
z = f.(x', y)
のように作ると楽です。
Juliaではドット構文が神です。 pic.twitter.com/OIivIXrmcg
タグ： Julia言語
posted at 19:42:40
@rikuri1113 #Julia言語
a = [1,2,3,4,5] のとき、
b = copy(a)
c = a
の違いが
b = a[2:4]
c = @ view(a[2:4])
の違いにほぼ対応しています。メモリを無駄に消費したくなければ、viewの方を使います。多くの人がそれをサボってガベージコレクションの嵐に苦しむ経験をする(笑)。ほぼ恒例行事。
タグ： Julia言語
posted at 19:33:02
@rikuri1113 #Julia言語 Juliaでは偏微分方程式の数値解法を試したい人が多いので、スライスについてはviewについても説明しておいた方が親切です。
a = collect(1:5)
→ [1,2,3,4,5]
b = a[2:4]
→ [2,3,4] # aと無関係の別の配列、メモリ割り当て発生
c = @ view(a[2:4])
→ aの第2～4成分へのview pic.twitter.com/3jZ2yLBFuu
タグ： Julia言語
posted at 19:29:28
@rikuri1113 #Julia言語
zeros(配列の型, 配列の行数, 配列の列数)
ones(配列の型, 配列の行数, 配列の列数)
の「配列の型」は「配列の要素の型」が正しいです。
Vector{T}, Matrix{T}, Array{T, N} という配列の型とそれらの要素の型(eltype)は区別しておいた方が無難。
タグ： Julia言語
posted at 19:23:54
@rikuri1113 #Julia言語 の [] はeltypeがAnyの空の1次元配列(型はVector{Any} = Array{Any, 1})であり、空のリストではないことを強調した方がよいかもしれないと思いました。
[]にpush!して作ったeltype Anyの配列を使って計算すると100倍以上計算が遅くなる場合があります。 twitter.com/genkuroki/stat... pic.twitter.com/pKxONEXhgl
タグ： Julia言語
posted at 19:10:58
@rikuri1113 #Julia言語
rikuさんによるJuliaの紹介のipynbファイルのnbviewerによる表示↓
nbviewer.jupyter.org/github/Riku111...
html版↓
htmlpreview.github.io/?https://githu...
タグ： Julia言語
posted at 18:03:14
#Julia言語 多くの場合に、structの中身の具体型はJuliaさんに自動的に決めてもらうのが楽で良いと思います。
説明文はコメントではなく、doc string に書いておくと、閲覧しやすくなって便利です。REPLからなら ?Shape で閲覧できる。
"""
ここに説明を書く
"""
struct Shape{～}
～
end twitter.com/asteroid_maru/...
タグ： Julia言語
posted at 17:47:07
@greyauk @ebina_1 It seems that a shellfish laid its eggs in a discarded can.
en.m.wikipedia.org/wiki/Septaria_...
タグ：
posted at 17:29:58
ごまふあざらし(GomahuAzaras @MathSorcerer
MyWorkFlow.jl のJulia 1.6.1 対応しました。Binderで遊んでね。
github.com/terasakisatosh...
#Julia言語
タグ： Julia言語
posted at 16:55:35
非公開
タグ：
posted at xx:xx:xx
お！Julia 1.7が使えました。うれしい
関数のパラメータがごちゃごちゃしないのはすごくわかりやすい pic.twitter.com/zahVvYJKn3
タグ：
posted at 15:49:12
「くもわ」の偉大な成果
#超算数 #皮肉 twitter.com/Premordia/stat...
posted at 15:41:27
富谷(助教);監修 シン仮面ライダー @TomiyaAkio
こちらのコードはnagai さん @cometscome_phys との共同開発です。
github.com/akio-tomiya/La...
タグ：
posted at 15:36:33
#Julia言語 で構造体の型付けに悩んでいたけれど、思考停止してコンパイラに全部任せたら、うまくいった。計算速度も拡張性もこれで問題なさそう。構造体のメンバーがStaticArrayやStructArrayを使っていて、手作業での型付けに限界がきていました。とはいえ、もう少しちゃんとした書き方があるはず。 pic.twitter.com/sOeG8X8G65
タグ： Julia言語
posted at 15:31:52
富谷(助教);監修 シン仮面ライダー @TomiyaAkio
うまくできた人は、#LatticeQCDjl などでスクショ上げてもらえると喜びます。
スマホでも格子QCDできます！ pic.twitter.com/dpbeVhfZ9C
タグ： LatticeQCDjl
posted at 15:27:13
#超算数
www.youtube.com/watch?v=pHcWGp...
「比の値について考える」とあるけど、比の値と言う謎の概念についてなぜそんなものが必要なのか説明しているはずもない。
単に、比の値の求め方を説明しているだけ。
算数教育の世界では「考える」というのが独特の意味を持っているのかな？
タグ： 超算数
posted at 15:08:45
#超算数
www.youtube.com/watch?v=e1rS-e...
「等しい比について考える」とあるから、比が等しいというのは一体何が等しいのか？
みたいな話
な訳がない。
2:3と10:15は等しい比 みたいな話だった。
タグ： 超算数
posted at 15:06:23
#超算数
twitter.com/nabekichi32/st...
事前にこれを読んでいたけど、まあ同様の感想しか持たない。
基本的に、解き方の説明 だよね。全部こうなのかな？
タグ： 超算数
posted at 15:00:43
#超算数
www.youtube.com/watch?v=t8ySnO...
比について考えよう と言っているんだけど、
赤い球6個 と 黄色い球2個 の割合は6:2 これを、「個数の比」というというのだが、
何のために比であらわすのか、その必然性が全く見えない。
タグ： 超算数
posted at 14:55:22
Julia言語に関して日本語における資料が少なかったので、Julia初心者向けのチュートリアルを作成してみました。プログラミング初学者の方にも分かるようには書いているつもりです。
github.com/Riku1113/julia...
間違っている点などありましたらどうぞご指摘ください。
#Julia言語 #julialang
posted at 14:54:29
富谷(助教);監修 シン仮面ライダー @TomiyaAkio
Google colab 上で #Julia言語 を使った格子QCDの計算が実行できるノートブックをつくりました！ぜひお試しください。簡単なレビューもついています。
みんなも素粒子物理にチャレンジ！(何も知らなくても実行できます)
colab.research.google.com/drive/1sxdTpIi...
#LatticeQCD #JuliaLang
タグ： JuliaLang Julia言語 LatticeQCD
posted at 14:54:27
#超算数 4:30 から、掛け算の順序に関して教わったように、ずつが先と書くように、と言っている。
www.youtube.com/watch?v=OaPFlP...
タグ： 超算数
posted at 14:10:25
#超算数
www.youtube.com/watch?v=ZPOhmA...
所謂、「逆思考の問題」なんだけど、
9-3＝6 としたらどうなるのな？
「式は場面・状況を表す」という彼らの教義からしたら、9-3＝6 じゃないの？
タグ： 超算数
posted at 14:02:00
sansu-douga-kuroda.amebaownd.com/pages/3771293/...
下の四角のボタンをクリックすると授業が始まります
これも「どこ？」と探してしまった。
タグ：
posted at 13:53:16
sansu-douga-kuroda.amebaownd.com
どこクリックすればいいのか分からなくて戸惑ってしまった。
一番上の学年をクリックするんだね。
タグ：
posted at 13:52:11
こないだ流れてた(内容しか覚えてないw)「導入には工夫がみられるのに後はひたすら作業ができるようにさせるだけ」って小学校の授業批判があったけど、コレみて「最上位の指導がソレなんだから現場はしゃーないわ」ってなったでござるな。
タグ：
posted at 13:50:55
ほりたみゅ (mastodonも見てね) @Hyrodium
型Numの扱いがちょっとまだよく分かってないが… pic.twitter.com/HD97PM8gDG
タグ：
posted at 13:17:41
ほりたみゅ (mastodonも見てね) @Hyrodium
Symbolics.jl初めて使ったんですが結構良さそう pic.twitter.com/N1o0hq1XHf
タグ：
posted at 13:13:37
#Julia言語
これでやりたいことが合っているか自信がないのですが
↓
添付画像①②
成分を書き換え可能なconstを const commonval = Ref(0) で作っている。
②ではBase.getpropertyとBase.setproperty!をオーバーライドしている。
ソースコード↓
gist.github.com/genkuroki/246f... twitter.com/sato56513/stat... pic.twitter.com/8v65lA0Rhq
タグ： Julia言語
posted at 13:06:56
非公開
タグ：
posted at xx:xx:xx
@merompans @chaus01 これいいですよね！
社食のデザート出す日によく買ってますw
パンナコッタも夢のようでした😆 pic.twitter.com/DemI5SshCt
タグ：
posted at 12:47:52
#Julia言語
foo = (a=1, b=2, c=3)
(; c, a) = foo
は v1.7 以上(nightly build)でのみ利用可能。
v1.6以下でも
foo = (a=1, b=2, c=3)
using Parameters
@ unpack c, a = foo
で同じことをできます。
私は数日前の nightly build を便利に使っています。 twitter.com/hackstudying/s...
タグ： Julia言語
posted at 12:06:16
「ニセ科学とその周辺から科学的であることを考える」
1時間半あるのですが、トピックは分かれているので、少しずつ聞いていただければいいと思います。ニセ科学問題・ワクチン問題・放射能問題について話しています。
ぜひ聞いてください！
youtu.be/lbChqX8mOYE
タグ：
posted at 12:06:00
非公開
タグ：
posted at xx:xx:xx
第一局での斎藤慎太郎八段の粘りまくりの大逆転はすごかった。
第二局と三局では渡辺明名人の強さが印象的。
強さを印象付けた直後の報道で偶然の力で笑いを取るのはすごい。
タグ：
posted at 10:06:05
あまりにもひどすぎて、笑ってしまった。
添付画像達
① www.sciencedirect.com/science/articl...
② vivit.blog.jp/archives/24446...
を比較すると左右が逆になっている。 twitter.com/parasite2006/s... pic.twitter.com/nWPW0W9fyK
タグ：
posted at 09:31:07
「JuliaがPythonに似てる」というのも程度問題で，CとPythonしか知らなければ新言語JuliaはPython似だと思うかもしれない．{ } がないし
タグ：
posted at 08:54:24
@parasite2006 @totototo26 まあ、論文に間違った事を載せていたわけで、きっと界隈からは批判が出ると思いますよ(思ってないww
あんなに大きなタンクとか、明確に写っているんですけどね。
石油化学系のコンビナート以外のなにものでもない。
タグ：
posted at 08:42:58
Juliaは妙にPythonと似ている__ようにみえる__部分があるけど、「Pythonのように書ける」はあくまでキャッチコピーであって、実際に書くときはPythonのことはすっぱり忘れたほうがいいまである。Pythonより書きやすいものを書くのにPythonの知識はかえって邪魔。
タグ：
posted at 07:57:31
#Julia言語 ただし、公式ドキュメントの
docs.julialang.org/en/v1/manual/p...
Performance Tips
には目を通して、したがっておいた方が無難。
特にグローバル変数を、函数に引数として渡さずに、函数のコードの中でナマで使うことはやめた方がよい。
あと、@ timeと@ code_warntypeによる確認も基本。
タグ： Julia言語
posted at 07:51:05
#Julia言語 あと、Juliaでは、クラスベースのオブジェクト指向ではなく、パラメータ付きの型ベースの実行時多重ディスパッチを採用しており、メソッドはある特定のオブジェクトに属すとは考えない。Juliaでのメソッドはfunctionに属する。Juliaのfunctionはメソッドの集まり。
methods(sin)
↓ pic.twitter.com/EvCgLfKuXN
タグ： Julia言語
posted at 07:23:38
#Julia言語 あと「リスト」というJuliaでは間違った感覚で
Y = []
for x in X
push!(Y, sinpi(x))
end
Y
のようなコードを書くのもひどく損である。
YがAny型成分のVectorになり、大幅な速度的劣化を招く。
Y = sinpi.(X)
の方がよい。
Juliaでのドット構文は非常に便利。 pic.twitter.com/OwtHTc2y5u
タグ： Julia言語
posted at 07:16:57
#Julia言語 はPythonに似ていると言う人がいるけど、私__も__JuliaはPythonには全然似ていないと思う。
例えば、[f(x) for x in X] はリスト内包表記では__ない__し(リストではなくVectorができる)、多くの場合に[ ]で囲まない (f(x) for x in X) の方がよい(遅延評価されるGeneratorができる)。続く twitter.com/cakkby2/status...
タグ： Julia言語
posted at 07:10:21
Hideki Kawahara: WAS @hidekikawahara
音声に特化した関数はJuliaでも書いておきたい。自分の勉強用のネタにもなる。 twitter.com/hidekikawahara...
タグ：
posted at 00:52:44
@TBDD_yahoo @totototo26 この論文www.sciencedirect.com/science/articl... 掲載通知が2020年10月4日で、その1週間後からオンライン公開され、掲載号が2021年4月号として正式発行される前に半年近く抄録と絵解き抄録を誰でも見られる状態だったんですよ。そもそも唯一の日本人著者のラストオーサーがなぜ写真を差し替えさせなかったのか不思議
タグ：
posted at 00:49:23
@sekai_tankyu 超算数界隈の方の議論などをみていると、、
◦ そもそも授業の組み立てがやばい時がある
◦ 教職課程で扱う心理モデルは現在の心理学では扱わないものが多い
◦ 教員に一定数、リーガルマインドが恐ろしい人がいる
ということです。最後のは、
無実の証明なんかをさせる先生がいるということです
タグ：
posted at 00:44:26
@parasite2006 @totototo26 写真見た瞬間に少なくとも原発ではない、もっと言えば、石油コンビナートの一角であるというのはわかると思うのですが…
こんな写真を載せている論文など、おして知るべしですねえ。
放送、どうなるか見ものですね。
多分、NHKも気付かないんだろうなあ。
タグ：
posted at 00:40:57
掛け順に関しては論争あるのを知ってるぽく「学校の先生に従いましょう」って忖度して誤魔化してた(「ずつが前」って普通に言ってたケドな)
あと割合はマジで何言ってるのかわかんなかったし、比に関して「同じ比とは何か」がマジで何言ってるかわからなかった。本人分かってない疑惑レベルで
タグ：
posted at 00:29:40
1番見たかった「速さ」と「単位量あたり」がなかったので、割合(4年)と比(6年)、それから掛け算の導入と文章題、色々な四角形を見た。
基本「問題の解き方ばっか」やってるだけで、情熱大陸系youtuberと大して変わらんわ。オレオの中の人のが、100倍スゴい。
sansu-douga-kuroda.amebaownd.com
タグ：
posted at 00:27:13
見たで。結論から言えば「算数教育を研究してて出てきた授業がコレかよ…」というガッカリ感しかなかったでござる。
大学教授が「算数の解説動画」を小学生に無料配信…これまでに1000本以上 自宅学習を支援(関西テレビ)
#Yahooニュース
news.yahoo.co.jp/articles/ef4fd...
タグ： Yahooニュース
posted at 00:24:11
