黒木玄 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年01月23日(土)
非公開
タグ：
posted at xx:xx:xx
@pepijndevos @experquisite It's possible, but obviously not something people would put in library code. We have a concept of "type piracy" (docs.julialang.org/en/v1/manual/s...) which this is an extreme example of. Tooling will yell at you for it. Those warnings may eventually become default-errors, but tbd.
タグ：
posted at 01:34:44
@pepijndevos @experquisite Basically, the julia philosophy is to be extremely permissive on the language side and trust our users to use is responsibly - it's your code after all, who are we to tell you what you can or cannot do with it.
タグ：
posted at 01:41:41
@pepijndevos @experquisite That doesn't mean that there can't be tooling whether default-on or not to prevent you from shooting yourself too badly unless you explicitly ask for it.
タグ：
posted at 01:42:10
@pepijndevos @experquisite Also, I should point out that there are very legitimate use cases for this kind of thing. For example - Revise.jl is a package that provides live code reloading, which works by watching changes on the file system and then overwriting and changed methods this way.
タグ：
posted at 01:43:21
PrettyTables.jl: PrettyTables.jl is a new backend for DataFrames.jl that allows text tables to be printed with improved formatting and readability. More information is available here github.com/JuliaData/Data...
#Julialang #DataFrames #ML #AI #datascience
タグ： AI DataFrames datascience Julialang ML
posted at 03:22:29
#統計 中心極限定理の勉強法として
コンピュータで平均μ分散σ²の分布の長さnの(擬似)乱数列X_1,…,X_nをL組発生させて、((X_1-μ)+…+(X_n-μ))/√(nσ²)達のヒストグラムをプロットし、標準正規分布と比較する
という方法があります。
そのとき、
うまく行かない場合も探すこと
が大事です！ twitter.com/genkuroki/stat...
タグ： 統計
posted at 07:33:08
#統計
一般に左右対称な分布の歪度は0になる。
ベルヌイ分布Bernoulli(p)の歪度は(1-2p)/√(p(1-p))で、p≈0のとき歪度は1/√pで近似される。
ja.wikipedia.org/wiki/%E3%83%99...
ガンマ分布Gamma(α,θ)の歪度は2/√α
ja.wikipedia.org/wiki/%E3%82%AC...
確率分布についてはウィキペディアはかなり便利だと思います。 pic.twitter.com/3mD1qpNSBZ
タグ： 統計
posted at 08:00:54
#統計 #Julia言語
コンピュータで0～1の一様乱数n個の和達のヒストグラムをプロットしてみる。
①n=3ですでにかなり正規分布っぽい。
②n=5なら正規分布にかなり近い。
③n=10ならほぼ完璧に正規分布！
「中心極限定理による近似は小さなnでもかなり良い！」と思ってしまうと騙されたことになる！ pic.twitter.com/Rrw1OjqTz9
posted at 08:35:24
I created a pairplot after discovering Plots.jl lacks them in #JuliaLang.
Planning on opening a PR sometime next week to add this functionality with the support of the awesome Plots.jl team.
Anyone wanna help?
Gist: gist.github.com/TheCedarPrince...
#data #visualization #opensource pic.twitter.com/LFklLNOlUd
タグ： data JuliaLang opensource visualization
posted at 09:24:31
#統計 #Julia言語
Gamma(0.1, 10)という極端に偏った分布の場合
①n = 10 では全然正規分布っぽくならない。
②n = 100 でも正規分布近似はよくない
③n = 1000 ならかなり正規分布に近い
④もとのGamma(0.1, 10)分布の様子 pic.twitter.com/TJPmzbZIpt
posted at 09:33:59
#統計
①n=100, p=0.3の場合の中心極限定理による正規分布近似の精度はかなり高い。
②n=100, p=0.03では正規分布近似の精度は低い。
③n=100, p=0.03でのPoisson分布近似はかなりよい。
pが0.5に近い場合の様子しか見ないと騙され易い。
正規分布近似以外にも良い近似の仕方がある場合がある。 pic.twitter.com/jZQd0f0v8a
タグ： 統計
posted at 09:38:59
#Julia言語 以上で使ったコードは
nbviewer.jupyter.org/gist/genkuroki...
gist.github.com/genkuroki/a804...
からダウンロードできます。
タグ： Julia言語
posted at 09:40:59
#統計 #Julia言語
極端に大きな値が5%含まれている混合正規分布に関する中心極限定理の効き方
①skewnessは小さい。
②n=30では正規分布から程遠い。
③n=100でもちょっとあれな感じ？
④n=1000ならかなり正規分布に近付いた？
本当は経験分布の累積確率分布函数をプロットするべき。 pic.twitter.com/TAcLUzWnl5
posted at 10:23:57
決着がついた。
問題解決金は回収できたが，弁護士費用のほうが高くついた。結果はちょっとマイナス。
なるほど，こういう感じになるんだな。自分でやったほうがいいか，弁護士に頼んだ方がいいか，今後の判断の布石になるわ。 twitter.com/tmaita77/statu...
タグ：
posted at 10:40:49
東京アニメアワードフェスティバル2021 アニメファン賞、へんたつ（ＴＶ版）に投票しました！ vote.animefestival.jp #TAAF2021
タグ： TAAF2021
posted at 10:52:09
周囲に(例えば)位相空間論や測度論の講義や演習に真面目に出席している友人達が沢山いる状況で、講義や演習に出席せずに「独学」で位相空間や測度について勉強するのと、周囲の環境が何もない所でそうするのでは全然違うと思う。
タグ：
posted at 10:55:03
#統計 以下のリンク先の例ほど極端な場合は稀だと思いますが、母集団が複数の質の異なった集団の和集合になっている場合はよくあります。
例えば共通テストでは、浪人生の集団の方が現役生よりも平均的な学力は上です。
このような場合には得点分布は正規分布には全然近くならない。 twitter.com/genkuroki/stat...
タグ： 統計
posted at 11:01:38
#統計 異なる質の集団の混合分布の具体例
www.ct.u-tokyo.ac.jp/news/20190210-...
↓
www.ct.u-tokyo.ac.jp/images/koudai-...
↓
pp.29-36
荘島宏二郎
センター試験「英語」はどのような試験だったか
【(スライド 3)～ここの右のほうのコブは浪人生です～浪人生を取り除くと割と左右対称な現役生 の分布が出てきます。】(p.30) pic.twitter.com/UcqMHNl3BK
タグ： 統計
posted at 11:11:12
これ用のPython, Juliaのライブラリ作ったら、人気でるかな。東証APIサービスの開始について | 日本取引所グループ www.jpx.co.jp/corporate/news...
タグ：
posted at 11:16:29
オンライン授業の整備について語る場合には
* そのために増える仕事をやる人を新たに雇うための予算
* 新たな設備投資のための予算
の確保のために、
* 日本政府の財政赤字を大幅に増やすことにも同時に賛成
しないと、一部の人たちに無理な要求を押し付けるだけで終わってしまうと思います。
タグ：
posted at 11:50:59
自分自身が財政赤字が悪だと思っていたせいで次世代の未来を奪って来たことを正直に認めることができる人が増えれば、やれることが増えます。
ただし、MMTな人達はおかしなことも言っているので要注意。
あと、藤井聡氏は反医療の人たちと組んで反省していないようなので要注意人物確定済み。 twitter.com/genkuroki/stat...
タグ：
posted at 11:51:00
コロナ禍の逆境で業績不振に陥った企業をガンガン潰し、失業者で街を溢れさせたいと考えている立憲民主党所属の衆議院議員。この発言は永久保存する。 pic.twitter.com/YA38LNFwHh
タグ：
posted at 12:00:40
#統計 pが小さくてnが大きめの二項分布のポアソン分布による近似の証明には
lim_{n→∞}(1 + x/n)ⁿ = eˣ
が使われます。高校で習う極限
lim_{n→∞}(1 + 1/n)ⁿ = e
の一般化です。高校の段階でこの極限の収束の様子・近似の精度についても触れておくことができれば、色々都合がよいと思う。 twitter.com/genkuroki/stat... pic.twitter.com/aPK7jfw1UG
タグ： 統計
posted at 12:18:11
#数楽 (1 + 1/n)ⁿ や (1 + x/n)ⁿ が e や eˣ を大雑把にどの程度近似しているかはWolframAlphaで添付画像のように確認できます。
後者へのリンク↓
www.wolframalpha.com/input/?i=serie...
nが十分大きなとき、相対誤差は大雑把に、-1/(2n) (もしくは -x²/(2n))程度になります。nに反比例する。 pic.twitter.com/3uY1WhDn9y
タグ： 数楽
posted at 12:29:18
#数楽
(1 + x/n)ⁿ/eˣ = 1 - x²/(2n) + x³(3x+8)/(24n²) - …
の証明は h = 1/n とおいて、
(1/h)log(1 + xh) = x - x²h/2 + x³h²/3 - …
を
(1+x/n)ⁿ = (1+xh)^{1/h} = exp((1/h)log(1 + xh))
に代入して、h = 1/nについて展開すれば得られます。
logをとってから展開するのがミソです。 pic.twitter.com/72jCiMCnGD
タグ： 数楽
posted at 12:40:55
ほりたみゅ (mastodonも見てね) @Hyrodium
@test_warnがちゃんと動かなくて困ってたけど@test_logsを使えという話だった
github.com/JuliaLang/juli...
タグ：
posted at 12:44:51
@genkuroki いつでもサクッと計算したい？Wolfram Engine + Jupyterをインストールしておくのがミソです。 math.mkamimura.com/posts/2021/01/...
もちろんそこでWolfram Alphaも使えます。 cs.mkamimura.com/posts/2020/09/... 😄
タグ：
posted at 12:48:11
高校生の段階でそういう話を理解する必要はないと思いますが、教えている側は、自分達が教えていることが、(試験問題が解けるというようなくだらない話ではなく)普遍的な価値を持っているという立場に立てるようになることが望ましいと思います。
極限1つだけでも大きな価値を持つ。
タグ：
posted at 12:55:21
@mkamimura 私は家庭内Jupyterサーバー(JupyterLabサーバーでもJupyter notebookを使用可能)を走らせておいて、iPadのブラウザからアクセスして使っています。 #Julia言語 便利。
iPad用のWolframAlphaの有料アプリは購入しました。
タグ： Julia言語
posted at 12:58:42
#Jupyter #Julia言語 #RStats #Ruby #Python #WolframEngine
家庭内Jupyterサーバーへのブラウザからのアクセスのスクショ
Julia v1.6.0-beta1 は非常にお勧めだが、v1.7.0-DEVは「激しい開発で相当に壊れている」のでお勧めできない。 twitter.com/genkuroki/stat... pic.twitter.com/p8AKgXf9nS
タグ： Julia言語 Jupyter Python RStats Ruby WolframEngine
posted at 13:14:18
#julialang で, 生成済みの配列に対して飛び飛びでアクセスする何かいいやり方無いかなと探していたら, Range でインデックスアクセス出来るということを知った
julia> (0:2:20)[range(1, 10, step = 3)] # => 0:6:18
タグ： julialang
posted at 13:19:06
失業率1%の上昇で年間自殺者数は2000〜3000人くらい増えると推定されます。(以前大雑把に計算した。ググっても確認した)
HPVワクチンの恩恵を受けられないと年間1000人以上の死者が増えるらしい。(これもググって確認した)
おそらく、反ワクチン・反医療と経済問題が殺す人数が似たオーダーです。
タグ：
posted at 14:10:09
ごまふあざらし(GomahuAzaras @MathSorcerer
```
julia> X[X .> 0.5] = 0
ERROR: ArgumentError: indexed assignment with a single value to many locations is not supported; perhaps use broadcasting `.=` instead?
```
ですよね。 .= をつけてねって親切だ。
#Julia言語
タグ： Julia言語
posted at 14:11:43
ごまふあざらし(GomahuAzaras @MathSorcerer
誰かやってるだろてのはだいたいDiscourseで議論されている。（明確な答えがあるとは限らないけれど）
#Julia言語
discourse.julialang.org/t/replacing-va...
タグ： Julia言語
posted at 14:13:11
要するに、超絶大雑把な比較によって、医療も経済もどちらも大問題であり、両方大事だということです。
だから、反ワクチン・反医療の立場の人物が経済についてまともなことを言っている場合があったとしても、その人物を支持することが避けた方が無難です。(本音では絶対に避けるべき！)
タグ：
posted at 14:13:15
例えば、山本太郎氏は反ワクチン側の立場なので(国会でも子宮頸癌ワクチンについて質問している)、決して支持してはいけない人物だと思います。
www.google.com/search?q=%E5%A...
タグ：
posted at 14:25:19
道草学習の部屋＠オンライン家庭教師&教育 @michikusa_heya
本当に「数学ができる子」が学校で評価されにくい実態がここにある。算数教育だけでなく、数学教育を一から点検しなくてはいけない。考えてみれば、この最も本質的な問題がここ数十年間もずっと放置され続けてきた。 twitter.com/genkuroki/stat...
タグ：
posted at 14:27:49
経済問題が結構人を殺すことについては、スタックラー&バス『経済政策で人は死ぬか』(2014)が詳しいです。
新型コロナ対策を通してついでに「反ワクチンが人を殺す」という話も常識化するとよいと思う。
私の個人的な意見では、どちらも似たオーダー(程度)で人を殺し、死ななくても苦しみを残す。
タグ：
posted at 14:33:16
Juliaってウェブフレームワークとかもあるんだ "Franklin.jl で github.io のページを作ろう." zenn.dev/terasakisatosh...
タグ：
posted at 14:34:10
www3.nhk.or.jp/news/html/2021...
【Go Toトラベルの影響を除いた試算では、生鮮食品を除いた消費者物価指数は、前の年の同じ月に比べてマイナス0.6％になるとしています。】
タグ：
posted at 14:41:33
こんな風になって物価水準が下がらないわけがない。
物価水準下落の裏には収入が大幅に減って苦しんでいる人達がいる。基本的に物価水準下落は悪だと考えて問題ない。
政府が財政赤字を十分に増やさなかった失敗を犯したことが、物価水準下落によって示されたと私は解釈しています。
タグ：
posted at 14:44:56
財政赤字自体に善悪はなくて、増やしていれば救えた人たちを救わなかったことが悪なわけです。
デフレ気味のときに財政赤字を十分に増やさないのは典型的な政策の失敗。金融政策もアグレッシブさが失われてダメすぎ。
タグ：
posted at 14:48:31
JuliaTokai #09 に参加を申し込みました！何か発表もします！（何 juliatokai.connpass.com/event/202413/?... #JuliaTokai
タグ： JuliaTokai
posted at 15:10:30
ニューディール政策をはじめとして成功例、失敗例がたくさん載っている。失敗例は多くの人が死んだ例 twitter.com/genkuroki/stat...
タグ：
posted at 15:41:08
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
OokuboTact 大久保中二病中年 @OokuboTact
@temmusu_n 国会図書館の戦前の資料を提示しても、掛け順擁護派から無視されっぱなし（笑）
タグ：
posted at 16:11:11
成人式後の会食クラスター
18人に⚠️
愛知県 大府市
#愛知県の情報
#子供関連情報
news.yahoo.co.jp/articles/34779...
posted at 16:18:49
@OokuboTact GHQのClassified文書晒しちゃおうかな。前にも少し言った気がするので何も新しくはないですが、CIEのニュージェント局長は新教育の理想主義にかなり辟易していたらしいです。そのせいで新教育の実施が遅れているとアメリカ側の担当官の尻を叩いている。
タグ：
posted at 16:19:43
#超算数 これは昔からそうで、和田義信と中島健三、塩野直道を適当に引用できれば大抵のことは論文に書けるかも。 twitter.com/musorami/statu...
タグ： 超算数
posted at 16:29:51
非公開
タグ：
posted at xx:xx:xx
大阪で対維新選挙のときにいっつも反維新側が応援にくる藤井さんに対して距離おいてた理由がようやくわかった感じ。 twitter.com/genkuroki/stat...
タグ：
posted at 16:33:20
福島で発見されている甲状腺がんのほとんど全てが放射線被曝と無関係だというのは、汚染が少なかった会津でも同程度に発見されていることから明らかです。一方で発見されたがんの数や手術数は「異常」に多い。ほとんど全てが被曝と無関係ならこのがんはなんなんだ、という問題なんですよ
タグ：
posted at 16:37:55
非公開
タグ：
posted at xx:xx:xx
#Julia言語 #julialang
これを書くのに2時間かかった．．． pic.twitter.com/WZYegELFpb
posted at 19:30:29
アリスの庭クラブ 宮城県美術館の話をしよ @4RsSbBcE7B5gtkl
1/26（火）19:00
トークイベント
「宮城県美術館と建築家前川國男のここがスゴイ！」
alicenoniwaclub.wixsite.com/website/post/2...
県美撮影会の皆勤賞の津田さんと、県美ネット事務局の高橋直子さんに、県美や弘前の前川建築のお話をしてもらいます
青葉の風テラス（仙台地下鉄 国際センター駅２階）
無料・予約不要 pic.twitter.com/mLhtBMvB0S
タグ：
posted at 20:54:35
アリスの庭クラブ 宮城県美術館の話をしよ @4RsSbBcE7B5gtkl
津田さんコメント（抜粋）
弘前市では様々な年代の前川建築を効率的に比較することができます。前川建築が時代と共にどのように進化して来たか、その中で宮城県美術館はどういう位置付けにあるか、そして建築物としての美術館や博物館はどのようにあるべきか、（中略）皆で考えましょう。
タグ：
posted at 20:58:28
日本チェス連盟 - Japan Ches @JapanChessFed
下記URLにて、NCS会員でなくてもご覧いただけるNCSレター無料版を公開しております。【羽生善治さんのインタビュー記事】もお読みいただけます。是非この機会にNCS入会をご検討ください！ #チェスjp
japanchess.org/2021/01/letter... twitter.com/Chess_Society/... pic.twitter.com/ctInRcO7mc
タグ： チェスjp
posted at 21:00:02
#超算数 バッサリ言うと、「あまり効果が無い」事が判明していると結論が出ていますよね。
私が調べた範囲でもそんな感じです。
参考
8254.teacup.com/kakezannojunjo...
効果が無いけど、しがみついているという印象しかありません。
twitter.com/musorami/statu...
タグ： 超算数
posted at 23:07:49
ubuntu in termuxで起動したPluto.jl、成功したのは嬉しいものの、遅すぎて使い物になりません。仮想マシンon仮想マシンをスマホにやらせるのは酷ということか… #julialang #ubuntu #android pic.twitter.com/SAph5fAAms
posted at 23:23:18
一方で、自宅PCをサーバーとしてJupyter notebookを走らせておき、インターネットからそれを開く方法を確立しました。レスポンスは良好です。こっちはネットワークの設定がわからず苦戦しました。qiitaに投稿とかできるように、まとめたいな。
#julialang #termux #android pic.twitter.com/lNfJc1zrbU
posted at 23:25:38
メモ
・自宅PC(グローバルIPなし)からさくらVPSへトンネリング(ssh -R)
・termuxからさくらVPSへローカルポートフォワーディング(ssh -L)
・さくらVPSからトンネルを通じて自宅PCへローカルポートフォワーディング(ssh -L -p)
タグ：
posted at 23:30:24
@tau18analytics Hi! I found another way for Julia env on Android. I run Jupyter on my home PC and open it from the internet. The local server Pluto.jl was very slow, but this way responds fast. It is also nice that I don't have to build Julia on Android.
タグ：
posted at 23:40:59
