黒木玄 Gen Kuroki(@genkuroki)/2021年04月27日

StatcastデータをダウンロードしてDataFrameにしてくれるJuliaファンクション。やきうファンのプログラマーは是非

[get-statcast-data-as-dataframe.jl](gist.github.com/prs-watch/6327...)

タグ：

posted at 00:23:17

hctaw_srp @hctaw_srp

オプションは少なくしているが、pybaseballのstatcastメソッド相当の物は落ちてくるよ

タグ：

posted at 00:27:50

@frejya_m 失礼します。

＞説明してわかってくれればいいが

これは、教師が説明してツイート主が分かってくれればいいが、ということでしょうか？

タグ：

posted at 01:18:20

@frejya_m ということは、この採点が妥当だという認識なのでしょうか？

タグ：

posted at 01:25:25

@frejya_m そのような認識はどこで身に付けたのでしょうか？
小学校時代にそう教わったのでしょうか？
小学校卒業以後も教わった順序で式を立てているのでしょうか？

タグ：

posted at 01:28:32

Fabian Becker @geekproject

Day 11

Toying with CUDA on #WSL2. Going forward I'll make an attempt to migrate my development work to my beefier Windows machine.

Continued work on my Evolutionary Algorithm workbench. Slow but steady progress.

#100DaysOfCode #julialang #code twitter.com/geekproject/st...

タグ： 100DaysOfCode code julialang WSL2

posted at 02:00:55

JuliaHub @JuliaHub_Inc

Learn more about SIMD, multi-threading, multi-process and #GPU programming. We will also be talking briefly about the need for #parallelism and some of the successes we’ve seen with Julia’s parallel capabilities. Register here form.jotform.me/211113248609449
#julialang #webinar pic.twitter.com/z6YLtzTecT

タグ： GPU julialang parallelism webinar

posted at 02:49:53

Gene Kogan @genekogan

富谷(助教);監修シン仮面ライダー @TomiyaAkio

Text-to-image with OpenAI's CLIP is getting more and more surreal. Here is "A banquet hall" pic.twitter.com/siEcaXxQyC

タグ：

posted at 02:51:12

ランダム行列完全理解者になった #なってない pic.twitter.com/Lwcu1cJpz6

タグ：なってない

posted at 03:45:03

The Unexplained @Unexplained

About 345,000,000 year old Crinoid fossil 😯 pic.twitter.com/YEaBoNMgk3

タグ：

posted at 04:23:45

非公開

タグ：

posted at xx:xx:xx

@frejya_m ＞かける数とかけられる数、という形で小学生時代に教わってるはずですねー

少なくとも私自身は小学校時代に掛け算の順序をとやかく言われたことはありません。

文科省も、順序を指導しろとは言っていません。 pic.twitter.com/l6Em061YJs

タグ：

posted at 06:36:54

@frejya_m ＞算数は数学ではありません
簿記の基礎です

それは何を根拠におっしゃっているのでしょうか？

タグ：

posted at 06:38:26

@frejya_m ＞乗算の交換法則は、数値の持つ属性まで交換しませんからー

どういう意味でしょうか？

タグ：

posted at 06:43:08

いやそれはダメですという私の話に同意してくれた人の理由が別の意味でダメダメなんだが、一緒にされて突っ走られて途方に暮れている。良くない、ではなく、間違えなんだが。面倒だから放置する。とにかく私はやらない。

タグ：

posted at 06:44:38

因みに突っ走ってる人、昨年はP値がマイナスになる、と言い切った教員。いつも間違えやおかしなことを堂々と声高におっしゃるのだが、周りは統計学がかなりできる人と思ってるw何かそんな政治家、首長いるなあ。

タグ：

posted at 06:50:38

学生に、全数調査したある点数の上位10件と下位10件を抽出して、それぞれの平均値を出してt検定かけさせろ、と言ってきた教員とそれに何の疑問も持たない非常勤たちが教えるデータサイエンス学科が日本にはあるんだ。仮説は何？

タグ：

posted at 07:00:56

nbextensions gist-it の main.js にパッチをあてた。

gist.github.com/genkuroki/23f3...

twitter.com/genkuroki/stat...

タグ：

posted at 07:08:12

#Julia言語 Plots.jl でk番目のパレットの色でプロットするには、

using Plots
k = 10
plot(sin; color=k)

これをついさっきまで知らなかった。知らなかったせいで

pal = palette(:default)
plot(sin; color=pal[k])

としていた。

gist.github.com/genkuroki/2c9d... pic.twitter.com/q5AL4qcaHy

タグ： Julia言語

posted at 07:15:04

@chirin2 でしょ？　しかもおかしい、って言ったら自信満々の非常勤が、そうですよね、これだと因果見えないですよね、と謎の同意をしてきました。

タグ：

posted at 07:25:40

日本のあちこちに怪し過ぎるデータサイエンス学科ができ、統計の基礎もわかってないのにデータサイエンス教員を名乗る人生まれてるのもっと知られても良いと思う。ここ卒業してデータサイエンティスト名乗るん？もちろんまともなところもあるんだろうけど。せめて学生自身が気付くと期待したい。

タグ：

posted at 07:38:33

こなみひでお @konamih

@paulerdosh ちょっと飲み込めなかったのですが，「１００人の成績をソートして上位１０人とどん尻の１０人の平均値の差の検定を行って結果を議論せよ」みたいな作業？まさかとは思いますがそのまさかでしょうか？

タグ：

posted at 08:01:09

#Julia言語 no method matching とかで表示された結果が見難いという話をしているのかな？

添付画像は、函数fについてメソッド

f(::AbstractString, ::AbstractString)

を定義し忘れたことによるエラー。Closest candidatesの表示中の赤字は引数に一致していない型。

gist.github.com/genkuroki/e997... twitter.com/sasasasasa339/... pic.twitter.com/IBrHZ7bsni

タグ： Julia言語

posted at 08:20:17

#Julia言語

g(::String, ::String) is ambiguous. Candidates: ～の場合。

これ、複雑なパラメータ付きの型が絡むと頭がこんがらがる。

Juliaの型システムでは「型の共通部分」の扱いが非常に難しくなっている。

エラーメッセージが親切に修正法を提案してくれている点にも注目！

優しい！😊 pic.twitter.com/0FROpEhAbb

タグ： Julia言語

posted at 08:20:19

#Julia言語

Juliaでは返り値の型宣言はほとんど使われない。

引数の型が伝搬して返り値の型が確定するように書くことが基本(型安定性、@ code_warntype が基本)。 twitter.com/genkuroki/stat...

タグ： Julia言語

posted at 08:20:19

#Julia言語返り値の型宣言は危険。

h(x::Int)::Int = x/2

のとき

h(2)→1

だが

h(3)→InexactError: Int64(1.5)

となる。

返り値の型宣言を使う場合にはこういうことにならないように、型の伝搬に注意を払うことが必須になる。しかし、注意すれば結果的に返り値の型宣言は大抵無用になる。 twitter.com/genkuroki/stat...

タグ： Julia言語

posted at 08:20:20

OokuboTact　大久保中二病中年 @OokuboTact

@konamih はい、そうです。それを考察せよ、と。

タグ：

posted at 08:31:00

＃超算数　＃小学校の掛け算

＞　算数は数学ではありません　簿記の基礎です。

いろんな意見があるんだなあ。 pic.twitter.com/So41iHvRvv

タグ：小学校の掛け算超算数

posted at 08:37:34

#Julia言語

Juliaにおける函数(function)は型によって定義域が指定された計算法(method)のあつまり。

中学や高校の数学で場合分けによる函数の定義について習っていれば、Juliaでも同じことをやっていると考えてよい。

ただし、エラーが発生することが許されている(添付画像の例2を参照)。 pic.twitter.com/X1U1iyuZZ2

タグ： Julia言語

posted at 08:39:48

「函数」は「関数」と完全に同じ意味。漢字の使い方が違うだけ。

数学がらみの話題では「なにをどう呼ぶかやどう書くか」は非本質的な問題なので、各人が好きなスタイルを採用すればよい。「函数」という書き方もよく使われている。

x↦y は「xにyが対応する」という意味でよく使われる。

タグ：

posted at 08:43:07

#Julia言語

多重ディスパッチ(multiple dispatch)は「函数=定義域が指定された計算法のあつまり」というスタイルを多変数函数に拡張したものでしかない。わざわざ名前が付けられているのが不思議なくらい自然な考え方。

以下のリンク先のambiguousエラーは添付画像の例3のように図に描ける。 twitter.com/genkuroki/stat... pic.twitter.com/muqUUqfXek

タグ： Julia言語

posted at 09:05:57

以下のリンク先の見方はおそらくひどい誤り。

文科省が決めた中等教育のスタイルに従う人は「関数」と書く。

私が学生時代に読んだ高木貞治『解析概論』は昔ながらの「函数」。

私は字が汚いので漢字の細かい部分の判別が難しくなる。

全体の形的に「函数」の方が見易いので愛用している。 twitter.com/mimon01/status...

タグ：

posted at 09:14:13

これ、どっちで書いてもよいです。

どのように書くかは非本質的な問題。

非本質的な問題を重く見る奴は劣った考え方をしていることになる。

タグ：

posted at 09:14:15

非公開

タグ：

posted at xx:xx:xx

yamazaks @yamazaksv2

世の中に通用しない、嘘を教える教員からこどもを守るのも親の務めです。
教員は高々数年の付き合いですが本人や家族にとっては一生の問題です。 twitter.com/bigshortsan/st...

タグ：

posted at 10:57:10

「『函数』は中国語でfunctionに近い音の字を当てて作った語であるという説」がありますが、それもデマのようです。

kirara0048.blogspot.com/2018/09/blog-p...
2018/09/08 「函数」が音訳というデマと、本当の語源 twitter.com/mimon01/status...

タグ：

posted at 11:06:24

写像f:X→Yは関係R⊂X×Yの特殊な場合ともみなせるので、同じ漢字を使った「関数」という表記を使うことにも一理あって、「函数」でも「関数」でもどちらでもよいと思います。

タグ：

posted at 11:06:25

safycol サフィコル @Lightning_13123

歴史的な由来云々は数学の中身とは関係ない。

ヒトが言葉に敏感な点は数学の理解にとって不都合な場合が多いと思う。言葉にこだわるという誤りから出発しているせいで、数学を理解できなくなる場合をよく見る。

タグ：

posted at 11:08:40

昨日のテストに関するツイートがすごいことになってます。
全部読んでまとめて結論を出そう。たくさんの方の意見を聞けてとてもありがたいです。
娘がちょっと悪い点数を取って、凹んでるところに、お父さんが特訓したるから次はいい点数取ろうと言っての結果なんでより納得がいってないんですよねぇ。 pic.twitter.com/QdKmVusyuc

タグ：

posted at 11:10:16

統計学用語としての「尤度」(ゆうど)は英語ではlikelihoodで、likelihoodは日常用語的には「尤もらしさ」という意味になるのですが、「尤度」が「尤もらしさ」を意味すると思ってしまうと、オーバーフィッティングがらみの事がらの理解がぐちゃぐちゃになります。

タグ：

posted at 11:13:57

あ〜る菊池誠(反緊縮)公式 @kikumaco

数学がらみの話題では、歴史的に確定してしまった専門用語の日常用語的な意味を完全に無視することが必要になる場合が多数あります。

タグ：

posted at 11:13:58

手を洗う救急医Taka @mph_for_doctors

「無駄は敵」と考える国民が望んだことでしょう。逼迫するのは日頃からきちきちだから。

緊急事態に対応できるようにするには日頃から無駄を用意しておかなくてはなりません。遊ばせておかなくてはならない。

緊縮は敵ですよ twitter.com/hazuma/status/...

タグ：

posted at 11:14:11

これはいくらなんでも切り取り笑 twitter.com/hazuma/status/...

タグ：

posted at 11:17:39

何から突っ込んでいいか迷うし統計の講釈たれる気にもならない。が、拒否するために何か言おうとは思ってる。でも今は冷静でないからやめとこ。

タグ：

posted at 11:36:15

Hiroshi Matsui @HeathRossie

なんかまたTransfer Entropyのツール出てる。どうやらスパイクのようなイベントデータで連続時間向けのやつのようだ。どれどれMatlabかな、Pythonかな、と思ったら・・・まさかのJuliaぢゃん！
journals.plos.org/ploscompbiol/a...

タグ：

posted at 11:58:24

yamazaks @yamazaksv2

@paulerdosh 検定かけて、棄却された学生はどうなるんですか、、、？

タグ：

posted at 11:58:31

FXAce @Zoukers

@Bank_of_Japan_j 反対は片岡委員のみ。 pic.twitter.com/sgnhloSk56

タグ：

posted at 12:02:04

#Julia言語 Juliaを使い始めて、型の伝搬(型安定性)が重要だと聞いて、函数fの型をtypeof(f)で確認するとtypeof(f)と表示されて、「これどういうこと？」となる(笑)

おそらく、みんなそうなっている。

「普通の常識」では函数の型はA→B(もしくはその変種)で表示されて欲しいと思うはず。続く pic.twitter.com/sLQTMZbAnc

タグ： Julia言語

posted at 12:38:24

#Julia言語続き。

函数fは引数達の型が指定されたメソッドのあつまりなので、各メソッドの型をA→Bもしくはその変種で表示して欲しいのですが、定義域のAの方はメソッドの定義に含まれていても、値域のBの方は引数の範囲を具体型まで縮めないと分かりそうもない。分かるとしても推測入りになる。続く

タグ： Julia言語

posted at 12:38:25

#Julia言語函数fの型は函数fそのものと一対一に対応しているので、函数fの定義を変更するとfの型も変化し、函数fを引数とする函数を実行すると、(おそらく再コンパイルが実行されていて)遅延が生じる場合があります。

DifferentialEquations.jlで微分方程式を記述する函数を変えるとそうなる。続く

タグ： Julia言語

posted at 12:42:00

#Julia言語具体型A,Bについて、型A→Bを持つ「函数」を作ることができれば、型A→Bを変更しない限り、その「函数」を引数とする函数は再コンパイルされずに遅延抜きで実行されるようになるはずです。

そういう機能がJuliaにもあると便利。続く

タグ： Julia言語

posted at 12:44:21

#Julia言語型A,BについてA→Bを型はとする函数を安易に作るには、

struct Func{A, B} f end
(func::Func{A, B})(x) = func.f(x)

のようにすればよいです。Func{A, B}の型はA, Bで決まる。しかし、中身のfの型が外側に見えず、Anyになってしまい型不安定性が生じます。

タグ： Julia言語

posted at 12:53:39

#Julia言語

struct Func{F, A, B} f::F end

とすれば、函数fの型が外側に見えるようになるのですが、この型のオブジェクトを引数とする函数はA, Bが等しくても、fの型Fが違うと再コンパイルが必要になって遅延が生じる。

続く

タグ： Julia言語

posted at 12:53:39

#Julia言語その辺を解決する方法はすでに開発されています↓

github.com/yuyichao/Funct...
FunctionWrappers.jl

使い方は test/runtests.jl を見れば分かります。

ただし、varargに対応していないので、上で述べたDifferentialEquations.jlでの微分方程式を記述する函数には残念ながら使えません。

タグ： Julia言語

posted at 12:53:40

#Julia言語この辺については

discourse.julialang.org/t/enforcing-fu...
Enforcing function signatures by both argument & return types

も面白いです。Juliaにおける函数(=引数の型が指定された計算法(メソッド)の集まり)について理解を深めるのに役に立ちます。

添付画像は
gist.github.com/genkuroki/7b4d...
より pic.twitter.com/v2SEDQEJ1o

タグ： Julia言語

posted at 13:01:35

#Julia言語

 discourse.julialang.org/t/want-a-field...
【There are no arrow types (i.e. function types encoding argument types and return types). Best is probably Jeff’s thesis in explaining why: github.com/JeffBezanson/p... . There is also a bunch of issues on github, e.g. github.com/JuliaLang/juli... .】

タグ： Julia言語

posted at 13:05:12

@frejya_m それは、帳簿に指定されていればそうでしょうが、算数と何の関係があるのでしょうか？

算数での掛け算の順序に拘ると、数量×単価という書式のときに困るのではないでしょうか？

タグ：

posted at 13:20:32

梅木大輔 @umeki_daisuke

今回アマ6段三人が大橋拓文プロにガチンコ勝負を挑むのですが、世の中では置き碁何子が適正だと思われているのだろうか？
投票していただけるとありがたいです。
投票：アマ6段がプロ棋士に囲碁で真剣勝負するとしたらハンデは何子が適正？
前提：プロは無理手でもなんでも容赦なく打つ

タグ：

posted at 13:24:49

#超算数

＞言われた（教えられた）ことを忠実に出来るかを判断する

　掛け算順序批判派が、これを批判的に述べたり、あるいは教員以外の順序擁護派が、これを国定的に述べることがあったが、

私は「教員はそこまで悪意をもってはいないだろう」と思っていた。

　でも教員自身が述べているんだね。 twitter.com/dorosakukunn/s...

タグ：超算数

posted at 13:57:34

#Julia言語 Distributions.jl は「確率分布オブジェクトに各メソッドをぶら下げる」という昔ながらの方針。

しかし、その確率分布オブジェクトのコンストラクタで生じる遅延が問題になっているようだ。

OOPスタイルの採用が果たして正しかったのか？

discourse.julialang.org/t/way-to-avoid...

タグ： Julia言語

posted at 13:59:48

#Julia言語パラメータθを持つyに関する確率分布p(y|θ)は、パラメータθを与えてp(y)=p(y|θ)の形で使う場合と、データyを与えて尤度L(θ)=p(y|θ)の形で使う場合があります。

パラメータθで決まる確率分布オブジェクトにメソッドp(y)をぶら下げる方針は尤度を主に扱う方針と相性が悪い。続く

タグ： Julia言語

posted at 13:59:49

#Julia言語ところが、確率プログラミング言語では、モデルが主に(対数)尤度函数の形式で与えられるので、Distributions.jl のスタイルは相性がよくないんですね。

実際、Distributions.jlを経由せずに(対数)尤度函数を直接与えると計算が大幅に速くなる場合がある。続く

タグ： Julia言語

posted at 13:59:50

#Julia言語こういうことがあるので、メソッドを単一のオブジェクトの保有物とするという方針はよろしくないような気がします。

パラメータ付き対数確率密度函数 p(y|θ) をパラメータθで決まるオブジェクトの保有物とみなすという Distributions.jl の方針は不自然なやり方に見える。

タグ： Julia言語

posted at 13:59:52

出版業界の習慣やら、そういう習慣に過剰適合してしまった人達にも出版物が売れないと困るという事情は確かに気にする必要はありますが、悪しき過剰適合を潰すためには積極的に統一しないという方針もありだと思う。

無意味なフォーマットの固定は次世代に負の遺産を残す。

ちょー算数はその一例。 twitter.com/m_ero_n/status...

タグ：

posted at 14:09:23

ちなみに、国税庁のウェブサイトでは、同じページのすぐそばで、かけ算順序のスタイルが違っていたりします。

私には全然問題ないように見える。

同一文書でかけ算順序が固定されている必要はないし、「函数」と「関数」が混在していても問題ない。 twitter.com/genkuroki/stat...

タグ：

posted at 14:09:23

かけ算順序が混在しているせいで税金のことが分からなくなるようなら、分からなくなるような考え方をしていること自体がひどいということを認識するべき。

「函数」「関数」が混在している程度で数学の内容が理解できなくなるのもおかしい。

不快であるのは悪しき過剰適合が原因。

タグ：

posted at 14:12:09

自分のtwilogを検索して確認してみたが、「函数」を愛用しているつもりであっても、「関数」も混じっていて混在している。

私はそれで全然問題ないと思う。

タグ：

posted at 14:14:20

フォーマットの固定は、社会的にその分の仕事をして増やし、場合によっては不毛な仕事の他人への押し付けになる。

そういうところでみんなが消耗するより、統一されていなくても困らないとなっている方がよいと思う。

タグ：

posted at 14:16:37

そしてその分で空いたリソースをもっと本質的な仕事にまわす。

タグ：

posted at 14:20:35

今まで無料で他人に強制できていた細かなフォーマットの固定を、有料にすればいいかんじになるのではないか？

自分が不快だという理由で他人にフォーマットの固定を求めるときにはさらに余計にお金を払わなければいけなくすれば、お金のために喜んでフォーマットを固定してくれる人も出て来るだろう。

タグ：

posted at 14:23:48

逆に、お金を出す不快さに比べれば、フォーマットが統一されていない不快さは大したことがないと思う人も出て来るだろう。

私は、国税庁のウェブサイトで数量×単価と単価×数量の両方のスタイルがすぐそばで使われていることには文句を言うこと自体が時間の無駄だと思うし、お金は一銭も払いたくない。

タグ：

posted at 14:28:35

良一 @RK201501

@genkuroki そういえば、私のところに提出いただく見積もりは各社バラバラですね。担当によって異なる場合もあります。もちろん
社印は同じですが。
単価と数量の順番もバラバラです。
古い話で恐縮ですが、昔の方が売っている書式で統一されていました。

タグ：

posted at 15:08:00

良一 @RK201501

@genkuroki もちろん手書きでした。
今は気の利いた担当者は書式を聞いてきます。

タグ：

posted at 15:10:50

yamazaks @yamazaksv2

FoxQ(上岡詩季)@楕円曲線を囲む会@ @foxq0113

@Bigshortsan 教員の間違いを糺すことはモンペでしょうか？
過保護や過干渉による理不尽要求と正当な要求をごっちゃにしていませんか？
掛け算の順序を守るクセをつけてしまうと、その後の算数、数学、理科で困ることになります。
なお、掛順強制は学習指導要領にはなく、指導していない学校もいくつもあります。

タグ：

posted at 16:04:17

パデ近似や多点総和法について、中高生向けに解説した記事を書きました。

中学一年生程度の知識があれば、だいたいなんとなく雰囲気がわかると思います。

無料なので、暇な時に読んでみてください!!
sky-time-math.hatenablog.jp/entry/2021/04/...

タグ：

posted at 16:27:30

疲れたのでお休みする

タグ：

posted at 17:04:36

なるほど、動画を扱うにはGPUが「必須」であったことがよくわかった。今までよくもまあ我慢していたものだ＞自分

タグ：

posted at 17:13:30

立派な理系の人たちはCUDAで高速数値計算とかやっているのかもしれませんが、それとは無関係にGPUは大事だった。

タグ：

posted at 17:15:03

Hiroyasu Kamo @kamo_hiroyasu

うわ、むちゃくちゃ甘い。真面目で素直な子ほど嘘を擦り込まれた被害は致命的なのを知らないご様子。 twitter.com/bigshortsan/st...

タグ：

posted at 17:17:35

あおじるPPPP @kale_aojiru