Twitter APIの仕様変更のため、「いいね」の新規取得を終了いたしました

黒木玄 Gen Kuroki

@genkuroki

  • いいね数 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 を見て下さい。
並び順 : 新→古 | 古→新

2018年03月22日(木)

unyaunya@祝森ゆうこ議員落選 @kys2917

18年3月22日

@ceptree まぁ、そうでしょうね。受託しかやってないとはいえ、一応ソフト屋なのでプロプライエタリ・ソフトのビジネスモデルが崩壊していくのを見るのはちょっと複雑なところもあるんですけどね。

タグ:

posted at 00:00:19

ceptree @ceptree

18年3月22日

2枚目の画像の全文はこちらになります。Python(numpy)の方についてnp.array([[1, 2,3]])とすればいけるというご指摘がありましたが、MATLAB的には、Pythonで1次元配列、2次元配列の違いを意識しないといけないのは、難しいだろと言いたいようです。 pic.twitter.com/K2znbNsmmE

タグ:

posted at 00:01:54

ceptree @ceptree

18年3月22日

@kys2917 プログラミング言語に関してはそうかもしれませんね。詳しくないですが、ソフトウェアの特許を取るのが比較的難しいと聞いたことがあるので、その辺りもあるのかも知れません。

タグ:

posted at 00:06:29

ceptree @ceptree

18年3月22日

Python、MATLAB、Juliaのベクトル、行ベクトル、列ベクトル、行列の違い、誰かまとめましょう

タグ:

posted at 00:11:38

白山風露 @kazatsuyu

18年3月22日

測ったわけじゃないけどJuliaはCと同程度に速くはないのでは……
JIT最適化である以上コンパイル時最適化には追いつけないでしょ

タグ:

posted at 00:14:30

Taku @Less_role

18年3月22日

Julia君はもうちょっとすれば一番使いやすい環境になりそうという期待感がすごい

タグ:

posted at 00:15:13

白山風露 @kazatsuyu

18年3月22日

JuliaはPythonやRubyなんかと比較するべき言語であって、型や最適化がそこそこ強いので処理内容によっては追いつける場合はあるけど、CやC++やRustと同レベルの最適化を目指した設計には初めからなっていないし、そういう観点で語っても意味はない気がする

タグ:

posted at 00:23:02

白山風露 @kazatsuyu

18年3月22日

Juliaが自らの言語仕様の範囲内でこれだけ速いって示した処理に、Pythonが実質Cで実装されたライブラリ関数を使ってもっと速いって言うのもナンセンス

タグ:

posted at 00:25:14

黒木玄 Gen Kuroki @genkuroki

18年3月22日

twitter.com/kazatsuyu/stat...

#Julia言語 原理的にはJulia言語は速さでCには勝てないと私も信じています。

しかし、現実にはやってみないとわからない。

数学的に必要なEi函数がJuliaに実装されていなかったので、CのコードをそのままJuiaに翻訳して試してみたら、Cと同じ速さでした。証拠に続く

タグ: Julia言語

posted at 00:35:49

黒木玄 Gen Kuroki @genkuroki

18年3月22日

#Julia言語 証拠は

nbviewer.jupyter.org/gist/genkuroki...

にあります。Cで書かれたEi函数を極めて忠実にJuliaに翻訳しています。C版とJulia版で計算速度を比較したら、気にするような違いはありませんでした。もとのCのコードは2種類で片方ではJuliaの方が微小に速かったです。

twitter.com/genkuroki/stat...

タグ: Julia言語

posted at 00:38:51

白山風露 @kazatsuyu

18年3月22日

@genkuroki 個々の処理でCと同じ速度になることがないとは言ってませんよ

タグ:

posted at 00:39:02

unyaunya@祝森ゆうこ議員落選 @kys2917

18年3月22日

@ceptree US patentはいっぱい取ってる見たいですね。関連製品はこれで潰しているのかも知れません。もしかすると、MATLABクローンの互換性の低さもこれに起因しているのか、と思ったけどさすがにそれはないか。クリーンルーム開発すればいいだけ(実際の困難さは知りません)ですから。

タグ:

posted at 00:39:15

黒木玄 Gen Kuroki @genkuroki

18年3月22日

#Julia言語 で特殊函数のライブラリを書くことは、実用的に十分に考えられる選択肢です。

E1函数をJuliaで実装して最適化するという内容の極めて面白い話を

nbviewer.jupyter.org/github/steveng...

で読めます。Python scipyで使われているFortranで書かれたライブラリより、Julia版は5~6倍速くなっています。

タグ: Julia言語

posted at 00:42:11

ceptree @ceptree

18年3月22日

@kys2917 以前調べたんですが、行列演算に関する特許は見つけられませんでした。
twitter.com/ceptree/status...

タグ:

posted at 00:43:16

黒木玄 Gen Kuroki @genkuroki

18年3月22日

#Julia言語 この手の話題をふると「SIMD?」のような極めて残念な反応があるのですが、Julia版が最適化で速くなっているのは、Julia言語のような快適な環境でないと、やる気になれないアルゴリズムの最適化を行っているからです。ハードの力ではなく、アルゴリズムの最適化で高速化しています。

タグ: Julia言語

posted at 00:44:04

黒木玄 Gen Kuroki @genkuroki

18年3月22日

#Julia言語 昔から使われている(例えばFortranで書かれているような)特殊函数のライブラリは最適化がものすごくされており、それ以上の最適化は困難になっているものだと思っていましたが、現実はそうなっていないようです。最適化不十分のライブラリがPython scipyなどを通して広く普及している。

タグ: Julia言語

posted at 00:46:14

黒木玄 Gen Kuroki @genkuroki

18年3月22日

#Julia言語 あと、Cで高速に動くプログラムを書くのは滅茶苦茶面倒です。高速で信頼できるライブラリを見繕ってまとめあげるだけでかなり面倒。

Julia言語を使えば最初から高速で質の高いライブラリ群を意識せずに使えます。高速で質の高いライブラリ群をJulia言語という高速の糊で貼り合わせてある。

タグ: Julia言語

posted at 00:49:21

黒木玄 Gen Kuroki @genkuroki

18年3月22日

@kazatsuyu どう思っていようが、実際に試して確認してみた方がよいと思います。

タグ:

posted at 00:53:23

トデス子'\ @todesking

18年3月22日

いくらJITがあってもCには勝てないだろうという考え方は多くの場合妥当ですが、事例によってはあっさり抜くので油断できない。古くはCommon Lispなどで blog.practical-scheme.net/shiro/20100620... twitter.com/genkuroki/stat...

タグ:

posted at 00:54:14

黒木玄 Gen Kuroki @genkuroki

18年3月22日

まあ、実際に試してもいない人が何を言っても説得力ゼロ。

私がやっている程度に実証的なきちんとコードを全公開して話を続けないと意味がない。

みんなが欲している情報は、馬鹿でもわかる一般論ではなく、実際にうまく行く場合(うまく行かない場合)に関する具体的な情報だと思います。

タグ:

posted at 00:55:25

黒木玄 Gen Kuroki @genkuroki

18年3月22日

論よりコード

タグ:

posted at 00:55:38

黒木玄 Gen Kuroki @genkuroki

18年3月22日

すでに普及している特殊函数のライブラリの中にも最適化が不十分なものがあるという事実は、若い人達にとっては名を残すチャンスかも。(←Julia言語とは無関係な話)

「2018年の〇〇氏による最適化によって△△函数のライブラリ群が3倍高速化した」という感じに名を遺すチャンス。

タグ:

posted at 00:58:13

unyaunya@祝森ゆうこ議員落選 @kys2917

18年3月22日

@ceptree ありがとうございます。弁理士さんの「日本が最もソフトウェア特許に寛容かも」は意外でした。日本の特許法では「自然法則の利用」が求められるのでムリ、米では純粋アルゴリズムでもOKという認識でしたから。それでも行列演算を高速に実行する方法とかならともかく、それ自体はさすがにムリでしょうね

タグ:

posted at 00:59:24

柴田 長正 @Nagamasa_Bob

18年3月22日

①公立教員を残業代の支払いの対象外とする #給特法 (公立の義務教育諸学校等の教育職員の給与等に関する特別措置法)や
②私立学校や民間企業で、残業してもいいよという協定 #36協定 (時間外労働・休日労働に関する労使協定)
について、わかりやすく書かれていますね。
news.yahoo.co.jp/byline/konnoha...

タグ: 給特法 36協定

posted at 00:59:33

黒木玄 Gen Kuroki @genkuroki

18年3月22日

あと、「Cで書かれた2種類のEi函数のコードを忠実に #Julia言語 に翻訳したとき、速度の劣化が皆無だったこと」は結構貴重な情報だと思います。

地道にやってみてベンチマークテストの結果が出たときにはびっくり!Julia翻訳後に何か最適化しないと速度的にCと同等にはならないと思っていました。

タグ: Julia言語

posted at 01:03:58

黒木玄 Gen Kuroki @genkuroki

18年3月22日

Ei函数をわざわざ #Julia言語 で実装しようとしたモチベーションはJuliaでお手軽に素数定理を数値的に確認しようとしたら、li(x)がJuliaに見当たらなかったからです。li(x)=Ei(log(x))なのでEi函数を実装すればよいわけです。

結果的に添付画像をうまく描けました。楽しい!

pic.twitter.com/AchyIxQxBx

タグ: Julia言語

posted at 01:10:03

黒木玄 Gen Kuroki @genkuroki

18年3月22日

特殊函数の数値計算のコードには、テイラー展開だけではなく、連分数展開なんかが出て来るところが非常に楽しいです。

タグ:

posted at 01:12:08

黒木玄 Gen Kuroki @genkuroki

18年3月22日

幾つか特殊函数の数値計算のライブラリのソースコードを見てみたのですが、ものすごく面倒そうに見えたのは、オーバーフローとアンダーフローへの対策です。函数の性質と実際に使われる場面について非常によく理解していないとものすごく難しい。

タグ:

posted at 01:14:33

黒木玄 Gen Kuroki @genkuroki

18年3月22日

特殊函数のコードがものすごく複雑になっている例を次のリンク先で紹介してあります。 #数楽

twitter.com/genkuroki/stat...

タグ: 数楽

posted at 01:16:49

黒木玄 Gen Kuroki @genkuroki

18年3月22日

twitter.com/kazatsuyu/stat...

単なる思い込みは怖い。

#Julia言語 はC,C++,Rustのような速さを出せるような設計になっていないことは明らかである」なんてJulia言語開発陣に言ったらフルボッコにされることは確実(笑)。

論よりコード

タグ: Julia言語

posted at 01:23:30

unyaunya@祝森ゆうこ議員落選 @kys2917

18年3月22日

引き続き、「プログラミング言語 Julia の紹介」を読むもしかして読んだことあるかも)

www.slideshare.net/kentaroiizuka/...

タグ:

posted at 01:25:41

Daisuke KATO @Dsuke_KATO

18年3月22日

julia <-> pythonとかjuliat <=> rubyの連携を頑張ってます、という絵どこだっけ・・・

タグ:

posted at 01:27:59

白山風露 @kazatsuyu

18年3月22日

なんと言われようとJuliaが動的型付けであることに起因する関数初回呼び出し時のコストの存在は自明ですし、言語設計者がそれをわかっていないとは思えませんが twitter.com/genkuroki/stat...

タグ:

posted at 01:34:31

斉藤 淳 『アメリカの大学生が学んでいる @junsaito0529

18年3月22日

帰国するときに、大学に就職しないで起業した理由の一つを思い出した。「誰でも分かるタイポ」を学会や研究会で指摘するオーディエンスの存在。「漢字が間違ってますね」レベルの指摘を大勢の前でして溜飲を下げる、書評でどうでもいい史実の誤りを指摘する、そういうのが嫌でたまらんのだった。

タグ:

posted at 01:43:52

黒木玄 Gen Kuroki @genkuroki

18年3月22日

twitter.com/kazatsuyu/stat...

#Julia言語 JITコンパイルのオーバーヘッドの問題解決は将来の問題。

まだ完全実用には程遠いのですが、すでにAtcoder方面向けにコメントしたことですが、Juliaもコンパイルしてバイナリを作れます。

github.com/JuliaLang/Pack...

タグ: Julia言語

posted at 01:44:46

黒木玄 Gen Kuroki @genkuroki

18年3月22日

#Julia言語 は「できそうなことは大体やった」とは全然言えない状態なのですが、それでも速度的な意味合いで相当に実用的に使える場面もあって、JITコンパイルのオーバーヘッドを含めても、C、C++、Rustと同程度の速さで数値計算を楽しめる場合はたくさんあります。

タグ: Julia言語

posted at 01:48:10

黒木玄 Gen Kuroki @genkuroki

18年3月22日

#Julia言語 たぶん、Juliaを試しに使ってみた人が増える次の世代で、Julia言語はベースラインになってしまうと思います。

スクリプト言語のように気楽に使えるのに、CやC++やFortranやRustでやろうと思っていた仕事を代替できる場合もあるくらいの計算速度を実現できることをみんな知ってしまった。

タグ: Julia言語

posted at 01:50:44

黒木玄 Gen Kuroki @genkuroki

18年3月22日

#Julia言語 私のプログラミング能力だと、Cで書いてgccでコンパイルして実行するよりも、Juliaで書いた方が速くなる場合が多いことは確認済み。

視覚化を含む試行錯誤が容易な点も重要。計算してみないと次にどういうコードを書いて良いのかわからないようなケースでは本当に使い易いです。

タグ: Julia言語

posted at 01:57:28

黒木玄 Gen Kuroki @genkuroki

18年3月22日

#統計 #Julia言語

MCMCパッケージでよくテスト用に実行されている所謂 Eight Schools を #Julia言語 で扱ってみました。

nbviewer.jupyter.org/gist/genkuroki...
「八学校」への最尤法とベイズ推定法の適用

ベイズ推定はMambaを使い、最尤法は自前のコードで行いました。続く

タグ: Julia言語 統計

posted at 02:11:14

黒木玄 Gen Kuroki @genkuroki

18年3月22日

#統計 私が知りたかったのは次の2つのモデルのどちらが適切であるかです。八学校のサンプルを (y_i, σ_i) と書きます。

(A) y_i ~ Normal(θ_i, σ_i), θ_i ~ Normal(μ, ρ) (パラメーターはμとρ)

(B) y_i ~ Normal(μ, σ_i) (パラメーターはμのみ)

前者は後者の階層モデル化です。続く

タグ: 統計

posted at 02:14:15

黒木玄 Gen Kuroki @genkuroki

18年3月22日

#統計 モデル(B)では「平均はすべでの学校で共通だが、分散は異なっていてよい」という設定です。モデル(A)はその階層モデル化で「分散だけではなく、平均にもばらつきがある」という設定になっています。

モデル(A)で学校ごとの平均のばらつき方を表すρが0ならば、モデル(B)に戻ります。

タグ: 統計

posted at 02:31:00

黒木玄 Gen Kuroki @genkuroki

18年3月22日

#統計 モデル(A)で最尤法を機械的に試してみたら、ρ=0と推定されました。そこでモデル(A)の尤度函数を描いてみたら添付画像のようになりました。(尤度函数は最大値が1になるように正規化してあります。)

確かに尤度函数はρ=0で最大になっています。 pic.twitter.com/8jY6nXdlej

タグ: 統計

posted at 02:31:00

黒木玄 Gen Kuroki @genkuroki

18年3月22日

#統計 というわけで、最尤法は自動的にモデル(B)を選択してしまいます。

ベイズ推定法ではWAICを計算して比較してみました。WAICではモデル(A)と(B)のどちらを選択するべきかわからないという結論。尤度函数の形を知っていれば予想通りの結果です。

タグ: 統計

posted at 02:31:00

黒木玄 Gen Kuroki @genkuroki

18年3月22日

#統計 面倒だったのでベイズ推定法の方ではやっていないのですが、最尤法の方では分散の逆数 1/σ_i^2 達の分布をガンマ分布でフィッティングするというようなことも行っています。

みんなやっている他のモデルの場合については個人的に興味が湧かなかったので試していません。

タグ: 統計

posted at 02:31:01

黒木玄 Gen Kuroki @genkuroki

18年3月22日

#統計 Eight Schoolsのデータはベイズ統計のMCMCパッケージ方面ではとても有名です。機械学習で言えばMNISTのような感じに近いかも。

しかし、それに関する既存解説は色々納得できないところが多いです(だから自分でやってみた)。サイズ8の極小サンプルなのではっきりしたことは言い難い。

タグ: 統計

posted at 02:31:01

黒木玄 Gen Kuroki @genkuroki

18年3月22日

#統計 少なくとも、Eight Schoolsのケースでは、ベイズ推定法を使う必然性はないと私は思っています。最尤法でもいいじゃないか。ただし、半分ベイズの側に足を突っ込むことになるのですが、尤度函数全体の様子の確認は必須。

タグ: 統計

posted at 02:31:01

黒木玄 Gen Kuroki @genkuroki

18年3月22日

#統計 もしかしたら、

nbviewer.jupyter.org/gist/genkuroki...
「八学校」への最尤法とベイズ推定法の適用

#Julia言語 でのMCMCパッケージであるMamba.jlのシンプルな使用例として貴重かも。今回はスライスサンプラーを使いました。

#Julia言語 でもStan.jl経由でStanを使えます。

タグ: Julia言語 統計

posted at 02:37:43

黒木玄 Gen Kuroki @genkuroki

18年3月22日

#Julia言語 Mambaは多彩な使い方ができる仕組みになっていて、使い方によって数学的モデルは同じでも計算速度に10倍位の違いが出ることがありました。

そのことには数ヶ月前に出会ったのですが、確認に使ったコードがどこにあるのか見付からず、証拠を出せません。申し訳ないです。

タグ: Julia言語

posted at 02:48:56

黒木玄 Gen Kuroki @genkuroki

18年3月22日

#Julia言語 単なる印象論なのですが、Mamba.jlはまだ十分熟成されておらず、さらなる改良の余地が大幅に残っているように思えます。

タグ: Julia言語

posted at 02:48:56

Daisuke KATO @Dsuke_KATO

18年3月22日

@genkuroki オリジナルソースまで辿れました。ありがとうございます!

タグ:

posted at 03:13:55

黒木玄 Gen Kuroki @genkuroki

18年3月22日

まだ言語仕様を固めるための作業さえ終わっていない段階でしかない #Julia言語 とスーパーコンピューティングの関係について知りたければ、「ググればいいのに」と思います。調べないとわからないことを自分の頭で考えても無理。

もしかして完成したモノを単に使うだけのように考えている?

タグ: Julia言語

posted at 03:18:33

非公開

タグ:

posted at xx:xx:xx

斉藤 淳 『アメリカの大学生が学んでいる @junsaito0529

18年3月22日

掛け算や足し算の順番、漢字のトメ、ハネなどのどうでも良い間違いを指摘され続けて育った子どもが大人になると、他人のどうでも良い間違いを指摘し、揚げ足をとってマウンティングするようになる。日本社会で一番嫌いなのが、そういう大人の存在だなぁ。

タグ:

posted at 06:33:52

あえとす @aetos382

18年3月22日

@nakanoi_miaki もしオウム事件が起きたのが震災後の今だったら、全く違う展開になっていたと思うと、寒気がしますね。

タグ:

posted at 07:24:34

@kuri_kurita

18年3月22日

ネット上でいろんな変種をたくさん見てきた。

www.boj.or.jp/mopo/mpmsche_m... pic.twitter.com/JuvNisc5an

タグ:

posted at 08:07:47

ceptree @ceptree

18年3月22日

slackで出てたネタ pic.twitter.com/owSGTTcP57

タグ:

posted at 09:15:44

ceptree @ceptree

18年3月22日

流石にギリシャ文字はいけんやろと思って試したらいけた pic.twitter.com/OssG5PkJvm

タグ:

posted at 09:18:15

ceptree @ceptree

18年3月22日

流石にひらがなはいけんやろと思って試したらいけた pic.twitter.com/fdsxJE0vnA

タグ:

posted at 09:22:46

ceptree @ceptree

18年3月22日

流石にカタカナは、以下略 pic.twitter.com/0n978rBTTx

タグ:

posted at 09:23:43

ceptree @ceptree

18年3月22日

流石にハングルは、以下略 pic.twitter.com/pIrJ7H4dtv

タグ:

posted at 09:25:29

ceptree @ceptree

18年3月22日

流石にヘブライ文字は、以下略 pic.twitter.com/6RdQLl7mcV

タグ:

posted at 09:30:40

ceptree @ceptree

18年3月22日

流石にアラビア文字は、以下略 pic.twitter.com/xWHXOD9ksr

タグ:

posted at 09:32:12

松浦 健太郎 @hankagosa

18年3月22日

オッ。馬場さん、時系列の本だけでなくPythonの本も出すのかーすごい! "Pythonで学ぶあたらしい統計学の教科書" amzn.to/2GOXoQs

タグ:

posted at 10:15:17

松浦 健太郎 @hankagosa

18年3月22日

時系列の統計モデルをAICでモデル選択することが自分のなかで納得できていなくて、その路線の本やブログ記事を安易にRTできないでいる。AICは未来の予測の良さじゃないんだよなぁ。何を測ってるか自覚ありますかね。

タグ:

posted at 10:22:00

@kuri_kurita

18年3月22日

不景気になって低賃金労働者のクビが切られると「実質賃金は“上がる”」もの、民主党政権下でも、昭和恐慌下でも、実質賃金が上がっているのはそういう事、と言ったら、「ならば自分はアベノミクスよりも恐慌を選ぶ」と言ってのけた「アベ嫌い」の人が現れた時はさすがに驚いた。 アタマオダイジニー。

タグ:

posted at 11:33:52

にしもん @d_nishiyama85

18年3月22日

あしたこれ行く予定なので今日は Julia 言語に入門しよう(1㍉も知らない・・・

data-refinement.connpass.com/event/81109/

タグ:

posted at 11:36:17

吉田弘幸 @y__hiroyuki

18年3月22日

今日次男が持って帰ってきた算数のテストでは「長方形をすべてえらべ」という設問の模範解答が正方形を含めないものになっていた。授業でもやはりそのように習ったらしい。昔(僕が小学生の頃)は違ったと思う。
何故こんなになってしまったんだ。日本の初等教育・中等教育はもうダメかも知れない。

タグ:

posted at 11:39:59

非公開

タグ:

posted at xx:xx:xx

松浦 健太郎 @hankagosa

18年3月22日

@benthed00peness コメントありがとうございます。僕の主張はこれです。
twitter.com/hankagosa/stat...
もし未来の時点における予測分布への評価を議論している論文などがありましたら教えていただきたいです…。

タグ:

posted at 11:52:02

藤田利光 @rikou_f

18年3月22日

@y__hiroyuki 高校教員の話しでは、比率計算の意味が分かっていない生徒が目立つそうです。小学生には「きはじ」で距離=速さ×時間を覚えさせるそうで、苦労して意味を分からせるより手軽な公式暗記型教育の蔓延でしょう。先生もその教育で育っていますから、ますます物理は苦手って事になりますね。暗澹たる思い・・

タグ:

posted at 11:53:09

松浦 健太郎 @hankagosa

18年3月22日

@benthed00peness ありがとうございます!見てみます。

タグ:

posted at 12:10:00

けんごん @kengonart

18年3月22日

結果出してこその独立性 中原伸之・元日銀審議委員:日経www.nikkei.com/article/DGXMZO...
今の日銀では政策委員は外部との接触が制限されていると聞く…事務方が作った経済見通しや政策に賛成せざるを得なくなっている…事務方が審議委員の行動を制限するなど言語道断の越権行為で日銀法の趣旨にそぐわない。

タグ:

posted at 12:28:19

これでも大学職員 @koredemo

18年3月22日

「<東北大雇い止め>東北18国公立大の無期雇用転換ルール 東北大のみ実施せず」

“現在、5年超の有期職員がいない山形大と福島大も「要件を満たせば5年を超えられ、無期転換を申し込める」などとしている。”
headlines.yahoo.co.jp/hl?a=20180322-...

タグ:

posted at 12:39:46

ceptree @ceptree

18年3月22日

matlabとjuliaとpythonでベクトルと行列の実装が違うらしい。matlabには行列としての列ベクトル、行ベクトルはあるが、ベクトルがない。juliaはベクトルを転置すると、行列でない行ベクトルになるが、pythonはベクトルを転置しても変わらない、であってる?

タグ:

posted at 12:48:31

砂___の___女 @vecchio_ciao

18年3月22日

@y__hiroyuki @genkuroki #小学校#算数 では、執拗に「長方形と正方形は別のもの」という刷り込みをされていますね。

twitter.com/vecchio_ciao/s...

タグ: 小学校 算数

posted at 12:53:17

黒木玄 Gen Kuroki @genkuroki

18年3月22日

@vecchio_ciao @y__hiroyuki うちでも、算数プリントの「長方形を選べ」という問題の回答欄が、正方形2個を合わせて長方形4個なのに、2つしかなくて、結局、4つに増やして回答していたことがありました。

後で「丸になっていた」と教えてもらった。たぶん採点基準を統一していない。

教科書準拠の算数プリントが色々酷すぎ。

タグ:

posted at 13:00:26

砂___の___女 @vecchio_ciao

18年3月22日

「指摘の内容は間違ってないけど、その言い方はいかがなものか」的な批判はいかがなものか、と思っている。

タグ:

posted at 13:06:32

@kuri_kurita

18年3月22日

仮に安倍政権がコケて金融引き締め&緊縮財政になったとしたら、当然再びデフレで大不況の就職難時代が来るわけだけど、さすがにそうなれば何が問題だったのか今よりも多くの人が気付くわけで、いわゆる“リベラル”さん達の主張の結果が大不況だと理解されたら… 今度こそ真の極右政権生まれるかもよ。

タグ:

posted at 13:16:15

大野 英士 @floressas1405

18年3月22日

<東北大雇い止め>東北18国公立大の無期雇用転換ルール 東北大のみ実施せず | 河北新報オンラインニュース www.kahoku.co.jp/tohokunews/201... @kahoku_shimpoさんから 諸悪の根源は文科省天下りの大槻理事。里見総長は大槻理事を引責辞任させ、違法な無期労働契約移行妨害を速やかに止めよ!!

タグ:

posted at 13:21:40

東京大学教職員組合 @tousyoku_org

18年3月22日

<東北大雇い止め>東北18国公立大の無期雇用転換ルール 東北大のみ実施せず | 河北新報オンラインニュース / ONLINE NEWS sp.kahoku.co.jp/tohokunews/201...

タグ:

posted at 13:22:55

大野 英士 @floressas1405

18年3月22日

文科省から天下りの大槻理事が諸悪の根源。里見総長は、労契法を故意に脱法することに固執している大槻理事を引責辞任させ、他の国立大学法人並にきちんと無期雇用転換ルールの適用を! このままだと東北大学は再びブラック企業大賞にノミネートされ、指定国立大からも twitter.com/nichidai_union...

タグ:

posted at 13:27:34

黒木玄 Gen Kuroki @genkuroki

18年3月22日

#Julia言語 v0.7.0が出て、deprecation warningの嵐にみんな悲鳴をあげる未来が楽しみ。ものすごいことになりそう。

一人で使っているのと違って、みんなで使っているならきっと楽しい。

思い出したこと。Mamba.jlで廃止警告が出るような確率分布の自前実装を使うと、計算速度が数十分の1に落ちる。

タグ: Julia言語

posted at 13:33:19

黒木玄 Gen Kuroki @genkuroki

18年3月22日

#Julia言語 「v0.7.0での廃止警告の嵐が楽しみ」とか言うような段階でしかないのに、自分自身がJuliaを使わない理由を熱く語る人達が次々に出て来るのは、ちょっと胸熱の展開かも。

タグ: Julia言語

posted at 13:38:05

Takashi Miyamoto @tmiya_

18年3月22日

大学入試数学に関する迷信は、多くの大学の先生がtwitterとかで否定してくれていて非常にありがたい。同様に、小学校の数学に関する迷信(掛け算の順序とか)に関して、中学入試を採点する中学校の先生たちからメッセージが欲しいなぁ。

タグ:

posted at 14:14:35

原田 実 @gishigaku

18年3月22日

@kuri_kurita 世界大恐慌後の世界的なファシズム台頭ですか(まあ、あの時代にはコミュニズムも頑張っていたけど)

タグ:

posted at 14:18:27

Akinori Ito @akinori_ito

18年3月22日

複数話者からのストレス検出方法 特許6268916

タグ:

posted at 14:19:49

Akinori Ito @akinori_ito

18年3月22日

音声を使った会議の質の自動推定の発表を聴いてる。「質の低い会議の例」を見ると胃が痛くなる twitter.com/akinori_ito/st...

タグ:

posted at 14:20:51

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

suin・読者6万人『サバイバルType @suin

18年3月22日

すごい発明をしたかも…💡英語で技術ブログ書くとき、HackmdとGoogle翻訳を組み合わせると、Markdown+英語で書きながら、内容をGoogleのAIにチェックさせられる。英語として流暢かはさておき、少なくともGoogleが理解できる英語にはなる。この手法はGitHubにIssueを書く際も応用可 pic.twitter.com/u5sA9prv91

タグ:

posted at 15:18:01

黒木玄 Gen Kuroki @genkuroki

18年3月22日

#Julia言語 に関するGoogle検索では、Juliaではなく、JuliaLangを検索語にした方が良いことはすでに結構知られていると思う。しかし、

jl

もかなり優秀なJulia言語用の検索語として機能することはあまり知られていないと思う。おすすめ!

単に julia jl とか
プロット jl julia とか
の検索

タグ: Julia言語

posted at 15:22:02

suin・読者6万人『サバイバルType @suin

18年3月22日

これにGrammarlyのChrome拡張を組み合わせれば文法の添削もできて最強の英文ライティングIDEになる気がしてきた。が、試してはいない😁
www.grammarly.com

タグ:

posted at 15:27:10

Yuki Nagai @cometscome_phys

18年3月22日

ハバードモデルの厳密対角化Julia版 github.com/cometscome/Exa...

タグ:

posted at 15:49:34

黒木玄 Gen Kuroki @genkuroki

18年3月22日

twitter.com/hankagosa/stat...

#統計 リンク先のリンク先のリンク先がリンク切れなのですが、
web.archive.org/web/2017042704...
で読めます。

タグ: 統計

posted at 15:57:29

suetsumu_hana @suetsumu_hana

18年3月22日

正三角形は二等辺三角形ではない論、息子のテストファイルにて発見。 pic.twitter.com/8IJfQuip3f

タグ:

posted at 16:00:06

黒木玄 Gen Kuroki @genkuroki

18年3月22日

#統計 情報量規準についての豆知識

予測分布の予測精度+定数の推定値

としての情報量規準だけではなく、

モデル内でのサンプルを生成する確率分布と現実でのサンプルを生成している真の確率分布の違い+定数の推定値

としての情報量規準もある。

前者で有名なのがAICで、後者で有名なのがBIC.

タグ: 統計

posted at 16:05:36

黒木玄 Gen Kuroki @genkuroki

18年3月22日

#統計 リンク切れの

web.archive.org/web/2017042704...



qiita.com/advent-calenda...

からもリンク切れ。

もしも取り下げられたのだとしたら、もったいないと思いました。このレベルで何か議論になるならそれだけで社会貢献になると思う。

タグ: 統計

posted at 16:09:30

い~ぐる @eagleutkk

18年3月22日

"RやPythonでデータ分析をしている人がパフォーマンスの問題に悩まされた時に, 救いを求めて手を出すことがあると言われているプログラミング言語, Julia"
www.mwsoft.jp/programming/ju...

タグ:

posted at 16:10:44

黒木玄 Gen Kuroki @genkuroki

18年3月22日

#統計 雑談

赤池弘次さんも書いているように(1980年の2つの論説ではエントロピーという用語を使っている、その-1倍が情報量)、情報量規準入門には

対数尤度がどうして「もっともらしさ」なのか



Kullback-Leibler情報量(相対エントロピーの-1倍)

の関係から入るのが良いと思う。雑談続く

タグ: 統計

posted at 16:18:12

黒木玄 Gen Kuroki @genkuroki

18年3月22日

#統計 以下細かい条件は略す。確率分布q(y)に従う独立試行でY_1,Y_2,…がランダムに生成されているとき、別の確率分布p(y)について、大数の法則より、n→∞で

-(1/n)Σ_{i=1}^n log p(Y_i) → -∫q(y)log p(y)dy.

p(y)によるq(y)の予測誤差はSanovの定理より

D(q||p)=∫q(y)log(q(y)/p(y))dy.

続く

タグ: 統計

posted at 17:13:17

黒木玄 Gen Kuroki @genkuroki

18年3月22日

ゆえに、S(q)=-∫q(y)log q(y)dyとおくと、p(y)のサンプルY_iに関する対数尤度

Σ_{i=1}^n log p(Y_i)

の-1/n倍はn→∞で

D(q||p) + S(q)

という

p(y)によるq(y)の予測誤差 + p(y)によらない量

に収束します。これを

pの予測誤差+定数

と略記しましょう。

タグ:

posted at 17:13:20

黒木玄 Gen Kuroki @genkuroki

18年3月22日

#統計 要するに、n→∞の極限で、

pの対数尤度の-1/n倍 → pの予測誤差+定数.

これを使えば、n→∞で、p_1とp_2による予測誤差の大小を比較できます。ただしnが有限であることによって生じる確率的誤差のせいで判定に失敗する場合が出て来る。

対数尤度(の-1/n倍)は予測誤差+定数の推定量!

タグ: 統計

posted at 17:13:21

黒木玄 Gen Kuroki @genkuroki

18年3月22日

#統計 対数尤度の-1/n倍は予測精度+定数の推定値であり、それが相対的に小さいほど、すなわち尤度が大きいほど、予測誤差も小さいと推測できます。(ただしその推測は確率的に失敗する場合もあるので注意!)

これを知れば、尤度が「もっともらしさ」の指標であることの数学的意味が明瞭!

タグ: 統計

posted at 17:13:22

黒木玄 Gen Kuroki @genkuroki

18年3月22日

#統計 赤池さんによれば、フィッシャーさんは尤度について以上のような明瞭な数学的理解をできていなかったらしい。時代が進めば理解も進む。

赤池さんは以上のような明瞭な理解をできていたので、その次の段階のAICに進めたのだと思います。

タグ: 統計

posted at 17:13:23

黒木玄 Gen Kuroki @genkuroki

18年3月22日

#統計 正則モデルの仮定のもとで、最尤法でpを作ると、大数の法則だけではなく、中心極限定理も使えるようになり、対数尤度の-1/n倍のn→∞での様子が、単に「収束する」だけではなく、1/nのオーダーの項の様子もわかります。そうやって得られたのがAICです。

タグ: 統計

posted at 17:13:24

黒木玄 Gen Kuroki @genkuroki

18年3月22日

#統計 ただしAICの場合にはモデルの実現可能性は仮定しておく。(実際には近似的に実現可能な場合にもAICは実用的)

n→∞での漸近挙動を、主要項だけではなく、その次の項まで見るというような、いつもの「逐次近似を精密化して行く」という話の典型例。

タグ: 統計

posted at 17:13:25

黒木玄 Gen Kuroki @genkuroki

18年3月22日

#統計 モデル内でのサンプル生成の確率分布と真の分布によるサンプル生成の確率分布の違いを扱う方の情報量規準基準の導出派、扱う確率分布の種類は違いますが、KL情報量で確率分布の違いを測ることや、n→∞での漸近挙動を調べることについては全く同様です。

タグ: 統計

posted at 17:13:26

黒木玄 Gen Kuroki @genkuroki

18年3月22日

#統計 要するに、Kullback-Leibler情報量がどうして「予測誤差」なのか(Sanovの定理)を知らない人は、永久にAICやBICについて理解できないだけではなく、尤度の概念さえ十分に理解できないのです。

タグ: 統計

posted at 17:13:27

黒木玄 Gen Kuroki @genkuroki

18年3月22日

#統計 たとえば、AICに関する「バイアスとバリアンス」という解釈だけでは、決して十分な理解に達することは不可能でしょう。

AIC(の1/(2n)倍)が汎化誤差=予測誤差+定数の推定量になっており、予測誤差と定数の部分はKL情報量とシャノン情報量になっている。これが基本。

タグ: 統計

posted at 17:13:27

黒木玄 Gen Kuroki @genkuroki

18年3月22日

#統計 Kullback-Leibler情報量によって、「モデルの確率分布によるシミュレーションにおける真の分布の予測誤差」と呼ぶべき量を表せること(Sanovの定理)に関する易しめの解説が次のリンク先にあります。

genkuroki.github.io/documents/2016...

雑談終わり

タグ: 統計

posted at 17:13:28

黒木玄 Gen Kuroki @genkuroki

18年3月22日

#統計 以上を読めば

時系列モデルのAICに関する疑問に答えたいなら、そのAIC(の1/(2n)倍)が何の推定量になっているかを最初に述べないとダメ

ということがわかるはず。

タグ: 統計

posted at 17:13:29

いぬみみ盆地 /\_/\ @ishiathume

18年3月22日

ねぇ、このモーメント、悪意あると思うんだけどw
まぁ、ニュースの見出しだけ見て、福島県の広さを知らない方のご意見かな。

もうずっと放射線量変化ないし、誰も見てないモニタリングポストをいつまで置いておくのか疑問だったから、撤去賛成だけどな。

twitter.com/i/moments/9766...

タグ:

posted at 17:15:21

黒木玄 Gen Kuroki @genkuroki

18年3月22日

#統計 赤池さんの論説へのリンクは以下のリンク先にある。

twitter.com/genkuroki/stat...

タグ: 統計

posted at 17:15:32

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

やぴ@WF&MOIW終了 @henachokodoumei

18年3月22日

かけ算の順序問題もそうだけど、学校教育が積極的にAIに勝てない子を量産してるようにしか思えない

タグ:

posted at 18:06:02

非公開

タグ:

posted at xx:xx:xx

ʇɥƃıluooɯ ǝıʇɐs @tsatie

18年3月22日

僕もずっとそう思って(いたがって?)ました。色々と此れまでも片鱗はあって、まぁそれでも所詮学校の先生だし、教育学系やと高校生に毛が生えた程度で凄いみたいやからまぁ致し方ないと想うてもいましたが、実際に娘が掛算で被害に遭い問い質して実態を知りここ数年の新規採用な先生達の言動を観察し twitter.com/y__hiroyuki/st...

タグ:

posted at 18:16:14

Daisuke KATO @Dsuke_KATO

18年3月22日

物好きな人にJulialang紹介するとやっぱり食いつきがいいですね。

タグ:

posted at 18:17:11

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

ʇɥƃıluooɯ ǝıʇɐs @tsatie

18年3月22日

てると、なんだろう、文章が読めないとかAIガァとかいうよりは何キロも手前の悲惨な状態です。いやもあほんまに教えたらあかんやろという...本人達に悪気はなさそうなのですが、2年ほど一緒に働いた若者などはまるで良い子ロボットで己の頭で考えるというのはパターンを探すことのような為体で...辛い

タグ:

posted at 18:18:42

ʇɥƃıluooɯ ǝıʇɐs @tsatie

18年3月22日

一つ一つの仕事や作業が何故それをするかがどうもさっぱり分かってなくて分かる気もなさそうでとても要領が悪くて...ああほんま辛い。何とかして欲しい。

タグ:

posted at 18:19:46

ふろってぃ @furotty

18年3月22日

娘が漢字苦手で、しかも先取り学習をしたら「まだ習ってない!」っで怒鳴りながらおこるんだよね。原因は担任が習ってない漢字を書いた子を立たせて怒鳴るからだったけど、クソ担任はどれだけクレームが入っても先行学習した子に罰を与え続けたんだよね。

タグ:

posted at 18:24:13

ふろってぃ @furotty

18年3月22日

んで、娘と違って精神的に成熟した子はくもんと学校を使い分けして6年までの漢字を先行してるのを、やっと娘が気づいて今さら漢字をやる気になった。先生が他のクラスの担任に恋をして担任をやる気を失ってくれたせいで呪縛が溶けてよかった

タグ:

posted at 18:26:28

ふろってぃ @furotty

18年3月22日

んで、とりあえず楽しく漢字をしてほしくて、すみっこぐらしの漢字ドリルを見つけてきた。塾のテキストとは別にやりたいみたいだから。

タグ:

posted at 18:27:44

斉藤久典 @saitohisanori

18年3月22日

マスコミが批判すれば「下衆」、逆に肯定的に擁護したら「人格者」。つまりは、テレビ中毒、マスコミ中毒なんだろうな…。 twitter.com/xWAypYyLj09DhK...

タグ:

posted at 19:32:05

すど @ysmemoirs

18年3月22日

生徒が持ってきた情報をもとに現在 Trilinear Coordinates について教材研究中。位置ベクトルの話……? ベクトルの題材でどこまで使えるだろうか。

タグ:

posted at 20:03:02

Hiroyasu Kamo @kamo_hiroyasu

18年3月22日

@ysmemoirs ベクトルとの相性は barycentric coordinates のほうが良いです。trilinear coordinate が l:m:n のとき b.coord. は al:bm:cn (a,b,cは辺長)と変換は簡単ですので、t.coord. からいちいち b.coord. に変換して計算しても手間は大きくありません。

タグ:

posted at 20:15:04

Hiroyasu Kamo @kamo_hiroyasu

18年3月22日

@ysmemoirs ベクトルとの相性の良さは、barycentric coordinates で X=l:m:n と書けるとき、Xが無限遠点でなければ位置ベクトルで (l+m+n)X=lA+mB+nC と書けることです。

タグ:

posted at 20:17:23

Taku @Less_role

18年3月22日

JupyterでRとJuliaを使えるようにしようとしたところ、どちらもdead kernelになってしまう
何が問題だろうか

タグ:

posted at 20:39:07

(「・ω・)「ガオー @bicycle1885

18年3月22日

Juliaのimportなくしてusingに統一しても良い気がする。

タグ:

posted at 20:42:36

3pF @3pF

18年3月22日

マスコミが「ポスト安倍」の持ち駒にしているのは石破さんと進次郎議員でしょう(野党は政権を担当しようなんて考えていないしね)。二人ともガチガチの緊縮・シバキ派だからどちらが日本のリーダーになったとしても日本はデフレ脱却できないまま終了。若い世代の未来は永遠に失われることになる。

タグ:

posted at 21:41:58

kirara0103 @kirara01031

18年3月22日

掛け算の順番とか、習っていないことは使って解くと×をつけられるとか、厳しい出来事が多く見受けられます。全国の教育学部の教員養成での教育はどうなっているんだろうか。大学の教員養成の教科の教育は教育学部から切り離すべきかもしれません。 twitter.com/y__hiroyuki/st...

タグ:

posted at 22:07:21

非公開

タグ:

posted at xx:xx:xx

黒木玄 Gen Kuroki @genkuroki

18年3月22日

twitter.com/less_role/stat...

Anaconda3のJupyterで #Julia言語 を使っています。私も最初はdead kernelの永久ループに悩まされました。

ENV["JUPYTER"]=raw"jupyterバイナリのフルパス"

の状態でPkg.add("IJulia")したらうまく行きました。

RをJupyterで使うことにはトラブルの経験無し。

続く

タグ: Julia言語

posted at 23:06:42

黒木玄 Gen Kuroki @genkuroki

18年3月22日

#Julia言語 私によるインストールの詳細な記録が

nbviewer.jupyter.org/gist/genkuroki...

にあります。

JuliaカーネルがJupyterで死ななくなる方法は第1.4節にあります。(結構みんなはまっている。)

RをJupyterで使えるようにしたときの記録は第1.14節にあります。

タグ: Julia言語

posted at 23:06:43

ふろってぃ @furotty

18年3月22日

@akiharusayamama 恋でよい方向にいけばよかったんですが、無関心になっただけみたいですw

タグ:

posted at 23:22:19

黒木玄 Gen Kuroki @genkuroki

18年3月22日

#統計 #Julia言語

nbviewer.jupyter.org/gist/genkuroki...
最小二乗法による回帰の場合のAICと予測誤差の分布(NEW!)

nbviewer.jupyter.org/gist/genkuroki...
対数尤度の比較によるモデル選択の簡単な例(2017-11-01)

nbviewer.jupyter.org/gist/genkuroki...
AICと汎化損失の簡単な計算例(2017-11-06)

公式がある場合も数値計算ですませた。

タグ: Julia言語 統計

posted at 23:25:37

黒木玄 Gen Kuroki @genkuroki

18年3月22日

#統計 AICやら汎化損失などの漸近論(サンプルサイズn→∞での各種統計量の漸近挙動を調べること)について勉強するのは結構大変だと思います。

誰かが計算した結果や自分で計算した結果を色々参照して、感覚がつかめるexamplesを豊富に持っていないと苦しい。

一つ前のツイートで私の計算例を紹介。

タグ: 統計

posted at 23:27:44

黒木玄 Gen Kuroki @genkuroki

18年3月22日

#統計 未知の真の分布の独立試行によってランダムに生成されたサンプルからの推定結果はサンプルの函数になります。サンプルはランダムにゆらぐので推定結果も確率変数になります。予測分布の予測誤差(KL情報量で書ける)も確率変数になる。予測誤差の推定値のAICも確率変数になります。続く

タグ: 統計

posted at 23:29:58

黒木玄 Gen Kuroki @genkuroki

18年3月22日

#統計 サンプルがゆらいだときに(無作為抽出の結果が変わったときに)、予測誤差やその推定量であるAICなどがどのようにゆらぐのか?

これを知らないと、AICによるモデル選択がどの程度の確率でどのような意味で失敗するかがわからなくなってしまいます。それは非常にまずい。

タグ: 統計

posted at 23:32:00

読書猿『独学大全』14刷26万部、『文章 @kurubushi_rm

18年3月22日

告白しますが、実は動画を見るのが苦手で、特に学習系の動画は、読めば10秒で終わる情報を得るのに、数分間相手のペースに合わさなくてはならないのが耐え難く感じます。
#マシュマロを投げ合おう
marshmallow-qa.com/kurubushi_rm?u... pic.twitter.com/7ZcinoFO7B

タグ: マシュマロを投げ合おう

posted at 23:40:00

@genkurokiホーム
スポンサーリンク
▲ページの先頭に戻る
ツイート  タグ  ユーザー

User

» More...

Tag

» More...

Recent

Archive

» More...

タグの編集

掛算 統計 超算数 Julia言語 数楽 JuliaLang 十分 と教 モルグリコ 掛け算

※タグはスペースで区切ってください

送信中

送信に失敗しました

タグを編集しました