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

2020年12月30日(水)

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

Hideyuki Tanaka @tanakh

20年12月30日

まじかあ。件の海外の数学者の人のTLよりかは正解率が高いけど、傾向としては似てるなあ。4人に1人は間違うって、普通に結構な割合な気がする。

gigazine.net/news/20201228-... twitter.com/tanakh/status/... pic.twitter.com/RVf8tJ6Htq

タグ:

posted at 01:58:33

OokuboTact 大久保中二病中年 @OokuboTact

20年12月30日

チョー算数(チョー数学)の特徴はマッチポンプ式教育である。
チョー算数の偉い人達は暗記教育を敵対視している。
しかし暗記教育依存体質の生徒を大量に作っているので、結果としてはマッチポンプ式教育になっている。

タグ:

posted at 03:26:23

OokuboTact 大久保中二病中年 @OokuboTact

20年12月30日

チョー算数によって、算数が苦手→算数が嫌いになり、多くの生徒が中学や高校の数学教育についていけなくなっている。
中学や高校の教師はチョー算数をなんとかしないとヤバい。

タグ:

posted at 03:28:31

OokuboTact 大久保中二病中年 @OokuboTact

20年12月30日

チョー算数教育は「式の意味」重視という信仰なので、教えている人達は暗記教育を敵対視している。
しかし「式の意味」は数学的根拠がなかったり、矛盾を強制するものなので、
結果として生徒は困惑するか、あるいは暗記依存体質になる。

#超算数

タグ: 超算数

posted at 03:31:54

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

20年12月30日

【Julia 】ループをつかった多次元配列アクセスの速度比較|富谷昭夫 zenn.dev/akio_tomiya/ar... #zenn

タグ: zenn

posted at 04:12:51

Ari Katz @akatzzzzz

20年12月30日

#JuliaLang fans, let's tell kaggle how much we want Julia support! www.kaggle.com/product-feedba...

タグ: JuliaLang

posted at 04:34:08

@tymwol@bayes.club @tymwol

20年12月30日

How to compute a Fibonacci sequence in #JuliaLang? Easy: use metaprogramming! pic.twitter.com/erumnxj5Dx

タグ: JuliaLang

posted at 04:57:23

Armando J. Lara D. I @arjoladiin

20年12月30日

Llevo usando #JuliaLang desde que salió y apenas me entero que se pueden usar emojis como variables. Por ejemplo:

\:snowman: + TAB

Hahaha. pic.twitter.com/D7ZB83O45u

タグ: JuliaLang

posted at 05:05:40

OokuboTact 大久保中二病中年 @OokuboTact

20年12月30日

数学とは「論理的整合性さえあれば何をしても自由」ということだ。
しかしチョー算数は論理的整合性を求めて思考することを邪魔をするので、
結果として数学的思考を破壊する。

#超算数

タグ: 超算数

posted at 05:15:29

峰 宗太郎 @minesoh

20年12月30日

Vox👶 イギリスでの変異ウイルスについて非常によくまとまった記事。翻訳機能などでよいので読んでみてね。論点は網羅されていると思います。
www.vox.com/science-and-he...

タグ:

posted at 05:31:56

峰 宗太郎 @minesoh

20年12月30日

Nature で読んだなぁと検索し発見👶9月の時点で D614G が騒がれていた時の論考。
今回の B.1.1.7 はこれとは異なるか。よくよく見ていく必要はありますね。変異については基本的なことが網羅されている良記事ですが、その後、このD614Gは創始者効果ではないかという説あり。

www.nature.com/articles/d4158...

タグ:

posted at 05:35:29

黒木玄 Gen Kuroki @genkuroki

20年12月30日

#Julia言語 小ネタ

函数にしなくても、let ~ end で囲むだけで結構速くなります。函数化するより劣りますが、それでも相当に速い。

注意:ループ内で使う変数はすべて let ~ end 内で定義されていなければいけない。

gist.github.com/genkuroki/baf7... twitter.com/tomiyaakio/sta... pic.twitter.com/vlgURnD88b

タグ: Julia言語

posted at 06:00:55

黒木玄 Gen Kuroki @genkuroki

20年12月30日

軽くググって哲学っぽい(特に科学または統計学の哲学っぽい)話題の文献を見ると、「真~偽」という評価軸で語っていることがものすごく多くて、数学で言えば解析学的な事柄が重要なケースがあるかもしれないことを十分に考えていないように見えるものが多い。

続く

タグ:

posted at 06:25:22

黒木玄 Gen Kuroki @genkuroki

20年12月30日

より具体的には、具体的な統計モデルを設定してデータからの統計的推論を行うことを、「仮説の真偽」という評価軸で眺めると多くの重要な事柄を見逃すと思います。

「ベイズ確証理論」の発想で「ベイズ統計」について語ることも相当に有害だと思う。

続く

タグ:

posted at 06:25:23

黒木玄 Gen Kuroki @genkuroki

20年12月30日

解析学を扱える体系を用意してその内部で解析学的命題の真偽を扱えれば十分だとひどく誤解しているんじゃないか?

そういう一般論は、具体的な数値計算が絡む事柄で生じる沢山の問題を裏に隠してしまうので、結果的に実際の科学研究や実践統計学と無関係な空虚な一般論が出来上がるだけだと思う。

タグ:

posted at 06:25:23

黒木玄 Gen Kuroki @genkuroki

20年12月30日

「仮説」的な事柄だけではなく、「数値」的な事柄もきちんと直接的に扱わないとダメ。

タグ:

posted at 06:27:39

黒木玄 Gen Kuroki @genkuroki

20年12月30日

「数値的な事柄に関する仮説を扱えれば十分なので、数値的な事柄を直接的に扱わなくてもよい」という発想はダメな考え方の典型例として糾弾されてしかるべきだと思う。

タグ:

posted at 06:29:31

非公開

タグ:

posted at xx:xx:xx

黒木玄 Gen Kuroki @genkuroki

20年12月30日

#Julia言語 より詳しい説明

let ~ end を書いただけでは高速化されず、グローバル変数をループから完全に排除することが重要なポイントになっています。

面白いのは、配列Agではなく、ループの回数Nloopがグローバル変数になった場合の方が遅くなること。

gist.github.com/genkuroki/baf7... twitter.com/miura1729/stat... pic.twitter.com/tuAXrv0WxH

タグ: Julia言語

posted at 06:47:24

黒木玄 Gen Kuroki @genkuroki

20年12月30日

#Julia言語 トップレベルで begin ~ end で囲んでもその内側で定義された変数はグローバル変数になる。

begin ~ end は余計なことを何もしない単なるブロックになる。

タグ: Julia言語

posted at 06:54:46

黒木玄 Gen Kuroki @genkuroki

20年12月30日

#Julia言語 別の小ネタ

structの定義内でもbegin~endを使える。
しかし、その影響でネストしたstructができるわけではない。

gist.github.com/genkuroki/cf04... pic.twitter.com/TVBTlj4AEw

タグ: Julia言語

posted at 07:06:18

黒木玄 Gen Kuroki @genkuroki

20年12月30日

あと、数値的な事柄を十分に扱えていても、「視界が狭い」とすべてがダメになる。続く

タグ:

posted at 07:30:57

黒木玄 Gen Kuroki @genkuroki

20年12月30日

例えば、分散がσ²に固定されていて、平均μだけが動かせるパラメータの正規分布モデルにおけるフラット事前分布のベイズ統計で、データ(実数列)X_1,…,X_nから計算した平均μの事後分布は、平均がX̅=(X_1+…+X_n)/nで分散がσ²/nの正規分布になります。

続く

タグ:

posted at 07:30:58

黒木玄 Gen Kuroki @genkuroki

20年12月30日

その事後分布で計算した、平均μの区間

(CI) X̅ - 1.96σ/√n ≤ μ ≤ X̅ + 1.96σ/√n

の確率は95%になり、よく95%の信用区間と呼ばれています。

これは「平均μに関する仮説(CI)が成立する確率を事後分布で測っていること」にもなっています。

続く

タグ:

posted at 07:30:59

黒木玄 Gen Kuroki @genkuroki

20年12月30日

事後分布は、モデル(今の場合は分散固定の正規分布モデル)に強く依存して決まる(フィクションに過ぎない)モデル内確率分布に過ぎないのに、それで「仮説(CI)が正しい確率が分かる」のように安易な解説をする困った人達がいて問題になっています。

このスレッドではそこにはあまりつっこまない。続く

タグ:

posted at 07:31:00

黒木玄 Gen Kuroki @genkuroki

20年12月30日

ここで指摘しておきたいことは、仮説(CI)が(フィクションに過ぎない)モデル内パラメータμに関する仮説に過ぎないことです。

モデル内パラメータの数値やそれに関する仮説しか見えていない状況は、視野狭窄で非常にまずいと思います。これが特に言いたいことです。

タグ:

posted at 07:31:01

黒木玄 Gen Kuroki @genkuroki

20年12月30日

普通は「分散を固定した正規分布モデルのような極めて特殊な設定で、平均を推定しても大丈夫なのか?」と疑問を持つものだと思います。

そういう疑問を持たない奴はダメな奴だとみなして問題ないと言ってよいほど、みんな普通に疑問に思っていることだと思います。

タグ:

posted at 07:31:01

黒木玄 Gen Kuroki @genkuroki

20年12月30日

データX_1,…,X_nのサイズnがある程度以上大きければ、適当なプロットによってモデルの設定である「具体的に与えられて固定された分散σ²(例えばσ²=1)を持つ正規分布」というモデルの設定が妥当そうかどうかを視覚的に確認できます。

そのような確認の重要性を語ることは統計学の伝統の1つです。

タグ:

posted at 07:35:01

黒木玄 Gen Kuroki @genkuroki

20年12月30日

数値的な事柄を扱う場合には、データとの比較によって、推測用に採用したモデルの妥当性の確認にも注意を払うことが必要です。

モデル内部のパラメータ数値やそれに関する仮説を扱うだけの設定での考察ではお話になりません。

タグ:

posted at 07:42:45

黒木玄 Gen Kuroki @genkuroki

20年12月30日

このスレッドに書いたようなことを知っておかないと、杜撰で論外な哲学的考察をまともだと誤解してしまう危険性があると思います。

* 「仮説」ではなく、「数値」を直接扱うことも重要。

* 「数値」を扱う場合に、モデル内パラメータの数値しか見えなくなると論外な考察になる。

タグ:

posted at 07:42:46

黒木玄 Gen Kuroki @genkuroki

20年12月30日

例えば、データとモデルを尤度函数の情報で要約してそれ以後は尤度函数しか使えないことにすると、「データとの比較で正規分布モデルが妥当であるか」のような事柄を扱えなくなるので、そういう考え方は論外であり、真っ当な哲学的考察においてはクズ扱いされなければいけない(笑)

尤度主義は論外。

タグ:

posted at 07:48:29

黒木玄 Gen Kuroki @genkuroki

20年12月30日

同様に、データとモデルと事前分布の情報を事後分布に要約して、事後分布を求めることこそ統計的推論の目標である、のようなことを言うのも論外です(笑)

モデル内パラメータの事後分布をどんなに眺めても、「データとの比較で正規分布モデルは妥当であるかどうか」は何も分からない。

タグ:

posted at 07:51:21

黒木玄 Gen Kuroki @genkuroki

20年12月30日

あと言うまでもないことですが、データサイズn→∞で事後分布が1点に収束することを知って、「ベイズ統計ではデータサイズn→∞の極限で真理に到達する」のように語る人は単なるトンデモさんに過ぎません。

タグ:

posted at 07:54:14

黒木玄 Gen Kuroki @genkuroki

20年12月30日

「仮説よりも数値」「数値を見るときには視界を狭くすると論外になる」という方針ではなく、「仮説の信憑性を確率の大きさという指標で測る」という方針で進んで行くと、ベイズ統計の数学的仕組みではモデル内パラメータに関する確率しか扱えないので、必然的に論外な方向に進んで行くことになります。

タグ:

posted at 08:00:52

黒木玄 Gen Kuroki @genkuroki

20年12月30日

要するに、「ベイズ確証理論って何馬鹿なことをやっているの?出発点ですでに論外だろう」という疑問について私は述べているつもりです。

タグ:

posted at 08:02:35

黒木玄 Gen Kuroki @genkuroki

20年12月30日

「尤度主義」やら「ベイズ確証理論によるベイズ統計の解釈」の類は統計学にとって有害なだけなので、実践的に統計学を使う人達は完全に無視してしまった方がよいと思う。

統計学を正しく使っている人達の多くはその手のことについて知らないと思いますが、これから広まってしまう危険性がある。

タグ:

posted at 08:08:57

黒木玄 Gen Kuroki @genkuroki

20年12月30日

統計学入門の教科書を読んだり、講義を聞いたときに感じる

  「え?この特殊な正規分布モデルを使っていいの?」

という非常に合理的な疑問の持ち方を大事にすることと、「尤度主義」やら「主観ベイズ主義」に帰依することは両立しません。

タグ:

posted at 08:12:57

黒木玄 Gen Kuroki @genkuroki

20年12月30日

同じ用語が出て来ても同じようなことを扱っていると思ってはいけません。

「尤度主義」を全否定しても、特定の条件のもとで最尤法やAICは素晴らしい道具になります。

「主観ベイズ主義」を全否定しても、ベイズ統計が最尤法では無理なことを可能にする素晴らしい道具であることはくつがえりません。

タグ:

posted at 08:16:44

小菅 信子 Nobuko M KOSUG @nobuko_kosuge

20年12月30日

年末ということもあり、my ブロック・リストをのぞいてみました。そしたら、なんと、あれだけクソリプをかましてきたアカウントのうち、20以上が消滅していました。

みなさん、がんばりましょう、クソリプに負けてはいけませんw

タグ:

posted at 08:16:53

黒木玄 Gen Kuroki @genkuroki

20年12月30日

この問題で頭が痛いのは、算数教育の問題と似ていて、社会的には専門家だとみなされてしまう「立派な人達」が非常におかしなことを述べていることだと思う。

タグ:

posted at 08:22:50

黒木玄 Gen Kuroki @genkuroki

20年12月30日

私が「ベイズ」と書く場合には、「MAP法とベイズ法はどう違うか」とか、「ベイズ最適化のベイズはどういう意味のベイズであるか」というようなことを常識扱いしたいと感じることが多いのですが、非現実的な想定なので気を付けている。

しかし私が書いていないことを読み取る人には無力。

タグ:

posted at 08:32:35

黒木玄 Gen Kuroki @genkuroki

20年12月30日

例えば、私が「ベイズ統計」と書いたときに、「ベイズ最適化とも関係がある話をしているのかな?」と思ってしまうような人達に私は無力です。

例外的にガウス過程回帰について話している場合には、ベイズ最適化も関係して来るのですが。

みんな、ベイズ、ベイズ、言い過ぎ(笑)

タグ:

posted at 08:37:06

黒木玄 Gen Kuroki @genkuroki

20年12月30日

尤度函数や事後分布のようなモデル依存のデータ要約法の結果以外の情報を捨て去ることはモデル自体の妥当性を疑わなければいけない科学研究では致命的。

タグ:

posted at 08:41:23

黒木玄 Gen Kuroki @genkuroki

20年12月30日

#超算数 日本社会に中で「算数教育に詳しい人」扱いされる人は「算数に関して作られた非常識な考え方を子供に教え込むことに賛成な人」である可能性が高い。

特に小学校の教育現場や教育委員会などではそうでしょう。

そのような現実のもとで教科担任制が始まると大変なことになると思います。 twitter.com/miyuki_matht/s...

タグ: 超算数

posted at 08:48:12

@kuri_kurita

20年12月30日

「かけ算の順序」(に象徴されるもの)が子供の考えようとする意思すら奪っている、というような批判派の主張は大袈裟では、と思っている人に読んでもらいたい。

考えるよりも教師の期待する答えを探すようになる(そしてツイッターで分かるように順序派はそれを実際に求めている)のが良く分かる。 twitter.com/musorami/statu...

タグ:

posted at 09:06:24

黒木玄 Gen Kuroki @genkuroki

20年12月30日

コンピュータで作った数値的な例

目的:サイコロXはちょっとしたイカサマのサイコロである。サイコロXの出目のデータを使って、どのようなイカサマのサイコロであるかを調べたい。

続く

タグ:

posted at 09:20:14

黒木玄 Gen Kuroki @genkuroki

20年12月30日

方法:

仮説A, B, CはそれぞれサイコロXの出目の確率分布が添付画像のサイコロA, B, Cの出目の確率分布に等しいという仮説だとする。

その3つの仮説A, B, Cの信憑性をベイズ統計の方法を使って調べる。

事前分布では3つの仮説が正しい確率は等確率だとしておく。 pic.twitter.com/JuK5jEKUnq

タグ:

posted at 09:20:16

黒木玄 Gen Kuroki @genkuroki

20年12月30日

実験結果:添付動画のように、サイコロXの出目のデータのサイズnが十分大きくなったところで、事後分布は「仮説Bが正しい確率が100%である」に収束した(動画の右側)。

動画の左側における棒グラフは事後予測分布を、ドットはデータ中におけるその出目の割合を表している。 pic.twitter.com/aJLMFNIKlp

タグ:

posted at 09:24:21

ごまふあざらし(GomahuAzaras @MathSorcerer

20年12月30日

Juliaをするとちょっとフォトランとルヴィン勉強したくなる現象

タグ:

posted at 09:25:19

黒木玄 Gen Kuroki @genkuroki

20年12月30日

注目するべきポイント:

動画の右側の事後分布(データを使って求めた仮説A,B,Cがモデル内で正しい確率)だけしか見ないと、仮説Bが真理であるかのように誤解する危険性がある!

ドットで示されたデータを見れば、仮説Bが正しくないことは視覚的に明らかである! pic.twitter.com/aM53oCZpiD

タグ:

posted at 09:28:08

POOH @DrPooh08

20年12月30日

産業医先で「陰性証明は感染していないことを意味しない」という話をしたらびっくりされたので、これは何度でも言わないといけないんだろうなと思いました。

タグ:

posted at 09:28:20

黒木玄 Gen Kuroki @genkuroki

20年12月30日

答えをカンニング:

動画の左側にサイコロXの真の分布の棒グラフを追加。

真実は「3の目が出る確率がちょっとだけ他の目より高い」なのですが、ベイズ更新の収束先になった仮説Bは「3,4が出る確率がかなり高い」なので、真実からは程遠いです。 pic.twitter.com/AlIkjQX5yB

タグ:

posted at 09:32:21

黒木玄 Gen Kuroki @genkuroki

20年12月30日

補足:

仮説A,B,Cの中では仮説Bが真実に最も近いです。ベイズ更新は普遍的にそのような「モデル内で真実を最も近似した分布」に収束することが知られています。しかし、その仮説Bも真実からは程遠い。

あと、仮説Cが非常に優勢になる場面が生じていることにも注目。結構面白いと思います。

タグ:

posted at 09:44:59

黒木玄 Gen Kuroki @genkuroki

20年12月30日

ソースコード: #Julia言語

nbviewer.jupyter.org/gist/genkuroki...
ベイズ統計の簡単な例

このノートブックには以上で紹介したパターン以外の例(たとえば添付動画)も計算されています。 pic.twitter.com/0c46XXrXwF

タグ: Julia言語

posted at 09:46:44

Terada Ryohei @TeradaRyohei

20年12月30日

最近見て面白かったのがカナダ北極圏イヌイットのスノーハウス「イグルー」。狩りなど移動時に建てられるもので定住用では無いが中で煮炊きも出来るそう。
イヌイットに学ぶ、雪の家「イグルー」の作り方
natgeo.nikkeibp.co.jp/atcl/news/16/1...
動画はFBから
www.facebook.com/GIGadgets.Fans... pic.twitter.com/w7lXyI5Zpq

タグ:

posted at 09:53:58

黒木玄 Gen Kuroki @genkuroki

20年12月30日

注意・警告:上の計算はMCMC法の収束とは何も関係ないです。

タグ:

posted at 09:56:06

やねうら王 @yaneuraou

20年12月30日

やねうら王詰将棋ルーチンでミクロコスモス(1525手の詰将棋)は解くのにどれだけの計算時間とメモリが必要になるのかについて詳しく書きました。

yaneuraou.yaneu.com/2020/12/30/yan...

タグ:

posted at 10:08:04

前野[いろもの物理学者]昌弘 @irobutsu

20年12月30日

これ、小学校の先生が開き直っているのかと思ったら中学校の先生が「その点は小学校には期待してねーよ」って表明していたのか。

それにしても「どんな教え方してもいい」とまでは思わんけどなぁ。「間違ったことを教えられたのをちゃんと教え直す」ってのがすごく大変なことを大学で経験してるので。 twitter.com/eNDAN2ix0qquHF...

タグ:

posted at 10:36:39

いな | 稲川貴大(ロケット屋) @ina111

20年12月30日

www.cas.cmc.osaka-u.ac.jp/~paoon/Lecture... 阪大理学部の授業用みたいだけど、常微分、偏微分の数値計算まとまっててすごい

タグ:

posted at 10:36:53

前野[いろもの物理学者]昌弘 @irobutsu

20年12月30日

大学でもそうだけど、高校生向けの塾や浪人生向け予備校で働いていたときも「理屈はもうええ。使う公式がどれかだけ言うてくれ」という態度(実際にこの通りに言われたこともある)の生徒に出会うことはよくあったからねぇ。「ハジキ」とかはまさにそういう態度の生徒にぴったり合う。

タグ:

posted at 10:40:53

Keno Fischer @KenoFischer

20年12月30日

@SimonDeDeo Welcome! You hit a bit of a slow path - fix pending here: github.com/JuliaLang/juli.... Do also note the manual section in docs.julialang.org/en/v1/manual/p... - which has some common gotchas.

タグ:

posted at 10:45:57

yudai.jl @physics303

20年12月30日

誰かJulia言語で非負値テンソル分解(Nonnegative Tensor Factorization / Nonnegative Tucker Decomposition)を実装してない?

タグ:

posted at 10:47:31

前野[いろもの物理学者]昌弘 @irobutsu

20年12月30日

で、「小学校は中学校とは別世界」でいいのかというと、実際学校で勉強することってのは「後で役に立つ」から教えるんだよね。そういう感覚がなくて、「テストが終わるまでが勉強」という姿勢になっているのも、「理屈はもうええ」って思う生徒が出てきて、勉強の意義を減じることになっている。

タグ:

posted at 10:48:10

前野[いろもの物理学者]昌弘 @irobutsu

20年12月30日

ひどい場合は教える側も「理屈はもうええ」となっているみたいだけど、教える側が「考えさせよう理解させよう」と努力しても、教わる側が「理屈はもうええ」の態度だと実らないんだよねぇ。人は易きに流れるから。ハジキがいかんというよりは「理屈はもうええ」を助長する教え方は全部いかんのです。

タグ:

posted at 10:52:51

熊谷英憲 @Kumagai_GWC

20年12月30日

一度なじんでしまった思考パターンを変えるのが非常に困難なことはままありますし、、、、 twitter.com/irobutsu/statu...

タグ:

posted at 11:38:26

非公開

タグ:

posted at xx:xx:xx

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

20年12月30日

これは僕にJuliaを布教したJuliaの伝道師・降旗さんの授業資料。Julia入門にも数値計算入門にも最適。
本業は離散変分法の大家です twitter.com/ina111/status/...

タグ:

posted at 12:22:01

まきゃ @1789aorhow

20年12月30日

フォロワー,みんなjuliaやってる
juliaやってないのわいだけ....
juliaやりたいけどめんどくさくて覚えるの大変そうで億劫になってる自分がいる.

タグ:

posted at 13:09:36

カイヤン @389jan

20年12月30日

間違ったことをunlearnして学び直すのは普通に学ぶより高コストですからねえ(That is why I hate philosophy-driven statistics.) twitter.com/irobutsu/statu...

タグ:

posted at 13:25:41

カワズ on the bird @kawazu_on_bird

20年12月30日

Juliaってなんなん???

タグ:

posted at 13:29:01

いな | 稲川貴大(ロケット屋) @ina111

20年12月30日

従来のインフルエンザワクチンが不活性化ワクチンで鶏の受精卵1個から1回分しか取れないのに対して、革新的なmRNAワクチンは大きな容器で増やして作れるってのもすごい。 pic.twitter.com/Bq4MyTYLjl

タグ:

posted at 13:30:56

にちか @lxacas

20年12月30日

nemocas.github.io/AbstractAlgebr...

Julia で有限体が扱えると聞いたので試してみた.
簡単に冪乗計算が出来るし,多倍長クラスも扱えるので暗号の勉強に良さそう(画像は2048 bit の冪乗計算) pic.twitter.com/wmqQzCBI3s

タグ:

posted at 13:40:13

にちか @lxacas

20年12月30日

16384bit の有限体も初期化できたし,冪乗計算がうまくいった.
将来的には拡大体もサポートしてほしい pic.twitter.com/dXNi9UmAFf

タグ:

posted at 13:43:31

Yuki FURUSE 古瀬祐気 @ykfrs1217

20年12月30日

2020年振り返り
・クラスター班に呼び出されて、日帰りだと思ったら、そのまま4か月ホテル滞在になった
・それを聞きつけたいろんなうすい知り合い(えらい人を含む)が「ぼくの考えたさいきょうのころな対策」を送りつけてきた
・論文まぁまぁ出た、いっぱいリジェクトされた、研究費ダメダメだった

タグ:

posted at 13:49:52

黒木玄 Gen Kuroki @genkuroki

20年12月30日

@eco_tetsu @kamo_hiroyasu @eNDAN2ix0qquHFN @k11_n1025_m1116 #超算数 現行の学習指導要領では、極めて明瞭に、算数科の目標が数学・数理であることなっています。

教師の皆さんはこれに従って下さい。

このスレッドを読んでいる保護者の皆さんは、数学・数理を目標とせずに算数を教えると大っぴらに述べる教師にはこれを見せると良いと思います。 twitter.com/genkuroki/stat... pic.twitter.com/YVjnylHYJK

タグ: 超算数

posted at 13:58:26

サンタクルズ(一般男性) @dickinson_v306

20年12月30日

Juliaという言語、÷演算子が使えて草(÷は小数点以下切り捨てで整数値を返す割り算らしい。Juliaのデフォルト数値型はFloat64なので)

タグ:

posted at 14:24:17

サンタクルズ(一般男性) @dickinson_v306

20年12月30日

Juliaという言語、楽しい

タグ:

posted at 14:29:58

黒木玄 Gen Kuroki @genkuroki

20年12月30日

#Julia言語 私もそれ結構やっています。

Jupyter notebookを立ち上げっぱなし。

繰り返し使うコードはあまり書いていないのですが(そもそもJuliaの使い道はプログラミングそのものじゃない)、ときどき「これはパッケージ化しておくべきだ」となるのでそうします。 twitter.com/hshinaoka/stat...

タグ: Julia言語

posted at 14:31:13

黒木玄 Gen Kuroki @genkuroki

20年12月30日

#Julia言語 使い回すコードは単なる *.jl ファイルにせずに、最初からパッケージ化してもよいくらいだと思います。

julia> cd("どこか")
pkg> generate Foo
pkg> dev ./Foo
julia> using Revise
julia> using Foo
julia> Foo.greet()

./Foo/src/Foo.jl を編集

でパッケージを作れます。簡単!

タグ: Julia言語

posted at 14:31:14

黒木玄 Gen Kuroki @genkuroki

20年12月30日

#Julia言語 単なる .jl ファイルだと、ファイルの置き場所を知っていないと使えないですが、パッケージ化してあれば

using Foo

でどこからでも使えます。

しかも1つ前のツイートの方法でパッケージ化は極めて容易。

パッケージ化によって負担は増えません。

正式に公開する場合は別ですが。

タグ: Julia言語

posted at 14:31:14

黒木玄 Gen Kuroki @genkuroki

20年12月30日

#Julia言語 私は家庭内 JupyterLab サーバーを立ち上げっぱなしにしておいて、iPad のブラウザから、

192.168.x.y:8888/tree

にアクセスして使っています。treeでJupyter notebookが使える。

ZeroTierを使えば(←ググれば情報が得られる)、家庭外からも使えます。

超強力高級電卓。

タグ: Julia言語

posted at 14:35:11

黒木玄 Gen Kuroki @genkuroki

20年12月30日

@eco_tetsu @kamo_hiroyasu @eNDAN2ix0qquHFN @k11_n1025_m1116 #超算数 補足:学習指導要領解説について、文科省は【学習指導要領等と同様の拘束力を有すると誤解されるとの指摘】があったので、「解説」に改名したと述べています。

学習指導要領と異なる文書の学習指導要領解説に教師は従う必要はありません。従った場合には従った教師個人の責任になります。 twitter.com/genkuroki/stat... pic.twitter.com/SVehqQyCvB

タグ: 超算数

posted at 14:46:49

黒木玄 Gen Kuroki @genkuroki

20年12月30日

#Julia言語 8時間前に「JuliaはRubyよりも遅い場合があるぞ!」という指摘がツイッター上で出たら、その4時間後には改善のプルリクが出て来る世界。仕事が速過ぎて、面白すぎ。

😊😊😊😊😊 twitter.com/kenofischer/st...

タグ: Julia言語

posted at 15:14:06

@kuri_kurita

20年12月30日

理解しとけば受験でも得になるんじゃ?🤷‍♂️ twitter.com/nabari_risuken...

タグ:

posted at 16:25:03

大隅典子@東北大学(『小説みたいに楽しく @sendaitribune

20年12月30日

経済格差が学歴格差を生む構図。「小学6年生と中学3年生の保護者約12万2000人を対象に「どの段階の学校まで進んでほしいか」という質問を行い、その結果を所得階層別にまとめている。「大学」と答えた人は、富... #NewsPicks npx.me/yrEn/muuk?from...

タグ: NewsPicks

posted at 16:45:53

Dolphin7473 @Dolphin7473

20年12月30日

降旗先生の講義資料とても良いのでJulia始めたい人に超おすすめ
>RTs

タグ:

posted at 17:32:42

白石祐太 @iasadafa

20年12月30日

juliaでpycallを使ってpythonを呼び出せる[つもり]になった

タグ:

posted at 17:41:22

白石祐太 @iasadafa

20年12月30日

using PyPlot をするとjuliaが落ちるぞ...

タグ:

posted at 18:03:57

あんちもん2 @antimon2

20年12月30日

NGK2021S に参加を申し込みました!Julia関連で何かきっとしゃべります! ngk2021s.connpass.com/event/199017/?... #NGK2021S

タグ: NGK2021S

posted at 18:16:38

宮原篤 6th「小児科医ママとパパのやさ @atsushimiyahara

20年12月30日

政権批判のためか尾身先生を小馬鹿にする人達がいるけど(振戦で表したり)、こちらを見たほうがいいですよ。

「猛批判にもまったく動じない」コロナ分科会・尾身会長の激動の半生 父親の猛反対でも、慶応大を中退 #POL president.jp/articles/-/41803

タグ: POL

posted at 18:21:20

中村 良幸 (Nakamura Yosh @nakayoshix

20年12月30日

やっぱり、RとPython、そしてJuliaは全部知ってる方が良いですね。それらを全部において極めなくても、少なくとも普通に使えるぐらいには知っておいた方が良さそうです。>RTs

私は2010年の正月に開発の仕事で使って以来Rを使う機会がないのですが、その時は集中して勉強したので少しはわかります。

タグ:

posted at 18:22:14

jiccho @Jiccho96

20年12月30日

Julia、使いやすいんか

タグ:

posted at 19:22:30

非公開

タグ:

posted at xx:xx:xx

EARLの医学ツイート @EARL_med_tw

20年12月30日

餅窒息による心停止の1カ月生存率は20%以下
drmagician.exblog.jp/26379250/

いよいよこの時期がやってまいりました。死亡率は80%以上、目撃のない餅窒息なら95%。

ここにコロナに伴う救急の受け入れ困難が重なると死亡率はさらに上がります。

タグ:

posted at 19:37:25

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

佐々木徹 @tsukuba_tsasaki

20年12月30日

福島の新生児の先天的異常をスクープと伝えた岩上安身や、来年から大量の奇形児が生まれると言ったおしどりマコを思い起こさせる。 twitter.com/KiDoSuya/statu...

タグ:

posted at 21:30:34

白石祐太 @iasadafa

20年12月30日

@有識者
juliaでPyCallパッケージを入れたときにできるconda環境中にmatplotlibを入れ、続いてjuliaにPyPlotパッケージを入れた時、両者が干渉し合って悪さをすることってありますか?

タグ:

posted at 21:31:28

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

現太 @setogiwakyoushi

20年12月30日

@sekibunnteisuu 因みに、
くもわを頭から教えこむスタイルの担任(日常的にそういうスタイル)のクラスと、扱いもしない私のクラスで全国学力調査を行ったら、管理職もびっくりの結果が出ました。

目先の点数よりも、解き明かす楽しさを大切に刷るほうが、結果的に点数も良くなるようです。

タグ:

posted at 22:17:19

積分定数 @sekibunnteisuu

20年12月30日

@setogiwakyoushi >くもわを頭から教えこむスタイルの担任(日常的にそういうスタイル)のクラスと、扱いもしない私のクラスで全国学力調査を行った

一応の確認ですが、後者の方が成績が良かった、ということですよね?

タグ:

posted at 22:54:32

積分定数 @sekibunnteisuu

20年12月30日

つまりは学校がそれだけ劣化している、ということだね。 twitter.com/kayoka_yo/stat...

タグ:

posted at 22:58:00

現太 @setogiwakyoushi

20年12月30日

@sekibunnteisuu はい。

かなり。

タグ:

posted at 22:58:37

積分定数 @sekibunnteisuu

20年12月30日

@setogiwakyoushi まあ当然そうなるでしょうね。

タグ:

posted at 22:59:09

さくラビ @saclabi

20年12月30日

RもJuliaもPythonもC++も知らなきゃいけない時代なのね🥺

タグ:

posted at 23:03:30

天むす名古屋 Temmus @temmusu_n

20年12月30日

#超算数 私は資料発掘ぐらいしか貢献していないが、今年の議論では算数をこのままに維持したい人々も、算数をなんとかしたい人々も、はっきり可視化されましたね。

タグ: 超算数

posted at 23:20:04

OokuboTact 大久保中二病中年 @OokuboTact

20年12月30日

@temmusu_n > 私は資料発掘ぐらいしか貢献していないが

私もそうですが、専門家から無視されていますね

タグ:

posted at 23:43:11

ごまふあざらし(GomahuAzaras @MathSorcerer

20年12月30日

2020年最後に主婦に取り上げられてフォロワーが一気に増えました。
影響力半端ないでキュー twitter.com/nekomath271828...

タグ:

posted at 23:47:26

天むす名古屋 Temmus @temmusu_n

20年12月30日

@OokuboTact 専門家の上覧に供するレベルじゃないからですね、私の場合は。彼らの恥を暴くようなことばかりしてますので。

タグ:

posted at 23:56:46

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

User

» More...

Tag

» More...

Recent

Archive

» More...

タグの編集

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

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

送信中

送信に失敗しました

タグを編集しました