黒木玄 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月28日(火)
これは怖い。
これって、
「そのレベルの理解をしたまま成人した人に向かって『そんな勉強法を子どもにさせては駄目ですよ』と言っても理話が通じない」って事だから。 twitter.com/sigma_seminar/...
タグ：
posted at 00:05:21
OokuboTact 大久保中二病中年 @OokuboTact
＃内包量 ＃外延量
田辺元の影響があるのでは？
twitter.com/temmusu_n/stat...
posted at 00:13:12
実は、教育動画の記事を書いたときに、具体的に誤りの動画をたくさんあげているサイトのリンクを貼ったらどうですか?と言われたのですが、さすがに直接過ぎるかなと思い、今回は自粛しました。だいたいわかっていると思いますが。
タグ：
posted at 00:14:58
ただ、この数年で学んだことは現在進行中の研究にももちろん使っているのですが、何らかの形でとくに生物研究者向けにまとめたいとは思っています。また、今後、学術研究と教育を続ける機会をいただけるなら貢献することを希望はしています。ただ、不安定な立場にいますので、今後は分かりません。
タグ：
posted at 00:25:00
#統計 あびこさんが正しい。
そして、未知の分布に統計学を適用する場合には未知の分布は確定しているので、よくある偽陽性の演習問題をベイズの定理を使って解く場合と違って、【パラメータについての確率】自体が無意味であり、【「知っている」】ことにはなりようがない。 twitter.com/abiko_ushi/sta...
タグ： 統計
posted at 00:26:22
OokuboTact 大久保中二病中年 @OokuboTact
@temmusu_n 「田辺元と数学」については、こちらに詳しく紹介されています
www.shayashi.jp/sisou201201a.pdf
タグ：
posted at 00:44:19
生物学分野でも伝統的統計学対ベイズ統計学の図式をひきずり続けているのが気になっています。というかぶっちゃけ、苦労しています。その歴史的経緯を学ぶことの意義はあるとは思いますが、それは正解のない問題に対して不毛な論争の歴史として認識されるべきだと考えます。
タグ：
posted at 01:03:19
@kdwkshh 主題は、Annotate values taken from untyped locations の自動検出と推察しますが、それ以上の何かができるのでしょうか？
docs.julialang.org/en/v1/manual/p...
タグ：
posted at 01:13:22
@kdwkshh JuliaDocsでは、メソッド定義の引数や戻り値の型指定を type assertion と呼んでいます。docs.julialang.org/en/v1/manual/m...
この卒論の「型注釈」は、違う意味を指しているようです。上の "annotate values taken...." の用例ですかね。
タグ：
posted at 01:20:06
@kdwkshh 本文に関係ありませんが、PDFしおりの漢字が文字化けしていました。uplatex+dvipdfmx+hyperref のようなので、pxjahyperを使いましょう。qiita.com/zr_tex8r/items...
タグ：
posted at 01:32:50
#統計 【中身のない統計（箱ひげ図・四分位偏差など）が必修化】の結果、定義が多数ある四分位数の文科省定義を知らないと正解できない問題がセンター試験に出題されてしまった。
出題ミス扱いが妥当。
twitter.com/hirokazuohsawa...
タグ： 統計
posted at 01:40:07
And here are the graphs of the parametrization itself: real part (abscissa) in blue, imaginary part (ordinate) in red, in function of the external angle expressed in full turns (2π radians), again limited to 4096 Fourier coefficients. A very different view of the Mandelbrot set! pic.twitter.com/xffhZkPO6s
タグ：
posted at 04:16:57
非公開
タグ：
posted at xx:xx:xx
消費税が地方を破壊した。
「本当にどうすることもできなかった」消費増税以降の資金繰り限界 従業員191人全員解雇・破産申請の百貨店「大沼」 山形
headlines.yahoo.co.jp/hl?a=20200127-...
タグ：
posted at 06:17:57
記事を書きました。
負けて悔しい将棋を振り返られるか？ 棋士編入試験敗戦後の山本博志四段とアゲアゲさんの場合(松本博文) - Y!ニュース news.yahoo.co.jp/byline/matsumo...
タグ：
posted at 07:14:57
@OswaldHurlem Simple, no. But there is a not-too-awful recurrence relation that can be used for floating-point computation (with good precision) or exact integer computations. See what I wrote in the comments of my Sage code (which I just expanded a bit): gist.github.com/Gro-Tsen/4c543...
タグ：
posted at 07:28:44
OK, I should really stop adding graph after graph, but there are really many things that can be done with these coefficients: here's a conformal grid showing the external argument / field lines (in red) and equipotentials (in blue). pic.twitter.com/37FWuj6Xi3
タグ：
posted at 07:36:31
Of course, that the series was truncated shows: the two lines with args 1/3 and 2/3 turns (2π/3 and 4π/3 rad) should meet at exactly −0.75, the tangency point of the cardioid and its largest satellite; but at this level of precision they don't. Also visible in previous graph.
タグ：
posted at 07:36:31
例えば、現在どのようになっているか、教えられているのかは不明ですが、生物学分野でもベイズ統計で「仮説の確率」が計算できると教えられていたようでして、それが黒木さんに指摘されています。twitter.com/genkuroki/stat... twitter.com/genkuroki/stat...
タグ：
posted at 08:06:41
Youtubeにある数学の動画に質が低いものが多いようなことをほのめかす人を見るけど、果たして学校の先生や塾や予備校の先生と比べて差があるのかという疑問。（質が低いものがないとは言っていない。自分の質が高いとも言っていない。）
タグ：
posted at 08:19:46
生後３ヶ月未満で発熱したら必ず大きな病院へ受診しましょう
小児科では３ヶ月未満のお子さんの発熱はかなり慎重に様子をみています。
もし、３ヶ月未満のお子さんが発熱した場合は、お早めに入院できるくらいの大きな病院へ受診しましょう。
www.dr-kid.net/fever-less-tha...
タグ：
posted at 08:20:01
これは本当にそう思います。データを生成してモデリングしてみるのが一番です。ベイズ法で推測するのに哲学も伝統的統計学との区別も必要ないです。 twitter.com/sammy_suyama/s...
タグ：
posted at 08:38:51
私は東京芸大に７浪して入りました。
低所得で片親だった私は授業料は全て免除されました。
低所得者世帯は私立美大に進学する事は不可能。
よって多浪覚悟で東京芸大を目指す流れが今日もあります。
３浪以上の学生が免除を受けられなくなる。
これがどう言う事を意味するか芸大はわかっているはず。 twitter.com/FREE20180913/s...
タグ：
posted at 09:13:51
#統計 ベイズ統計の解説は結構大変で読者の側は以下のことに注意する必要がある。
* ベイズの定理でベイズ統計について説明するには誤り。
* モンティ・ホール問題や偽陽性の確率へのベイズの定理の応用がまるでベイズ統計の話であるかのように解説するのは誤り。
続く
twitter.com/genkuroki/stat...
タグ： 統計
posted at 09:14:24
#統計 おまけ
実際にはベイズの定理でベイズ統計は正当化できないのに、ベイズの名前が繰り返し語られて、さらにベイズの肖像画も引用される、というのが「定番の解説」になっていますが、実は
😱その肖像画が実際にベイズを描いているかどうかは疑わしい😱
のです！
何もかも全部ダメな感じ(笑) twitter.com/genkuroki/stat...
タグ： 統計
posted at 09:22:51
#超算数
算数の場合には算数の教科書および教科書のマニュアル本がデタラメな教え方の震源地になっていて、小学校から排除することは極めて困難になっている。
算数・数学教育で他にも伝統的におかしな教え方をして来たことは多い。
それらがYouTubeなどでさらに強く固定される危険性があります。 twitter.com/unaoya/status/...
タグ： 超算数
posted at 09:29:13
@simizu706 その指標は解釈が不明だと思います。p=0.49として、仮説p>0.5が正しい確率を計算したとき、偶然約0.97という数字がでました。この数は妥当か、大きいか小さいか、ぼくには判断できないです
set.seed(4444)
x <- rbinom(1,10,0.49)
psmp <- rbeta(5000,x+1,n-x+1)
mean(psmp>0.5)
[1] 0.968
タグ：
posted at 09:37:44
@tokophotoko ありがとうございます。もしよかったら、
ポール・オフィット の 代替医療の光と闇 ― 魔法を信じるかい? も是非
amzn.to/30ZDNqV
タグ：
posted at 09:40:52
@sunbluesome ほんとだ、JupyterNotebook上だと `(*)(a::Hoge, b::Hoge) = a + b` とか書いてしまうと完全に上書きされますね、`3 * 4` とかがMethodErrorになる。
事前に `import Base: *` とかしておくと上書きじゃなくてオーバーライドになりますよ。もしくは `Base.:*(a::Hoge, b::Hoge)=～` と書くとか。
タグ：
posted at 09:52:55
香川県の大山一郎議長、『ゲーム脳』を参考にしたと新聞のインタビューに答えている。もうそれだけで科学的根拠を無視する気満々である。周りの者が世界各国の研究、論文でゲームのプレイそのものが問題行動や暴力性につながるというエビデンスを得られてないことを吹き込むしかない。
タグ：
posted at 10:15:10
github ながめていたら…KADOWAKI, Shuhei さんというかたが『データ解析のための統計モデリング入門』の勉強ノートを作っておられて… KADOWAKI さん，あなた著者よりもずっと正しく理解しておられますね．まとめていただき，ありがとうございます… github.com/aviatesk/intro...
タグ：
posted at 10:33:25
掛け算の順序指導は全くの誤りなので、そんな授業を黙って聞いていろというのは児童虐待と言っても過言ではないでしょう。
間違いを教えるような授業は聞かなくてよろしい
タグ：
posted at 10:34:29
#統計 以下のリンク先の疑問は、「頻度論vs.ベイズ」というおかしな対立図式を描く人達が
頻度論 ベイズ
母数 定数 確率変数
データ 確率変数 定数
のようなデタラメな図式を描くこと(既出)と関係付けられます。母数＝パラメーター。続く
twitter.com/abiko_ushi/sta...
タグ： 統計
posted at 10:36:21
#統計 リンク先で示された #R言語 による計算は、
n=10, p=0.49の二項分布で生成された乱数の値が8のときに、ベイズ統計におけるパラメーターpの事後分布(事前分布は一様分布にしてある)で計算した p > 0.5 の確率が約 0.97 になるということ
を意味しています。続く
twitter.com/abiko_ushi/sta...
posted at 10:36:21
同種の例をあげるとキリがないですし、すでに認識がお変わりの可能性がありますが、同種の信頼区間に関して「ベイジアン」といって「真の確率が求まる」と、影響力の大きなTJO氏も説明してしまっています。
tjo.hatenablog.com/entry/2018/12/...
twitter.com/genkuroki/stat...
タグ：
posted at 11:12:37
なぜ、「相加相乗からの最小値の問題の解説がなぜこれほどまでに間違っているのか」を考察しました。これには、ただの不勉強以外の要素があると考えられます。興味のある方はお付き合いください。積の順序の話題にも触れます。1/7→
タグ：
posted at 11:33:19
「f(x)の最小値を求める問題では、最小値をとるxの値も求めないといけない」という迷信があります。例えば「f(x)=(x^3-3x+1)^2 の最小値を求めよ」という問題では、最小となる状況は示せても、xの具体的な値は簡単には（特に受験生には）求まりません。2/7→
タグ：
posted at 11:33:19
では、なぜこういう迷信がはびこるのか。それは「どの教科書や問題集もそう書いてあるから」です。数学的にそれが必要かどうかはわからないけど、空気を読んで x の値も求めておいたほうが無難だろう、それが『ナラワシ』だろうという思考です。こう考えている教師を、私は何人も見てきました。3/7→
タグ：
posted at 11:33:20
不等式の証明においても「聞かれていなくても、等号が成立する条件を求めるのが『ナラワシ』だ」と考えるわけです。これで一丁あがり。だから「x>0 のときは x+1/x≧2、これで最小値が求まった」と言った後に「等号成立条件も（『ナラワシ』として）調べておきましょうか」と言ってしまうんです。4/7→
タグ：
posted at 11:33:20
『ナラワシ』で解答する、という要素が入ると、このような誤りをしてしまうんです。数学的な正しさの検討が疎かになってしまうんですよ。思考停止です。これは、数学を学習する意義の死を意味すると私は思っています。5/7→
タグ：
posted at 11:33:21
『ナラワシ』の要素を数学の中に入れたことが、あの最小値の問題の誤りの大きな原因になっていると私は考えます。だから、最近話題になっている、積の順序や、習っていない知識をバツにする『ナラワシ』についても賛成できません。数学的に正しいものはマル。これが数学の指導原則なんです。6/7→
タグ：
posted at 11:33:21
#統計
#Julia言語 版
nbviewer.jupyter.org/gist/genkuroki...
事後分布のグラフもプロットしておきました。
twitter.com/abiko_ushi/sta... pic.twitter.com/XGqsg75vN0
posted at 11:37:11
また懲りずにこんなものをあげている。
headlines.yahoo.co.jp/article?a=2020...
これが正しいと思う人も出るだろうなあ。
タグ：
posted at 11:38:17
@TJO_datasci 「「真の平均値をμを含む確率が95%になる」ような区間を与えるのは一般にはベイジアンです（95%ベイズ確信区間と言ったらその意味になる）。」というところに疑問を持ちました。
タグ：
posted at 11:38:53
@TJO_datasci TJOさんは影響力が大きいので、何らかに形でどう考えているか発言していただけると、実業界、学術界いずれにしても実問題にとりくんでいる方々の認識が変わることにつながると期待しています。
タグ：
posted at 11:42:21
@TJO_datasci 「汎化性能の話」のほうが良いという点に同意します。汎化損失や総和損失の観点、交差検証などでデータでモデル評価を考えるというのが僕も良いと考えています。P値も帰無モデルの評価をしています。モデルの評価、比較の観点のないモデリングは危険が大きいと思っています。
タグ：
posted at 11:53:58
@toosourketchup しぶとく生き残り続けるウイルスは毒性が弱く感染力が強いタイプのものです。その方が淘汰されにくいんです。軽症患者は普通に歩き回りますからね。毒性強すぎると重症だらけになって入院=隔離状態になりますから鎮圧されます
タグ：
posted at 12:04:14
#統計 この場合には、nを大きくして中心極限定理による近似の精度が十分に高い領域に入れば、一様事前分布の事後分布で求めたベイズ信用区間は通常の信頼区間とほぼ一致するようになります。「頻度論vs.ベイズ」という対立図式を描くのは本当に止めた方がよいです。
nbviewer.jupyter.org/gist/genkuroki... pic.twitter.com/liras3TTdn
タグ： 統計
posted at 12:13:22
#Julia言語 二項分布モデルの場合に
* 両側二項検定のP値函数を1行で実装
* 信頼区間函数も1行で実装
* ベイズ信用区間も1行で実装
全部1行(笑)。定義の理解は大事。しかし、定義の理解のためには、この手のことを行う試行錯誤が必要になる。
nbviewer.jupyter.org/gist/genkuroki...
twitter.com/genkuroki/stat... pic.twitter.com/4IIPN8t9ka
タグ： Julia言語
posted at 12:30:13
お好み焼きにはカープソースをどうぞ。 @IshidaTsuyoshi
授業をちゃんと聞いていても、自分で掛け算についてあれこれ考えてたら、順序にこだわる必要が無いことに気づいちゃうからねぇ。交換法則だって授業で習うんだし。 twitter.com/yama_pet/statu...
タグ：
posted at 12:51:53
もし安達さんに決まったとしても決して楽観出来る状況ではない。今までの「反対：原田、片岡」が「反対：安達、片岡」になるだけ。日銀の人事は本当に大事。人選によって日本の景気が大きく左右される。とにかくデフレ派を追放すべきですよ。
タグ：
posted at 12:55:07
@hamukazu パクツイだったからアカごと消しただけでしょう。引用した人のせいではない。
本家はたぶんこちら。
twitter.com/DariFura/statu...
タグ：
posted at 13:01:48
@tenfu2tea 興味を持っていただきありがとうございます :)
主題としては，JuliaのJITに使用されている型推論システムをデータ型エラーの静的な検出に再利用するというものです．
もともと，Rubyプログラムを抽象解釈してエラー検出をするruby-type-profilerというものがあり（続く)
rubykaigi.org/2019/presentat...
タグ：
posted at 13:27:35
@tenfu2tea 既にJITによるパフォーマンス向上を目的に型レベルの抽象解釈を行っているJuliaでは，同様のエラーチェッカーが比較的容易に実現できるのではないかという目論見でこの卒業研究をしています．
タグ：
posted at 13:31:08
@tenfu2tea type assertionは，::演算子が持つ役割の1つだと思います．
manualのTypes sectionでは，::の働きを"type annotation"と要約していて，その具体的な使い道としてassertion(dispatch control含む)とコンパイラへの型ヒントを挙げています:
docs.julialang.org/en/v1/manual/t...
タグ：
posted at 13:58:22
既に色々とご指摘いただいた方々本当にありがとうございます！
タイポでも説明が不明瞭なところでもなんでもご指摘いただけると助かります．issueに投げていただく形でも構いません<m(__)m>
今後はJuliaの型推論ルーチンの説明と，それに基づく型プロファイラの設計と性質の説明をする予定です．
タグ：
posted at 14:09:01
@y_bonten @sekibunnteisuu 確かに。まぁ謎の四分位数やし何故五分位や六分位は考えへんのかとか突っ込みどころは満載やけど。気になるのはどうもデータを繋げた？シームレスな四分位数みたいなものがあるらしいこと。当然やけどアホらしいから真面目に考えたことはないけど。そもそも平均とるのって繋げてるのやものね。
タグ：
posted at 14:23:27
Juno's in-editor profiler will get enhanced sooooooo much ! (Thanks to Tim Holy's new FlameGraph.jl: github.com/timholy/FlameG...)
Now dispatched/gc lines are specially coloured, so we can find performance pitfalls really easily:
Stay tuned for the next release ;)
#julialang pic.twitter.com/Hn2xEGsAKI
タグ： julialang
posted at 14:24:03
note: yellow mean the line is dynamically dispatched, while red means there was a garbage collection happened
タグ：
posted at 14:26:46
いやもうなんだかなぁ以前の問題ですよ。大体対称によって四分位やら五分位やら適宜良さげな仕様で扱うのが良い筈やしそもそもデータが少ない状況で考える事が無意味かと... 今後は少しはマシになるのか？もう #21世紀になって随分経つ のに何時迄こんな杜撰なものを統計として... twitter.com/sekibunnteisuu...
タグ： 21世紀になって随分経つ
posted at 14:29:54
@simizu706 清水先生ご自身は「仮説が正しい確率」という指標には意味を見いだせず、使わないという立場なのですか？ それとも二項分布の例が特殊な事情で使えないということでしょうか。
タグ：
posted at 14:34:01
非公開
タグ：
posted at xx:xx:xx
@sekibunnteisuu @tsatie @y_bonten #統計 #超算数
グラフにしてみました。ただし、26.1は27.5に変えてあります。線形補間版(Julia言語版)と文科省版を並べてあります。並べると、文科省版には違和感を感じまくり。
nbviewer.jupyter.org/gist/genkuroki...
twitter.com/sekibunnteisuu... pic.twitter.com/HqARt2ZQqz
posted at 15:03:39
非公開
タグ：
posted at xx:xx:xx
@sekibunnteisuu @tsatie @y_bonten #統計 この場合は9=4k+1個(k=2)なので、線形補間版(Julia版)の第1,第3四分位数も中央値をずらしても不変。
文科省版は奇数個のとき中央値を動かしても第1,第3四分位数は常に不変。
四分位数の文科省版の定義は中学校学習指導要領解説に載っているので、これから中学校で教えられることになるだろう。 pic.twitter.com/MRShANQLx3
タグ： 統計
posted at 15:09:19
#統計 #超算数 相互リンク
twitter.com/genkuroki/stat...
posted at 15:13:20
@sekibunnteisuu @tsatie @y_bonten #統計 #超算数 ほんとその通りで、どのように定義しようと四分位数の使用に必然性は皆無。
わざわざ四分位数について異様に正確に教えようとする方針にするのはかなりおかしい。(中学校学習指導要領解説がそうなってしまった。)
沢山ある道具の1つに過ぎず、欠点も目立つ。
twitter.com/tsatie/status/...
posted at 15:20:11
@sekibunnteisuu @tsatie @y_bonten #統計 箱ひげ図の使用には「データの分布が単峰型でなければ使えない」という制限があるのですが、文科省版の箱ひげ図だとさらに外れ値のせいで幅が広くなっていることが不明になる。その辺の違いは
qiita.com/sakarush/items...
で作っている2つの箱ひげ図を比較すると分かる(添付画像、大阪に注目)。 pic.twitter.com/C0XhxzOmvJ
タグ： 統計
posted at 15:34:09
#超算数 「PとなるのはQのとき」が明瞭に
(1) P⇔Q
の意味だとするのは無理。
(2) 「PとなるならQ」との類似でP⇒Q
と聞こえるかもしれないし、
(3) 「QのときP」すなわちQ⇒P
と解釈するかもしれない。
高校の教科書にある等号成立条件の書き方は非常に良くない。
twitter.com/19_9990999792/...
タグ： 超算数
posted at 16:16:16
ARで地球をまるごとマインクラフトの世界に変えてしまうこのゲームは、ファンの願望を叶えるだけでなく、わたしたちと世界や他人とのかかわり方を変えてしまうかもしれない。bit.ly/2pvtAEm
タグ：
posted at 16:30:12
@genkuroki お恥ずかしいですが、今までそのような意識をしたことがありませんでした。
「PとなるのはQのとき」が「P⇒Q」を意味するのはわかりますが、
事実としてPとQが同値のときは、「PとなるのはQのとき」が「Q⇒P」も意味すると勝手な思い込みをしていました。
タグ：
posted at 16:32:37
@TJO_datasci 僕は検定が良くないとは考えてません。とくに対立仮説にも確率分布を与えて行う尤度比検定、分配関数の比のベイズ検定はパイロット実験で統計仮説を定めたあと行うのはかなり有効かと思います。
タグ：
posted at 16:39:57
@hgn_no_otaku 数学がわかっている優れた高校生は、不等式の等号成立条件が同値性を意味していることを明瞭に理解すると思われ、そういう高校生が教科書に「等号が成り立つのは～のときである」と書いてあるのを見て、「この言い方で同値性を表現してもよい」と誤解することになるのだと思います。
教科書が悪い。😭
タグ：
posted at 16:41:46
むかし一般教養で論理学の授業を受けたとき、「PであるのはQのときに限る」という表現をP→Qに充てていた。P if and only if Q.のonly ifに対応するのだろう。その影響もあってか、「PとなるのはQのとき」にも「に限る」を補ってしまう。まぁ、「限る」がついていても逆に解釈する人もいるだろう。
タグ：
posted at 16:51:45
“問題は、豊田先生が「研究仮説」が「正しい」と言っている点です。ここでの「正しい」の英語はcorrectで、真偽のtrueとは違うんですね” 放送大学の豊田先生の教科書だとtrueになってる / “「研究仮説が正しい確率」について | Sunny side up!” htn.to/zXdJfGEE8u
タグ：
posted at 17:03:28
#超算数 「算数科における授業研究の進め方と実践研究論文の書き方 の雑感」という題名で掲示板に書き込みました。
8254.teacup.com/kakezannojunjo...
タグ： 超算数
posted at 17:03:37
数学の専門家ではないが、⇔（同値記号）はちゃんと使えるように中学生から教えた方がいいと思うのだ。
例えば
3x+7=4
⇔ 3x=4-7
⇔ 3x=-3
⇔ x=-1
こんな風に。⇔は書かなくてもいいけど本当は⇔があるんだよって意識があるだけでずいぶんと違う気がする。 twitter.com/genkuroki/stat...
タグ：
posted at 17:04:39
@simizu706 ありがとうございます。だとするとその旨を記事（norimune.net/3339）に明記されたほうが誤解が少ないかとぼくは思います（もちろん最終的な判断は清水先生におまかせします）。当該記事は「仮説が正しい確率」の計算自体は可能であると言っているように読めました。
タグ：
posted at 17:18:52
@TJO_datasci もちろん、現実的な問題にそれぞれの場面で適切な（その結果を受け入れ行動する人たちのコンセンサスも含めた適切さ）分析があると思います。実務ではとくにデータ意外のモデル評価観点もあると思います。ただ、有効であることを伝えていくことも必要だと考えています。
タグ：
posted at 17:25:46
Turing.jlの混合モデリングにDistributions.VonMises()使いたいのにどうも使えないっぽい…。
Issue立てて各方面でどうしたらいいか聞いてみてるけど、英語下手すぎてだめだ…。#julialang
タグ： julialang
posted at 17:41:01
@metameta007 @aoki_taichi #超算数 このスレッドにおける私の最初のツイにある通り、【乗数、被乗数という概念は、累加で定義された掛け算にとり不可欠】です。高橋さんが私になにを言いたいのかよく分かりません。
タグ： 超算数
posted at 18:21:01
かけ算の順序論者が「かける数×かけられる数」なんて言っていいの？ - Togetter togetter.com/li/1328946 @togetter_jpより
これ面白すぎた
タグ：
posted at 18:32:10
(サイコさん)柴胡加竜骨牡蛎湯 @stupid_ridiculo
この薬プラセボで出してるからな、と新人君に言ったら投薬時患者に、
「この薬はプラセボです」
と説明しはじめたので羽交い締めにして裏に引きずっていった。 twitter.com/14023104si/sta...
タグ：
posted at 18:32:28
#超算数 ありがとうございます。どういうことだか把握しました。田辺元にあっては、外延量と内包量は、離散と連続と同じことなんですね。少なくとも哲学の言い分としては、様々な数学を離散と連続の関係で考察することができると。すると、遠山啓の『無限と連続』、内外量理論も田辺元の影響下にある? twitter.com/OokuboTact/sta...
タグ： 超算数
posted at 18:33:25
「等式が成り立つのは～のときであり、かつそのときに限る。」というのも聞いたことがある気がします。 twitter.com/genkuroki/stat...
タグ：
posted at 19:13:03
上がシロアリの隊列で下がアリの隊列。それぞれの兵隊アリが自らの働きアリ隊列を保護するので、闘う必要はない。
ちなみにアリとシロアリは系統的に全く異なる分類群。どんなシグナルを使っているんだろうか・・・。 twitter.com/neurosocialsel...
タグ：
posted at 19:26:09
#統計 事例追加
小杉孝司氏曰く【第五に，ベイジアンはp値の解釈のように仮想世界の非現実的な値について一喜一憂するのではなく，事後分布から自分の仮説が正しい確率を読み取ることができる点である。解釈が直観的であり，誤解を生じにくい点は，教育的効果が非常に大きいだろう】
完全にアウト。 twitter.com/genkuroki/stat...
タグ： 統計
posted at 19:39:39
信頼区間と信用区間…。頼むからこのネーミングどうにかしてくれんかな。歴史的に統計学って謎のネーミング多い。そしてけっこうミスリードするんだよね。尤度とかよくわからんじゃろ、なんだよlikelihoodって。
タグ：
posted at 19:43:43
#統計 ？？？？？？
【``厳格な’’コメントをつけることで「やだ・・・なんかベイズ怖い」って思う人がいて萎縮させてる】
【でも「素人が手ぇ出すんじゃねえ」ってのも違うし，「面白さが分かり始める前に門を閉じる」ってのもよくない】
ちなみに、わたしは統計学については完全にど素人です。 pic.twitter.com/RFlIwJZgvv
タグ： 統計
posted at 19:53:06
#統計 ベイズ統計における事後分布は非現実的な仮想世界(数学的モデル内)における確率分布です。だから、事後分布で測った確率は非現実的な仮想世界における確率であり、その現実世界における意味の理解は易しくないです。
twitter.com/genkuroki/stat...
タグ： 統計
posted at 19:57:12
OokuboTact 大久保中二病中年 @OokuboTact
@temmusu_n 遠山啓と田辺元は直接の関係はないと思います。遠山啓が田辺元の論文を読んだかどうかもわかりません。
あと「田辺元の外延量と内包量」に関しては、中沢新一の『フィロソフィア・ヤポニカ 』でも詳しく論じられています。
www.amazon.co.jp/%E3%83%95%E3%8...
タグ：
posted at 19:59:31
福島の甲状腺検査の説明文書(新しいやつ)にあたかも早期発見にメリットがあるかのように書かれていますが、大嘘ですから。無症状の甲状腺がんを発見して治療するメリットは立証されていません。嘘をついてまで続けようとしているわけですが、利益はなく害ばかりがある検査ですから即刻やめるべきです
タグ：
posted at 20:02:13
Ceramics have a very low coefficient of thermal expansion. When they get hot they don’t expand like metals. When they are cooled, they do not shrink in the way that metals do & finishing techniques like this don't break them ow.ly/q8Q430oH7WA [gif: ow.ly/M23G30oH7VR] pic.twitter.com/Rp8BixvAB8
タグ：
posted at 21:00:40
#超算数 なるほど、そういう経路もあり得るのか。
「PとなるのはQのときである」の問題は、言い回しの問題に過ぎず、数学の内容を理解していて、誤解なく伝わるようにしている人達にとっては無縁の問題。
危ないのは理解できないせいで言い回しを真似る人の場合。
twitter.com/y_bonten/statu...
タグ： 超算数
posted at 21:02:11
「PとなるのはQのとき」という表現は必要性や十分性が分かりにくいから基本的に良くないんだろうけど、「Pとなるのは例えばQのときである」といった表現は割とよく使うなぁ。勿論これはQ⇒Pの意味。
こんなことあるのかっていうと……みたいな話の流れで自然に使う。
タグ：
posted at 21:04:09
@toukyo03ty 【プリントは後者なので別に間違えでは無い】
では、そんな掛算の順序は片方だけなどというルールは「本当は」無いのですよね？
#掛算
タグ： 掛算
posted at 21:09:57
月並みですが、反復法は収束判定条件を変えて3通り以上計算して改善がほぼなくなることを示した上で最善と実用版との差、丸め誤差は単精度がデフォルトなら倍精度版並行計算である程度把握ですかね twitter.com/implict_none/s...
タグ：
posted at 21:16:46
#超算数 以下のリンク先は、私の考慮外だったぼんてんぴょんさん(1つ前のツイートで引用)にかなり近い感想。なるほど。
東京書籍『数学II [301]』には添付画像のように
【等号が成り立つのは，a=bのときである】
と書いてあります。次のページでは⇔記号を使用。
twitter.com/kaya2kuyomi/st... pic.twitter.com/yUjNYQtmw1
タグ： 超算数
posted at 21:18:00
@toukyo03ty 【割り算を習う際の思考の練習としてって感じです】
そこが不思議なのです。
「割り算は、順序が違ったら結果が違ってしまう。
掛算は順序が逆でもよい」
と理解する方が大事ではないのですか？
参考→ twitter.com/golgo_sardine/... #掛算
タグ： 掛算
posted at 21:19:26
Kuri TsukaΦ (くり つかお) @20_0855369231
「等号成立条件は～である」
が一番短いと思うが，これだと意味不明(or曖昧)になるのだろうか？ twitter.com/genkuroki/stat...
タグ：
posted at 21:25:56
#超算数 これも、なるほどです。
「PとなるのはQのときである」だと曖昧に感じられても、「例えば」を追加して「Pとなるのは例えばQのときである」なら、私も曖昧さを感じなくなります。
数学の話題は盛り上がらないが、言葉の話題は結構盛り上がる。
twitter.com/mathmathpiyopi...
タグ： 超算数
posted at 21:27:42
この話も収録されている『ねこむかしばなし』は2020年1月31日に発売します。
よろしくお願いします！
amazon.co.jp/dp/4040643941
#猫の昔話 pic.twitter.com/ZotYwdKRee
タグ： 猫の昔話
posted at 21:34:14
ニュースウォッチ9では正社員の待遇を引き下げることによって対応する企業が紹介されていたが、それは国民の窮乏化に他ならないので絶対に容認できない。それによって「非正規のモチベーションが上がる」というロジックも意味不明。人の不幸は蜜の味なのか？ www3.nhk.or.jp/news/html/2020...
タグ：
posted at 21:39:53
#Julia言語 もしかしてこのスレッドを見逃している？
nbviewer.jupyter.org/gist/genkuroki...
Distributions.jlにおけるvon Mises 分布の実装のバグの自前での訂正法
twitter.com/utssos/status/... pic.twitter.com/Ll5PIt6ann
タグ： Julia言語
posted at 21:43:03
@golgo_sardine @toukyo03ty 更に混乱に拍車をかけるのは、「 #掛算 の順序は片方だけ」と言っておきながら、そのルールがいい加減だからでしょう。定まったルールが無い。
場当たり的に「その場合はどちらでも良い」などとしてしまう。
その癖、子供には平気でバツを付ける・・・
タグ： 掛算
posted at 21:45:18
『グラフィックスプログラミング入門』で作れるようになるシューティングゲームのクオリティが凄まじくすごい
gihyo.jp/book/2020/978-... pic.twitter.com/Mpjk8G1koa
タグ：
posted at 22:04:07
磁気活水のサイトの「反論」記事
装置への誹謗中傷を繰り返すことで生計を立て、ブログを７つも持っていて、1日100件もツイートしている「謎水」という人がいるそうです
悪い人ですね〜(棒読み）
www.jspkk.co.jp/jp/answer.html pic.twitter.com/AwY2wUuFZC
タグ：
posted at 22:29:43
@ive_sou それに続けて、小杉さんは【事後分布から自分の仮説が正しい確率を読み取ることができる】と述べて、【解釈が直観的であり，誤解を生じにくい】と述べています。
しかし～続く
(以下のリンク先に書いたことを以下で詳しく説明します)
twitter.com/genkuroki/stat...
タグ：
posted at 22:42:14
非公開
タグ：
posted at xx:xx:xx
最近の謎水くんの活動
コミケ #C98 に向けて数学まんがを描いています(^^)
ご期待に添えなくてすみません…… pic.twitter.com/nKjHcxEaCl
タグ： C98
posted at 23:13:22
取材するメディアの方には，是非，平成29年度との30年度の試行調査を有効と考えているのか，
また，この問題作成方針が活きているのかを追及してください。
www.dnc.ac.jp/albums/abm.php...
タグ：
posted at 23:23:23
この点は極めて重要です。これが曖昧なままでは，受験生・高校生は，どのような問題が出題されるのか分からない不安な状態に置かれ続けることになります。
記述問題導入見送りの決定から１ヶ月以上も経過していること，既に今年の国立大学の出願は始まっていることも問題視してください。
タグ：
posted at 23:23:24
ほりたみゅ (mastodonも見てね) @Hyrodium
NaN * falseが0.0になるの理不尽だと思うんですがバグ踏んだんでしょうか #Julia言語 #JuliaLang pic.twitter.com/UJZN2vvfAv
posted at 23:32:29
発表のない状態を１ヶ月以上も継続させた責任も重大です。
既にセンター試験からの変更はあり得ない（不可能である）との期待が広く形成されています。それを覆すことがあれば「２年前ルール」は有名無実になります。
タグ：
posted at 23:34:37
センター試験と同じ方針で同じ形式の試験を実施することを発表する以外に混乱を収拾する方法はありません。
曖昧な発表しかない場合は，様々な憶測も呼び，さらに混乱を広げることになります。
タグ：
posted at 23:36:53
それでしたら、悪問を出されたことへの怒りが正当なものであることはご理解いただけるものと思います。論点はそこではありませんが。 twitter.com/yama_pet/statu...
タグ：
posted at 23:38:20
相加平均と相乗平均の関係を用いて f(x)=x+1/x の最小値を求める問題で、x+1/x ≧2 を示しただけで最小値を2とするのは、昨日記事にも書いた通りなのだけれど、私がいつも「聞きたくない」と思うのは、これを誤りだと思っていない数学の先生の言い訳だ。以下に例をあげる。
タグ：
posted at 23:47:30
「相加・相乗平均の不等式で x+1/x ≧2を導いて、最小値2とすることもあるよね」→ありません!
「いえてるじゃん。」→言えてません。
「等号成立を確認しないで最小値2を言っている本もあったよ」→実際あるかもしれませんが、そのような本は資源ごみに出しましょう。
タグ：
posted at 23:47:30
OokuboTact 大久保中二病中年 @OokuboTact
＃超算数 ＃小学校の掛け算の順序固定
＞ 採点基準は予め明示されておりマルを取ることは自体は用意な問題
そうかあ？ pic.twitter.com/5bRPfishz2
タグ： 小学校の掛け算の順序固定 超算数
posted at 23:53:47
