黒木玄 Gen Kuroki(@genkuroki)/2020年06月06日

ごまふあざらし(GomahuAzaras @MathSorcerer

#統計ベイズ統計使用時には、現実にはぴったり値が決まっていると考えられるが、我々が観測できない(なかった)値をすべて確率変数でモデル化し、モデル内で現実で得られたデータと同じデータが生成された場合の条件付き確率分布を考えます。非現実的な設定のモデルも役に立つことの理解が本質的。

タグ：統計

posted at 23:48:33

github.com/org-arl/Intera...

```julia
using InteractiveViz
using InteractiveViz.demo
iheatmap(mandelbrot, -2, 0.66, -1, 1; overlay=true, axescolor=:white, cursor=true);
``` pic.twitter.com/1OUE8PBlxf

タグ：

posted at 23:43:29

#統計実際、S市の中1全体の体重の分布の推測に関する上の方で説明した場合において、事前分布の現実での対応物が無くても困らないことは、渡辺澄夫『ベイズ統計の理論と方法』で採用している方針を見れば明らかです。

タグ：統計

posted at 23:37:42

mins(意識が低い社畜にゃん @mins2112miku

#統計事前分布に現実の何か(具体的には主観や信念や確信)が対応していなければいけないかのような考え方が、「主義」に支配されたベイズ統計の解説が20世紀に量産された原因の1つだと思う。

事前分布は単なる数学的モデル内部における確率分布に過ぎず、現実での対応物がなくても実は全然困らない。 twitter.com/smorninglory/s...

タグ：統計

posted at 23:35:16

やべ、別案件ぜんぜんやっていない。
Python/Julia/R/Wolfram言語の4言語でグラフ書いとかねーと。

タグ：

posted at 23:13:34

三崎一朗 @qg7gIDq5ymBfbKW

ごまふあざらし(GomahuAzaras @MathSorcerer

ほえー twitter.com/genkuroki/stat...

タグ：

posted at 22:50:01

create_sysimage が PiZero でも使えてビビってる
#Julia言語　

 discourse.julialang.org/t/have-a-try-j...

タグ： Julia言語

posted at 22:19:26

adhara_mathphys @adhara_mathphys

sphero-elliptic 座標系というのはあまり使われないのですが、n 次元で考えることができて、このような定義です。 pic.twitter.com/Fa8G2hh6UT

タグ：

posted at 21:20:18

mtmt @mtmtlife

渡辺明棋聖（36歳）に藤井聡太七段（17歳）が挑む棋聖戦五番勝負。どちらを応援しますか？

タグ：

posted at 21:13:39

#超算数

これ、重要な情報だと思いました。

ARUMAKAN←さん、どうもありがとうございます。

関連情報募集中。 twitter.com/leisureprince/...

タグ：超算数

posted at 20:28:26

#統計「信頼区間警察」は「頻度論信頼区間とベイズ信用区間の区別」に関するミスリーディングな説明を行なって来た。

信頼区間や信用区間はリスク管理によく使われるので、データやモデルの妥当性が疑わしい場合にはそれらの区間の現実の問題での使用は危険だという認識が普及するべきだと思います。

タグ：統計

posted at 19:46:22

#統計最近公開された新型コロナ関連のリポジトリ

github.com/contactmodel/C...

では、最尤法とベイズ統計(RStanを使用)の両方を "Rt" の推測に使っています。

自身をベイズ主義者だとか頻度主義者だとかに分類する非科学的な統計学の時代はとっくの昔に終わっているのです。

タグ：統計

posted at 19:42:05

ゆうな @kawauSOgood

カメレオン、色素胞による体色変化をしているのかと思いきや、無色の結晶によって変化させ、構造色としての体色を見せていたんだ。

早くこれを電子ペーバーに応用しておくれ！！！

www.afpbb.com/articles/-/304...

タグ：

posted at 19:41:54

#統計頻度論の仮説検定や信頼区間の背後には最尤法が隠れている場合が多いのですが、モデルが複雑になると、最尤法とベイズ統計による推定・推測の手間が同じくらい面倒になることが増えます。既存のツールの組み合わせではベイズの方が楽な場合が少なくない。ベイズ統計にはこういうメリットがある。

タグ：統計

posted at 19:35:45

#統計頻度論版信頼区間の適切な定義とコンピューター上での実装よりも、ベイズ版信用区間の定義とコンピューター上での実装の方が易しい場合は少なくないです。

だから、頻度論で済ませられる場合であっても、ベイズ版を使うことにはメリットがある場合が少なくない。

タグ：統計

posted at 19:31:35

#統計しかし、ベイズ版信用区間がデータサイズnが大きなとき頻度論版信頼区間に近似的に一致していることを数学的に示せる場合には易しくなります。

その場合にはベイズ版信用区間を解釈が易しい頻度論版信頼区間と同様の使い方をしてもよい。

タグ：統計

posted at 19:28:48

#統計頻度論95%信頼区間とベイズ95%信用区間のどちらについても95%という数値は現実とは直接に関係していないモデル内部で確率。

頻度論95%信頼区間の95%という数値は推測用に用意したモデルが妥当ならそのまま現実に適用しても大丈夫。

それに対してベイズ95%信用区間の95%の解釈は難しいです。

タグ：統計

posted at 19:25:04

#統計ベイズ統計の場合について「ベイズ統計における95%信用区間(確信区間)には真の値が95%の確率で含まれる」と言って良いと解説しているクズなベイズ統計解説は広く出回っているので注意が必要です。

ベイズ版95%信用区間の95%はベイズ統計特有の非現実的な設定のモデル内部での確率に過ぎません。

タグ：統計

posted at 19:21:05

#統計統計学入門の本では安易に現実の母集団が正規分布していることを仮定してしまっているのですが、それを読んで受け入れてしまった人は論理的にも科学的にも杜撰な考え方をしていたことを反省するべきです。

勝手に正規分布を仮定していいわけがない。当たり前の話です。

タグ：統計

posted at 19:17:08

#統計諸々の仮定が現実において疑わしい場合には「真の値が95%の確率で95%信頼区間に含まれる」という数学的に証明される結果を現実に適用することの妥当性も疑わしくなります。

信頼区間はデータだけではなく、モデルにも依存していることは、徹底的に強調されるべきことだと思われます。

タグ：統計

posted at 19:14:48

#統計本当に注意するべきことは、悪しき「信頼区間警察」達が強調していることではなく、「S市の中1男子の体重の分布が正規分布でよく近似されているならば」という仮定の部分です。

この手の仮定は現実に統計分析の多くの場面で疑わしい仮定になります。現実には無作為抽出の仮定も疑う必要がある。

タグ：統計

posted at 19:11:38

#統計「体重の平均の真の値がその95%信頼区間に含まれる確率はほぼ95%になる」において確率的に揺らぐと考えているのは、定数であるはずの「体重の平均の真の値」ではなく、「95%信頼区間」の両端の値の方です。無作為抽出での乱数の出目が変わると、データも変わり、信頼区間の両端の値も変わる。

タグ：統計

posted at 19:06:53

#統計ここで「あれ？信頼区間に真の値が含まれる確率は頻度論では考えることができず、ベイズ的な考えと混同している？」と思ってしまった人達は、その中に広まっているデタラメな「信頼区間警察」達にミスリードされた人達です。

これについても誤解している人達は多いと思います。続く

タグ：統計

posted at 19:02:20

#統計正規分布モデルとt分布を使ういつもの方法で、S市の中1男子の体重の平均の95%信頼区間をデータから求めたとします。

そのとき、S市の中1男子の体重の分布が正規分布でよく近似されているならば、体重の平均の真の値がその95%信頼区間に含まれる確率はほぼ95%になることを数学的に証明できます。

タグ：統計

posted at 18:59:52

#統計推測用に用いる数学的モデル内部では、現実にはあり得ないこと(例えば、現実には定数のはずの平均や分散が確率変数になるなど)も自由に仮定して構いません。

非現実的なモデル設定であっても、現実の統計分析で役に立つならば実用上何も問題ない。

ベイズ統計はまさにそういう例になっている。

タグ：統計

posted at 18:56:21

#統計ベイズ統計で確率変数になるのは、推測用に用意した(非現実的な)数学的モデル内部におけるパラメータ(母数)に過ぎず、現実のS市の中1男子全体の体重の平均や分散の方ではありません。続く

タグ：統計

posted at 18:53:24

#統計ここで、「あれ？ベイズ統計では推定先の平均や分散のような母数は確率変数になり、定数にならないはずなのに、これはどうしてだ？」と思ってしまった人達は、世に中に広まっているクズのようなベイズ統計の解説にまんまとミスリードされていることになります！おそらく多くの人が騙されている。

タグ：統計

posted at 18:50:01

#統計さらに、S市の中1男子全体の体重の分布は乱数の出目と無関係に決まっています。だから、例えば、S市の中1全体の体重の平均や分散の値は定数として自然に数学的にモデル化されます。

これはベイズ統計でも同様で、S市の中1男子全体の体重の平均や分散の値は定数でモデル化される。

タグ：統計

posted at 18:46:33

以上の情報のうち、大学図書館が導入できなくなったことについては、知り合いの大学教員と図書館から聞いた話。おそらく全国的な問題だと思うが、どの大学図書館でも同じ状況になっているかは引き続き確認する必要あり。指導書作成のプロセスは、自分が経験したものや人から聞いた情報を合わせて書いた

タグ：

posted at 18:45:38

#統計 1つ前のツイートの内容は頻度論であろうがベイズであろうがどちらでも正しい。たとえベイズ統計を使用した場合であっても、データは乱数の出目によって確率的に決まっているので、確率変数で数学的にモデル化しておくべきなのです。続く

タグ：統計

posted at 18:42:50

#統計例えばS市の中1男子の体重の分布を推測するために無作為抽出でn人選んで体重を測ったデータを得たとします。このとき、無作為抽出で使った乱数の出目によってデータは確率的に決まっているので、データは確率変数でモデル化され、S市の中1男子全体の分布は定数として決まっています。続く

タグ：統計

posted at 18:42:46

教師用指導書が出版された後は、その原稿の内容に外部から質問が寄せられた場合、教科書会社が回答できないものについては該当部分の執筆者にその質問が送られるようになっているらしい（？）

タグ：

posted at 18:38:54

原稿が集まった後、それぞれの原稿を別の執筆者にまわし、ピアレビューをしてコメントを付ける。複数回修正を行い、原稿を仕上げていく。

タグ：

posted at 18:37:38

#統計何度も繰り返し語って来たことの再掲

　　　　　　頻度論　　ベイズ
パラメータ　定数　　　確率変数
データ　　　確率変数　定数

という図式で「頻度主義」と「ベイズ」について解説する行為はミスリーディングなので要注意。添付画像は

watanabe-www.math.dis.titech.ac.jp/users/swatanab...

より。 twitter.com/traindusoir/st... pic.twitter.com/FLtVESRg1k

タグ：統計

posted at 18:37:30

そもそも、教師用指導書はどのように作成されるかもあまり知られていない。会社によって異なるが、主な流れは次の通り。まず、教科書会社が大学教員やその教科が得意な現場の教員に執筆依頼をする。依頼された側は、各単元の指導書を執筆する。（続く

タグ：

posted at 18:36:04

というのも、今年から教員養成の大学図書館は教師用指導書を購入できないようになったらしい。表向きには管理や著作権の問題らしいが、結局販売数を稼ぐための対応だろう。教員養成系の学生は困るだろうし、それ以上に世間の目により触れなくなるという問題点もあると思う。

タグ：

posted at 18:33:27

RT先の話の流れからはややそれるが、教師用指導書が世間の目に触れない状態にあるのは問題だと感じている。一般の人が教師用指導書を閲覧する方法は教員養成系のある大学の図書館で閲覧することであった。しかし、今年からそれも出来なくなりはじめている（続く twitter.com/genkuroki/stat...

タグ：

posted at 18:30:16

@genkuroki ありがとうございます！
磁石でくっつくのと、糊なしで組み立て可能なことで、配色のパターンの試行錯誤がスムーズにできました。

タグ：

posted at 18:03:06

#数楽

なるほど、これは非常に面白い‼️
磁石の向きを気にせずにピタピタくっつく‼️

(((配色の工夫も見事‼️))) twitter.com/end_tt/status/...

タグ：数楽

posted at 17:44:11

ちなみに、1つ前のツイートの添付画像中に出て来たJacobiのcd函数とsn函数の加法定理(例外のない綺麗で計算効率のよい公式)は、楕円曲線暗号 Ed25519 の基礎になっています。

200年前のヤコビさんは自分の純粋数学研究が文明の基礎的インフラの1つに組み込まれることを予想できなかったと思います。

タグ：

posted at 16:50:24

#Julia言語ではREPL内なら ] キーでパッケージマネージャーを起動できます。足りないパッケージはその場で追加する。

添付画像は Elliptic.jl パッケージがインストールされていなかったので、それを追加して、楕円函数をプロットするまでの様子です。 pic.twitter.com/zlYbR2SUC3

タグ： Julia言語

posted at 16:46:21

#Julia言語 JunoやJupyerを使えるようにするのがあまりにも大変だと思った場合には、Juliaの公式バイナリだけをインストールして、すでに使っているエディタでfoo.jlを編集して、REPLから include("foo.jl") の形式で実行してみるのがよいと思います。REPL内に留まれば、以上で紹介した事柄を試せる。

タグ： Julia言語

posted at 16:29:34

#Julia言語以上を見ればわかるように、「julia main.jl スタイルでJuliaのコードを実行する」という発想だと、Juliaの面白くて便利なところを素通りしてしまうことになります。

REPL、Juno、Jupyter などを使うこなすことは必須だと思います。

タグ： Julia言語

posted at 16:29:33

小ネタ

ちなみに #Julia言語のパーサーはjsonもパースしてASTに変換してくれます。(もちろん「実行」はできない。)

添付画像はJupyterでのJulia v1.4.2のkernel.jsonファイルの内容をJuliaにパースさせた結果。 pic.twitter.com/N5oEzIgDVI

タグ： Julia言語

posted at 16:23:20

機械を渡してみたら分解するための道具を手に取る子供と出会ったら、ニコニコ顔で「こいつの将来は楽しみだ」とみんな思うでしょ？

タグ：

posted at 16:10:09

#Julia言語自分で常に予想を立てて「入力」と「出力」だけではなく「途中で何をやっているか」を見ようとすることは非常に効率よく学習を進めるためには必須であり、安易な「写経」から入ろうとする学習態度は効率の悪いダメなやり方であるという知識が広まって欲しいと思います。

タグ： Julia言語

posted at 16:06:59

#Julia言語パースの結果を見たいときには、dumpもよく使う。それに限らずナマの中身を見たいときにはdumpをよく使う。

初めて使うものについては、「入力」と「出力」だけではなく、「中で何をやっているか」についても見ておいた方が圧倒的に楽でかつ速く理解が進むと思います。数学的な考え方。 pic.twitter.com/e0yIRBBB47

タグ： Julia言語

posted at 16:03:46

#Julia言語

他にも函数の実行時間とメモリ使用量の確認のための

@ time

や函数に引数を与えたときの型推論の様子をみるための

@ code_warntype

やllvmやネイティブコードへのコンパイル結果を見るための

@ code_llvm
@ code_native

などもよく使います。

タグ： Julia言語

posted at 15:57:51

@Ototo_ 高次元については不勉強のためイメージできていませんが面白そうですね
正8胞体と正16胞体などの組み合わせでも合いの子が作れるのでしょうか

タグ：

posted at 15:52:23

#Julia言語添付画像のように :( ) で囲むだけでもJuliaが何をやっているかの一端が見える場合もあります。

a ? b : c

は

if a
b
else
c
end

と同じです。 pic.twitter.com/Mehho5jLFE

タグ： Julia言語

posted at 15:46:50

Novlude @novlude

そうだ、julia言語やろう

タグ：

posted at 15:44:16

#Julia言語初めて使うプログラミング言語では「そいつがどのように俺にコードを解釈してくれるのか」の感覚を掴むまで結構苦労します。

しかし、Meta. show_sexpr などでJuliaさんの解釈の仕方を簡単に見られることは、Julia新参者にとって非常にありがたいことだと思います。

タグ： Julia言語

posted at 15:40:50

#Julia言語のパーサーは色々なことをしていて独特の面白さがあります。JuliaにはS式でパースの結果を表示してくれる函数

Meta. show_expr

があります。「このコードの書き方をJuliaさんがどのように解釈してくれているのかな？」と思ったときに非常に便利です！

krasjet.com/rnd.wlk/julia/ pic.twitter.com/sGNeczLlfS

タグ： Julia言語

posted at 15:37:39

#Julia言語非常に良いtutorial‼️

krasjet.com/rnd.wlk/julia/
julia as a cli calculator

線形代数の取り扱いに詳しく、Juliaがどのようにコードをパースしているかも見せてくれています。

ただし、Juliaでrow vectorは1×n行列と異なるので、[1 2 3]ではなく、[1,2,3]'やtranspose([1,2,3])がbetter. pic.twitter.com/WcqycbKTW6

タグ： Julia言語

posted at 15:32:01

濱中裕明 @Ototo_

OokuboTact　大久保中二病中年 @OokuboTact

@end_tt 凧型60面体の凧を思わせますよね．
正12面体と正20面体の合いの子として凧型60面体を構成するのと同様に，正120胞体と正600胞体の合いの子として凧型多胞体が作れそう．その胞はこんな形をしているのじゃないかしらん．

タグ：

posted at 15:17:42

佐天涙子@御坂美琴 @satensan2828

＃超算数　　＃図形　＃仲間探し

正三角形は二等辺三角形ではない？ pic.twitter.com/hGVRWVvrSZ

タグ：仲間探し図形超算数

posted at 15:17:25

うつ病でもコロナでも即効性があってめちゃくちゃ効くやつ pic.twitter.com/xoRIjHPBQL

タグ：

posted at 15:14:28

片瀬久美子 @kumikokatase

【🏠お家で楽しもう】
ビスコーニュ続き。。。
幾何学模様2つ♪ pic.twitter.com/zayDUYqaTp

タグ：

posted at 14:58:56

@OokuboTact @temmusu_n #超算数「算数教育界独自の無用な考え方をでっち上げて、子供に教え込むスタイルを、算数の教科書や教え方の指南書を通して広めること」への疑問が算数教育関係者には皆無だと思う。

その疑問は過去の算数教育の歴史への肯定的評価を広範に破壊することになり、そういう破壊は好ましいことだと思う。

タグ：超算数

posted at 14:58:22

@OokuboTact @temmusu_n #超算数包含除と等分除に関する穏健な考え方は「子供には区別を教える必要はない」だと思うのですが、

【包含除と等分除の意味の違いを子どもにいかに教えるか】

とはっきり書いてありますね。 pic.twitter.com/SU3bCtCQHt

タグ：超算数

posted at 14:55:44

Genki Kanda @Kd_Gn

どうしてDeepLちゃんは勝手に名前を推測して埋めちゃうのかな？それで自信あるの？ pic.twitter.com/gPU8iml2l3

タグ：

posted at 14:53:46

ina_ani@3歳児のパパ @ina_ani

クレジットカード内のダイオードを利用して作るラジオ。 / “Credit Card Chip Used To Make Crystal Radio | Hackaday” (1 user) htn.to/4wwjvA7gwL

タグ：

posted at 14:41:11

また、同じ三色で5つの凧形六面体を作ることになりますが、5つの内一つだけ配色を鏡像にすると、完成する2種類の多面体のどちらでも綺麗に色が並ぶことがわかりました。 pic.twitter.com/52UXGuo7I8

タグ：

posted at 14:38:55

面白かったのが配色です。
トータル60枚の紙を3枚ずつで一つ凧形六面体を作っていくので、最初は5色を試したのですが、完成する2種類の多面体のどちらでも面の色を揃えるような配置ができなかったので、一色減らして4色にしました。

タグ：

posted at 14:38:54

大石雅寿 @mo0210

@JoyTaniguchi 気候によって栽培する農作物が変わるから、正解にして構わないと思います。瀬戸内海沿岸は少雨地域なので、ため池をたくさん作って農業をしていますし。

タグ：

posted at 14:31:21

社会言語学の教科書であればかなりの確率で載っているパラグアイのグアラニ語の話は、おそらく大学入試にはあまり出ないだろう。これがスイスの場合だと、社会言語学・高校地理いずれの教科書にも載ってる。

twitter.com/tera_sawa/stat...

タグ：

posted at 14:29:17

この点、社会言語学が重視する言語事情と、中学高校地理（地誌）が重視する言語事情はけっこうずれるという印象がある。前者は、言語学的におもしろい言語事情にフォーカスするが、後者は「近代国家の成り立ち」を理解するためとかそういう理由、だろうか。

タグ：

posted at 14:27:40

形状の検討とカッティングデータの作成に #Fusion360 を使いました。 pic.twitter.com/2oplvbohu5

タグ： Fusion360

posted at 14:27:35

紙のカットは #シルエットカメオ4 というカッティングマシンを使いました。
A4の紙から16枚切り出すのに15分（設定によります）くらい
#シルエットカメオ4 pic.twitter.com/z05BkCgx6c

タグ：シルエットカメオ4

posted at 14:23:47

これ、高校の教科書では集計した研究ってないのかなあというのと、国だけじゃなくて、言語で集計したのを知りたい。教科書本文テキストデータがあれば、自分でもできるけど、さすがにそれはないか。

タグ：

posted at 14:22:41

これ面白いですね。出典（および完全リスト）は、遠藤孝彦(2011)「中学校社会科における世界の国々の取り上げ」『宮城教育大学国際理解教育センター年報』第7号，pp.13-23. pic.twitter.com/ta8tKKY91t

タグ：

posted at 14:21:45

亀＠渋研X（リハビリ中） @kamezonia

作り方
材料はカラーケントとマグネットボール。
同じ形に切った紙を3枚編むようにして凧形六面体を組み立てます。糊付けなしで大丈夫でした。
中に球状の磁石を入れることで、磁石の向きを気にせずにピタピタと凧形六面体同士がくっついてくれます。 pic.twitter.com/bD3fYboeGV

タグ：

posted at 14:17:20

あぁ、誤飲しちゃうのかぁ。認知能力の低下かしら…／日付書くのはオレもやってる。このマンガがTLに流れてきて知ったんだったかもｗ／ブコメによると薬管理のアプリがある？ / “薬のシートの「ミシン目」はなぜ変わったのか？　やってはいけない１錠ずつの切り離し(山本健…” htn.to/2NULJ65xbG

タグ：

posted at 13:51:08

#Julia言語

Juliaは試行錯誤の繰り返しを高速化してくれます。

これは各種の数学的パズルを解くためのコードを書きたい人(例えば私)にとっては大きなメリットです。

twitter.com/kenofischer/st...

タグ： Julia言語

posted at 13:47:26

※注　これはジョーク動画です。
厳密なモデルを用いて、この動画のように正十二面体を分割して組み立てたとしても正四面体にはなりません。
twitter.com/end_tt/status/...

タグ：

posted at 13:00:36

正十二面体を20個に分解して、正四面体を5つ作る動画 pic.twitter.com/HD2z7YE0zj

タグ：

posted at 13:00:00

じにお @ginioh

@genkuroki 是非黒木先生に見て欲しい。笑えるけど酷い twitter.com/itm_nlab/statu...

タグ：

posted at 12:55:12

Women Who Code @WomenWhoCode

😂 Tag a #developer that needs a laugh! pic.twitter.com/7twE7G9LBY

タグ： developer

posted at 12:15:03

OokuboTact　大久保中二病中年 @OokuboTact

@Ototo_ そうですね。
こんな感じの凧形六面体なのですが、二面角をみると、緑色の稜を72°、赤が120°になるように造形すると、青い部分が88.76 degという半端な数字になってしまいます。 pic.twitter.com/ORBgLq7qiV

タグ：

posted at 12:05:19

OokuboTact　大久保中二病中年 @OokuboTact

@temmusu_n #超算数　　 #等分除と包含除

（続き） pic.twitter.com/HYiGiiGLi9

タグ：等分除と包含除超算数

posted at 12:04:42

@temmusu_n ＞　と無前提に呼んでいるかどうか？とか。

『算数教育の論争に学ぶ』に明治時代の割り算について紹介がありました。

＃超算数　　＃等分除と包含除 pic.twitter.com/MSSTQiWPi5

タグ：等分除と包含除超算数

posted at 12:04:02

@asahi_msta @sakurai_susumu #親も算数教えたい　 #超算数　

掛け算の順序だの、足し算の順序などナンセンスです。
こんな人物に算数教育について取材するのはなぜでしょうか？
twitter.com/genkuroki/stat...

タグ：親も算数教えたい超算数

posted at 11:58:30

@asahi_msta @sakurai_susumu 桜井進氏　@sakurai_susumu　は、足し算や掛け算に順序があるという馬鹿げたことを言うような人です。

なぜこのような人物を登場させるのでしょうか？

#親も算数教えたい　 #超算数
 twitter.com/genkuroki/stat...

タグ：親も算数教えたい超算数

posted at 11:55:41

#Julia言語実行途中でコードを変更しただけで、手動での再コンパイル抜きで、自動的に全体の動作に反映されてかつ計算が速いという特徴は、数学的パズルを解くための試行錯誤に非常に向いています。

julia ./Main.jl の強制はそういう技術的利点を完璧に殺しているわけです。

タグ： Julia言語

posted at 11:36:45

濱中裕明 @Ototo_

@end_tt えーと、では空間充填形ではないってことですかね。

タグ：

posted at 11:29:43

#Julia言語

JuliaではJunoやJupyter経由で、REPL内に留まりながら、コードの変更と結果の確認を繰り返すスタイルが有効です。

試行錯誤によってパズルを解くためのコードをテストして完成させた時点で、REPL内ではその完成コードの実行に必要な函数達がJITコンパイル済みになっています。

タグ： Julia言語

posted at 11:26:22

Re: RTs on #Julia言語

数学的パズルを試行錯誤で解くためにjuliaのコードを繰り返し julia ./Main.jlの形式で実行するのは馬鹿げている。

その場合には、PackageCompiler.jlの使用はさらに馬鹿げています(コンパイル時間がかかり過ぎる)。

Juliaの馬鹿げた使い方を強制している人は問題あり過ぎ。

タグ： Julia言語

posted at 11:26:19

Atsushi Sakai @Atsushi_twi

SciPy.jl v1.0.0 : A Julia interface for SciPy using PyCall.jl released🎉 You can access a lot of useful scientific functions of SciPy easily from your Julia code. To can install: Pkg.add(“SciPy”). #julialang atsushisakai.github.io/SciPy.jl/stable/ pic.twitter.com/UCyr9mxwwC

タグ： julialang

posted at 11:20:47

【The Ruby gem VCR～allows you to “[r]ecord your test suite’s HTTP interactions and replay them during future test runs for fast, deterministic, accurate tests”. It～contains 3,000 lines～. Let’s use Cassette to build it in #JuliaLang with】28 lines! cdg.dev/tech/vcr/

タグ： JuliaLang

posted at 10:55:44

ホップステップ玉砕 @cobat_19

一瞬マスクしてそうでぜんぜんしてない人 pic.twitter.com/3BTPR104qr

タグ：

posted at 10:03:46

天むす名古屋 Temmus @temmusu_n

運転免許試験は、

仮免で公道を運転するには、免許取得後2年以上経過した人が助手席に乗らなければならない

これ、○が正解　とされるぐらいちゃんとしている。

※道交法では、免許取得後3年以上経過した人が助手席に乗らないとならないとされている。

タグ：

posted at 09:32:59

@sekibunnteisuu それは国語を貶めるw物言いですぞ！

20世紀の事情が19世紀の事情の真偽にどう影響するのか、全くわからない…

タグ：

posted at 09:32:49

国語や英語を教えている人って、

文字通りの意味と、文脈その他から決定される意味に乖離があることがある（むしろそれが普通）

ということは分かっているんだよね？

タグ：

posted at 09:29:46

算数ですら、正方形は長方形ではない、とされることがある。

高校数学のしかも、命題の単元で、必要十分条件は必要条件じゃない、とされることがある。

国語じゃな～

でも、運転免許試験はしばしば揶揄されるけど、調べた限りちゃんとしている。 twitter.com/YENOMOT_Senri/...

タグ：

posted at 09:23:19

@gpbarletta I mean we do want to fix it, it's just hard. The frustrating part is that people regularly accuse us of malice or stupidity in not having fixed it yet. It's a hard problem in our system, but we get lots of benefits in return that would be hard in other systems.

タグ：

posted at 08:47:49

Andy Duboc @andyduboc

Kinetic display — for the past couple of months, I have been working on a small tool to control a flip dot board and create patterns. pic.twitter.com/eAkVyQvCiZ

タグ：

posted at 06:46:26

池田洋介 @ikeikey

少し長めのバージョンはこちらをどうぞ
youtu.be/87fzwSqRi88

タグ：

posted at 06:37:38

Compare this to say C/C++ where this is is generally tracked at the include file level by the build system. Need to change something in an LLVM header? Time to take a coffee break while it recompiles. Some game engines allow C++ hot reloading, but it's usually quite janky.

タグ：

posted at 06:30:34

To make the connection explicit. What makes speeding up loading hard is that we need to track and update fairly fine grained dependency information about the global state (primarily of the method table). But this same dependency information allows the hot reloading to work.

タグ：

posted at 06:28:09

The long initial load times of #julialang are a common complaint. But on the other hand, I can hot reload changes into the compiler and just have them automatically be active with ~zero delay. Makes iteration really fast - it's all about tradeoffs in workflows.

タグ： julialang

posted at 06:18:09

残り13件のツイートを見る

Alexandra Schwartz @AlxndraSchwartz

@RobertCSchwarz @schmaidt Thanks for the suggestion. The first time I had a look at Julia, I found it hard to get into. But maybe it’s time to revisit.

タグ：

posted at 03:26:17

非公開

タグ：

posted at xx:xx:xx

Robert Schwarz @RobertCSchwarz

@AlxndraSchwartz @schmaidt #julialang with similar, concise syntax for linear algebra.

タグ： julialang

posted at 03:21:30

【訂正】
本アカウント @end_tt より6/6 13:00(JST)に投稿されるツイートの文面に誤りがあるため、以下の通り訂正します。

誤:「正十二面体を20個に分解して、正四面体を5つ作る動画」

正:「正十二面体にそっくりな凧形六十面体を20個に分解して、正四面体にそっくりな凧形十二面体を5つ作る動画」 pic.twitter.com/fT34ShLc0O

タグ：

posted at 03:16:57

Freya Holmér @FreyaHolmer

pic.twitter.com/ldA3JpRLjX

タグ：

posted at 02:15:05

Kien Y. Knot @0_u0

【Vote】統計・機械学習・数値計算などでR, Python以外に習得をおすすめする言語

タグ：

posted at 02:11:26

Lee Phillips @lpfeed

Beautifully done and super useful article about using Julia as a calculator (but contains so much more):

krasjet.com/rnd.wlk/julia/

#JuliaLang

タグ： JuliaLang

posted at 01:27:03

Viral B. Shah @Viral_B_Shah

People sometimes say they can't use #julialang because it is not object-oriented. @elibendersky discusses how multiple dispatch addresses the challenges in functional and object-oriented programming. This is why #julialang feels *right* to its users.

eli.thegreenplace.net/2016/the-expre... pic.twitter.com/oPtC0puyyo

タグ： julialang

posted at 01:18:08

非公開

タグ：

posted at xx:xx:xx

@389jan @stattan #Julia言語 Rの場合にはexact2x2の

fisher.exact(A, conf.level = 0.99, or = 0.5)

などを実行すると、自動的にサマリーが表示(添付画像2の後半)。

それと同じことをJuliaでやるには自前で型を定義して、函数の返り値をそれにして、その型のBase. showを定義します。

nbviewer.jupyter.org/gist/genkuroki... pic.twitter.com/OkwfcGTssQ

タグ： Julia言語

posted at 00:27:34

Freya Holmér @FreyaHolmer

visualizing curvature across a cubic bezier curve is so hecking pretty 💖 pic.twitter.com/9n8IZ1ho0b

タグ：

posted at 00:25:37

@389jan @stattan #Julia言語自前の型を何度も定義し直す試行錯誤をやりたい場合には、module の中で定義しておいて、using 経由で使うようにしておいた便利です。そうしないと、同じ名前の型を再定義し直すことができなくなります。

タグ： Julia言語

posted at 00:16:06