黒木玄 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月04日(木)
最初のページ下段の例題(2)で
くじを1つ引く例を出していて
仮にこの例を用いて
2ページ目のように
解説を書こうとして
すべての事柄
当たりかはずれの2通り
その事柄が起こる場合
当たりの1通り
当たりが出る確率は
1/2
いやこれはおかしいと
間違いに
気づけたのかもしれません😓
タグ：
posted at 00:03:40
#Julia言語
Julia v1.7.0-DEV.650 (nightly build) で試してみました。
using MKL だけではMKLを使えるようになっています！
添付画像を見れば分かるように行列の対角化の類はMKLを使った方が速いです。
nbviewer.jupyter.org/gist/genkuroki... pic.twitter.com/tsGUlX5EaU
タグ： Julia言語
posted at 00:37:29
@Viral_B_Shah @staticfloat Seems not working on AMD CPU, i.e., can't be compiled. Tried two AMD machines already. Works on windows Intel + WSL
タグ：
posted at 00:44:53
@sekibunnteisuu 「ベイズ〇〇」というキーワードを挙げるだけで真っ当な説明がない点は、末端のチョー算数信者が「乗法の意味理解」「児童の発達段階」と口走ることに似ています。
統計学教育問題は高等教育におけるチョー算数問題。
どちらでも「普通に常識的に考えること」をやめさせる効果が生じている。
タグ：
posted at 00:49:18
バラ色赤ちゃん運命ぶち壊して君の宝石箱悲 @Ramen_gh510
「確率」についてご指摘いただきました｜深沢真太郎 ビジネス数学教育家／数字に強い人材・組織をつくるプロフェッショナル @shinchan0922 #note note.com/business_math/...
言いたいことがわからないわけでもないけど、そのスタンスでいくならせめて数学を名乗らないほうが丸く収まりそう。
タグ： note
posted at 00:51:54
非公開
タグ：
posted at xx:xx:xx
Minecraft Dungeons @dungeonsgame
From ruby-red vegetation to barren yet delicate basalt formations, the Nether is a truly varied dimension.
The same can be said of its residents: there are those who are fond of gold, others can be a real drain and some will simply spend their time screaming at you! pic.twitter.com/QBCFk3ggHo
タグ：
posted at 01:00:25
過去歩いた足跡分の面積の地面しか自分が歩いたことに必要ではなかったなどと考えはじめるのは何が必要かの基準を見誤ってるのだが、そういってコストカットすることはよくある。
タグ：
posted at 01:12:41
#Julia言語 findall(S .== "abc") より、
findall(==("abc"), S)
の方が無駄なメモリ割当が生じない分だけ得になります。正規表現も
findall(contains(r"A\dC"), S)
のように使える。似たようなものに、
maximum(f, X)
sum(f, X)
mean(f, X)
などがある。第一引数に函数を与えるパターンが多い。 twitter.com/4310sy/status/... pic.twitter.com/0dhqrbehfL
タグ： Julia言語
posted at 01:15:10
“ビジネス数学”なんて名前を作って、今ある数学の権威を借りて仕事しようとするから批判を受けるのだ、量子力学然り。
著者の主張は恐らく「数学を頭柔らかくしてビジネスに応用しよう」だから、変な名前付けなければ誰も文句言わなかったろうに
タグ：
posted at 01:15:15
電通大の問題にこういう但し書きがありましたね
「なお、0はすべての整数の倍数である」 twitter.com/genkuroki/stat... pic.twitter.com/jaB9XFnIkl
タグ：
posted at 01:34:46
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
- 日本ビジネス数学協会の代表理事が
- 七年前に書いた数学の本に
- 小学生向けの本に紹介があるレベルの明確な誤りが正しいことのように載っていて
- 今の今まで訂正されずに来た
- 日本ビジネス数学協会はビジネス数学インストラクター(日本数学検定協会が発効する正式な資格)の養成をしている
タグ：
posted at 01:51:15
どね( ｡•̀_•́｡)(｡•̀_•́｡ @donnay1224
某ビジネス数学マン、「最近数学を題材にした SF 本を書いたんですよ」「いい詭弁テクニックがあるんですよ」ぐらい開き直ってほしい
タグ：
posted at 01:59:08
非公開
タグ：
posted at xx:xx:xx
ああなるほど。
約数はプラマイ両方が例として書いてあるけれど、倍数は正の例しか書いていないから、(記載内容自体は間違っていないが)間違った印象を与えかねないということですね。 twitter.com/genkuroki/stat...
タグ：
posted at 02:00:38
🔥炎🔥に油を注いだのが以下のリンク先の「本文より圧倒的に長い余談」。
私はずうずうしく自分の誤りをクリアに自分で解説してしまえば良いと思ったのですが、多くの人がこの「余談」に気付いて、色々調べ始めて、🔥🔥🔥大炎上🔥🔥🔥
note.com/business_math/...
タグ：
posted at 02:26:25
右側は他人を騙すためのグラフで、やっちゃいけないことですよね。というかこれをだすヤツは詐欺師と思え、ってグラフで、出した人の信用がだだ下がるヤツだ。 twitter.com/sugaku_biz/sta...
タグ：
posted at 02:29:03
もしも「ビジネス数学」の中身が以下のリンク先のようなものでなかったなら、🔥炎上🔥の規模はもっと小さくて済んだと思う。
さすがに印象操作のためにグラフを作ることを勧めちゃまずい。
🔥🔥🔥大炎上🔥🔥🔥必至🔥🔥だったと言える。 twitter.com/sugaku_biz/sta...
タグ：
posted at 03:03:40
I love when some amazing #JuliaLang feature gets announced that I had no idea was being developed twitter.com/viral_b_shah/s...
タグ： JuliaLang
posted at 03:05:16
@AlexZevelev @staticfloat We definitely thought about backporting to 1.6, but it touches a lot of code and this gives us enough time to stabilize things. Not to mention that all of BinaryBuilder will need to build against LBT (libblastrampoline).
Here's the PR: github.com/JuliaLang/juli...
タグ：
posted at 05:25:52
Frames Catherine Whi @oxinabox_frames
@etadeu @Viral_B_Shah @SimonPJByrne @staticfloat Julia barely uses OpenLibM anymore.
I think it might be only in used in FastMath now.
Almost all the scalar math is now coded in pure Julia.
タグ：
posted at 06:27:32
黒木さん、ご指摘ありがとうございます。
自分の理解が足りない部分を、より詳しい人達に補完していただけるのは勉強になりますね。
どんなに些細な事でも、アウトプットはやはり大事。 twitter.com/genkuroki/stat...
タグ：
posted at 06:38:18
この流れで、著者が間違い認めないのか
大きく、この確率とは、著者の個人的な考え方であり、数学的な考え方とは異なりますって書いておかないと
この考え方なら、サイコロも1の目が出るか出ないかななるんじゃ twitter.com/sekibunnteisuu...
タグ：
posted at 07:05:04
BetaRaddish - kicked @BetaRaddish
So I was browsing the maths section of the #LinuxMint software library and came across #JuliaLang. Now I am curious and watching YouTube videos.
posted at 07:26:50
@oxinabox_frames @etadeu @SimonPJByrne @staticfloat Very few openlibm calls remain. Probably we can replace it with a concerted effort. Here's the #julialang versions for anyone who wants to take a look:
github.com/JuliaLang/juli...
タグ： julialang
posted at 07:31:52
VSOP87といった精密天体暦をみたときに、80x87 FPUの80bit浮動小数点数でも精度が微妙って思った。64bitだと全然たりない。FPUをなくすのやめてくれと思ったことがある。＞RT
タグ：
posted at 08:19:46
説得力のあるプレゼン作りの教材のようですが，印象を操作して人の判断を誘導するテクニックにこんなのがありますよという情報リテラシーの教材というか。批判眼を養うのによい？ twitter.com/sugaku_biz/sta...
タグ：
posted at 09:19:58
「日本数学検定協会」なる「公益財団法人」が、こんなクソみたいなやり口を推奨するの、控えめに言って「恥を知れ」としか言いようがない。 twitter.com/sugaku_biz/sta...
タグ：
posted at 09:23:09
エアリー・魔理・スー(本名 松本姫和 & @airymarisue
むしろ、この手の手法を見た時には最大限警戒しなければならない。 twitter.com/sugaku_biz/sta...
タグ：
posted at 09:53:14
株式会社アンチパターン | Anti-P @antipatterninc
Juliaは何やら数学向きな言語らしく、チラホラと名前を見る機会があったので、触ってみました。
Juliaでフィボナッチ数列/ビネの公式を表現してみたい - アンチパターンエンジニアブログlink.medium.com/1Thlxemgieb
タグ：
posted at 10:00:01
昨日見たときにあったうだうだしたいいわけが消えて、『お詫びと訂正について出版社と協議』するとなっている。誤ちを認めるのは良いことです。惜しむらくは、最初からそうしておけばよかったのに。ビジネスセンスってそういうことではないですか?
business-mathematics.com/blog/archives/... twitter.com/musicisthebest...
タグ：
posted at 10:02:13
なまもの＠tetra-vaccined @nama_books
理科でグラフの読み取りが出たとき，縦軸と横軸をしっかり確認しようねという注意事項を口酸っぱく言うのは，当然その問題が解けるようにという意図の元なんですけど，生徒が将来こんな表現に引っかからないように―あるいは生徒が将来関わる人に教えてくれても嬉しいなという思いもあるんですよ。 twitter.com/sugaku_biz/sta...
タグ：
posted at 10:08:42
@Viral_B_Shah @oxinabox_frames @etadeu @SimonPJByrne @staticfloat None in that directory, as far as I can see pic.twitter.com/xJlKmrCiMs
タグ：
posted at 10:08:48
津田和俊／急激に進行した網膜剥離と闘って @kaztsuda
@konamih とはいうものの、例えば今月の最高気温の推移、というグラフを表現するには、右側なんですよねえ。本来はグラフの凸凹の差異が重要なものかそうでないかが表現のポイントで、それを逆手に取って利用してはアカンということですよね。
タグ：
posted at 10:12:08
これは酷い。ビジネス数学協会というのは絶対に信じてはいけないですね。そもそもビジネス数学ってなんだよ。
若い人でビジネス数学協会の本を持っている人は捨てたほうがいいです。 twitter.com/sekibunnteisuu...
タグ：
posted at 10:15:39
ただし，変動の幅が本来狭い現象はあり，小さい変動でも重要な時には，適切に範囲を狭めて表示していいのです（何でもステレオタイプな批判はしない）。華氏温はその典型で，人間の生活環境をおよその幅として表示するから実用性が高かったわけ。摂氏でも範囲は適当に設定しますね。
タグ：
posted at 10:16:22
ターミナルの中でランダムな盆栽が育つコマンドラインツール良さそう | 'jallbrit/cbonsai' gitlab.com/jallbrit/cbonsai pic.twitter.com/g7u1DbFG91
タグ：
posted at 10:18:01
#Julia言語 の行列計算は、多くの場合にOpenBLAS(やusing MKLした場合にはMKL)を使っているので、普通に速いです。
OpenBLASやMKLに自分で書いたコードで勝つのはおそろしく困難です。しかし、そういう挑戦は経験値を上げるために役に立つので、挑戦できたことはラッキーだったかも。 twitter.com/kiiiiiiiiinobo...
タグ： Julia言語
posted at 10:21:09
あと，ゼロから始まる範囲は小さい幅で取るべきことがあります。たとえば現状でのSARS-Cov2 の感染率の推移を見るなら，0〜1で表示するのではなく，状況に応じて 0.1 とかにするのがよい。「率」は，掛けて現実の値になることを考えないと。低い確率は一般にそういう扱いが適切。
タグ：
posted at 10:24:41
間違いを指摘してくれる人は神。
指摘の側が間違いであることもよくある。
しかし、そういう間違った指摘も自分の説明の仕方について反省するために助かる場合があって、「常識的には失礼と思われてしまう可能性のある間違っているかもしれない指摘をしてもよい」と強調したいです。 twitter.com/miyuki_matht/s...
タグ：
posted at 10:26:16
「目盛りを変えることは悪くない」との反応が来て、私の方の「これ」が何を指すのか不明確なことに気づきました。「目盛りを変えることで読者を誘導すること」です。目盛りを変えることそのものではありません。
タグ：
posted at 10:28:31
@kamo_hiroyasu @genkuroki これのまずさはまさに、"印象を操作して読者を誘導する"ことを推奨していることですね。
まがりなりにも数学と銘打つなら、85%→80%の変化は、日々の変動のバラツキや絶対値の大きさで、意味が変わってくるので、それを見て変化の有無を結論付けるべきだ と言うべきところだと思いました。
タグ：
posted at 10:56:09
#数楽 リンク先の指摘は重要。
ずっと強調していることですが、確率測度の定義は単に「全体の大きさが1の場合の部分の大きさ」(要するに「割合」)を定式化しただけでは、確率的でない事柄にも応用可能な数学的概念になっていることを正直に説明した方が初学者にとって分かりやすいと思います。 twitter.com/akinori_ito/st...
タグ： 数楽
posted at 10:59:25
@f_sei 自分が所持しているのは
2015年度版です。
書店で
2021年度版においても
結婚の例で
確率が1/2となっていることは
確認はしたのですが
その他の箇所は
いくつか修正されているかも
しれません😅 pic.twitter.com/NgrShBeUWW
タグ：
posted at 11:04:20
今日は Project Eulerの合間に twitter.com/kazmuzik/statu... Juliaでカニンガム鎖のプログラムをbrute forceで簡単に書いて試してみた。p<10^6まではすぐに完了したけど、p<10^7以降は工夫が必要っぽい。というより、Project Euler用に自作した素数のライブラリが今ひとつかも。 twitter.com/kazmuzik/statu...
タグ：
posted at 11:30:44
note.com/business_math/...
＞学生時代に数学を学びましたが、一貫して思っていたことは「人間との相性の悪さ」です。機械を動かし世の中の事象を分析するには適する道具ですが、とても機械的であり人間的でないなと。
数学を学んだ人の考え方とは思えないんだけど……
タグ：
posted at 11:33:40
非公開
タグ：
posted at xx:xx:xx
"私は私なりのビジネス数学を広めていこうと思っています。ビジネスの世界では絶対はなく正解もない。だから絶対も正解もない数学もあっていいのではと。"
これ、「数学」という権威を振りかざしつつ自分に都合の良いストーリーをでっちあげることを正当化しているようにしか見えないんですが twitter.com/imawo_harubeto...
タグ：
posted at 11:48:31
#数楽 1の割合がp=0.3で0の割合が0.7のとき、1と0の列x=(x_1,…,x_n)でそこに含まれる1の個数kが |k/n - p| ≦ 0.01 を満たすもの全体の割合は
n = 10: 0.26682793
n = 100: 0.25632981
n = 1000: 0.53126759
n = 10000: 0.97170537
n = 30000: 0.99984687
と1に近付きます。 pic.twitter.com/3rlAKHPEHM
タグ： 数楽
posted at 11:50:33
#数楽
①確率測度は少なくとも確率現象には応用できる。
②確率測度の概念はランダム性に一切触れないので、ランダム性がない現象にも応用できる。
③確率測度は「割合」の概念のみを定式化したに過ぎないが、大数の法則や中心極限定理を証明できる程度には強力である。 twitter.com/genkuroki/stat...
タグ： 数楽
posted at 11:55:42
素数に関する自作のライブラリが今ひとつと思っていたら twitter.com/kazmuzik/statu... カニンガム鎖のコードがあり、Primes.jl github.com/JuliaMath/Prim... が使われていた。Polynomials.jlと同様 JuliaMathのパッケージで、twitter.com/kazmuzik/statu... 今後は自作のからこれに移行するつもり。 twitter.com/ppp3141592ppp/...
タグ：
posted at 12:01:43
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
@ChemTack @kamo_hiroyasu 現実社会ではグラフによる印象操作が平気で行われています。そういう現実への対処が必要。
数学を勉強して社会貢献したいなら、グラフによる印象操作でビジネスをしている人達が苦しむようになる方向を目指すべきです。
ビジネス数学がその逆をやっているように見えたので非難されているのでしょう。
タグ：
posted at 12:18:59
あと，iPhoneのZoomはボリューム0にできないんだろうか…．いろいろな理由で2つログインしてるとき，ボリューム最小にしていても，よく聞くと微妙にエコーしてしまったりする． twitter.com/esumii/status/...
タグ：
posted at 12:20:41
消費生活相談員協会の清水委員は消費者委で「特商法は悪質商法を取り締まる法律」「なぜマルチ商法のような取引を禁止しないのかと相談員は言われ続けている」と話しています。
#特商法書面電子化ではなくマルチ商法禁止を求めます twitter.com/hiyo_hairyhear...
posted at 12:20:47
@ChemTack @kamo_hiroyasu 「稼働率の損益分岐点は〇〇パーセントである。損益分岐点をいつ割ってしまいそうかを予想できるようなグラフを作成した」というストーリーなら非難されずに済んだと思います。
縦軸を変えて「変動を目立たせる！」と言われると「なんじゃこれは？」と思うのが普通。
タグ：
posted at 12:23:13
#JuliaLang wrappers for the two most important TSP solvers: Concorde and LKH
github.com/chkwon/Concord...
github.com/chkwon/LKH.jl
#orms
posted at 12:23:18
マスコミ数学クッソワロタｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ
しかもコレが公益財団法人発のツイートってマジ？ｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ
すげーなTwitterって twitter.com/sugaku_biz/sta...
タグ：
posted at 12:23:43
つまりこういうグラフみたいに、数学リテラシー低い人達を騙すのがビジネス数学なんだね。それならわかるなww twitter.com/sugaku_biz/sta...
タグ：
posted at 12:37:34
これぞ「ザ！印象操作」では？
先に意図があって、その意図に誘導するような見せ方そのものを「印象操作」と言うのでは？？ twitter.com/sugaku_biz/sta...
タグ：
posted at 12:38:02
リンク先の計算は具体的にどのように行ったのだろうか？
私が具体的な計算法の情報を拡散すれば、再検証、計算法の改善、代替案、などが出て来るように思えます。
この手の計算技術の話題は「論よりコード」(コードが証拠に当たる)であり、コードを示した方が話が発展し易いと思う。 twitter.com/madnoda/status...
タグ：
posted at 12:50:06
深沢真太郎氏の余談の中にあるこういう箇所を見ていると、数学との出会い方や付き合い方が少し不幸だったのかもとも思う。 twitter.com/RochejacMonmo/...
タグ：
posted at 12:53:14
高校数IIIの「極限に関する直感的な定義」でも相当に実践的なことまで積み上げることが可能だし、逆にε-δによる極限の定義は、精密な定量的誤差評価なので、むしろある意味では直感的で十分実践的。「高校レベルの理解は厳密でない」「厳密じゃなきゃだめ」というような付き合い方だと不幸だなと。
タグ：
posted at 12:57:23
例えば新井紀子氏の「数学は言葉」とか「数学レスキュー」
researchmap.jp/arai_noriko/mi...
みたいな付き合い方だけだと不幸だなと。（こういう練習は有効性もあるとは思うけど、数学の理解としてはかなり偏ってしまうと思う。）
深沢氏の記事をみていて何となく非常に窮屈な学び方をしたのかなとも思った。
タグ：
posted at 13:02:21
【独自】妊娠中のやせ過ぎはダメ、体重管理の指導目安引き上げへ…従来より３キロ増
news.yahoo.co.jp/articles/92942...
これは妊婦自身より、指導する産婦人科医、助産師に知識徹底をした方がいいのでは。知ってる産婦人科、「あなたが増えていいのはあと◯キロ」つって健診のたび毎回カウントダウンなんやけど
タグ：
posted at 13:33:35
@sekibunnteisuu 起こされて質問された側が、
表→月①
裏→月②、火③
の①②③のどこに当て嵌まっているかの確率はそれぞれ1/2, 1/4, 1/4だと考えるのは、私も正しいと思います。
ただし、現在②ならば常に③となり、現在③ならばすでに②を経由していることには注意を払う必要がある。
続く
タグ：
posted at 13:52:57
@sekibunnteisuu 単なる確率記述の問題ではなく、「質問されたら表か裏かを答えて、当たっていたら1万円もらい、外れていたら1万円払う」というゲームなら、質問には常に「裏」と答えた方が得。
おそらく、確率の記述で誤解している人は、このゲームの期待値を求める問題と確率の記述を混同しているのだと思います。
タグ：
posted at 13:58:06
#Julia言語
pure JuliaでOpenBLASなどに勝負を挑みたい人は(そういう人が増えると楽しい)、まず、先人の試みである
github.com/Sacha0/GemmDem...
や
discourse.julialang.org/t/native-julia...
↓
github.com/JuliaBLAS/Juli...
や
discourse.julialang.org/t/we-can-write...
などを参照。
タグ： Julia言語
posted at 14:19:20
以下のリンク先の添付画像への引用部分の、赤、青、緑の下線部分は全部誤り。
論文に少々誤りがあっても主定理が生き残ることはよくあるし、主定理が潰れても価値ある論文だと認められている場合もある。
無限について直観を使わない数学者を見たことがない。
厳密さも重要だが直観も重要。 twitter.com/rochejacmonmo/...
タグ：
posted at 14:33:02
論理的に厳密な議論に焼き直すスキルが高い数学者ほど安心して直観を駆使できるというようなことがあると思います。
厳密な議論の構成で苦しみ続ける段階を抜け出せずに終わった人は、自分自身の直観を自由に駆使できる楽しい段階を経験せずに終わっているわけでは、非常に残念なことだと思います。
タグ：
posted at 14:38:17
まさに以下のリンク先の通りだと思う。
今回の確率に関する話題の問題点は、実用的に役に立たない低レベルでおかしな話をまるで数学の話であるかのように説明し、誤りを指摘されたら、いかにも数学嫌いの数学半可通が言いそうな「余談」を述べてしまったことだと思います。 twitter.com/rochejacmonmo/...
タグ：
posted at 14:46:13
#Julia言語 Eratosthenesの篩を使えば100億=10¹⁰以下の全素数の表を私のパソコンだと1分程度で作れました。篩法は速いです。
しかし、それより大きな素数については高速な素数判定法が必要な感じ。
探索には並列化も考えたい。Juliaなら並列化も易しいです。
gist.github.com/genkuroki/a029... twitter.com/kazmuzik/statu...
タグ： Julia言語
posted at 15:02:33
非公開
タグ：
posted at xx:xx:xx
Link: Rubyへの累計コミット数18,000以上。アカツキ所属のパッチモンスター中田さんに機能の開発秘話を聞いた - Akatsuki Hackers Lab | 株式会社アカツキ（Akatsuki Inc.) hackerslab.aktsk.jp/2021/03/04/122...
タグ：
posted at 15:17:54
JuliaでMulti-Threadingも試してみた。docs.julialang.org/en/v1.3/manual... シェルで環境変数の JULIA_NUM_THREADS を設定してから juliaを起動する。32 coresのEPYCワークステーションなので、30 threadsを割り当ててみた。twitter.com/kazmuzik/statu... pic.twitter.com/Ezz0eOJ9e4
タグ：
posted at 15:49:55
今回のそもそもの、きっかけはこれを見たことなんだよね。
twitter.com/DEATHcotori/st...
数学ができる＝計算力がある
という認識の人ってそこそこいるのかな？と思った。
タグ：
posted at 16:09:52
「あなたが深沢さんの立場なら、どうしますか？」って、それ数学の問題じゃないだろうが、
と思った。
で、これ書いたのどういう人？となって
「ビジネス数学」？何か見覚えがある・・・
diamond.jp/ud/authors/58a...
タグ：
posted at 16:14:06
twitter.com/cjackano/statu...
このトンデモ本を書いた人だ！
で、ツイッターにアカウントがあることも分かったので、当人に直接質問した結果、
炎上となった次第。
タグ：
posted at 16:18:11
@genkuroki BitArrayを使った自作のシンプルなエラトステネスのふるいでも、10^10以下の素数をすべて求めるのは 1分20秒程度でした。twitter.com/kazmuzik/statu... Juliaの Multi-Threadingについては現在勉強中ですが、わりと簡単に使えそうですね。 pic.twitter.com/eQbYWO88eY
タグ：
posted at 16:58:51
@sugaku_biz @sekibunnteisuu 念のため整理しますと、
1. 結論が先にあってそれに誘導するためにグラフのスケールを変えることが不正である。
2. スケールを変えることそのものが悪ではない。
3. 印象操作であるかどうかは量によって決まるのではない。また、好まれるか嫌われるかの問題でもない。
タグ：
posted at 17:06:50
@kazmuzik @genkuroki こんな感じでできます。ただしBitVectorを使うとデータ競合が発生するのでこのような単純な並列化は危険です。
twitter.com/bicycle1885/st...
タグ：
posted at 17:12:56
主定理がつぶれてそれでも価値が残った論文として有名なものに、ケンぺによる四色定理の誤証明があります。ケンぺの議論そのものには修復不可能なギャップがありましたが、それから約100年後のアッペルとハーケンによる証明はある意味ではケンぺの論法の大規模化でした。 twitter.com/genkuroki/stat...
タグ：
posted at 17:30:04
10^11〜10^12の長さ9以上のカニンガム鎖は、2時間程度で求まった。gist.github.com/pppp314592/874... 30スレッドで走らせてみたけど、4スレッド以上はあまり効いていない感じがする。とりあえず 16スレッドで 10^12〜10^13の長さ10以上のカニンガム鎖を求める Juliaプログラムを走らせてみた。多分 1日がかり‥ pic.twitter.com/D5EtpxD4j5
タグ：
posted at 17:47:58
#Julia言語 の Primes.jl では以下のリンク先解説の「高速化(2)」までは行なっている感じ。
誰か「高速化(3)～(6)」+並列化を実現すると楽しいと思いました。
エラトステネスの篩の高速化 qiita.com/peria/items/a4... #Qiita @peria より
Primes.jl↓
github.com/JuliaMath/Prim...
posted at 17:48:21
@genkuroki コードは、Zip圧縮すると20kバイトほどです
どこに置いたらいいでしょうか？
それともGitHubにあげましょうか？
（GitHubのアカウントは持ってますが、私以外の人にコミット権を渡す方法とか、オープンソースに必要そうな、そういうのが判りません・・）
タグ：
posted at 17:48:42
今日は午前中に鶏皮の焼死体を作成して人生に絶望して一日無為に過ごしてしまいました。人生に希望を取り戻すべく鶏皮を食べます。 pic.twitter.com/JDEPEEo9Ys
タグ：
posted at 17:50:39
@madnoda 多分、GitHubにソースをおいておくのがよいと思います。
ライセンスMITとかにしておけば、興味がある人は勝手にフォークして遊び始めると思います。
ファイルが1個か2個程度なら、GitHub Gist にコードをコピペして公開するのが楽な場合もあります。
私のGistの例→ gist.github.com/genkuroki
タグ：
posted at 17:57:36
@genkuroki ファイルは10個なので、Githubにあげようかと思います
が、まだ、未完成で、コードも酷いものなので、あまり拡散したくはないのですが、ライセンスはどうしましたら良いでしょうか？
タグ：
posted at 18:04:44
そのカール・ユーハイムは戦争で洋菓子を作れなくなり、1945年8月14日に神戸・六甲で「もうすぐ平和が来る」と語って亡くなるのです。 twitter.com/sow_LIBRA11/st...
タグ：
posted at 18:26:23
#統計 以下のリンク先の積分定数さんの発言に「ベイズ云々」と言っている見事に何も分かってなさそうな人達の発言のスクショを記録として残しておきます。機械的な検索で見つけたもののみ。
色々ひどい。
ひどい知ったかぶり。 twitter.com/sekibunnteisuu... pic.twitter.com/wP7llU0bhV
タグ： 統計
posted at 18:41:48
「ビジネス数学」とは一体…。
「数学的確率」「統計的確率」「主観的確率」とか、独自概念を作り上げて批判をかわそうとするのって、あるあるだなあ。あまりに面白いのでメモっとこ。 twitter.com/sekibunnteisuu...
タグ：
posted at 19:05:24
「1,000,000,000（千円）」は「十億（千円）」ではないのか。本来、日本語は大きな桁の数を読むために勝れているが、不合理な３桁カンマ区切りによって台なしにされている。不合理なハンディキャップを喜んで受け入れる根性が「ビジネス数学」の真髄だと理解した。そんな「データセンス」は要らない。 twitter.com/sugaku_biz/sta...
タグ：
posted at 19:46:16
真偽はともかく、ちょっととんでもない論文が出てきたんだが。国際暗号学会の未査読論文だが、素因数分解を (RSA を破壊するレベルで) 劇的に高速化するアルゴリズムを開発したと主張している。
eprint.iacr.org/2021/232
タグ：
posted at 19:52:49
このアルゴリズムの背景にある数学理論は完全に私の専門外だが、2^800 前後の数を因数分解するのに必要な算術演算数が事実だとすると、確かに RSA 破壊レベルだ ([G]NFS: 2.8126*10^23 → SVPベースの新アルゴリズム: 8.4*10^10)。
タグ：
posted at 19:55:25
必要な算術演算の計算時間の細かなところを考えず、両アルゴリズムにおける 1 演算が同じ時間で完了するとした場合、2^800 前後の数で因数分解がおよそ 3 兆倍高速化ということに。実際には並列性の問題とかあるだろうし文字通り 3 兆倍速くなるわけではないだろうが、それでも半端ない。
タグ：
posted at 19:58:54
「ビジネス数学」は〈数学である・数学でない〉のどちらか一つだけ。ゆえに「ビジネス数学」が数学である確率は１／２。
「ビジネス数学教育家」であるか・ないかは２つに１つ。ゆえに深沢真太郎さんが「ビジネス数学教育家」である確率は１／２。
それが「ビジネス数学」。
twitter.com/sekibunnteisuu... pic.twitter.com/bDAWFWrwHk
タグ：
posted at 20:32:04
「確率には数学的確率（いわゆるサイコロの考え方）と統計的確率と主観的確率の３種類がある」
それが「ビジネス数学」。
twitter.com/shinchan0922/s...
タグ：
posted at 20:40:09
非公開
タグ：
posted at xx:xx:xx
「『結婚』というテーマにおいて 起こり得ることは２通りしかなく、『結婚する』は当然１通りです」
ゆえに、今日０才児が結婚する「数学的確率」は１／２。
同じく、今日２０代女性が結婚する「数学的確率」も１／２。
それが「ビジネス数学」。
twitter.com/shinchan0922/s...
タグ：
posted at 20:58:31
@y_bonten @sekibunnteisuu 地域名としてのボスニアは今もありますが、ボスニアという名称の国はあったっけと調べてしまいました。ボスニア王国があってオスマン帝国に滅ぼされたのですね。歴史に暗くてすみません。
タグ：
posted at 21:07:04
【2021-03-04 21:08 追記】論文に示された手法の再現に失敗したという報告もあります。さらなる続報に期待。 twitter.com/DucasLeo/statu...
タグ：
posted at 21:09:10
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
【2021-03-04 21:16 追記】シュノアが因数分解に関して強い主張をしたのがこれが初めてではないことを示すツイート。twitter.com/EllipticKiwi/s...
タグ：
posted at 21:16:28
@genkuroki 表が出たことを当てたら1万円もらえる。
表が出たのに「裏」と答えたら1万円失う。
裏が出たことを当てたら２万円もらえる。
裏が出たのに「表」と答えたら２万円失う。
これと実質的には同じことなんだけど、これだと常に「裏」と答えるのが有利であることはすぐにわかる。
タグ：
posted at 21:16:51
Excited that my first substantial #OSS contribution has been merged! I refactored C, Stan, and MATLAB code generation within #JuliaLang’s new Computer Algebra System package, Symbolics.jl 🎉
github.com/JuliaSymbolics...
posted at 21:18:00
非公開
タグ：
posted at xx:xx:xx
「ビジネス数学」検定について、気になることがあったので調べてみた。
同検定の解説によく出てくるのが「近藤恵介」という人で、検定の内容は「堀口智之」という人がやってる数学教室みたいなのと非常に類似する（アラビア数字を瞬時に漢数字に変換する、など）。
2人は…
タグ：
posted at 21:41:35
【重要】RSA 破壊を主張する未査読論文ですが、現状再現成功の報告なし (失敗報告あり github.com/lducas/Schnorr...)。また証明内の誤りを指摘する意見 (crypto.stackexchange.com/questions/8858...) もあり。どう少なく見積もっても、未査読論文を不適切なまでにセンセーショナルに扱ってしまいました。申し訳ありません。
タグ：
posted at 21:49:41
make -f solar_earth_L2_002.mak 終了
私のWindows 8.1 + msys64 環境では37分かかりました。
添付画像3がgnuplotによって得られたグラフです。
make一発というのは気持ちいいです。
make -f solar_earth_L2_002q.mak の方を実行中
twitter.com/madnoda/status... pic.twitter.com/Z4LzLlDuDG
タグ：
posted at 21:50:55
加藤公一, 가토우 기미카즈（はむかず） @hamukazu
えっと、TwitterのAPIキーとったので、これから鍵垢フォロワー全員にフォローリクエスト送ろうかと思います。
タグ：
posted at 21:51:36
大体において(いまだにWindows 8.1を使っている)私が実行できるならばもっとましな(具体的にはUNIX系の)OS上でも簡単に動かせるはず。
パソコンのファンの音がシューーーーーー(笑)
タグ：
posted at 22:00:03
並列化されまくっていて、全部コアを使われちゃうとそのパソコンでしばらく何もできなくなったりする。
並列化されていなければ、「シューーーー」となっていても安心。現在進行中の計算は安心なやつ。
タグ：
posted at 22:07:02
#Julia言語
Juliaの適切に書かれたコードであれば、初期条件などがquadmathのFloat128で与えられていれば、自動的にFloat128で時間発展を計算してくれる、という話をしたのでその簡単な具体例。
gist.github.com/genkuroki/cfdb... pic.twitter.com/xhX0QOMZ5n
タグ： Julia言語
posted at 22:16:23
#Julia言語 みんな知っているロジスティック写像の繰り返し。
Float64, BigFloat, Float128で計算。
そのどれもが添付画像の同一の(具体的型名が一切記されていない)コードで計算されています。
多重ディスパッチのおかげでこういうことが簡単にできてしまいます。
gist.github.com/genkuroki/cfdb... pic.twitter.com/YWD46SLdDY
タグ： Julia言語
posted at 22:22:32
#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/him1zEjaJj
タグ： Julialang
posted at 22:26:21
make make -f solar_earth_L2_002q.mak 終了
あれ？ q無し版と同じ程度の38分程度で計算が終わりました。float128だと遅くなるはずなのに。
添付画像3ができあがったグラフです。
github.com/madnoda/test pic.twitter.com/YddigKBko4
タグ：
posted at 22:29:46
添付画像1がFloat64版
添付画像2がFloat128版
色は違っていますが、私の環境でも同じグラフがプロットされていることがわかります。
確かにこれだとFloat64版は精度的にまずいことになっている感じです。
twitter.com/madnoda/status... pic.twitter.com/PdnvXQ9eBX
タグ：
posted at 22:32:55
#Julia言語 の雑談続き
similar([a, x₀], N+1) の意味は
「配列 [a, x₀] と同じ型の成分を持つサイズ (N+1, ) の初期化されていない1次元配列」
です。これによって引数a, x₀の型が配列Xに伝搬するようにしてある。
Vector{typeof(x₀)}(undef, N+1)よりシンプル！
twitter.com/genkuroki/stat... pic.twitter.com/GIiERN7t7Q
タグ： Julia言語
posted at 22:36:28
非公開
タグ：
posted at xx:xx:xx
「流産したら自然に流れるまで待てばいいだけ」というが、心拍の止まった胎児を体内に残し、突然くる出血や腹痛に四六時中怯えながら待ち続ける生活を想像してほしい。海外では流産も中絶も安全に行える飲み薬が普及しているが、日本未承認。多くの女性が経験することなのにここもガラパゴス。
タグ：
posted at 23:27:54
日本では稽留流産した場合、待機か手術の二択。しかし「突然出血したら困るから手術」「早く手術したほうがいい」と、待つ選択肢すら提示されないこともある。流産→待機→掻爬術を自分自身経験し、日本の異様さにふるえる。流産や中絶に関するサイトを立ち上げてます→safeabortion.jp/spontaneous-ab...
タグ：
posted at 23:37:36
#Julia言語 AbstractAlgebra.jl で
ϕ = (1 + √5)/2
のときの
F_n = (ϕⁿ - (-ϕ)⁻ⁿ)/√5
を正確に計算してみました。
gist.github.com/genkuroki/20e8...
要するにフィボナッチ数。 twitter.com/antipatterninc... pic.twitter.com/gVBts2EQEF
タグ： Julia言語
posted at 23:41:40
