黒木玄 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 を見て下さい。
2020年01月03日(金)
#Julia言語
Julia対応の環境では、
\theta TAB → θ
\sigma TAB \^2 TAB → σ²
x\_0 TAB → x₀
a \le TAB b → a ≤ b
\otimes TAB → ⊗
\int TAB → ∫
と入力できて便利です❤️
ツイッターもこうなって欲しいくらい便利‼️
docs.julialang.org/en/v1/manual/u...
twitter.com/masasam_shi/st...
タグ： Julia言語
posted at 01:03:00
#統計 再度、コメント。
世界的に標準化された教科書的な(統計学入門の分野では、ゆえに悪い)解説の影響のせいで、説明がクリアでない点が多いと思いました。
実践的に使う数学的道具の説明では、その道具が使用可能になる前提条件が現実にどれだけ成立しているかの説明が必須だと思いました。続く twitter.com/dr_kid_/status...
タグ： 統計
posted at 01:36:29
#統計 訂正
❌「日夜四苦八苦しているのだから」
⭕️「日夜四苦八苦している人達がいるのだから」
統計モデルが現実をどれだけうまく説明しているかは常に大問題。その大問題を大問題だと見えないように、単なる仮定に貶めてしまうのはとてもまずい。
twitter.com/genkuroki/stat...
タグ： 統計
posted at 02:35:51
koji hasegawa @myfavoritescene
RT鍵
日本の学者の共通認識は財政破綻待ったなしなので、厳しい財政緊縮の耐えていかなければならないし、経済成長なんていう夢を見るなということだからね。そんなものに付き合わされてこの様よ。
タグ：
posted at 02:37:50
#統計 補足の警告
正しい定義のもとでは、モデルM(w)において
帰無仮説に対応するパラメータw₀が信頼区間に含まれること
と
帰無仮説M(w₀)が棄却されること
は同値になるのですが、統計ソフトが表示するP値と信頼区間では同値になら__ない__場合があります❗️続く
twitter.com/genkuroki/stat...
タグ： 統計
posted at 02:47:43
@genkuroki モデルの仮定の点については、黒木さんがおっしゃる通りで、「どのような条件・前提であれば、モデルが正しいといえるか」はもう少し言及したほうがよかったと思っています。
これは、「バイアスがない」という前提の説明もそうだと思っています。
タグ：
posted at 02:50:44
#統計 警告続き
例えば、#R言語 のfisher.testが表示するP値とオッズ比の信頼区間の間には整合性がありません。
そのようなことが起こる理由は、仮説検定と信頼区間が表裏一体であることが十分に教育されていないせいだと思います。
twitter.com/genkuroki/stat...
posted at 02:52:56
@genkuroki 多くの医師は、単純化された医療統計の教科書を読んでいるせいで
・「信頼区間の上限/下限がnullをまたいでいる」
・統計学的に有意差がない
・よって「関連がない」「治療効果がない」
と過度な単純化をしています。
タグ：
posted at 03:00:49
無断コピペをするつもりなら現在の状況でも可能です。だから、現在の状況は無断コピペ対策に全くなっておらず、私のようにコメントするために引用したい人達への嫌がらせにしかなっていないと思います。
不合理で中途半端な嫌がらせはやめた方が良いです。
twitter.com/dr_kid_/status...
タグ：
posted at 03:01:39
Midori Fujisawa共訳『候補 @midoriSW19
ハウジングファーストは緊急住宅（ホステルや知人宅等）にいる人もホームレスと定義しないと効果は半分。日本の時限法「ホームレス自立支援特措法」に欠けていたのはソレで、路上生活者数は劇的に減りましたが、ネットカフェ住み等見えないホームレスは手つかずのまま終了。
twitter.com/aoninare60/sta...
タグ：
posted at 03:04:25
@genkuroki 確かに黒木さんの仰る通りで、1つ目から2つ目は（nullをまたぐ=有意差がない）は無実で、問題は「有意差がない=効果がない」という点と思いました。
ここは書き直させていただきます。
タグ：
posted at 03:11:19
#統計
#R言語 のfisher.testが表示するP値と信頼区間には整合性がない。
P値 = 3.39%
なのに、帰無仮説に対応するパラメータ(オッズ比)の値が1の95%信頼区間が
[0.846, 29.4]
であるというのはちょっとびっくり。こうなる理由はこれが
P値 = 6.78%
となる流儀に対応する信頼区間だからです。 pic.twitter.com/8sTUB8biLw
posted at 03:28:07
あと、プログラムのコード中のコメントやドキュメントでは整形された数式を自由に使えて欲しいと思う。
整形された数式を用いた解説は非常に読み易い。
「整形された数式を軽視する文化」はダメだという印象が強い。
タグ：
posted at 04:08:35
@genkuroki 為になります。#julia言語 ね。わたしにはレベルが高すぎて何か凄く難しいことを語られていますが、コメント欄にも日本語だとか世界の言語が入れられると言う事はとても見やすくていいですね。
先に Haskell 触ってますが、これ文字操作が難しいようでなやんでます。とても低レベルなところでw
タグ： julia言語
posted at 04:26:03
Hideki Kawahara: WAS @hidekikawahara
以下の記事に同感。70才になってしまったけれど、まだ研究とプログラミングできる環境を楽めている。今年の目標は、とりあえず、FVNの可能性の追求と普及にしておこう。Juliaは次になる？
米国から一時帰国して「老害」がなくなるといいなと思った話 - メソッド屋のブログ simplearchitect.hatenablog.com/entry/2019/12/...
タグ：
posted at 04:55:54
A child’s ‘Motor Wheel’ from 1927.
This looks like a fair bit of fun! pic.twitter.com/au0CwxFkqR
タグ：
posted at 04:58:14
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
@OokuboTact @70_his westmt_70_hisさんは、次の問題に対してどのような絵を描きますか？
【問題】ウサギさんは１羽あたりお耳が２つあります。ウサギさん３羽ではお耳がいくつですか？この文章を絵にしてみましょう。
タグ：
posted at 13:24:25
非公開
タグ：
posted at xx:xx:xx
@70_his @OokuboTact 数教教の木幡寛氏によると、その絵は間違いだそうです。
正解はこれだそうです。
pic.twitter.com/il9D7XQ68O
タグ：
posted at 13:51:01
太郎が放射能発言を反省すれば認めるけど、反省してないじゃん。フェイドアウトで、なかったことにしようとする態度は許せないな。「間違ってました、すみませんでした」と明言しろ、という話ですよ twitter.com/hayashi_r/stat...
タグ：
posted at 13:58:09
コード内に埋め込まれているドキュメント内でも整形された数式やプロット結果の埋め込みなどを自由に使えて欲しい。
コードを見ただけで数学的に何をやっているかを解読できる場合であっても、整形された数式を使った説明や理解に必要なプロットを見た方が理解がはかどる。
タグ：
posted at 14:34:48
山本太郎は一度も「放射能デマ」に関する謝罪をしていないと思うが、どこかでしたのか。彼が福島の街頭演説で言った「遠くでそんな大きい声出してもこの現実を変えられないということに関して、責任も持たずに発言してきたこと」に対する謝罪はむしろデマを肯定し風評被害を助長する発言でしかない。
タグ：
posted at 14:34:50
非公開
タグ：
posted at xx:xx:xx
山本太郎は「逃げられない人たちに逃げろと言ったのは悪かった」と「謝罪」しただけで、過去の放射能関連発言の内容を撤回したわけでも謝罪したわけでもありません。彼は福島に暮らす人たちに「普通に暮らして心配ありませんよ」とはひとことたりとも言っていない。信用できない人物ですよ
タグ：
posted at 14:47:58
@kikumaco 「それはそれ、これはこれ」の精神で(人ではなく)何を支持するのかを政策単位で分けて考えることは確かに大事。
しかし、山本太郎は、放射能デマだけではなく、反ワクチンなので、紛れもなく指示してはいけない個人です。
反ワクチンだけで何人殺すことになるやら。
twitter.com/hayashi_r/stat...
タグ：
posted at 14:49:58
@genkuroki @kikumaco それも有った.......
まぁ、アレが与党の権力の座に座るなんて未来はまずあり得ないとは思いますが、それでも反ワクチンを勢い付かせる要因でしょうからね。
タグ：
posted at 14:56:17
2019年自店コミック売り上げランキング出ました！
1位 鬼滅の刃16巻
2位 鬼滅の刃14巻
3位 鬼滅の刃17巻
4位 鬼滅の刃15巻
5位 鬼滅の刃12巻
6位 鬼滅の刃1巻
7位 鬼滅の刃18巻
8位 鬼滅の刃13巻
9位 鬼滅の刃9巻
10位 鬼滅の刃11巻
タグ：
posted at 14:56:37
11位 鬼滅の刃2巻
12位 鬼滅の刃3巻
13位 鬼滅の刃10巻
14位 鬼滅の刃8巻
15位 鬼滅の刃4巻
16位 鬼滅の刃5巻
17位 鬼滅の刃7巻
18位 鬼滅の刃6巻
19位 ONE PIECE93巻
20位 ONE PIECE94巻
1位と20位の間は約100冊差
タグ：
posted at 15:02:12
太郎は放射能発言も反ワクチン発言も撤回しないでしょう。撤回したら支持者が離れていくと思ってるはず。中核派にも支持されていたわけだしね。
いったん全部捨てるなら見直してもいいけどねー
タグ：
posted at 15:10:33
Hideki Kawahara: WAS @hidekikawahara
半世紀ほど前に読んだ。キルンの最大の雑音源が人間による制御だったという記述と、DLに解釈可能性を求め過ぎる現状が重なる。蓄積した経験がゴミと判明する快感！
ダイナミックシステムの統計的解析と制御 (Information & Computing) 赤池 弘次 www.amazon.co.jp/dp/4781909728/... @amazonJPさんから
タグ：
posted at 15:11:52
以前、松尾匡さんが薔薇マークについて話すのを聞いたんだけど、質疑応答になったら、聴衆はリフレーションのリの字も反緊縮の反の字も理解してなくて、ただ反安倍政権なだけだとわかって、唖然としました。れいわ新選組の支持者もそうでしょ
タグ：
posted at 15:13:49
ざっと読んでみたけど，数学を修めた人材が重要だというなら，それに見合ったように遇するべきですね，という感想を持った．｜「数理資本主義の時代 ～数学パワーが世界を変える～」
www.meti.go.jp/shingikai/econ...
タグ：
posted at 16:03:11
「国際数学オリンピックにおいて予選通過をした者の進路に関する調査では、医学系へ進む者が多く、特に収入が高い職に確実に就けるだろうことを重視していることが分かる。」p.17
タグ：
posted at 16:12:50
「アメリカにおいて、数学関連の職業が人気職業の上位に位置付けられているように、日本でも理数系人材が高い収入、安定した雇用、快適な職場環境等を享受できるようにすることが望ましい。」p.22.
期限付きじゃない，「安定した雇用」．
タグ：
posted at 16:15:22
Pure Pythonコードで大規模なエージェントシミュレーションぶん回すのは初めから無理があったのだよ…ましてCythonとかNumbaにまで手を伸ばす気のないライトユーザーには絶対におすすめ出来ない。Juliaで素朴に実装するのです。
タグ：
posted at 16:16:57
#統計
Julia言語で単峰型の有限離散分布のP値函数と信頼区間の実装例
nbviewer.jupyter.org/gist/genkuroki...
を更新しました。更新の内容はP値函数の高速化と信頼区間函数への例外的な場合への対処の追加。高速化の成果は添付画像の通り。
pdfの和よりcdf,ccdfの方がずっと速い。ここで単峰型を仮定。 pic.twitter.com/XXIrWyK11C
タグ： 統計
posted at 16:19:30
「特定の人物を支持するか否か」という発想になった瞬間に是々非々の精神は失われていると思う。
「山本太郎を支持する」と言った瞬間に是々非々ではなくなっている。
「山本太郎が邪悪な人物であることを肯定した上で、自分は〇〇政策に賛成する」ならば是々非々に近付ける可能性が出て来る。
タグ：
posted at 16:32:04
#JuliaLang for elementary school student ?! twitter.com/bicycle1885/st...
タグ： JuliaLang
posted at 16:33:45
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
津田和俊／急激に進行した網膜剥離と闘って @kaztsuda
@genkuroki わたしも我慢して ^^ 何度も山本太郎の演説を聞きましたが、全く学習していない、に一票。Newsweekでの特集でも、ブレーンのつくってくれた原稿を熱心に演説の練習をしている様子が紹介されてましたが、大爆笑。HPVVについても内容は、はたともこが秘書時代につくってくれた原稿以上のことは話せない。
タグ：
posted at 16:47:21
個々の政策への支持・不支持についてではなく、特定の人物への支持・不支持について「それはそれ！これはこれ！」を持ち出していることから、まともな思考力を失っている疑いがあると思った。
次からは気を付けた方がいいよね。
タグ：
posted at 16:48:28
@energyrevo21 とりあえずC言語 → 生産性が上がらない → Pythonだ！ → 生産性うひょ〜 → 計算速度的につらくなってきた... → Cython 解禁！、という回り道というか正規ルートというかを歩んできました。勉強にはなりましたね...。来月あたりにJuliaを始める予定です笑
タグ：
posted at 16:51:08
政策達は細かく分割できるので是々非々OK!
でも、1人の人間を細かく分割したら死んじゃうよね(笑)。
我々が抱えている大問題は、政策について是々非々でフェアな議論をしたいと思っている集団が、制度的な問題のせいで、特定の人物やある種のイデオロギーを信奉する諸勢力に負けていること。
タグ：
posted at 17:04:36
大阪府の公立高校入試の採点資料、漢字の書き問題に関して「字体についての解説」や「常用漢字表の字体・字形に関する指針」を踏まえることと明記しており、さらに出題した字について、指針の字形比較表も抜粋してあり、もう好き。 www.pref.osaka.lg.jp/kotogakko/gaku... pic.twitter.com/dZxVBwJMLg
タグ：
posted at 17:12:59
@michyholymath 「きまり」に関しては黒木さんも問題視するツイートをしていますね。
小学校教育では、昆虫の脚が６本なのも「きまり」と言っているらしくて、「誰が決めているのか？神か？創造説？」と、IDの浸透を勘ぐってしまうw
逆に理不尽な校則も昆虫の脚の数同様、人間がどうこうできない「きまり」？
タグ：
posted at 17:19:54
3点を通る放物線の軸(緑)を追っていくと、どんな歪な3点でも正三角形っぽい曲線の内側に接しながら動くことがわかる
なぜだ……？誰か教えて
(青は焦点と準線) pic.twitter.com/MbsHQ8e0kQ
タグ：
posted at 17:33:37
そもそも、大阪府教育委員会は、指針がまだ案の段階で、先行措置として、指針の考え方を踏まえた採点基準(【練】は、糸編の下が３つ点でも、東の下をはねても正解等)を示していたんだっけ。対応の早さに驚いたのが懐かしい。(参考:読売新聞2016年2月21日朝刊)
タグ：
posted at 17:36:29
三重県の公立高校入試の採点基準にも「字体・字形については、平成28年2月29日『常用漢字表の字体・字形に関する指針t報告)』(文化審議会国語分科会)に基づいて採点されたい」という注意書きがある。嬉しい。 pic.twitter.com/3imALVhJ3C
タグ：
posted at 17:45:31
@whitefaced0wl おおっ！ついにJulianデビューですね！！(ﾉ*°▽°)ﾉ
Pythonに慣れてる方ならJuliaもすぐに書けるようになると思うので、JITコンパイルの素晴らしさ満喫していきましょう！
タグ：
posted at 18:11:43
#Jupyter ipynbファイルとdiffの相性が悪い問題については
jupytextを使え！
が定跡。
github.com/mwouts/jupytext
ぶっちゃけ、ipynbファイルとdiffの相性の悪さを特に取り上げて、解決法について調べずに「だからipynbファイルは使用しない」となるようでは情けない。
twitter.com/genkuroki/stat...
タグ： Jupyter
posted at 19:38:32
#統計 #Julia言語
nbviewer.jupyter.org/gist/genkuroki...
を再度更新した。私がtwo-sidedに分類していたP値に定義は、minumum likelihoodと呼ばれていることを知ったので(私はど素人)、twoside→minlikなどの書き換えを行った。他にも内容が大幅に変更されている。
posted at 19:43:43
非公開
タグ：
posted at xx:xx:xx
ジェダイ評議員Go Nakagawa O @Go_Go_Go_Go_Go
友人の息子さん、小学校1年生の宿題だそうで。
掛け算の順序問題だけでなく、引き算にまで進出する #超算数 pic.twitter.com/IgRdfR9QJ5
タグ： 超算数
posted at 19:57:44
医療者がメディアに「エビデンス」として受け答えをするのなら、きちんと過去の研究結果を吟味した上で答える必要があると私も思います。
知らないなら「わからない」と答えればいいという意見には私も同意です。 twitter.com/ent_univ_/stat...
タグ：
posted at 20:00:45
小児において、生理食塩水をもちいた鼻洗い・点鼻は感冒症状を軽快させ、かぜによる欠席率を低下させたとする研究結果があります。
www.dr-kid.net/nasalirrigatio...
タグ：
posted at 20:02:49
鼻洗いを用いたホームケアを指導することで、
・不要な受診を減らす
・抗菌薬の使用量が減少する
・小児の感冒薬の使用率が減る
などの研究もあります。
www.dr-kid.net/education-nasa...
タグ：
posted at 20:04:26
@hosono_54 謹賀新年
憲法も大きな話題ですが、防衛費拡充や無形固定資産(教育や基礎研究など)に国債発行など、運用で直ぐにも対応すべき問題もあります。
憲法改正という手段が目的になるのではなく、経済安全保障の改善を金子洋一さんが提言されてます
amzn.to/39F9jyD @nagashima21 @Y_Kaneko
タグ：
posted at 20:05:36
小児の急性副鼻腔炎においても、鼻洗いで十分な治療効果があり、抗生剤の追加が不要かもしれないという結果もでています。
www.dr-kid.net/sinusitis-nasa...
タグ：
posted at 20:06:50
非公開
タグ：
posted at xx:xx:xx
さらに、鼻洗い＋点鼻ステロイド vs.抗菌薬では、前者のほうがメリットは大きいという結果もあります。
www.dr-kid.net/nasalwash-rhin...
タグ：
posted at 20:08:28
デフレ脱却途上で二度の消費増税がなされ、家計の懐を暖める施策は不充分…
補正予算も質量共に残念なもの
マクロ経済失政により生まれた就職氷河期世代や失業・倒産・自殺者などの不幸への責任は公が可能な限り果たすべき twitter.com/shinchanchi/st...
タグ：
posted at 20:09:02
ごまふあざらし(GomahuAzaras @MathSorcerer
Pkg のインストールで Ctrl-C 何回かしたら Julia の Session が落ちちゃうんで，もう少し上品にクラッシュして欲しいなぁ・・・．
タグ：
posted at 20:17:36
試してみた。結論から言うと、Windowsで動かせるのはcl-jupyter。common-lisp-jupyterは、zmqを別途インストールする必要があるが、jupyterから認識できず、kernelが起動しない。解決策は不明。分かる人がいれば教えてください。
以下、cl-jupyterのインストール手順。
タグ：
posted at 20:30:07
事前準備としてgit for windowsをインストールする。
cf. jsstudy.hatenablog.com/entry/function...
以下のgit repositoryをlocalにcloneする。
github.com/fredokun/cl-ju...
タグ：
posted at 20:30:07
Anacondaの下のpython.exeを使って、
> python path/to/install-cl-jupyter.py
を実行する。
なお、cl-jupyterは古いため、sbcl 1.x.yしか認識しない模様。sbcl 2.x.y.なら194行目付近のsbcl_min_versionをいじる。例）(1, 2, 0) → (0, 0, 0)
タグ：
posted at 20:30:08
インストールできたら、jupyter notebookを再起動させる。
NotebookのkernelにSBCL Lispが現れる("Common Lisp"はインストールに失敗したcommon-lisp-jupyterの残骸、消し方分からん)。
起動させると、確かにLispを使える。めでたし、めでたし。 pic.twitter.com/El0HBsMhfa
タグ：
posted at 20:30:10
#数楽 単因子は色々めんどくさいです。でも既に通過してしまったのかな？
* 整数成分の2×2行列を行列の基本変形(可逆)で常に対角化できることを示す。
* 例えば、整数成分対角行列
6 0
0 10
を基本変形で
2 0
0 30
に変形できることを示す。2|30となっている。
こういう感じ～続く twitter.com/bampaku/status...
タグ： 数楽
posted at 20:33:54
#数楽 堀田良之著『加群十話』は第4話まで読んだら、途中を飛ばして、第9話「微分方程式も可群と思う」と第10話「常微分方程式の特異点」をいきなり読み始めるのもありだと思う。
群の話を実感を持って納得するには、具体例を計算する必要があるのですが、群の例は難しい。
twitter.com/bampaku/status...
タグ： 数楽
posted at 20:49:16
@genkuroki ありがとうございます。学生時代に線型代数を斎藤正彦先生の本で勉強して、そこで単因子にものすごい苦手意識を持っていたので、たじろいでいました。2周読むつもりでとりあえずざっと読んでしまっても良いのかあと思ったので、気楽に読んでみます。
タグ：
posted at 20:54:55
@happy_fumifumi @jinemonne @nagata_k1 @mtkharu3 @golgo_sardine @festina_lente_F @tsatie @LimgTW @Nagapiii @daffodi85280015 @serow01 前半部分だけなら、「了解しました」と言って削除するつもりでしたが、後半を読んで気が変わりました。
タグ：
posted at 21:13:30
@happy_fumifumi @jinemonne @nagata_k1 @mtkharu3 @golgo_sardine @festina_lente_F @tsatie @LimgTW @Nagapiii @daffodi85280015 @serow01 ＞他人同士の会話をマークするのはマナー違反だと思います。
私はそうは思いません。
＞積分定数さんに宛ててツイートした覚えはありません。
わかっています。ですが、あなたは世界中に向けて発信した。それをまとめるのは自由です。
タグ：
posted at 21:18:39
@happy_fumifumi @jinemonne @nagata_k1 @mtkharu3 @golgo_sardine @festina_lente_F @tsatie @LimgTW @Nagapiii @daffodi85280015 @serow01 単純に「削除して欲しい」なら考えないこともないですが、「タグ付けに関して気持ちが悪いと申し上げた心情が読めませんか？」と言われると「知らんがな」としか言えません。
タグ：
posted at 21:20:05
@energyrevo21 ギリシャ文字とかも使えるのが地味に嬉しいですねぇ。変数名をつけるときのストレスが減りそうです。博士論文が終わるまでは手を出せないですが、並列化とかもいろいろ気になっています。
タグ：
posted at 21:28:41
@sekibunnteisuu @happy_fumifumi @jinemonne @nagata_k1 @mtkharu3 @golgo_sardine @festina_lente_F @tsatie @LimgTW @Nagapiii @daffodi85280015 @serow01 【ピラニアのプールに足先だけ突っ込んだ事ならあります(笑)知らない人がタグ付けにきたりしてゾッ😱】のようなことを述べる人との仲の良さそうなやりとりがあったという事実は、一般読者にとって重要な情報。
私は子の保護者として添付画像の人達に子供の相手をさせることは避けたいと思いました。 pic.twitter.com/lkEUmdMgzi
タグ：
posted at 21:30:35
高校生で三角関数のグラフを描くときに、プロットした点を”なめらかに”繋いでみましょうって話をしたら定規を使って繋いだ生徒多数。なんでそうなるのかと思ったら、そういうことだったのか。
タグ：
posted at 21:51:18
#超算数 このツイートが繋がっているスレッドの上の方で引用したように、算数の教科書のマニュアル本に「折れ線状のグラフに表す」と書いてある場合があるようです。
算数教育における非常識・不合理・非論理的な教え方の多くは、算数の教科書のマニュアル本に書いてある。
twitter.com/shikaf1000/sta...?
タグ： 超算数
posted at 21:56:59
#超算数 反比例のグラフを定規で描かせる件についてはこのツイートが繋がっているスレッドを見て下さい。
twitter.com/1gqsozfgefqzpb...
タグ： 超算数
posted at 21:58:35
.@mtkharu3 さんのコメント「掛け算の順序問題、「相手の言い分を理解したうえで間違っている」と言っているのに「私たちのいうことを分かってくれないの？！」と返すってテンプレが業界内で流通しているんですか？小学校の先生はみんなそう考える..」にいいね！しました。 togetter.com/li/1450976#c72...
タグ：
posted at 21:59:09
@atyu9999 @Go_Go_Go_Go_Go #超算数 これ、左右の式を全部線でつなげる、3×3＝9本の線を引くのが正解じゃないんですか？
どれも8になりますよね？？？？
タグ： 超算数
posted at 22:13:15
@sekibunnteisuu @atyu9999 @Go_Go_Go_Go_Go 左と右をつなぐとも限らないから、６C２の１５本線を引かないといけない。
式理論がどうであれ、おなじ こたえと言っているのだから、全部つなぐ以外の答えはないでしょう。
タグ：
posted at 22:25:57
ごまふあざらし(GomahuAzaras @MathSorcerer
先ほど jlcross で RaspberryPi で動作する Julia 1.3.1 のバイナリー生成の Dockerfile を更新しました．
タグ：
posted at 22:31:33
@suugakuenshuu @atyu9999 @Go_Go_Go_Go_Go 左右の式をつなぐ。という暗黙の了解を読み取ってしまいました。
これ、超算数・トンデモ算数に恭順しても、全部同じ答えなんだから、全部線を引くのが正解ですよね。
タグ：
posted at 22:31:48
@sekibunnteisuu そうそう。小学校算数の公理系を採用しても、全部答えは同じはずですから。
これが違うというのなら、例えば１２－４＝８、１５－７＝８’、１１－３＝８’’となる、というような公理系（超々算数？）を採用しないといけない。
タグ：
posted at 22:35:36
ごまふあざらし(GomahuAzaras @MathSorcerer
master のJuliaで make install の際に libLLVM-8.jl.so っていうやつコピーされない件のイシュー誰か作ってくれんかなー．（他力本願）
タグ：
posted at 22:52:00
A Knight’s Tour ♞
A knight visiting each square exactly once on an 8×8 chessboard
The number of directed tours on the 8×8 board is
19,591,828,170,979,904 pic.twitter.com/P2tEYGQjgh
タグ：
posted at 23:06:27
@sekibunnteisuu @michyholymath #超算数 数学的な規則性ないし法則を「きまり」と称する慣習は、指導要領に由来します。今年度いっぱいでフェイドアウトする現行指導要領算数を「きまり」で検索www.mext.go.jp/a_menu/shotou/...。ただし、算数の教科書を出している教科書会社が全6社でこの語を使用しているかどうかは未検証です。
タグ： 超算数
posted at 23:13:00
@sekibunnteisuu @michyholymath #超算数 さらに、この語は最初の指導要領解説(1999年初版、2007年一部補訂: 81)では【乗法九九については…答えの数値の並び方の決まりを発見しながら…】と漢字表記されています。オフィシャルなものになったのが比較的新しいことを意味しているのかもしれません。
タグ： 超算数
posted at 23:20:45
@sekibunnteisuu @michyholymath #超算数 ただ、【きまり】はこの表記で1970年代の算数教育書で見たことがあります。古い文部省指導書とか見れば解決すると思うのですが、今はできません。法則とか規則性が2年生に理解できない語彙であることは予想できるのですが、人間が定めたのではない自然法則があることを強調しない指導はまずい
タグ： 超算数
posted at 23:34:17
2023年には完成を期待しているとか。情報は mathoverflow.net/a/217397/5420 やら www.ams.org/publications/j... を参照ください。
タグ：
posted at 23:48:59
@temmusu_n @michyholymath 数列とかで「どういう決まりで並べたのか？」とかならまだわかるけど、法則を「きまり」というのは違和感ありますね。英語だと、lawが法律・法則、どちらの意味にも使われるようだけど、それはまた別の話。
タグ：
posted at 23:54:56
