黒木玄 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年03月03日(水)
#超算数 リンク先の資料を見ると、教科書ガイド以前に、教科書自体が、まるで倍数を扱うときに正の整数に制限することが普通であるかのような印象を与える書き方になっているんですね。
0は倍数から除くと算数で教えていたことを完全否定するような記述がないと非常にまずい。 twitter.com/ookubotact/sta...
タグ： 超算数
posted at 23:53:50
それはその通り。負でない倍数とか... まぁだからこその整数並べて倍数にマルしてみ... なプリントを十年ほど前に拵えることになったわけではある... 結果はホラーだったけど。 twitter.com/genkuroki/stat...
タグ：
posted at 23:50:34
#超算数
倍数全体が「0を含み上にも下にもどこまでも等間隔に並んでいる」というイメージを伝える気がなくて、正の倍数のみを考えることが普通だと思わせかねないスタイルが気になりました。
でも、そうすると、教科書ガイドではなく、もとの教科書の側の問題か。 twitter.com/tsatie/status/...
タグ： 超算数
posted at 23:48:35
ベイズ主義における
主観確率で
1/2としたのでは？
という意見もありました。
確率に関する9章全体から
再度、判断し直してもらえればと
思います。 pic.twitter.com/heKN4TUxtV
タグ：
posted at 23:46:21
ガチで間違ったときは、ツッコんでくれたほうが有難い。ツッコミが無かったら間違ったまま進んでしまうからね。その授業でノートをとっていて、復習するときにそのページが必要になった未来の生徒が困ってしまうし。
タグ：
posted at 23:35:44
#超算数 高校数学の教科書ガイドでも倍数から0を除いているっぽいですね(笑)
0は任意の数の倍数だという常識に従うつもりはないらしい。 twitter.com/ookubotact/sta...
タグ： 超算数
posted at 23:35:19
【気軽に生徒が授業の誤りや矛盾点を指摘できる空気にしておく】
これはとても大事。
こちらが正しくても、生徒が「違うと思った」とツッコむのはとても良い。素晴らしい。思考を巡らせながら授業を聞いているのだろう。その時は、生徒の疑問が晴れるような行間を与えればOK
タグ：
posted at 23:33:55
#Julialang 1.7-dev now allows selecting your BLAS at runtime on all OSes. All you need to do is `using MKL`. All made possible due to @staticfloat 's amazing work on libblastrampoline: github.com/staticfloat/li... pic.twitter.com/umfMNzbniS
タグ： Julialang
posted at 23:19:29
OokuboTact 大久保中二病中年 @OokuboTact
＃超算数
高校数学の倍数の記述に関して。
数研版の記述について、教科書ガイドを３種類見てみた。 pic.twitter.com/gsBLRoAiXa
タグ： 超算数
posted at 23:17:06
@sekibunnteisuu 件の「ベイズ主義云々」な人は、チョー算数界では「長方形の面積は縦×横でなければならず、横×縦は誤り」と言うようなカーストの低い信者の側に似ています。
「ベイズ主義」を全然理解していないように見える(笑)
まあ、ろくなもんじゃないことは、雰囲気だけでもよく分かると思います。
タグ：
posted at 23:08:58
@sekibunnteisuu チョー算数の世界に例えると
チョー算数カルトでのカースト上位者：長方形の面積ではかけ算の順序はどうでもよいとするが、かけ算順序は大事だと言い張る
主観確率で尤度原理な伝統的ベイズ主義者：主観的期待リスク最小化の合理性を強調しつつ、主観主義や尤度原理をゴリ押しする
は似ている。続く
タグ：
posted at 23:05:34
@travelllist ＞・筆者が確率を理解できていないとか、議論が数学的に誤っているとかは、およそ断定できない
これを明確な誤りと判断できない理論があるとしたら、その理論が駄目な代物でしょう。 pic.twitter.com/zThL8YvpoN
タグ：
posted at 22:17:39
西浦さんの招待講演は冒頭──I-URIC連携企画 2020年度 情報・システム研究機構 機構シンポジウム youtu.be/qyE4irBDn_Y @YouTubeより
タグ：
posted at 22:02:32
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
ベイズ主義のベイズ統計の問題は「主観確率」のゴリ押しだけではないという認識は非常に重要。
伝統的なベイズ主義のベイズ統計には、「尤度原理」のおまけがついて来る。
「尤度原理」「尤度主義」のゴリ押しも滅茶苦茶有害。 twitter.com/genkuroki/stat...
タグ：
posted at 21:12:42
きざけん＠8/13 C102 東Ｙ31a @kizaken_44river
このツイートひとつだけで、ビジネス数学検定というものが、なんの役にもたたないものだということが分かる。 twitter.com/sugaku_biz/sta...
タグ：
posted at 21:06:21
「ベイズ統計=主観確率のベイズ主義に基く統計学」(実際にはベイズ統計の合理的な使用にベイズ主義は必要ない)というおかしな認識は、統計学に主義が必須だと信じている困った人達の間で共有されていて、ベイズ統計の批判側まで同じ認識を持ってしまっている場合があるという地獄。 twitter.com/genkuroki/stat...
タグ：
posted at 21:02:39
@genkuroki 確率過程が最初に仮定されて、実際の事象から元の過程を復元するというストーリーだと一番最初の確率の説明（「同様に確からしい」とか）と逆でわかりにくいからこうしてるのだと思うけど、ベイズ主義とか出す必要がそもそもないような・・・
タグ：
posted at 21:00:59
20世紀の統計学の黒歴史。
問題なのはその黒歴史の影響が21世紀現代も続いていること。
www.mext.go.jp/content/140707...
【数学編 理数編】高等学校学習指導要領 解説 (平成30年版)
にも
【ベイズ推定は主観確率を用いて行われている】
とか「色々」書いてあります。
ひどいことになっている。 twitter.com/akinori_ito/st... pic.twitter.com/DNw4XhD0OW
タグ：
posted at 20:56:11
真面目な話、これ、日本数学検定協会の信用をむちゃくちゃ毀損していて、協会役員が介入して止めなきゃいけなくありません？ twitter.com/sugaku_biz/sta...
タグ：
posted at 20:56:03
ビジネス数学インストラクター、自称かと思いきや、日本数学検定協会の認める正式な資格で草しか生えないwwwwww
マジであんなインチキ授業でお金もらえるなら本気で取ろうかな🤔 www.su-gaku.net/license/instru...
タグ：
posted at 20:49:40
春休みこれやろう。StanとRでベイズ統計モデリング (Wonderful R) 松浦 健太郎 www.amazon.co.jp/dp/4320112423/... via @amazonJP
タグ：
posted at 20:25:57
みやざき鍼・灸～阪神 西宮 鍼灸院～ @taicodon5656don
ビジネス数学っていうより
『黒いビジネス数秘術』
って感じやな～ twitter.com/shion_freedom2...
タグ：
posted at 20:25:16
数学科の女性の数が少ない現状、数学科に在籍していないけど勉強したい女性たちのネットワークがあるといいかなぁって思ってて、それを作りたいかも。私自身(数学科の女性、非常に優しくていい人多いのに)数学科じゃないしなぁと中に入るのが躊躇われた経験があるので、上手く繋げられたらと。
タグ：
posted at 19:34:00
OKUMURA, Akira（奥村 曉） @AkiraOkumura
「ありがとうございました」からの後半がすごい。本領発揮。
note.com/business_math/...
タグ：
posted at 19:32:32
何というか、ベイズの定理から無理矢理話繋げようとする人多いけど、そういう事じゃないんだよ。 / “「確率」についてご指摘いただきました｜深沢真太郎 ビジネス数学教育家／数字に強い人材・組織をつくるプロフェッショナル｜note” htn.to/41DyaCkvZN
タグ：
posted at 19:11:57
非公開
タグ：
posted at xx:xx:xx
開き直りにしか見えんがねぇ / “「確率」についてご指摘いただきました｜深沢真太郎 ビジネス数学教育家／数字に強い人材・組織をつくるプロフェッショナル｜note” htn.to/3xBTVpZCtB
タグ：
posted at 18:54:47
どうでも良いんだけど、プロフの文字数足りないから今後使ったことのある言語（ちなみにこの「使ったことのある」は俺の独断で決めている）が今後さらに増えていく（昨日言った通りPerlも触るけど、後々JuliaやCOBOLも触ろうと思っているので）ことを考えるとどうしたもんかなぁって考えてる。
タグ：
posted at 18:46:57
歪んだコインがやわすぎて、コインを投げるごとに歪み方がどんどん変わって行くようだと、独立同分布確率変数列によるモデル化は使えない。
そのモデル化が十分な精度で使えそうなら、その精度内で表が出る真の確率(ただしこれは未知)を考えることができる。
その確率の推定値と未知の真の値は違う。
タグ：
posted at 18:07:24
「確率」についてご指摘いただきました｜深沢真太郎 ビジネス数学教育家／数字に強い人材・組織をつくるプロフェッショナル｜note
note.com/business_math/...
b.hatena.ne.jp/entry/s/note.c...
ビジネス数学教育家・深沢真太郎です。 7年前に書いたSPI対策本の中で、確率に関する記載内容に数学的な誤りがある… pic.twitter.com/LNo5pNbNPV
タグ：
posted at 18:02:07
例えば、歪んだコインを投げたときに表の出る確率を考える場合には
* コインを投げを独立同分布確率変数列でモデル化できるという想定
* その想定のもとでの表が出る真の確率(未知)
* データと統計モデルを使って得た表が出る確率の推定値
などをきちんと考えないからおかしなことになる。 twitter.com/rochejacmonmo/...
タグ：
posted at 18:01:42
「確率」についてご指摘いただきました｜深沢真太郎 ビジネス数学教育家／数字に強い人材・組織をつくるプロフェッショナル｜note dlvr.it/RtsFmG
タグ：
posted at 17:52:02
[B!] 「確率」についてご指摘いただきました｜深沢真太郎 ビジネス数学教育家／数字に強い人材・組織をつくるプロフェッショナル｜note dlvr.it/RtsFmF
タグ：
posted at 17:52:02
ビジネス数学って親学と同じようによりどころのないものなんだろうな。代替医療とかとも似てる。 / “「確率」についてご指摘いただきました｜深沢真太郎 ビジネス数学教育家／数字に強い人材・組織をつくるプロフェッショナル｜note” htn.to/kyMDACuuyw
タグ：
posted at 17:49:41
Julia，SIREV論文があるからそれを引用してくれたら助かるらしい．discourse.julialang.org/t/how-to-cite-...
epubs.siam.org/doi/10.1137/14...
タグ：
posted at 17:44:25
＞RT
こういう説明をするからわかんなくなるんだよ
「確率過程」と「確率過程とみなされる現実の事象」と「現実の事象を確率過程とみなしたときのパラメータの推定値」がごっちゃになっている
タグ：
posted at 17:40:37
「1+1=3だから、1万円の商品を2個買ったら3万円払え」というような主張をするのが「ビジネス数学」なのであれば、そう明記するのが誠実かと個人的には思いました。
タグ：
posted at 17:27:06
中学校で確率を教える場合に、教員側に「統計的確率」とか「数学的確率」といった用語があって、その説明が下記のようなものだったりすると、やっぱり何を意味しているのかはっきりわからなくなってしまうのではないか。下記は啓林館のpdf
www.shinko-keirin.co.jp/keirinkan/tea/... pic.twitter.com/NmkSX2TUeE
タグ：
posted at 17:24:02
@esumii noteの記事ではさらに開き直って「私は私なりのビジネス数学を広めていこうと……」などと書かれていて、ご本人より出版社に連絡したほうがよさそうですが、該当の書籍は明らかなんでしたっけ。。？(1冊かどうかわかりませんが)
note.com/business_math/...
タグ：
posted at 17:21:00
#数楽 このノコギリ波のフーリエ展開は、フーリエ展開の不連続点でのオーバーシュート(Gibbs現象)を見るためにも使える基本的な例にもなっています。
nbviewer.jupyter.org/github/genkuro... twitter.com/genkuroki/stat... pic.twitter.com/qr2dJEGxUd
タグ： 数楽
posted at 17:17:37
「少なくとも訂正ないし削除」は、今後の「改訂」ではなく、すでに購入した読者のために、出版社のホームページ上などで行うべきと思います。 twitter.com/shinchan0922/s...
タグ：
posted at 17:15:11
@MatH_KANNA そうです！
フーリエのノコギリ波の問題です！
n→∞でのGibbs現象を見るためにも使える重要な例です。
これは高校生でも解ける非常に良い問題だと思います。
プロット↓
twitter.com/genkuroki/stat...
タグ：
posted at 17:12:15
厳密とかそういうレベルではなく、「1+1=3というのが足し算の基本中の基本です」というのと同じぐらい、初歩的・明白な誤りです。回収か、少なくとも訂正ないし削除が妥当と思います。 twitter.com/shinchan0922/s...
タグ：
posted at 17:07:32
Fantastic news (yes I'm late to the party), the #JuliaLang optimization community will appreciate a lot having a new modern linear opt solver to try out twitter.com/HighsOpt/statu...
タグ： JuliaLang
posted at 17:02:43
確率についておかしな自説を開陳する人たちには、その自説に忠実な態度で確率が絡む勝負を私として欲しいと思う。
①確率に関する自説を私に説明し、その自説に基いて勝負することを約束する。
②あなたの説を聞いた私は可能な限りシンプルな確率ゲームを提案する。
③勝負！(笑)
滅茶苦茶美味しい
タグ：
posted at 17:00:22
？？？？“私が申し上げている「数学」は教科書の数学とはかなり違う数学なのだと思います” / “「確率」についてご指摘いただきました｜深沢真太郎 ビジネス数学教育家／数字に強い人材・組織をつくるプロフェッショナル｜note” htn.to/4LkhMQxg3n
タグ：
posted at 16:59:17
非公開
タグ：
posted at xx:xx:xx
まあღまったりと きゅうくらりん(ง˘ω @MattariTyper
ビジネス数学というのが荒れてるらしいね？_(┐「ε:)_
数学と相容れない、数学の言葉をテキトーに使ったトンデモ科学だとしたら、それはそう、という感想🤔
タグ：
posted at 16:56:35
ベイズの定理は条件付き確率の定義からただちに得られる自明でつまらない(知らなくても自然に同等のことをできてしまう)結果に過ぎません。
そして、そういう数学的に自明なベイズの定理の使用には、主観確率やらベイズ主義やらは一切必要ない。
普及しているほとんどの解説がクズなので要注意。
タグ：
posted at 16:53:27
リンクをたどれば読める添付画像の発言がひどい。
「ベイズ主義」という言葉を使う人は大抵ひどい。
何の何に対する割合(=確率)を考えて対処するべきであるかが、得られた情報で変わることに、ベイズ主義云々は必要ない。
例えば、モンティ・ホール問題の正解を得るためにはベイズ主義は必要ない。 twitter.com/sekibunnteisuu... pic.twitter.com/7WOOkxGuL3
タグ：
posted at 16:48:38
非公開
タグ：
posted at xx:xx:xx
深沢氏の一連の応答を見ていると、「厳密か/直観的か」が「正しいか/誤りか」にリンクしているという錯覚があるように見える。今回の深沢氏の確率に関する説明は、中高で学習している確率の直感的な説明にもなっていないし、数学のみならず現代社会も（当然ビジネスも）身の回りの自然現象も見誤る。
タグ：
posted at 16:44:54
日本数学検定協会、こんな「詐欺グラフ」を推奨してるってマジ？
ってかコレがウワサのビジネス数学や！！！！！ twitter.com/sugaku_biz/sta...
タグ：
posted at 16:36:00
批判的な感想
間違いを認める発言をするときには、自分がどのように間違っていたかがクリアに分かるような説明を堂々と(ずうずうしく(笑))してしまうとよいと思いました。
そういう図々しさであれば、数学好きの人なら歓迎することが多いと思います。 twitter.com/shinchan0922/s...
タグ：
posted at 16:24:33
照井春佳さま、平田智也七段、
碁結婚おめでとうございます💖
おふたりの出会いが週刊碁であったとのこと、編集室一同で喜んでおります。
おふたりの門出に簡単ではございますが、お祝いの言葉を申し上げます。「末永く、お幸せに💝」
#照井春佳は初段である #平田智也七段 #週刊碁 twitter.com/Nihonkiin_book...
タグ： 平田智也七段 照井春佳は初段である 週刊碁
posted at 16:19:17
今回深沢氏の著作の確率の定義が問題になった。独自定義や説明をすることが即座に問題だというのではなく、むしろ深沢氏の定義や理解に基づく「確率」では「パスカルの勝ち点問題」や「ガリレオの回答」以前の認識に戻ってしまうだけで数学どころか現代社会も自然も全く理解できず、使い物にならない。
タグ：
posted at 16:17:40
こうした一面的な断定に基づいて「機械的であり人間的でない」などという情緒的にエスカレートさせるのは議論として健全ではない。記事の後段の「正解はない」とか「どんな意見があってもいい」云々にまつわる話は正直不毛だと思う。
タグ：
posted at 16:07:24
深沢真太郎氏の数学に関する議論。
色々な観点があると思うが、そもそもの事実認識として、「論文は1箇所でも誤っていたら全て誤り」とか「直感的な説明は許されず明確な定義が必要」といった部分は、時と場合とケースによるとしか言いようがなく、断定的すぎるミスリード。
note.com/business_math/... pic.twitter.com/tPpE22kPCi
タグ：
posted at 16:04:09
#数楽 WolframAlphaでのプロット
www.wolframalpha.com/input/?i=plot+... pic.twitter.com/jGhIB1gm90
タグ： 数楽
posted at 15:58:49
#数楽 図のlegendの訂正
❌f(n,x)=f(n-1,x)+sin(nx)
⭕️f(n,x)=f(n-1,x)+sin(nx)/n
せっかくなので、ちょっとうざく見える赤の縦線を消したグラフも作成した。 pic.twitter.com/AYby8HkgPe
タグ： 数楽
posted at 15:51:45
さすがにこれはネタで後のページに正解が載ってるんだろうと思っていたが、素やったんか。 / 他47件のコメント b.hatena.ne.jp/entry?url=http... “「確率」についてご指摘いただきました｜深沢真太郎 ビジネス数学教育家／数字に強い人材・組織をつくるプロフェッショナル｜note” htn.to/3f41dpQWVv
タグ：
posted at 15:45:30
#数楽
* 縦の青実線から縦の青破線の区間で、f(n, x)は単調増加し、その区間ではf(n,x)≧f(n-1,x)
* 縦の青破線から縦の青実線の区間で、f(n, x)は単調減少し、右端のx=bで f(n,b)=f(n-1,b) となるので、その区間ではf(n,x)≧f(n-1,b)
これを真面目に示せば f(n,x)>0 (0<x<π)を証明できる。 pic.twitter.com/8BDqy6Swqd
タグ： 数楽
posted at 15:42:43
“冒涜はなくリスペクトしかありません” … と主張しているが、私は「数学」だけでなく「ビジネス」も冒涜する行為だと思う。 / “「確率」についてご指摘いただきました｜深沢真太郎 ビジネス数学教育家／数字に強い人材・組織をつくるプロフェッショナル｜note” htn.to/35qZ6G2xuH
タグ：
posted at 15:40:01
#数楽 n=5の場合の
橙破線の f(n-1, x)=sin(x)+ … +sin((n-1)x)/(n-1) と
青実線の f(n, x)=f(n-1, x)+sin(nx)/n
の比較。
* xがπ/n増えるごとにf(n-1, x)とf(n, x)の大小が逆転。
* f(n, x)の極値で
f(n,x) > f(n-1,x) (縦の青破線)
f(n,x) = f(n-1,x) (縦の青実線)
となる。 pic.twitter.com/3vSH9tnwxL
タグ： 数楽
posted at 15:35:41
#数楽 #Julia言語
f(n, x) = sin(x) + sin(2x)/2 + … + sin(nx)/n
のx∈[0,π]でのグラフ。これを見れば
* 0≦x≦π/3で、f(n, x)≧f(1, x)=sin(x)
* π/3≦x≦2π/3で、f(n, x)≧f(2, 2π/3)=√3/4
* 2π/3≦x≦πで、f(n, x)≧f(2, x)
となっていることが分かる。
gist.github.com/genkuroki/de08... pic.twitter.com/Vpvj5JmQF8
posted at 15:20:47
言い訳できるレベルじゃなかった。
蛭子能収がギャンブルで「当たるか、当たらないかは2分の1なんですよ」というのと同じじゃないか。
twitter.com/Mgreshia3/stat...
タグ：
posted at 15:19:40
ビジネスの世界で数字間違ったらめちゃくちゃ問題になるんだけど、この人、ちゃんと働いたことあるのかしら？ / “「確率」についてご指摘いただきました｜深沢真太郎 ビジネス数学教育家／数字に強い人材・組織をつくるプロフェッショナル｜note” htn.to/3rEzTnuL9D
タグ：
posted at 15:01:44
非公開
タグ：
posted at xx:xx:xx
>私は数学はひとつではなく、「◯◯数学」なるものがたくさん存在するといいなと思っています。
「コロナを克服する大阪医学」という語句がいま頭をかすめたんだが。
note.com/business_math/...
タグ：
posted at 14:00:09
ビジネス数学は一般的な数学ではなくて絶対はなく正解もない、らしいので、それならそれで「結婚するかしないかは1/2」も最初からビジネス確率と名乗っておいてほしい。
タグ：
posted at 13:50:57
#数楽 (1)をヒントに(2)を証明する方法について知りたい人は
math.stackexchange.com/questions/3762...
を参照。そこに分かり易い解説があります。
でも、自分で考えてから答えを見た方が楽しめると思います。 pic.twitter.com/Gt7tnrpSja
タグ： 数楽
posted at 13:31:13
AO入試全般がまるで学力軽視の入試であるかのように批判されることがあるのですが、以下のリンク先のAO入試の問題を見れば、そういう批判の仕方がひどく杜撰で間違っていることが分かります。 twitter.com/genkuroki/stat...
タグ：
posted at 13:25:27
#数楽 Fejér-Jackson(-Gronwall)の不等式が出題されたのは、2020年度(一昨年の令和2年度)の東北大学理学部数学科のAO入試です。
添付画像の(2)が件の不等式です。(1)がヒントになっている。
他の問題も見たい人は
www.tnc.tohoku.ac.jp/kakomon.php
から早めにダウンロードしておいた方がよいかも。 twitter.com/genkuroki/stat... pic.twitter.com/X9IjRgpRMc
タグ： 数楽
posted at 13:13:52
@MatH_KANNA #数楽 可能ならば訂正をよろしくお願い致します。
(1)の等式の右辺の分母の sin(n/2) は正しくは sin(x/2) です。
❌ sin(n/2)
⭕️ sin(x/2)
コメント：(2)は難しい。しかし、(1)がヒントになっている。
(2)は the Fejér-Jackson(-Gronwall) inequality と呼ばれています。1910年代の数学の話題。 pic.twitter.com/BoPm7vzkn3
タグ： 数楽
posted at 12:43:11
元のnoteを読んで思うこと。まあ開き直るのも甚だしいので、残念なほど痛々しいのは言うまでもない。でもそれ以上に、たかだか確率の初歩くらいを厳密に扱うことができないほど、ビジネス数学というものは脆弱なんだろうか。間違いがないように議論すれば、それでいいんじゃない? twitter.com/kamo_hiroyasu/...
タグ：
posted at 12:30:31
I’m keen to get feedback on a #julialang package I recently registered: github.com/charleskawczyn.... Any takers?
タグ： julialang
posted at 12:11:38
トンデモに存在意義を見出すのは結構ですが、それなら数学とかいう紛らわしい名前でやらずに「トンデモ学」とでも称して「自分の言っていることは完全に間違いなので価値は特にないですけどそれでもいいなら読んでね」ぐらいの謙虚さでいけばいいんじゃないでしょうか note.com/business_math/...
タグ：
posted at 12:09:33
@StefanKarpinski @jeanqasaur Yes, I agree, that is the more relevant metric for user experience.
タグ：
posted at 11:53:46
人間が地球上に現れる前から1+2=3でした。人間が滅びた後も1+2=3です。人間の都合に合わせて数学的事実があるのではありません。それを「人間との相性の悪さ」というなら、それは人間の認知の側に歪みがあるだけのことです。数学に限った話ではありません。科学とはそういうものです。
タグ：
posted at 11:53:18
“学生時代に数学を学びましたが、一貫して思っていたことは「人間との相性の悪さ」です”
「確率」についてご指摘いただきました｜深沢真太郎 ビジネス数学教育家／数字に強い人材・組織をつくるプロフェッショナル @shinchan0922 #note note.com/business_math/...
タグ： note
posted at 11:53:18
Stefan Karpinski @StefanKarpinski
@KenoFischer @jeanqasaur I’m not sure percentage is a good measure. 5 is 0% of our tests but it’s > 0, which is what matters. A more relevant metric may be % of test runs that fail due to random issues rather than actual regressions
タグ：
posted at 11:48:45
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
@jeanqasaur We've gotten it down to about 5 known intermittent failures on #julialang, but you don't want to know the amount of effort that has gone into that.
タグ： julialang
posted at 11:10:01
非公開
タグ：
posted at xx:xx:xx
疑似科学（ニセ科学）
・水からの伝言
・ホメオパシー
・血液クレンジング
・ゲーム脳
・マイナスイオン
・EM菌
・血液型性格診断
・水素水
・new! ビジネス数学
本当にそれでいいの？
タグ：
posted at 10:18:35
#農研機構育成品種
種間雑種イチゴ「桃薫」は、今までのイチゴとは香りも外観も異なる新しいフルーツ。
桃やココナツ、カラメルのような香り成分が多く含まれています。
淡く優しい色合いは目を引き、切り口も白色。
柔らかい果肉と広がる香りは未体験の衝撃です。
www.naro.affrc.go.jp/collab/breed/0... pic.twitter.com/KvALuDrdm8
タグ： 農研機構育成品種
posted at 09:51:00
#Julia言語 解説
BitVectorはtrue, falseを1ビットで表現。
Vector{Bool}はtrue, falseを1バイト(8ビット)で表現。
前者は内部での処理が複雑になり、計算は遅くなるはず。
しかし、100億以下の素数のリストをEratosthenesの篩で作る場合には、BitVectorを使っても大して遅くならなかった。 twitter.com/genkuroki/stat...
タグ： Julia言語
posted at 09:27:51
note.com/business_math/...
件の確率の話、「指摘を頂いた」止まりで、「謝っていた」と書いていないのが気になる
「教科書のいう数学と私の考える数学は違う」とあるけど、この人の言葉を借りるとこの人の言う数学は、厳密さを欠いた「エセ数学」と言われてもしょうがないのでは
タグ：
posted at 08:47:52
うーん😓
火に油を注いでいるような…
「確率」についてご指摘いただきました｜深沢真太郎 ビジネス数学教育家note.com/business_math/...
タグ：
posted at 08:20:19
ここまでみ、演算に詳しい人なら、「14桁の倍精度計算でも、計算の順序など工夫すれば、ラグランジュポイントやレイトレーシング計算できるだろ？」と思うだろうし、正しい
でも、工夫した計算式が正しいかを確認するのが大変なのと、太陽～地球だけでなく、冥王星まで計算したいので、四倍精度かと
タグ：
posted at 08:18:04
超大型望遠鏡の場合、
口径25㎞焦点距離250㎞とすると、波長500nmだと12桁
波長の1/10の精度でレイトレーシングするためには13桁
ただし、光路計算するには、ピタゴラスの定理が必要なので、やはり2乗の桁数が必要となり、四倍精度が必要となる
タグ：
posted at 08:10:21
Alexey Shiklomanov @ashiklom711
Aside from its many other benefits, it's hard to overstate just how elegant #JuliaLang syntax is. Once you start using Unicode input and natural math notation (e.g. "3x" instead of "3*x", "M'" as shorthand for "t(M)"), it's really hard to go back.. pic.twitter.com/JsRMt98V8R
タグ： JuliaLang
posted at 08:06:10
If you haven't registered yet for our #webinar on #Pumas 2.0 for Integrated, Efficient & Scalable Pharmacometric Workflows this week, there is still time! Register now at form.jotform.me/203313231130433 #JuliaLang #pharmacometrics twitter.com/JuliaComputing...
タグ： JuliaLang pharmacometrics Pumas webinar
posted at 08:03:26
四倍精度浮動小数計算FPUの理由
倍精度の有効桁数は14桁
太陽～地球系のラグランジュポイントの計算だと、太陽からの距離は、1億5千万キロ、つまり10の11乗メートル
位置精度を1ミリで計算しようと思うと14桁だが、引力は距離の2乗なので、14桁では足りない
図はL2近傍の軌道計算、倍精度と四倍精度 pic.twitter.com/Ls9VbhLSXT
タグ：
posted at 08:00:09
上記①②とも、自分で作ると大変だけでなく、エラー・バグがあっても取り切れないので、普及されてるものを流用する方が良いのだが、そもそも四倍精度浮動小数計算自体が普及してないからなあ
タグ：
posted at 07:41:09
RISC-Vに四倍精度浮動小数計算FPUだが、RISC-V仕様書には四倍精度FPUが規定されているが、現時点で公開されているRISC-Vコアに四倍精度FPUが搭載されているのは未だないみたい
自分で作るとなると、壁が2つあって
① 四倍精度FPUのHDLで書かれたライブラリを見つける
② gccが四倍精度に対応してるか？
タグ：
posted at 07:38:54
@shinchan0922 @sekibunnteisuu >ご指摘は理解いたします。
明確に誤った記述であることを丁寧に説明されているのに理解していない点
>個人的に捉え方は自由で良いと思いつつも、
個人の自由な捉え方の話なら「確率」ではない点
>不快な想いをさせたのであれば申し訳ありません。
「誤り」を堂々と放置してこれ。
最高です。
タグ：
posted at 07:08:15
Current software emulators can't be as fast as hardware, so we are waiting for the hardware the catch up. Stochastic rounding is definitely part of the next generation of outside-the-box computing! Slides of today: nickhigham.files.wordpress.com/2021/03/cse21_...
タグ：
posted at 03:51:37
Use StochasticRounding.jl, my Julia-package which is fast, uses the supercool Xoroshiro128+ random number generator, open-source, etc. github.com/milankl/Stocha... So why is stochastic rounding not used yet, although it's great for #MachineLearning, climate models etc? Well ... 6/n pic.twitter.com/LBJAHsn3a3
タグ： MachineLearning
posted at 03:51:36
the shallow water system, as implemented in ShallowWaters.jl using #JuliaLang. Stochastic rounding corrects the rounding errors of 16-bit floats. Lower overall error with some additional stochastic noise, sounds counterintuitive, but works 💪You want to try it? 5/n pic.twitter.com/oOCDurANn5
タグ： JuliaLang
posted at 03:51:35
Chaotic systems are chaotic again. With low precision computation the attractor collapses, turning chaotic systems into short periodic orbits. What happens in larger systems? Many systems incl averaging or time integrations, which benefit from stochastic rounding, for ex ... 4/n pic.twitter.com/UlSvUusSSO
タグ：
posted at 03:51:33
Why would you do that? Because it's statistically more accurate and preserves information. It's similar to the dither in image compression, and increases the signal to noise ratio. Is it also beneficial to simulate dynamical systems, weather or climate? Yes, because, ... 3/n pic.twitter.com/79cwtcZBrZ
タグ：
posted at 03:51:33
What's stochastic rounding? Instead of always rounding to the nearest representable number, stochastic rounding rounds to or away from the nearest at chances proportional to the distance. Meaning that, on average you end up with the correct result. A schematic: 2/n pic.twitter.com/ZZUDEdI7Uk
タグ：
posted at 03:51:32
Just presented at #SIAMCSE21 on Stochastic Rounding for Weather and Climate Models🌍As the conference is not free💰, here a thread-summary. TL;DR Stochastic rounding reduces the overall error by introducing additional noise. Counterintuitive? Well, no, read on ... 1/n pic.twitter.com/chBykow0aA
タグ： SIAMCSE21
posted at 03:51:31
カニンガム鎖 en.wikipedia.org/wiki/Cunningha... → ソフィー・ジェルマン素数と安全素数 en.wikipedia.org/wiki/Safe_and_... A005384：Sophie Germain primes p: 2p+1 is also prime. oeis.org/A005384 A005385：Safe primes p: (p-1)/2 is also prime. oeis.org/A005385
タグ：
posted at 02:59:34
OEIS（On-Line Encyclopedia of Integer Sequences）oeis.org オンライン整数列大辞典 en.wikipedia.org/wiki/On-Line_E... 主なリスト en.wikipedia.org/wiki/List_of_i...
タグ：
posted at 02:19:43
Eric WeissteinのWolfram MathWorld mathworld.wolfram.com は、CRC Pressの訴訟で、2000年から2008年まで閉鎖されていた模様。mathworld.wolfram.com/about/faq.html... この間に、PlanetMath en.wikipedia.org/wiki/PlanetMath が台頭してきたらしい。Perlで書かれていた Noösphereは引退して、Drupalで実装された Planetary
タグ：
posted at 02:05:48
PrimePages primes.utm.edu Wikipedia en.wikipedia.org/wiki/Prime_num... 日本語 ja.wikipedia.org/wiki/%E7%B4%A0... PlanetMath planetmath.org
タグ：
posted at 01:43:25
ビジネス数学なるものは知らないが
P(A)+P(Aᶜ)=1
だから
P(A)=P(Aᶜ)=1/2 だ！
などと言う人の言う事は信じてはいけない
(※P(A)は「Aが起こる確率」、P(Aᶜ)は「Aが起こらない確率」を表すよ)
算数・数学を学ぶ意義の一つに
「悪い人に騙されない」
があります
タグ：
posted at 01:31:24
素数に関するプログラムがいくつかあったけど、NewPGen primes.utm.edu/programs/NewPG... は "This is a historical page about an old version of this program. This page may be deleted any time." とあり、ソースコードもなし。en.wikipedia.org/wiki/NewPGen PFGWに関してはリンク切れ。
タグ：
posted at 01:13:44
第1種カニンガム鎖 mathlog.info/articles/1849 → Cunningham Chain records primerecords.dk/Cunningham_Cha... hosted at primerecords.dk Prime Records twitter.com/nekomath271828...
タグ：
posted at 01:00:45
これは本当にその通りです
一度信じきってしまうと、どんなに合理的なことを言われても、いかに多くの人に否定をされても、修正をするのは極めて困難です
事前にそのような罠がいっぱい広がっていて、誰でもすぐに陥る恐れがあると知った上で、医療情報に向き合っていかないといけないと思います twitter.com/keiyou30/statu...
タグ：
posted at 00:31:53
冒頭【確率は意外と正しく理解されていない】
後半【ただ、確率の定義上はこのような解釈になるということです。】
僕「なるほど、確かに正しく理解されていないね」 twitter.com/sekibunnteisuu...
タグ：
posted at 00:10:25
