黒木玄 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年07月23日(金)
メタメタさん@metameta007 もそう。
根本的におかしな考えに陥っているので、「そこはおかしいですよ」と指摘しても、頓珍漢な反応をしてしまうんだよね。
タグ：
posted at 00:00:22
例えばこれとか。
小6生がそのような疑問を持つこと自体が、おかしな算数教育の結果だと言うことが分からないんだよね。
twitter.com/metameta007/st...
タグ：
posted at 00:08:48
#超算数 スタンプラリーの対象になっているかどうかは知らないが、浦和市立高砂小の100周年の時の校長は、尾崎馨太郎といった。尾崎氏は1951年指導要領の算数の執筆に関与した。ちょっといってみたい気はする。 twitter.com/urawacity_net/...
タグ： 超算数
posted at 00:18:33
@Niigata_u_ped @exa_ray bellcurveさんの説明もかなりまずいので注意した方がよいと思いました。学部生向けの統計学入門の教科書も引用するとまずい説明がよく書いてあります。
シンプルな信頼区間の導出であっても、モデル依存なので、モデルの現実での妥当性を一応疑っておく必要があります。 #統計 twitter.com/genkuroki/stat...
タグ： 統計
posted at 00:55:07
@Niigata_u_ped @exa_ray 以下のリンク先で引用している信用区間に関する単純に科学的にデタラメな説明もよく見かけます。これを信じると非科学的な人になってしまいます。 twitter.com/genkuroki/stat...
タグ：
posted at 00:59:04
掛け算の順序を強制されると、思考が不自然で柔軟性が全くなくなる様だ。そりゃ、数学苦手になるよなぁ。
被害者を目の当たりにすると算数教育の罪深さに悲しくなる。
タグ：
posted at 00:59:07
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
#juliacon2021 #Workshop: GPU programming in Julia-
This workshop demonstrates the use of three major #GPU #programming packages: CUDA.jl for NVIDIA GPUs, AMDGPU.jl for AMD GPUs, and oneAPI.jl for Intel GPUs. youtu.be/Hz9IMJuW5hU
#JuliaLang
タグ： GPU juliacon2021 JuliaLang programming Workshop
posted at 03:16:14
非公開
タグ：
posted at xx:xx:xx
Sid Ravinutala @sid_ravinutala
Oh baby! Another chance to use #JuliaLang and #JuMP twitter.com/kareem_carr/st... pic.twitter.com/fHBZ6lFiKa
posted at 03:34:12
I have listed down all the known (to me) ways of defining functions in Julia.
Some are just mind-blowing!
medium.com/@evalparse/the...
#julialang
タグ： julialang
posted at 07:31:21
（再告知）
信頼区間に対するFisher-Neymanの議論で，信頼係数を「係数」と呼ぶか「確率」と呼ぶかという議論もありましたが，以前の私の呟きでは誤読かつ見落としていました．
以下のブログでその呟きを訂正し，Neyman（1934）の該当部分を抜き出しました．
tarotan.hatenablog.com/entry/2021/07/...
タグ：
posted at 07:31:35
コロナ禍始まってから、近所の木に妖精のドアがよくついてる。 子供たちの間で大人気。 誰かがこっそりつけてくれてる様子。 pic.twitter.com/YtZ7HOZVwG
タグ：
posted at 08:17:40
『数理科学』2021/8号で計算代数システム開発の継続性の綱渡り状況が述べられていて暗澹とした気持ちになった．個人的な趣味でフライトシミュレーターを支え続けたビル・ゲイツみたいな人が現れてくれないと，この状況が変わるのは難しそう．
タグ：
posted at 09:05:49
トロントの人↓ 妖精のドアがついてる木の地図ができてます。 お子さんと探しに行ってみてください🧚♀️
www.google.com/maps/d/u/0/vie...
タグ：
posted at 09:07:07
非公開
タグ：
posted at xx:xx:xx
#julialang
講義の課題だったので有限井戸型ポテンシャルの問題を，自作Newton-Raphsonで解いてみたやつ．
結果の可視化まで出来るのがやっぱり使い勝手が良い． pic.twitter.com/PZhhxDY6AO
タグ： julialang
posted at 10:33:13
#julialang
コードはこちらに置いておきます．
もし，こう書いた方が見やすい，スッキリ書ける！などありましたら教えていただけるとありがたいです．
github.com/moruten/julia-...
タグ： julialang
posted at 10:34:33
データは以下から引用してます．興味ある方はどうぞ．
A. Gal, E. V. Hungerford, and D. J. Millener, Rev. Mod. Phys. 88.035004 (2016)
タグ：
posted at 10:40:05
Daisuke Shigemi | 重見 @Dashige1
子宮頸がんを予防するためにはHPVワクチンが非常に効果的で、若い年齢で接種するほど有効なことが分かっています。
一方で、定期接種年齢を超えても、45歳まではワクチンの有効性が確認されており、接種には意味があるといえるんです。
詳しくは↓
minpapi.jp/hpvv-after-per...
タグ：
posted at 10:55:07
自分の体験としては、つくば市でも掛け算の順序を強制する先生はたくさんいたけど、たいていの子供は「あっ今年の先生『そっち系』かあ」と察して先生の欲しがる回答を見せるようになるので、問題にはならなくて表向き良く教育されたように見えたと思う。
本当にかわいそうなのは算数の苦手な子
タグ：
posted at 10:55:22
要は算数と先生の算数でダブルシンクできるかどうかなんだけど、先生視点だと点数がいい子ほど掛け算の順序を間違えないという認知になるのである種の地獄が広がっていたのかもしれない。
つくばの子供は水からの伝言もダブルシンクで乗り切る
タグ：
posted at 11:04:05
@NatsureNatsure array[begin:10:end] でOKです。
Juliaは範囲リテラル表記の開始と終了が省略できない仕様（あと「開始値」:「ステップ値」:「終了値」の順）ですが、インデクシングの場合 `begin`/`end` をそれぞれ記述すればOKです。
ただし少し古いJuliaの場合は array[1:10:end] とする必要があるかもです。
タグ：
posted at 12:35:51
放送大学「正多面体と素数」最終回視聴了。
有限体上の射影直線を準備して、これまでのすべての伏線を回収して、新たな課題への言及もして、素晴らしいプログラムだった。
Eテレあたりでもこういうレベルの数学・科学系番組が出てくると嬉しいなぁ。
#放送大学 #正多面体と素数 #橋本義武 pic.twitter.com/vseVhpirQa
posted at 12:39:51
ワニは顎や尾は強靭ですが、水中生活に適応したため四肢はそこまで強くありません。代謝も低いので持久力もありません。横断歩道を渡っているときは、お年寄りだと思って気長に待ちましょう（手を引いたりおんぶしてあげるのはやめましょう、最悪の場合死に至ります） twitter.com/gatorsdaily/st...
タグ：
posted at 13:21:09
Trent Henderson @trentlikesstats
Latest round of work on PosteriorPlots.jl for @TuringLang models in #JuliaLang is shaping up nicely! Can now automatically produce 3 similar plots to R's {bayesplot} for all model parameters just by feeding the functions a model object! Next up??? Posterior predictive checks 🤓 pic.twitter.com/XNOc45WP6Z
タグ： JuliaLang
posted at 14:39:51
#統計 関連
モデルのパラメーターとデータからP値を得るP値函数が与えられていれば、それを使って信頼区間を定義できる。
↓
twitter.com/genkuroki/stat...
タグ： 統計
posted at 15:41:09
P値函数の値はモデル内でのデータの分布について区間[0, 1]上の一様分布に(少なくとも近似的に)従わなければいけない、というようなP値概念の理解に必須の知識があれば、信用区間の信頼係数1-αがモデル内確率(もしくはその近似値)になることもすぐにわかる。
タグ：
posted at 16:08:42
P値函数の値はモデル内でのデータの分布について区間[0, 1]上の一様分布に(少なくとも近似的に)従わなければいけない、という要請は次のように言い換えられる: モデルM内において、モデルMが有意水準αで棄却される確率(=第1種の過誤が起こる確率)は(少なくとも近似的に)αでなければいけない。
タグ：
posted at 16:17:55
多くの検定では、パラメータθを持つモデルM(θ)において「θ=θ₀」を帰無仮説として採用する。この帰無仮説が棄却される場合には、モデルM(θ₀)の現実での妥当性は疑わしいと考える。
信頼区間の計算では、θ=θ₀を動かしてパラメータ全体について一挙に行うことになる。続く
タグ：
posted at 16:30:41
すなわち、
θ₀が信頼区間に含まれる ⇔ モデルM(θ₀)が検定で棄却されない。
信頼区間の計算はモデルの族{M(θ)}に一挙に検定の手続きを適用することに等しい。
昔ながらのふわふわした説明では、シンプルな事柄を複雑に考えることになるので、このようなシンプルな理解には永久にたどりつけない。
タグ：
posted at 16:30:41
Building flappy bird is so easy with GameZero.jl 😆
youtu.be/ar7wCVlncKE
#julialang
タグ： julialang
posted at 16:32:30
曖昧で複雑な説明によって、背後に深遠な哲学や思想があるかのように見せることによって、シンプルに考えれば出て来るはずがない疑問が大量に出て来てしまうようにする行為はやめるべきだと思う。
マッチポンプ。
算数教育でもそういうことが伝統的に行われていて大問題になっている。
タグ：
posted at 16:34:31
非公開
タグ：
posted at xx:xx:xx
#超算数 以下のリンク先は、分かりにくい文章ですが、
7時間×時速4kmだと「28時間」になりますよ
と主張しています。
これ、常識ある一般人には理解不能だと思います。
こういうデタラメの原因が算数教育にあることがわかっています。
cf. edupedia.jp/article/53233f... (添付画像2) twitter.com/hocya3nebk/sta... pic.twitter.com/xpj0mxETWa
タグ： 超算数
posted at 17:51:38
#超算数
❌かけ算の式の順序を答えとかけ算の式で先に書く数の「単位」が同じになるようにする
に従うとかけ算順序でバツをもらわずに済みます。
これならバツをもらった方が得です。
これは典型的なパターンマッチ教育で国語的に問題ありすぎ。
子供の読解力は算数の時間に破壊されています。 twitter.com/hocya3nebk/sta...
タグ： 超算数
posted at 17:58:36
#超算数 過去の算数教育のパターンマッチ読解指導に洗脳されたまま大人になって、自分がされたような洗脳を次世代の子供にすることを当然だと考えるようになる。
自分が教わった非常識で馬鹿げた考え方を自分の代で潰して次世代に伝えないことが必要だという考え方をできなくなっている。 twitter.com/hocya3nebk/sta... pic.twitter.com/UV3bOdxbiy
タグ： 超算数
posted at 18:05:28
東京都の今日の1359人はこの手元のモデルの信頼区間を大きくしたに外している。休日で検査数が少ないという情報はモデルに入ってないことが如実に表れている可能性がある。(Juliaで時系列データから状態空間モデルで計算させています。) pic.twitter.com/METtSKW3Fk
タグ：
posted at 18:06:28
#超算数 教科書出版社の見解
啓林館：1冊x円のノート8冊の代金について【8×xになっている場合は，「8円のノートがx冊」という意味になってしまう】
ならない！😱
東京書籍：6人に7個ずつ配るとき【6×7では，6人の7つ分になり，答えは子どもの人数になってしまうことをおさえる】
おさえないで！😭 twitter.com/genkuroki/stat... pic.twitter.com/v8QLFC9q8B
タグ： 超算数
posted at 18:31:33
昔basic認証の危険性を学ぶためにwiresharkで通信パケットを解析して「本当だパスワード丸見えじゃん」て実感したのを思い出した。本当にこういう思考をしてしまう人が生まれてしまうなんて…今まで割と傍観してましたがさすがに戦慄を覚えた😰 twitter.com/hocya3nebk/sta...
タグ：
posted at 18:35:49
OokuboTact 大久保中二病中年 @OokuboTact
たまに勘違いする人がいるけど、教師用指導書（教科書作成会社が出しているマニュアル）は教科書ではありません。
文科省の検定外の本です。 twitter.com/genkuroki/stat...
タグ：
posted at 18:41:49
OokuboTact 大久保中二病中年 @OokuboTact
市販の算数の教師向けの参考書にも、掛け順はしっかり書いてある。
算数教育の偉い人達が責任を持って作っている本。
＃超算数 pic.twitter.com/TIDfdgzkos
タグ： 超算数
posted at 19:20:58
OokuboTact 大久保中二病中年 @OokuboTact
（続き）
執筆者一覧と発行元
算数教育の偉い人が作っている本ということがわかる。
現場の教師への影響は大きい
＃超算数 pic.twitter.com/SZnN6Vn3ia
タグ： 超算数
posted at 19:26:32
さて、期待値低めで見始めてたけどサンドイッチマンが
「どんな点火でしょうね、辞任した方々が勢揃いしてその炎上の炎で灯るかもしれませんね」
とNHKでかましたんでいきなり満足だわ。 pic.twitter.com/XH6O75Gxj1
タグ：
posted at 19:57:53
移動ロボットの経路計画問題を一般化したマルコフ決定過程を価値反復で解くシミュレーションのJuliaサンプルコードを公開しました
src/decision_making/markov_decision_process/anime_mdp.jl
github.com/ShisatoYano/Ju...
タグ：
posted at 22:18:38
Happy Friday everyone! Day 4 of the #JuliaCon tutorials series starts in 15 minutes approx
(Friday 23rd July @ 2pm - 5pm UTC)
Today, we have
1. Solving differential equations in parallel on GPUs
pretalx.com/juliacon2021/t...
2. Package development in VSCode
pretalx.com/juliacon2021/t...
タグ： JuliaCon
posted at 22:46:31
Hi folks - there are still loads of #Julialang workshop coming up over the next few days.
For the full list, with start times and descriptions, check out the workshop page:
juliacon.org/2021/workshops/
#opensource #julialang #coding pic.twitter.com/9JVKAQStwc
タグ： coding Julialang opensource
posted at 22:52:19
Don't miss todays #JuliaCon workshops, starting in a few minutes.
Learn about package development and/or leveraging #GPUs for solving Diff. Equations in parallel! #JuliaLang twitter.com/JuliaConOrg/st...
posted at 22:54:56
@BrianLinuxing (ever @BrianLinuxing
I think #Julialang is an interesting language to study, for the future.
There's a lot going on #YouTube
www.youtube.com/user/JuliaLang... twitter.com/JuliaConOrg/st...
posted at 23:05:41
