黒木玄 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月08日(月)
JuliaSymbolics is the Julia organization dedicated to building a fully-featured and high performance Computer Algebra System (CAS) for the Julia programming language. The roadmap is available here-juliasymbolics.org/roadmap/
#julialang #highperformancecomputing pic.twitter.com/D04xHxQ9WT
タグ： highperformancecomputing julialang
posted at 23:33:10
twitter.com/esumii/status/... が3/3だから、実際に読まれて考慮された可能性は十分にあるんじゃなかろうか。Cf. twitter.com/esumii/status/...
タグ：
posted at 23:24:59
この追記の時点でとりあえずおさまるはずが、「無理擁護」や責任転嫁する第3者のせいで「延焼」し続けていて、ずっと沈黙してる元の方がもはや気の毒ですら… twitter.com/esumii/status/... pic.twitter.com/EjAXIpQPRo
タグ：
posted at 23:20:26
I recently installed Julia 1.6. The “time to first plot” issue is a non-issue now; it’s down to a few seconds. Fantastic work on this release candidate!
#julialang
タグ： julialang
posted at 23:13:33
#Julia言語 大きめのnについて
A = Symmetric(rand(n, n))
すると、大数の法則から、固有値が約n/2のones(n)に近い固有ベクトルを持ち、残りの固有値が半円則に従うことになるので要注意(添付画像②③)。
ランダム行列の有名な話。
Julia v1.7.0-DEVでMKLが使い易い。
gist.github.com/genkuroki/f58e... twitter.com/physics303/sta... pic.twitter.com/OYdzH1XrKs
タグ： Julia言語
posted at 23:02:18
twitter.com/esumii/status/... 最初に指摘された時点で普通に訂正してれば即済んだ話を詭弁で言い訳したり、あまつさえ指摘した側に責任転嫁したり、それを無理擁護したのはそれぞれ誰なのか…（n回目
タグ：
posted at 22:59:47
既存の問題についてはこちら
「ビジネス数学」の問題点まとめ - Togetter togetter.com/li/1678389 @togetter_jpより
タグ：
posted at 22:45:19
#Julia言語 ポイント
①f(a, b)の定義中の有理数 1335//4, 11//2 や整数は浮動小数点数との二項演算において相手の浮動小数点数の型に変換される。
②次のようにBigFloatの精度を局所的に設定して計算を実行できる。
setprecision(120) do; f(BigFloat.((a, b))...) end
gist.github.com/genkuroki/58b4... pic.twitter.com/8E4jSzyBkW
タグ： Julia言語
posted at 22:22:08
#Julia言語 版
f(a, b) = (1335//4 - a^2)*b^6 + a^2*(11*a^2*b^2 - 121*b^4 - 2) + 11//2*b^8 + a/(2b)
a, b = 77617, 33096
setprecision(128) do; f(BigFloat.((a, b))...) end
→正解
setprecision(120) do; f(BigFloat.((a, b))...) end
→不正解
gist.github.com/genkuroki/58b4... twitter.com/tonagai/status... pic.twitter.com/eb8MZs19KH
タグ： Julia言語
posted at 22:18:10
私も同じスタンス。だから、「冒頭に『数学的帰納法で示す』と書かなかったから減点」
はありえないと思う。
数学の本を読んだら書いていないものが多いよ。 twitter.com/tactn001/statu...
タグ：
posted at 22:09:57
Rump's example、多倍長計算できるPARI/GPでは20桁で正しく計算してくれた。
(21:43) gp > \p 20
(21:43) gp > (333.75-a^2)*b^6+a^2*(11*a^2*b^2-121*b^4-2)+5.5*b^8+a/(2*b)
%8 = -0.8273960599468213682
タグ：
posted at 21:48:00
いろいろな人が教えてくれたけれど、例えば私にブロックをされたのに、手間暇かけて私のツイートを見てコメントを書きたがるのは、そうとうの愛を感じる。私なら絶対しない。なぜなら人生の時間を無駄にしているから。その愛のためにトータルすると何十日も私のために使ってくれていることになる。
タグ：
posted at 21:44:44
「背理法」云々の発端はこれみたい。
宣言云々しろなんてくだらない。
分かりやすいなら宣言すればいいだけで、「必ずそうしろ」とかいうものではない。 twitter.com/f_sei/status/1...
タグ：
posted at 21:33:12
4倍精度の計算をしても最初の桁どころか符号すら違うというRump's example（f(a,b)=(333.75-a^2)*b^6+a^2*(11*a^2*b^2-121*b^4-2)+5.5*b^8+a/(2*b)で a = 77617.0, b = 33096.0）をカシオの高精度計算サイトkeisan.casio.jpで130桁まで計算してみる。
sci.tea-nifty.com/blog/2021/03/p... pic.twitter.com/ZEYFppXwWO
タグ：
posted at 21:28:35
ほむほむ@アレルギー専門医：noteメン @ped_allergy
舌下免疫療法に関しては、すべての医療機関でできるわけではありません。
お近くに実施施設があるかどうか、事前に調べておくと良いでしょう。
www.torii-alg.jp/mapsearch/
タグ：
posted at 21:23:47
非公開
タグ：
posted at xx:xx:xx
ほむほむ@アレルギー専門医：noteメン @ped_allergy
【定期】地域にもよりますが、GW明けにはスギ花粉の飛散が終わってきます。
今年のスギ花粉症の症状が強い方は、そのころに舌下免疫療法の開始を考えていくと良いでしょう。
pediatric-allergy.com/2019/02/20/jap...
タグ：
posted at 21:22:21
結局誰かに何かを教わってできるようになるとかって幻想でしかなくて、自分で手を動かしてでしか得られないものが大半なんだよな。ただ、暗中模索のときに適切にアドバイスをくれる人がいると迷いにくくて済むとは思うけど。
タグ：
posted at 21:20:49
ほむほむ@アレルギー専門医：noteメン @ped_allergy
【定期】スギ花粉に対する舌下免疫療法はスギ花粉の飛散期には開始できませんが、ダニ舌下免疫療法は開始できます。
そしてダニ・スギ花粉の舌下免疫療法は、並行して継続もできます。
両方とも感作されている場合は、今のうちにダニ舌下免疫療法を開始するのも一法です。
pediatric-allergy.com/2019/04/20/sq-...
タグ：
posted at 21:20:39
【若い男性の先生が「これ、あってますよ。」って言った】
私は実名でどこの何者か分かる立場でツイッターをやっているので、詳細が説明しませんが、私の個人的な経験でも結構あることだと思います。
我々の後の世代にとってそういう若い先生たちの存在は重要。
「これ、あってますよ」❤️❤️❤️❤️❤️ twitter.com/edunishi3/stat...
タグ：
posted at 21:18:32
ほむほむ@アレルギー専門医：noteメン @ped_allergy
【定期】スギ花粉の飛散が多くなってきました。
アレルギー性鼻炎は成績を下げる可能性がありますし、『鎮静性』抗ヒスタミン薬はさらに成績を下げる可能性があります。『非鎮静性』抗ヒスタミン薬やステロイド点鼻薬などを考慮すると、よりよいでしょう。
pediatric-allergy.com/2021/02/11/exa...
タグ：
posted at 21:17:01
お麩、水で戻してそのまま煮物に入れるんじゃなくて
水で戻して絞って卵を充分に吸わせ、フライパンで揚げ焼きしてから煮物に使ってみて…めっちゃ美味いから…もっちもちのプルップルだから… pic.twitter.com/S5rGNKHv8O
タグ：
posted at 21:02:20
エラストテネスの篩は大昔からある定番のネタなのですが、ベンチマークテストを気軽にできる #Julia言語 でやり直すと、感覚的にちょっと違う感じで楽しめ直せますよね。
今だと中学生くらいのときから、おっそろしく簡単にこういうのを楽しめる。 twitter.com/ppp3141592ppp/...
タグ： Julia言語
posted at 20:57:38
確かに、卑劣。
一方、こちらからブロックしているのに、別アカウントを作って監視するのも、情けない。それって、(仮に私がブロックした人だったら) 私に人生を振り回されていることになると思うし。そんなに私に人生をささげたいのと思ってしまう。 twitter.com/esumii/status/...
タグ：
posted at 20:57:24
電池100個🐢🐢
#1日1実験動画
#身近な科学 pic.twitter.com/j8Xshl7G1B
posted at 20:56:02
さらに辛辣なことを言えば、そこまでしておいて「今日は傷ついた」などと被害者のふりをしてフォロワーに正当化してもらうのも「卑劣」だと思います。 twitter.com/esumii/status/...
タグ：
posted at 20:53:37
@MinatoNakazawa 440ヘルツの例えば正弦波をヒトがどのように感覚器で受け止めてどうやって知覚するに至るのかというのは色々なプロセスがあるのでしょうし、様々な多様性もあるのでしょう。でも、色については、「赤い光を感覚器で受け止める」という言い方自体が成り立たないのです。
タグ：
posted at 20:52:52
ついに我々の研究室でもslackを使うことに！１年以上前に提案したときはGoogle Chatでいいじゃん、みたいな空気だったのが、風向きが変わった模様。メールだと色んな情報が埋もれてしまう。大学からの連絡もslackとかにして欲しい。
タグ：
posted at 20:52:39
@MinatoNakazawa より正確には、赤とか黄と言う時にすでに人の生理機構を前提としているのに対して、440ヘルツはそうではない、ということです。
タグ：
posted at 20:50:36
@MinatoNakazawa 【実は音のピッチもヒトの生理機構を織り込まないと】というのは了解。では、それを論じるために使う用語が、色の場合はすでに生理機構前提あることと、音のピッチは生理機構とは離れた物理的実体があると考えて差し支えないことの違いはどうですか？
タグ：
posted at 20:48:29
twitter.com/esumii/status/... 「義憤」という概念を知らないのだろうか…。もちろん、独善にならないよう、日々自分を省みるのは当然に必要なことですが。
タグ：
posted at 20:48:21
エラトステネスの篩 #Julia言語 でお試し
愚直でも結構早い
Primes.jlも使ってるみたいだけど、雑な実装版のが早い場合もあった。
(Nとgcによるけど)
ここから(高速化(3)?)は、高速化より省メモリ化を意図的に組まないけない様だ
gist.github.com/pppp314592/30e... twitter.com/genkuroki/stat... pic.twitter.com/E8MKcffOHs
タグ： Julia言語
posted at 20:46:55
mobile.twitter.com/Infinity_topoi... 不正・不適切な行為に対する根拠のある「憤り」を「個人的」な「悪意」などとすり替えるのも甚だしい歪曲だと思います。
タグ：
posted at 20:38:09
@MinatoNakazawa それはそれで興味深いです！（が、ぼくが伝えようとしていることは伝わってますでしょうか？ 絶対音感を議論する時に何ヘルツという物理的なものを前提に議論できるけれど、色については、ヒトの生理機構を織り込んだ形でしか定義できないという点。そこが強調した部分なのです）
タグ：
posted at 20:31:11
@Infinity_topoi 不正ないし不適切な行為に憤りを感じて指摘するのがおかしいでしょうか。すみませんが曲解が甚だしすぎて論理的な会話が不可能ですので、これ以上の言及はご遠慮いただければ幸いです。
タグ：
posted at 20:28:41
（「謝るまで殴っていい」などという話では全くなく、重大な誤情報を流布してしまった以上、受け取ってしまった人々になるべく伝わるように訂正すべきである、と言っているだけです。甚だしい論点逸らしだと思います。）
タグ：
posted at 20:25:06
@Infinity_topoi 前者は、直に返事がなくても考慮される可能性はあると思います。後者は、私は確率論が専門ではありませんので、学者の使命ではなく一人の人間としての憤りです。なお、貴方にこのような言及をされるのも極めて迷惑です。
タグ：
posted at 20:18:18
非公開
タグ：
posted at xx:xx:xx
@Infinity_topoi 根本的な認識な相違があるように思いますが、私の認識は twitter.com/kururu_goedel/... と同じです。
タグ：
posted at 20:06:07
@Infinity_topoi 「悪ノリ」「余計なこと」どころか、社会に対して有害な誤解を流布してしまった書籍の既存の読者になるべくわかるように適切に訂正すべきと考えて真剣に提案しています。ご了解ください。
タグ：
posted at 19:59:52
自称 樺太庁豊原市民（在住歴あり） @sunrise108max
日本語教師の独り言
今まで何校か巡ってきた。未習表現は厳禁の「先生日本語」を徹底する学校と、「標準語を使用・発音をはっきり・ナチュラルスピード」の学校があった。どちらが学生のために良いかは一目瞭然だった。「先生日本語」の悪影響は、初級修了時はもちろん、卒業後もずっと残存し続けた。
タグ：
posted at 19:42:00
私をリムーブしたらどうかとかこれ見たらどう思うかみたいな，自分がすごく有用な情報源で影響力もあってリムるのがデメリットになると自惚れてるのがサイコーにξ．イタくてくっさい．それでやることがビジネス数学批判批判と何も生み出していない．
タグ：
posted at 19:14:24
@sekibunnteisuu 確率変数の期待値が定義されていれば、確率がらみのことは大抵できる。
上の場合には p, X ↔ q, Y という E_p[X]=E_q[Y] を満たす対応があるので、pでやれることは大抵qでもやれる。
「どのpを選ぶべきか」は他の原理がないと決まらない。
この話題はこういう場合になっているのだと思いました。
タグ：
posted at 19:07:56
@sekibunnteisuu pに関する確率変数X=(x₁,…,xᵣ)の期待値
E_p[X]=Σxᵢpᵢ
とqに関する確率変数Y=(y₁,…,yᵣ)=(x₁/c₁,…,xᵣ/cᵣ)の期待値
E_q[Y]=Σyᵢqᵢ
は等しい。
X↔Y の対応は確率変数の空間の線形同形になっている。(かけ算はたもたない。)
タグ：
posted at 19:03:02
@sekibunnteisuu 純粋に数学的には{1,2,…,r}における確率の与え方p=(p₁,p₂,…,pᵣ)とq=(q₁,q₂,…,qᵣ)は「pᵢ=0⇔qᵢ=0」のとき絶対連続性の意味で同値だと言います。pᵢ=cᵢqᵢ, cᵢ>0とする。
続く
タグ：
posted at 18:59:24
こういうことを何の躊躇もなくやる人と、ビジネス上の付き合いをする場合にはよく注意するほうが良い、という指針にはなるのかも。 twitter.com/genkuroki/stat...
タグ：
posted at 18:51:47
検索してみた。「ビジネス数学は数学を名乗るのをやめた方が良い」という方向で攻めている場合がかなり多いのですが、「上司にいいところを見せたい」という理由で不都合なデータを隠して都合の良いグラフをでっち上げることを勧めているので、
ビジネスを名乗るのもやめた方が良い
とも言うべき。 twitter.com/genkuroki/stat...
タグ：
posted at 18:25:57
@imakarasuugaku あらら、堀口智之さん、ブロックというご対応ですか。
ビジネス数学で話題を繋げられたくないのかな〜 pic.twitter.com/tnu5JhejKo
タグ：
posted at 18:19:02
3次元円グラフはビジネス数学でもNGになっている。
3次元版に限らず、円グラフは好ましくないと考えることはある程度以上の素養を持っている人達(例えばRを使うような人達)のあいだでは常識になっています。
以下のリンク先の内容は3次元版に限られておらずお勧め。
www.cresco.co.jp/blog/entry/950/
タグ：
posted at 18:14:23
統計学のイロハのイの1つに
「A,B,C,…の数がデータとして得られているとき、全体に対するA,B,C,…の比率の情報だけを示すのはよくない」
があります。
総数の情報もないとデータ取得時の統計的・確率的揺らぎの影響を見積れなくなります。
タグ：
posted at 18:13:15
@genkuroki これを知ったのは、今回の炎上での収穫でした。２ちゃんねる数学板でもしばしば話題になっているそこそこ有名な問題らしいのですが、初めて知りました。
確率で「パラドックス」と言われる類のは大抵、よく考えたらパラドックスじゃないと分かったけど、今回はお手上げｗ
タグ：
posted at 18:10:22
#Julia言語 自己引用：円グラフを【みんな使っていないのかなと思いました。】(笑)
円グラフだと見た目的に比率の情報しか残らないので、私が書いた Plots.jl 用円グラフのrecipeだと、元の数を括弧の内側に表示する仕様になっていた(笑)
結局括弧の内側の数字も読まなければいけなくなる(笑) twitter.com/genkuroki/stat...
タグ： Julia言語
posted at 17:57:01
数検を単位認定している大学は、シラバスに正式名称「実用数学技能検定」をちゃんと書いているか点検しておいたほうが良さそうです。「（公財）日本数学検定協会が実施する検定」に読める書き方をすると、ビジネス数学検定のほうで単位認定を求めてくる学生が出るかもしれません。
タグ：
posted at 17:51:24
ビジネス数学においても3次元円グラフがNGであることについてはすでに明瞭に述べているのだから、「ここまでダメなものはビジネスにおいても当然ダメ！」という態度を拡張すればよいだけ。
* 定義でも何でもないものを定義だと言っちゃダメ
* 会社や顧客に損害を与えるようなプレゼンをしちゃダメ
タグ：
posted at 17:42:43
何度か述べていますが、今までの誤りが明瞭に誤りだと誰でも分かるような読み易い解説がビジネス数学側から出て来ることを少なくとも私は歓迎するし、そういう方向での図々しさなら笑って歓迎する人も多いと思います。
タグ：
posted at 17:38:03
@sekibunnteisuu @Arakur65536 @serine_math 【「数学的厳密性」みたいな議論、というのは具体的にどれでしょうか？】
私も知りたいです。
批判されている当事者の深沢真太郎さん自身は例の余談でそういう話をしていますが、私のTLではその余談を批判している人しか見当たらない。
まさかあの余談をまともな言い分だとみなす人がいた？
タグ：
posted at 17:26:08
@sekibunnteisuu 私も単純に考え過ぎてダメでしたね。
{表, 裏}には表と裏の対称性を前提にすれば、一意的に確率が決まる。
しかし、{表月, 裏月, 裏火}はそうではない。せっかくなので、任意の (p; q, q) (pとqは正の有理数でp+q+q=1) も「正解」になるということにしてしまったらどうでしょうか？(笑)
タグ：
posted at 17:20:27
@Arakur65536 @serine_math 失礼します。「数学的厳密性」みたいな議論、というのは具体的にどれでしょうか？
少なくともあの確率に関しては、中学校でも扱うレベルの誤りで厳密云々という話ではないし、
グラフの書き方に関しては、数学とは別の話だし、厳密性云々でもありません。
タグ：
posted at 16:18:26
こういう情報を全部出すことはなくて、検査陽性者数が減ってることだけ出して、実効再生産数が1に近くなってるってのはお知らせしない…というのがビジネス数学作法だったりする？（笑）
toyokeizai.net/sp/visual/tko/...
タグ：
posted at 13:01:23
須山敦志 Suyama Atsushi @sammy_suyama
加えて、物事を割合や比率のみで表現するのも危険な場合が多いです。割り算してしまうと元の情報が消えてしまう。
タグ：
posted at 11:33:54
もう一度強調しておきますが、円グラフは「一目で正確な情報を見易く伝える」という目的には多くの場合に向いていません。
多分こういうことはまだ常識になっていないので、うまいことビジネス現場での教育に組み入れられるとよいと思います。
タグ：
posted at 11:03:39
動画 youtu.be/DCjDTKy54SU の終わりの方を見ると、深沢真太郎さんは「ドーナツ型の円グラフの中心に伝えたいことを書き込むこと」を多用しています(添付画像①②③)。
しかし www.cresco.co.jp/blog/entry/950/ でも指摘されているように、ドーナツ型円グラフは通常の円グラフより分かり難いです(④)。 pic.twitter.com/678oydCq9w
タグ：
posted at 10:56:33
深沢真太郎氏は、3次元の円グラフのみをNGとしていますが、情報が正しく一目で伝わるようにするためには、円グラフの使用は多くの場合に好ましくないです。
例えば以下のリンク先を参照。
www.cresco.co.jp/blog/entry/950/
ビジネス数学をうたうならこういう話をするべきです↓
タグ：
posted at 10:46:29
#ビジネス数学 ビジネス数学教育家の深沢真太郎さんがグラフの描き方の指導で道を踏み外した原因は
正しい情報を伝えること
と
伝えたいことを伝えること
を混同したことだと思います。例えば
news.ameba.jp/entry/20160408...
を見ると、実際にそれらの区別が曖昧になっています。 pic.twitter.com/z49J3HIlDz
タグ： ビジネス数学
posted at 10:42:17
この動画が面白い↓(他にも面白い動画があるかも)
テレビで出るグラフが印象操作しすぎでツッコミ待ちすぎるww youtu.be/EzAf88xNmoA @YouTube より twitter.com/shiozawa_h/sta...
タグ：
posted at 08:59:10
実際には論外なことをしているのに、まるでそういう事実は無かったかのようにみなして、厳密さを要求されると困る微妙な問題であるかのように説明する。
そういうのも結果的に悪質な印象操作になっていると思います。
きちんと資料を引用してから自分の解釈を述べた方がよいです。
タグ：
posted at 08:42:00
自分自身が会社や顧客にとって有益だと思っていた強調点が実際には有害だったのであれば、「誰でも間違うことがある」「自分自身の見解が有害な可能性にも配慮しようね」で済む。
しかし、自分にとって都合の悪いデータを隠して、都合の良いグラフを工夫して作ることを堂々と勧めるのは論外だろう。
タグ：
posted at 08:33:09
以下のリンク先資料(添付画像)の③④で、ビジネス数学教育家の肩書きで深沢真太郎さんは、
【会議では、できるだけ上司にいいところを見せたい】
という設定で、自分にとって都合の悪いデータを出すのはNGで、都合の良いグラフを見せるのはOKだとしている。
これは論外！
president.jp/articles/amp/2... twitter.com/genkuroki/stat... pic.twitter.com/glbuTUlGMP
タグ：
posted at 08:28:59
データの内容を誤解なく分かり易く(可能ならば一目で分かるように)グラフの描き方を工夫することであれば誰も否定していない。
そのとき重要なのは「自分の見解を伝えること」と「データの内容を誤解なく分かり易く伝えること」は違うということです。
自分の見解は有害で間違っているかもしれない。
タグ：
posted at 08:20:35
Peter Deffebach @PeterDeffebach
Have you ever wanted to do some extraneous calculations in the middle of a dplyr pipe, but not wanted to pollute your namespace with intermediate names? The `aside` macro from Chain.jl, which interacts perfectly with DataFramesMeta, solves that problem! pic.twitter.com/O8Av5mD38q
タグ：
posted at 08:15:37
Peter Deffebach @PeterDeffebach
Since I spent the morning re-organizing issues and PRs in preparation for the 1.0 #julialang's DataFramesMeta, and I'm the package's primary maintainer, I figured I should plug the package more on social media.
タグ： julialang
posted at 08:15:36
仮にそうだとすると問題の改善にはかなりの年月を覚悟しなければなるまい。禁煙やセクハラの問題と同様、教育カリキュラムやこまめなセミナーなどで浸透を図っても、いったん固まってしまった世代の意識は哀れなほどに変わらない。最終的には主要層が世代交代するまでかかるのではないだろうか。4/4
タグ：
posted at 00:52:24
研究者なら理系文系を問わず何がアウトか叩き込まれるし他人の資料でも怪しい部分は確かめようとするだろうが、もし企業や行政の中にそういう習慣がない人間の方が多かったら、ましてや意思決定の中枢を占めていたとしたら、30年のデフレに陥るのもそれは当然かもしれない。3/4
タグ：
posted at 00:52:06
文科省や財務省が作るスライド資料にも、ストーリーが先にあって図はそれを印象付けるためだけのものが少なくない。CoViD-19の陽性者数や重症者数の数え方が都合よく変更されるのも去年1年間で何度も目にした。厚労省の統計偽装が指摘されたのも記憶に新しい。2/4
タグ：
posted at 00:51:43
