黒木玄 Gen Kuroki(@genkuroki)/2019年08月15日

ほりたみゅ (mastodonも見てね) @Hyrodium

ツイッターで飼い猫の写真を頻繁にアップしている人は、それだけで多くの人の役に立っているので、自信を持って生きましょう。

タグ：

posted at 23:44:36

Juliaのrank(A::Array{Float64,2})を信用しすぎない方が良いことが分かった pic.twitter.com/GmgWFkjq8U

タグ：

posted at 23:42:01

Shuhei Kadowaki @kdwkshh

具体的にはこんな感じ。
generic function 使った方がシンプルで cool に見える(少なくとも僕には) pic.twitter.com/mphRz9kXuT

タグ：

posted at 23:22:06

Shuhei Kadowaki @kdwkshh

新帯秀樹 Hideki Shintai @hs_heddy

最近 isa の代わりに multiple dispatches で条件分岐をするようなコードを良く書いてしまうんだけど(シンプルな条件分岐でも)、これって普通のスタイルなんだろうか。
ナイーブなbenchmarkだともちろん isa の方が良い:
gist.github.com/aviatesk/c8c0a...

#julialang

タグ： julialang

posted at 23:19:37

Azure Machine Learning ServiceのDSVM上に高速スクリプト言語Juliaの開発環境を構築する
#Julia言語
 #クラウド習得中（Azure ML）

hs-lifehacker.com/2019/07/01/azu...

タグ： Julia言語クラウド習得中

posted at 22:55:25

茶碗蒸し @tyawanmusi256

なにこれすき
airscarlet.com/programming_cp... pic.twitter.com/MGlwcUPigf

タグ：

posted at 22:38:15

@sekibunnteisuu @y_bonten #超算数「3日には半日しか働かなかったので、2日から5日まで3日半働いた」と言える。「3日半」とも言えるので連続量を扱っているとみなせる。

連続量と分離量の区別による件の本の第3章の説明は誤り。

誰かが作った非常識な算数に関する「理論」に合わせて様々な事柄を説明しようとしちゃダメ。

タグ：超算数

posted at 22:23:19

@sekibunnteisuu @y_bonten #超算数個人的には『かけ算には順序があるのか』の第3章はチョー算数的トンデモだと思っています。分離量と連続量の分類はもろに数教協。

「なぜ2時から5時までは3時間で、2日から5日までは4日間なのか」の答えは単純で後者で各日は幅を持った時間の長さを意味しているから。続く

タグ：超算数

posted at 22:17:48

@y_bonten メタメタさん自身が、掛け算順序問題の本質を理解していないのではないかと思うことがあります。

　かけ算の順序は氷山の一角で、等分除と包含除とか、増加と合併とかとも密接に関係しているのですが、それへの言及は皆無ですね。

タグ：

posted at 21:58:57

@MathSorcerer ほんとそですね。numpyで関数作るときにデータ型で迷う（ベクトル引数にするか↔︎あとスカラを引数にして、あとでapplyや内包使うか？）ことが多いです。

もちろんjuliaでも事前の設計は大事だと思いますけど、だいぶシンプルに考えて実装できそうなイメージをつかめました

タグ：

posted at 21:50:26

ゆうだいさんがまとめて書き上げるもんだと思ってました（すっとぼけ） twitter.com/physics303/sta...

タグ：

posted at 21:48:30

@triwave33 怠け心大事でキュ〜

タグ：

posted at 21:34:10

yudai.jl @physics303

@N_Y_Big_Apple 渡辺ベイズの行間を埋める本を@MathSorcererと一緒に執筆してください。（多分売れる）

タグ：

posted at 21:31:26

@MathSorcerer あとt3 * Iってのもなるほどですね。参考になります。
element wiseに考えてるとダメですね。

タグ：

posted at 21:28:46

@MathSorcerer 🙇‍♂️
・パッケージかないかの確認（あるのにaddしたら二度手間）
・import の使用。パッケージ全体usingよりよい？
・ドット演算子の使用で配列全体に関数
・transposeじゃなく’つかう
・func.(v, v’)の使用で、for loop2回を一気に計算

他に見落としあれば何卒🙏

タグ：

posted at 21:25:03

@sekibunnteisuu 結論は間違ってないからいいのですが、掘り下げかたが全然もの足りなくないですか？シリーズの趣旨的にはあれくらいが良いのかもしれませんが。

タグ：

posted at 21:22:54

「戦後の長きにわたる平和」というのが欺瞞なんだよね。
第二次大戦後も日本は朝鮮戦争、ベトナム戦争、湾岸戦争、アフガン戦争、イラク戦争に加担している。

とりわけアフガン戦争では自衛隊がアフガン民衆殺害を行っている米軍の後方支援を行った。

日本は戦「後」も参戦している。

タグ：

posted at 21:22:06

ロアネア@最多情報源バズニュース @roaneatan

@y_bonten どのあたりが「微妙」なのか知りたい^^

タグ：

posted at 21:19:41

バスケ中、3件の騒音の苦情で来た警察
→「ハーフコートショットに成功したら残ってもいい」 pic.twitter.com/YzJL4UFWjI

タグ：

posted at 21:17:52

ベトナム戦争の真っ最中、日本が米軍の無差別爆撃に全面的に加担していた真っ最中も、終戦記念日には、「平和の尊さを」とかやっていたんだろうね。

　だとしたら、その手のイベントが戦争阻止に何ら寄与してない傍証ではないだろうか？

タグ：

posted at 21:15:19

個人的には、終戦記念日での様々なイベントは好きではない。一般的抽象的な「平和」「戦争を二度と起こさない」なんて、誰でも言う。イラク戦争直前のブッシュと小泉だって言っていた。

タグ：

posted at 21:13:41

以前から疑問なんだけど「今の平和は、戦争での貴い犠牲の上にある」って、具体的にどういう意味なの？

アジア侵略した兵士が今の平和の礎になったとも思えないし、米軍の国際法に違反した無差別爆撃が今の平和を作ったとも思えない。

タグ：

posted at 21:12:29

@triwave33 ほい
gist.github.com/terasakisatosh...

タグ：

posted at 21:00:54

N.Y @N_Y_Big_Apple

@physics303 本を出したい

タグ：

posted at 20:40:49

今野滋 @konno3

Julia:
いっぺんLibSndFileとAbstractFFTsを削除して、
riptutorial.com/ja/julia-lang/...
改めてAbstractFFTsを入れたら入った！！
メデタシメデタシ
これでFFTできるかな？ pic.twitter.com/k6fCgu2r22

タグ：

posted at 20:39:45

今野滋 @konno3

だめだ、AbstractFFTsも入らない。
絵に書いた餅

タグ：

posted at 20:23:35

TaKu @takusansu

@OokuboTact OokuboTactさんのShadowbanが解除されています。
とりあえずご報告まで。

タグ：

posted at 20:22:50

今野滋 @konno3

プログラミング言語Juliaがすごい
フーリエ変換等の音声処理ができないものかと以下を参照
www.geidai.ac.jp/~marui/juliala...
プロンプトで“]”を打つとパッケージ入力モードになって、
add LibSndFile
と入力するだけで、必要な道具がそろう
..結局 ERROR: LoadError: failed process: となったが..

タグ：

posted at 20:12:57

ガウス過程のコードをjuliaで書いてみた。乱数、線型代数、プロットまで調べつつできた。といってもPythonのコードをtranlateしただけ。juliaをcolab.で動かせれば速度比較できるが途中。

コード晒すので、どなたかマサカリくださいm(_ _)m

github.com/triwave33/gp_a... pic.twitter.com/wGUPxDV8bL

タグ：

posted at 20:03:16

l_ppp @ppp3141592ppp

ランダウのO()消すの #Julia言語でSymPyだと何だろうと探したら

式.removeO()

か twitter.com/mathematica_bo...

タグ： Julia言語

posted at 19:42:58

鰹節猫吉 @sunchanuiguru

高校数学でも大学入試対策でも #超算数なのか！
すごいぞ超算数。 twitter.com/kakezantokui/s...

タグ：超算数

posted at 19:34:39

「論理的に詰めて聴いていたら多分気が狂っていた」と言えるのは、その後、論理的に詰めて理解する能力(要するに全てを再構成する能力)を身に付けたから。

結構、危なかったかも。

適度に不真面目で正解だった。

タグ：

posted at 18:54:10

私が大学2年のときに、仮説検定やら区間推定やらのやり方の処方箋を覚えるための小テストが毎回ある講義があったのだが、性格的にそういうのは耐えられないので全部サボった記憶がある。午前の講義だったし。

もしもその講義を論理的に詰めて聴いていたら多分気が狂っていた。

タグ：

posted at 18:26:07

クッソw twitter.com/mechpil0t/stat...

タグ：

posted at 18:13:46

@kankichi57301 @kankichi57301

@genkuroki （楽屋オチになるけど）定数の畳み込みをどこまで徹底するか、とういう話なんですね。
#Julia

タグ： Julia

posted at 17:53:51

横山裕道 @zxghiro

村井氏は自著でも＜（自らの講演を聞いて）目を輝かせて「将来、地震予測をしたい」と熱望する生徒もいた＞と書いており、許せないことだと思いました。 twitter.com/Yokohama_Geo/s...

タグ：

posted at 17:45:46

mechpil0t @mechpil0t

山本崇一朗.高木19ﾂﾊﾞｷ8将棋14 @udon0531

tapiocAR ...🤭 #ARKit3 face tracking & blend shapes #tapiocatea project #bubbletea #ARkit pic.twitter.com/vcq10GFqSp

タグ： ARkit ARKit3 bubbletea tapiocatea

posted at 17:38:43

んあ pic.twitter.com/If2MJA5YEX

タグ：

posted at 16:59:46

Viral B. Shah @Viral_B_Shah

@mattshomepage @stevenstrogatz @JuliaLanguage Plenty of people are using #julialang in industry. Some case studies: juliacomputing.com/case-studies/

タグ： julialang

posted at 16:42:47

@nan_bayesstat

まあ普通に正則化したい場合なら、LassoLarsIC使えば良いのではと思うのですが…

タグ：

posted at 16:38:11

#統計「仮説検定」や「信頼区間」などの普通の統計学のしがらみにとらわれずに色々勉強できた人達の定義は、普通の統計学の勉強をする前に汎化誤差(および予測誤差としてのKullback-Leibler情報量)について理解してしまった人達を意味しています。赤池弘次さんが切り開いた道に最初から入った人達。

タグ：統計

posted at 16:01:34

#統計「仮説検定」や「信頼区間」などの普通の統計学のしがらみにとらわれずに色々勉強できた人が、そのしがらみ部分も理解したくなったら、「検定の手続きや信頼区間の計算は数学的モデルのデータによる評価法の一種である」という立場で全てを再構成すると戸惑わずに済む可能性が高まると思います。

タグ：統計

posted at 15:49:32

#統計私がシンプルで安全だと強調している信頼区間の理解の基礎は「検定(test)は数学的モデルをデータで評価する方法の一種である」という考え方である。

これは統計学がど素人の私個人の考え方ではあるが、約40年前の赤池弘次さんの論説

ismrepo.ism.ac.jp/?action=pages_...

のpp.7-8にも書いてある。 pic.twitter.com/VesF78i9KW

タグ：統計

posted at 15:44:55

@nan_bayesstat

私の場合は非線形変換の有無とかも見たいし、また気分的にあまりパラメータが多いモデルを組みたくない事もあり、(W)AIC多用派でLassoはあまり使いませんが…

タグ：

posted at 15:44:28

@nan_bayesstat

AIC使わずLassoで済ませる人、正則化係数は何で決めてるんです？

タグ：

posted at 15:41:36

きはる @ss_pon_

そして写真撮るのめっっちゃ苦手な旦那がカメラの練習するらしいので作ったとりあえずこれだけ気をつければ大事故は起きないんじゃないかなまとめ pic.twitter.com/vxbXeVuPX0

タグ：

posted at 15:36:53

#統計通常の場合には、有限個のパラメータしか持たない数学的モデルの範囲内に母集団分布がぴったり含まれているとは期待できず、実用上十分なだけ近似的に含まれていることを期待できれば具合がよいという感じだと思います。

サンプルがベルヌイ試行で得られているモデルを使える場合は要注意。

タグ：統計

posted at 15:14:21

#統計そのような場合には、「政策Aに賛成票を入れる人の割合」だけで可能な母集団分布が決まってしまいます。数学的モデルとして、確率pで賛成票を入れるモデルを考えて、パラメータpを動かせばそのどこかに母集団分布が含まれていると思ってよい。
↑
これは非常に特殊な場合。

タグ：統計

posted at 15:14:20

#統計この手の例を出すときに悩むのは、無作為抽出がベルヌイ試行になっているシンプルだが特殊過ぎる場合の取り扱い。

例：政策Aに賛成の投票をするか否かを問うアンケートを母集団からの無作為抽出で行う場合。

母集団全体では政策Aへの賛成票を入れる人の割合が決まっていると仮定。続く

タグ：統計

posted at 15:14:20

言迷水 @genmeisui

磁気水業者は「反論潰し」に熱心です
これまでも何度か争いを起こしています
・プロバイダ相手に裁判を起こして反論者のアカウント停止させる
・大学事務に書面で「反論サイト削除」を求める
・「教員は訴追されている」とデマを流す

今回の意見書がどう展開するかな

タグ：

posted at 15:02:04

言迷水 @genmeisui

年次大会で疑似科学の発表が行われ、問題の大きさから公開の同意を得たという経緯だそうです
はっきり「効果は生じない」と書いてあるので、磁気水の業者からの反論が楽しみです

タグ：

posted at 15:02:04

言迷水 @genmeisui

日本技術士会から「NMRパイプテクターの効果」という見解書が出されました
「磁気活水器との差異がない」
「赤錆を減少させる有用な効果は生じないと考えられる」
との内容です
この見解書は頼もしい！
www.engineer.or.jp/c_shibu/chiba/...

タグ：

posted at 15:02:03

Ishida the Brain Dam @tbs_i

確率論はデカルトがギャンブラーに相談を受けたのが興り。
ちなみに某T北大の数学科の学生が、「パチンコの確率計算楽勝！！」と叫びながらパチンコセミプロ生活をしているのを見たことがある。数学は役に立つ学問w twitter.com/genkuroki/stat...

タグ：

posted at 15:01:22

#統計信頼区間ユーザー的には、強い結論が得られることにしておいた方がうれしいだろうし、統計学普及側にとっても、強い結論が得られることにしておいた方が宣伝し易い。

しかし、その強い結論は、数学的モデルと現実を混同することによって得られており、非科学的な内容になっている‼️

タグ：統計

posted at 14:14:09

#統計

(1) 無作為抽出と信頼区間の計算を繰り返すとき、真の値μ₀が信用区間に含まれる割合は1-αに近付く(誤り)

(2) 信用区間に含まれるμについて「母集団分布が平均μの正規分布である」という仮説が有意水準αで棄却されない(正しい)

誤りである(1)が非常に強い結論になっていることに注意。続く

タグ：統計

posted at 14:14:07

#統計上の例では、母集団分布が正規分布になっているかどうか不明であっても、信頼区間に含まれるμについては

「母集団分布が平均μの正規分布である」という仮説が有意水準αで棄却されない

とは言える。こういう推論ならば論理的にクリアかつ安全。

タグ：統計

posted at 14:01:49

#統計上の例で、「標無作為本抽出と信頼区間の計算を繰り返すとき、真の値μ₀がその区間に含まれる割合(確率)は1-αに近付く」は、もしも母集団分布が正規分布になっていれば正しいです。

しかし、現実の母集団について無条件に正規分布性を仮定するのは苦しい。

タグ：統計

posted at 13:54:41

www twitter.com/nishio/status/...

タグ：

posted at 13:51:35

岸政彦 @sociologbook

津田和俊／急激に進行した網膜剥離と闘って @kaztsuda

何これ？こういう方なの？

「大東亜戦争の日本が弱体化するために GHQ が導入した教育や文化が要因と考えていますが」

「重度障害者の「れいわ新選組」・木村英子議員、舩後靖彦議員に聞く」TBSラジオ「荻上チキ・Session-22」 www.tbsradio.jp/399025

タグ：

posted at 13:20:41

雨水の９０％にマイクロプラスチック、色とりどりの繊維が混入　米調査www.cnn.co.jp/fringe/3514131...
これ「プラスチックの出所は不明」とあるけど「色とりどりの繊維の形状」というとはフリースの生地なのでは？
だとするとハウスダストの中にも含まれているので、レジ袋禁止など全く意味がない可能性が。

タグ：

posted at 13:12:32

個人的には『かけ算には順序があるのか』って本は微妙な評価なのだが、読んだ娘が「先生がその話をするとあの本を思い出す」と言っているので、チャンネルを提供してくれたことには感謝している。

タグ：

posted at 13:12:11

Otepipi @Otepipipi

はてなブログに投稿しました #はてなブログ, #Julia言語, #Julialang, #modelica
Open ModelicaをJuliaで操作する - システムとモデリング
otepipi.hatenablog.com/entry/2019/08/...

タグ： Julialang Julia言語 modelica はてなブログ

posted at 13:03:46

ドラエモーション @0x24w

彼の父親は毎日血圧を記録していたらしい。彼が降圧剤を飲むなと指示した日から徐々に血圧は上昇して倒れる１週間前には180。そこで記録は止まっていたらしい。

タグ：

posted at 12:54:10

ドラエモーション @0x24w

新卒の時お世話になった同期が帰省してて昨晩うちに来た。彼の父親は血圧が高く彼なりに調べた結果YouTubeの武田邦彦にたどり着き「降圧剤なんか無意味だ」というとんでも意見を信じてしまい父親に降圧剤を飲むなと指示してしまったらしい。そして半年後脳梗塞で父親は倒れ入院。号泣していた。

タグ：

posted at 12:49:02

松永和紀 @waki1711

読んだ。立場上、科学的な説明を聞く機会は幾度となくあったはずなのに、トンデモに陥っている。聞きたいことしか聞かない確証バイアスまたも、かな twitter.com/mizuhofukushim...

タグ：

posted at 12:29:09

nishio hirokazu @nishio

面白い。「明日から来なくていい」は解雇でも退職勧奨でもなくただの業務上の指示だから、会社に行かず給与が請求できるという判例 twitter.com/n_shishikado/s...

タグ：

posted at 11:31:25

娘がその話をする際に、ウサギ3匹の場合に「学校では」3×2と書くのか2×3と書くのかを思い出すのに苦労していて笑ってしまった。

タグ：

posted at 10:56:21

#統計シミュレーション例

twitter.com/genkuroki/stat...

タグ：統計

posted at 09:26:38

えぇ、まさかこんな夏休みのど真ん中にね、娘の担任が耳３本のウサギを描いているという事実を知ることになるとは思いませんでしたよ。#怪談

タグ：怪談

posted at 09:23:20

OokuboTact　大久保中二病中年 @OokuboTact

#統計統計学入門書に書いてある「標本抽出と区間計算を繰り返すとき、真の値μ₀がその区間に含まれる割合は1-αに近付く」のような説明は二重の意味でよろしくない。「確率」と言ってよいのに、「割合」と言い換えているのはよくない(軽い罪)。数学的モデルと現実の区別が曖昧なのは致命的。

タグ：統計

posted at 09:02:05

OokuboTact　大久保中二病中年 @OokuboTact

MMTの経済理論はアメリカ生まれの理論だと思うんだけど、
アメリカはリーマン・ショック直後にどんな経済政策を取ったんだ？
バーナンキの政策を全否定？

＃中野剛志の経済理論 pic.twitter.com/BgNg7maLVP

タグ：中野剛志の経済理論

posted at 09:00:20

＞　しかし、MMTには、この上なく強力な味方がいる。
＞　それは「事実」である。

笑

＃中野剛志のMMT pic.twitter.com/DfaRU16IzX

タグ：中野剛志のMMT

posted at 08:54:50

#統計統計学入門書に書いてある「標本抽出と区間計算を繰り返すとき、真の値μ₀がその区間に含まれる頻度の割合は1-αに近付く」というような解釈は__誤り__。

「平均μの正規分布(分散は未知)だ」という仮説が有意水準αで棄却されないμの範囲であると解釈すればシンプルかつ安全。

タグ：統計

posted at 08:52:04

OokuboTact　大久保中二病中年 @OokuboTact

#統計例えば、現実の母集団平均μ₀を

平均μの正規分布モデル(分散は不定)とt分布を使う方法

で区間推定したとき、100(1-α)%信頼区間は

平均μの正規分布モデル(分散は不定)が有意水準αで棄却されないμの範囲

を意味していると解釈すればよいわけです。

タグ：統計

posted at 08:52:02

中野剛志は、事実を直視していないから、こんな妄言をするんだな pic.twitter.com/a6zNAcyhft

タグ：

posted at 08:50:35

#統計個人的には、「100(1-α)%信頼区間」の意味は「信頼区間を計算するために用いた数学的モデルが有意水準αの検定で棄却されないパラメーターの範囲」と解釈しておけばシンプルかつ安全だと思う。

データから信頼区間を計算することは、パラメータ付きの数学的モデルのデータによる評価の一種。 pic.twitter.com/wVDWfKwnwu

タグ：統計

posted at 08:40:44

#統計そのウィキペディア記事では「研究者達による信頼区間の誤解」について以下が紹介されています。

iase-web.org/documents/pape...

pdfs.semanticscholar.org/1102/df06d8372...

www.ejwagenmakers.com/inpress/Hoekst...

www.sciencenews.org/blog/context/s...

まだ読んでいない。

タグ：統計

posted at 08:29:32

#統計資料：英語版の「信頼区間」のウィキペディアの「誤解」の節には

【厳密な頻度主義者によれば～もはや確率の問題ではない】

と書いてあって、その後にNeymanさんの言葉が引用されています。

肝腎の「数学的モデルと現実の区別」については記載無し。

ひどいね。

en.wikipedia.org/wiki/Confidenc... pic.twitter.com/kqtBbtxB8r

タグ：統計

posted at 07:42:43

かけ得 @kakezantokui

そういや僕の母校の教員も数学的帰納法でn=kの時〜と書く際に(kは自然数)の文言が無いと〇〇大学では減点だとか、増減表書くときは1番左にx,f’(x),f(x)と書いたときその横の縦線は二本線||で仕切らないと減点だとか荒唐無稽な事を言ってたけどなんかもうこの人大丈夫かなという感じではあった。

タグ：

posted at 07:21:39

mathematica_command @mathematica_bot

大学側が受験生に「例えば以下の公式は使っても良い」と書かれた1枚の紙に印刷された公式集を配布するのはやめて欲しいと思います。

なぜならば受験生を指導している人達の中でレベルの低い人達が「お墨付きが得られた公式集」扱いを始めるからです。

数学はそういうものではない。

タグ：

posted at 07:08:06

Normal[expr]: 式expr をあらゆる特殊な形式から，通常の式に変換する。例えばよく使う場面として、Seriesで関数を展開したときに最後に出るO(x^n)の部分を消した部分を普通の関数として処理したいときに便利。

タグ：

posted at 07:05:50

やまねこ⚙楢ノ木技研 @felis_silv

@phasetrbot 英語の本でも気になる部分は日本語の本と同じです。たぶん、統計学入門書が抱えている問題は世界共通だと思われます。 #統計

数学面で困難がないなら最初から難しめの本を読む方が「安全」ということがあるかもしれません。日本語圏なら赤池弘次さんもしくはそれに近い人達が書いたものを読むとか。

タグ：統計

posted at 06:59:38

天むす名古屋 Temmus @temmusu_n

gccの最適化すげぇｗｗここまで出来るかｗｗｗ
円周率を計算して地道に小数点以下8桁まで文字列に変換して出力するプログラム。その、コンパイル結果は、
puts("3.14159265");
godbolt.org/z/lK6PTr pic.twitter.com/o7cLR7tsed

タグ：

posted at 03:02:39