黒木玄 Gen Kuroki(@genkuroki)/2020年05月/Page 5

Plotsでlinestyle=:dotとした時に間隔を広げたいのですがどのようにしたら良いでしょうか？また、pythonみたいに"--"のようにすることは出来ますか？教えていただきたいです🙇‍♂️

#Julia言語

タグ： Julia言語

posted at 00:33:57

@takusansu @miyuki_MathT @eroaka_day #超算数添付画像1のように

【"a=b×c"は
a equals b times c.
となります。超算数論者風に言えば、「bとcを入れ替えると言語として状況が違ってくるからダメ！」】

と言っているわけで、さすがにこれを正当化するようなことを大学で教えていたら、非難されて当然でしょう。
twitter.com/eroaka_day/sta... pic.twitter.com/8SzY5JdnfV

タグ：超算数

posted at 00:35:26

@takusansu @miyuki_MathT @eroaka_day #超算数数学の基礎言語が英語だなどというおバカさんもいるとしたら問題ありだと思う。

数学史や数学的記号法の歴史について多分全然知らない。

何というか、まるで論外な教育を受けているかのような発言を連発されると、真っ当に教えている側に不当なダメージが行く可能性があると心配しました。

タグ：超算数

posted at 00:39:22

@takusansu @miyuki_MathT @eroaka_day #超算数どこの何者か分からない立場で「大学の～では～と教えている」と主張し、それがまるで事実であるかのように印象付けて、議論に利用すること自体がろくでもない行為だと思いました。

「大学の～では」ではなく、「私は」と言い続けて、言い続けた個人がバカ扱いされ易いようにした方がよい

タグ：超算数

posted at 00:50:38

Keno Fischer @KenoFischer

I have a new blog post up about the bug reporting work I've done these past few weeks: julialang.org/blog/2020/05/rr/ #julialang

タグ： julialang

posted at 00:51:17

Viral B. Shah @Viral_B_Shah

Coming in Julia 1.5: Time Traveling (Linux) Bug Reporting

julialang.org/blog/2020/05/rr/

タグ：

posted at 00:51:45

ごまふあざらし(GomahuAzaras @MathSorcerer

@takusansu @miyuki_MathT @eroaka_day #超算数「F(a)=b∈F(A)」よりも「b=F(a)∈F(A)」と書いて欲しいという話は式を左から右に読むこととは無関係です。実際、この場合は右から読んでも同じことを言う人がいると思う。

左右逆転させて「F(A)∋F(a)=b」と書いても「b=F(a)∈F(A)」と同じ意味です。

タグ：超算数

posted at 00:55:51

JSXGraph.jl の導入方法が文章化されてないので著者のリポジトリのコードを読んで作りました．

terasakisatoshi.github.io/MathSeminar.jl...

タグ：

posted at 01:35:43

#Julia言語

linestyle=:dash

私はこれと等価でmatplotlibでの指定の仕方に似ている

ls=:dash

を好んで使っています。

matplotlib側のラインの自由な設定を Plots.jl pyplot()に持って来る方法が

nbviewer.jupyter.org/gist/genkuroki...
Plots.jlのpyplot()でlinestyleを自由に設定

にあります。 twitter.com/eiennopadd/sta...

タグ： Julia言語

posted at 01:37:19

デゴチ @degochiyakuri

地味に手近なものでできる化学遊び何ですが、ちょっとしたゴムみたいなシール剤が欲しい時、たまに木工用ボンドと食塩を使います。木工用ボンドの酢酸ビニル樹脂は、食塩と混ざるとゴムのようにすぐに固まります。ちょっと隙間をすぐに埋めたい時はボンドを塗ってそこに食塩振りかければOKです。 pic.twitter.com/ghbGaIUn3B

タグ：

posted at 01:42:01

Y Tambe @y_tambe

これからの対応を間違わないという保証はないが、少なくともこれまでの対応で結果を出しているのは間違いない。問題は、なんで上手くいっているのかが正直よくわからないことで（いや、いろんな「仮説」は間に合ってるのでコメントいりません）、そのために他国がどこをどう真似していいかがわからない

タグ：

posted at 01:44:31

デゴチ @degochiyakuri

Stack Overflow Hot Q @SOHotQuestions

ちなみにこれは、洗濯ノリのPVAと食塩でやる実験として紹介される事が多いのですが、木工用ボンドも似たような素材なので同じ事ができます。水分を食塩に結びつく塩析だっけ？
なので、木工用ボンドにホウ砂混ぜるとPVAに混ぜた時と同じようにスライムっぽい物になります。

タグ：

posted at 01:48:40

Why/how to detemine when a function overwrites a local variable in Julia?

stackoverflow.com/q/61588770/250...

#scope #coding #programming #developer #julia #julialang #juliaset #datascience #scientificprogramming #numericalcomputing pic.twitter.com/0cO5YIOn5t

タグ： coding datascience developer julia julialang juliaset numericalcomputing programming scientificprogramming scope

posted at 02:43:39

⊂( ÒwÓ )⊃ @Emperor_tmu

@patchouli_min 履修→だいたい決まった
Julialang→グラフしか描けませんが…

タグ：

posted at 03:03:34

Masanori Mishima @midbody

これはナイス。長年のモヤモヤが氷解した。 twitter.com/genkuroki/stat...

タグ：

posted at 04:26:49

ほげ @eienpadd

@genkuroki ありがとうございます！とても分かりやすかったです😀

タグ：

posted at 07:10:32

Akinori Ito @akinori_ito

河野大臣の「防衛省で印鑑を廃止」のツイートに対するリプライで「役人が多すぎるので減らせ」というのがあって暗い気持ちになる。いまこの状況でもそれを言うやつがいるのか

タグ：

posted at 07:14:54

Oguchi T／小口高 @ogugeo

インド北部のランザンボア国立公園で撮影されたクジャクの雄が飛ぶ様子の動画。大きな飾り羽は長い尾のようにたたまれており、別の小さな褐色の羽を使って飛んだ瞬間をスローモーションで再生している。撮影者は同国の写真家の Harsha Narasimhamurthy 氏。 via @HJunglebook pic.twitter.com/CxS88fZxM1

タグ：

posted at 07:37:06

Akinori Ito @akinori_ito

「HIVやエボラの薬がコロナウイルスに効くなんておかしい。やはりコロナは人工ウイルスだ」というツイートを見かけた。科学教育の敗北 twitter.com/akinori_ito/st...

タグ：

posted at 07:58:30

@kenjikatsu 返答先に私を入れることをやめて下さい。よろしくお願いします。

タグ：

posted at 08:06:23

Seamless @shiropen2

シャボン玉などの石鹸膜をアニメーション化するアルゴリズム。表面の厚さの変化をモデル化し、膜の移流、毛細管現象、蒸発、破裂などの多くの効果をシミュレートする。A Model for Soap Film Dynamics with Evolving Thickness sadashigeishida.bitbucket.io/soapfilm_with_... pic.twitter.com/ygJZvz4oB5

タグ：

posted at 09:35:10

日銀乗換の推移のより新しい資料

www.mof.go.jp/jgbs/publicati...
債務管理リポート 2019 国の債務管理と公的債務の現状 pic.twitter.com/uyKZEupirl

タグ：

posted at 09:35:15

#統計以下のリンク先のスレッドは「仮説検定の文脈での自由度」のシンプルな理解に役に立つのですが、統計学入門で習った「不偏分散の定義でn-1で割る理由は自由度がn-1だから」という説明を理解するためには役に立ちません。

このスレッドではn-1で割る話を内積に関する線形代数で説明します。 twitter.com/genkuroki/stat...

タグ：統計

posted at 09:45:54

#統計以下、X_1,…,X_nは独立同分布確率変数であるとし、その標本平均を

M=(1/n)Σ_{k=1}^n X_k

と書くことにします。Mは「Xバー」とよく書かれる。Mも確率変数です。

確率変数の(大雑把な)「定義」は「それらの函数の期待値を考えることができる変数」としておくと便利です。 twitter.com/genkuroki/stat...

タグ：統計

posted at 09:52:27

#統計 X_k と標本平均 M の差の二乗和を

W = Σ_{k=1}^n (X_k - M)²

と書いてもおきます。記号としてWを選んだことに意味はないです。

不偏分散U²は

U²=W/(n-1)

と定義されるので、二乗和Wについて理解できれば、不偏分散に関しても理解できます。

タグ：統計

posted at 09:56:39

#統計 X_k達は期待値E[X_k]=μと分散E[(X_k-μ)²]=σ²を持つと仮定します。

さらに、必要ならX_kをX_k - μで置き換えることによって、E[X_k]=0と仮定しておきます。この仮定に害がないことは全ての議論をやり直せば確認できます。(もっとセンスよくやれるが、普通は自分で全ての議論をやり直す。)

タグ：統計

posted at 10:01:10

#統計数学的にややこしい話では、自分で全ての議論をやり直す手間を必ずかける地道さが必須になります。目で見て読むだけだと普通は理解できないものだと思う。少なくとも私は理解できたことがありません。

タグ：統計

posted at 10:03:24

#統計以上の設定のまとめ。X_k達は独立同分布確率変数なので

E[X_k] = 0
E[(X_k)²] = σ²
E[f_1(X_1)…f_n(X_n)]= E[f_1(X_1)]…E[f_n(X_n)] (独立性)

と仮定したことになる。以下の議論で独立性は強すぎる仮定で、実際には

k≠l ⇒ E[X_k X_l] = 0

しか、以下では使いません。

タグ：統計

posted at 10:08:36

#統計以下では

E[X_k] = 0, E[X_k X_l] = σ²δ_{kl} (δ_{kl}はクロネッカーのδ)

しか使わない。条件

E[X_k X_l] = σ²δ_{kl}

は X_k 達の内積を与えているとみなせます。

その内積について、異なるX_kは互いに直交し、各X_kのノルム(長さ)の二乗はσ²になる。

いきなり内積が出て来た！(笑)

タグ：統計

posted at 10:13:17

#統計 n=3の場合に以上の設定を図示すると添付画像のようになります。確率変数達X_kを長さがσで互いに直交するベクトルだとイメージしてよい。

線形代数でベクトルとその内積を一般化しておく御利益はこういう直観的な議論をスムーズに行えるようになることにあります。 pic.twitter.com/AYe7E3GvFy

タグ：統計

posted at 10:19:13

#統計このような図が描けてしまえば、残りの作業の半分は、その図の中に

M=(X_1 + … + X_n)/n と X_k - M 達で張られる部分空間

を図示することです。M は長さの二乗がσ²/nで X_k - M 達で張られる部分空間に直交するベクトルになります。 pic.twitter.com/7FHoSvv8nz

タグ：統計

posted at 10:28:11

ヤギの人 @yusai00

「外出禁止が暇すぎてダンボールでネコ戦車を作る人々」
www.boredpanda.com/quarantined-ow...
上のリンク先の記事内には厳選された30台のネコ戦車を掲載。もっともっと見たい人は「Cardboard Tanks For Cats」で画像検索（下のリンク）www.google.com/search?q=Cardb... pic.twitter.com/BYkVy1vn8V

タグ：

posted at 10:31:53

satoshi @souichi_k

@genkuroki ありがとうございます！どうつながるのかなーと調べては考えを繰り返してました。

タグ：

posted at 10:38:09

#統計このスレッドでやりたい議論の重要な事柄の半分が

* M=(X_1 + … + X_n)/n と X_k - M 達で張られる部分空間が直交すること

です。これは直接的な計算でも確認できます。

E(X_k - M)M] = E[X_kM] - E[M²]

なので、E[X_kM] と E[M²] の両方が σ²/n になることを確認するだけです。 pic.twitter.com/yYHQ7UcmTD

タグ：統計

posted at 10:41:41

#統計もちろん E[X_k X_l]=σ²δ_{kl}のみを使ったΣの計算でも欲しい結果を得られます(慣れていないと結構時間を取られるかも)。

重要なことの残りの半分は

X_k - M 達で張られる部分空間

における二乗和

W = (X_1 - M)² + … + (X_n - M)²

の座標の取り方によらない理解です。

タグ：統計

posted at 10:46:11

#統計 X_k - M 達で張られる部分空間の次元は n-1 です。

「自由度」という用語の雑な使い方を許すならば、この事実を、

* n個の X_k - M 達にはそれらの総和が0になる(素早くこの場で確認せよ！)という制限が入っているので、自由度が n-1 に減る

と言うことは許されてよいと思います。

タグ：統計

posted at 10:52:00

#統計二乗和 W = Σ_{k=1}^n (X_k - M)² を地道に計算すると

W = Σ_{k=1}^n (X_k)² - nM²

を示せます。この計算にはX_k達が確率変数であることを使いません。単なる変数X-k達の多項式の計算です。 pic.twitter.com/itGG7tZKZf

タグ：統計

posted at 10:58:40

#統計 X_1,…,X_nでℝ上張られるベクトル空間をVと書きましょう。

X_1,…,X_n達の各々のノルムはσで、それらはVの直交基底になっています。

Y_1,…,Y_n達の各々のノルムもσで、それらもVの直交基底になっているとしましょう。

補題：Σ_{k=1}^n (Y_k)² = Σ_{k=1}^n (X_k)².

証明は略して先に進む。

タグ：統計

posted at 11:04:16

#統計 Y_1,…,Y_{n-1} を各々のノルムがσであるような

(X_k - M 達で張られる部分空間) = (Mの直交補空間)

の直交基底であるとし、Y_n = √n M とおくと、Y_1,…,Y_nは補題の条件を満たします。ゆえに、

Σ_{k=1}^{n-1} (Y_k)² + nM² = Σ_{k=1}^n (X_k)².

タグ：統計

posted at 11:07:49

#統計以上によって

W = Σ_{k=1}^n(X_k - M)² = Σ_{k=1}^n (X_k)² - nM²,

Σ_{k=1}^{n-1}(Y_k)² + nM² = Σ_{k=1}^n (X_k)²

が示されました。ゆえに

W = Σ_{k=1}^n(X_k - M)² = Σ_{k=1}^{n-1}(Y_k)²

です。Y_1,…,Y_{n-1}は各々のノルムがσであるようなMの直交補空間の任意の直交基底でした。

タグ：統計

posted at 11:11:58

#統計 Y_k達もX_k達と同様の

E[Y_k]=0, E[Y_k Y_l] = σ²δ_{kl}

を満たしています。特に各Y_kの分散はσ²です。これを使えば

E[W]
=E[Σ_{k=1}^n(X_k - M)²]
=E[Σ_{k=1}^{n-1}(Y_k)²]
=(n-1)σ²

この計算でのn-1はX_k - M達で張られる部分空間がn-1次元であることから出て来ています。続く

タグ：統計

posted at 11:16:31

#統計したがって、

U² = W/(n-1) = (1/(n-1))Σ_{k=1}^n(X_k - M)²

とおくと

E[U²] = σ².

以上のような筋道で、X_k - M 達の総和が0になるという制限によって「自由度が n-1 に下がること」と「不偏分散U²を n-1 で割って定義すること」が繋がるわけです。

内積の線形代数によって繋がる！

タグ：統計

posted at 11:21:07

#統計

E[Σ_{k=1}^n(X_k - M)²]=(n-1)σ²

を示すだけなら、E[X_k X_l]=σ²δ_{kl} のみを使った簡単な計算問題に過ぎません(実際に簡単であることを確認せよ)。

しかし、単なる計算問題として扱ってしまうと、「何やら複雑な計算をして出て来る結果である」という誤解にハマり込む危険性が増えるし～

タグ：統計

posted at 11:25:30

#統計続き～、X_k達が正規分布に従う独立同分布確率変数である場合の、標本分散Mと不偏分散U²の同時確率分布を求めることが難しくなってしまいます。

内積付きベクトル空間に関する直観で多変量正規分布を処理できなくなるのは非常につらいことだと思います。

タグ：統計

posted at 11:29:47

#統計不偏分散の解説についてググると、大学における結構多くの数学の先生が、内積や直交基底の直観と繋げて教えようとして苦労している様子がうかがわれます。

線形代数の直観があれば全てがシンプルでクリアに見える話であっても、まじめに説明すると複雑怪奇に見えてしまう。これ本当にありがち😭

タグ：統計

posted at 11:34:23

#統計補足。上で省略したキーになる補題の証明→添付画像

一般にベクトル空間とその双対空間の双対基底 v_i, w_i について

Σ_i v_i⊗w_i

は双対基底の取り方によらずに決まります。

ベクトル空間の理論では「良い基底の取り方」と「基底の取り方によらないもの(及びこと)」が重要です。 pic.twitter.com/2bioudlV56

タグ：統計

posted at 11:53:10

Viral B. Shah @Viral_B_Shah

We (@jeffbezanson and I) did an Interview on #julialang with Tom Palmer. It's on his Context Free Youtube channel: youtu.be/VgZm53qgj9Q

タグ： julialang

posted at 11:56:24

#統計理解度を確認するための練習問題。X_1,…,X_{m+n}は

E[X_k]=0, E[X_k X_l] = σ²δ_{kl}

を満たしていると仮定し、X_{m+1},…,X_{m+n}をX'_1,…,X'_nと書き、

M = (X_1+…+X_m)/m, M'=(X'_1+…+X'_n)/n

とおく。続く

タグ：統計

posted at 12:08:27

永田啓一【永田式英語の本、KADOKA @nagata_k1

#統計問題続き。このとき、

U² = (1/(m-1))Σ_{k=1}^n(X_k - M)²
　 + (1/(n-1))Σ_{l=1}^n(X'_l - M')²

について、X_k, X'_l達で張られる内積付きベクトル空間の言葉で理解してみよ。

ヒント：何と何が直交しているかを確認せよ。

この問題の結果は2つの異なるグループの比較で使われます。

タグ：統計

posted at 12:08:27

永田啓一【永田式英語の本、KADOKA @nagata_k1

鶴亀算の問題を高校生が解いていて、どうしても解けないと言っていました。

私：23匹、全部鶴だったら足何本？

生徒：96本

私：鶴の足何本？

生徒：4本

私：（目が点）・・・・・・そりゃ、解けないわけだ。

鶴の写真を見せて納得してもらいました。

タグ：

posted at 12:09:51

@genkuroki 本にまでなっているんですね！

タグ：

posted at 12:25:36

遅行指数 @voo_glb

Julia言語、名前がGeorgia言語とかだったら、もっと流行ってるかも。

タグ：

posted at 12:40:42

#Julia言語

 www.google.com/search?q=llvm+...
llvm slow

タグ： Julia言語

posted at 12:44:46

Astellon @astellon_music

Juliaで最長エラーメッセージって誰かやってる？

タグ：

posted at 12:46:31

陰山英男、我田引水・牽強付会

九九の暗記が是認されているのは、学習効果云々じゃなくて、汎用性が高いからだろう。 twitter.com/Kageyama_hideo...

タグ：

posted at 12:56:16

#統計補足。一般に、

* 平均0分散共分散行列Σ=[σ_{ij}]を持つ多変量正規分布の理論

は本質的に

* 内積 (X_i, X_j) = σ_{ij} に関する理論

の確率論を使った書き換えになっています。

この意味で中心極限定理は「内積の線形代数が役に立ちまくる理由」になっています。

twitter.com/genkuroki/stat...

タグ：統計

posted at 12:56:36

@sekibunnteisuu 結果的に九九を利用可能になることに反対する人は見たことがないですが、百ます計算的な暗記については有害でしょう。

九九の一部分を暗記できない子は多い。

そういう子に理屈抜きの反復練習で暗記を強制する行為は、子供に無用な苦痛を与える行為でしょう。続く #超算数

 twitter.com/kageyama_hideo...

タグ：超算数

posted at 13:20:06

@sekibunnteisuu #超算数

子供がよく忘れるのは6×8とか7×8などです(他の場合もある)。

そのとき、5×8=40は覚えていた子に「それを利用すれば6×8もわかるよ。九九の一部分を覚えていなくても、恐れる必要はないんだよ」と教えずに、理屈抜きの反復練習で暗記を強いてはいけないと思います。

twitter.com/kageyama_hideo...

タグ：超算数

posted at 13:23:19

@sekibunnteisuu #超算数

子供は中途半端に一部分を忘れた状態であることが多い。

しかし、算数(および数学)は考え方さえしっかりしていれば、一部分を忘れていても困らないはずの分野です。

まさに算数や数学のそういう性質が複雑なことを合理的で効率的に処理できる考え方に繋がっているのです。 twitter.com/kageyama_hideo...

タグ：超算数

posted at 13:27:06

@sekibunnteisuu #超算数自分ちの子が、九九の一部分をよく忘れてしまうのを見ても、小学校の先生も子どもの保護者もイライラする必要は皆無だと思います。

むしろ、そういう場面は「たとえ一部分を忘れても困らない真の数学的思考法」に繋がる技術を教えるチャンスだと思うべきだと思う。

タグ：超算数

posted at 13:29:46

#超算数厳しさが効率的な考え方に繋がっていれば、実際に教育効果が上がることの証拠を提出した上で厳しく教えることはありだと思いますが、実際には、多くのケースでむしろ子供がバカになる方向に厳しくする教え方が横行している。

例：全てを〇〇秒以内に唱えさせるテストを繰り返すとかクソ。

タグ：超算数

posted at 13:43:40

#超算数途中でど忘れした部分に引っかかってしまっても困らない思考の技術を優しく教え、その技術を発展させれば複雑すぎて暗記不可能な領域にも楽々入って行けることを語ることによって、子供を励まして欲しいと思います。

タグ：超算数

posted at 13:47:21

mtmt @mtmtlife

記事を書きました。
ネタ勢からガチ勢まで勢揃い！世界コンピュータ将棋オンライン大会は杉村達也弁護士開発の水匠が優勝(松本博文) - Y!ニュース news.yahoo.co.jp/byline/matsumo...

タグ：

posted at 13:49:04

@genkuroki #超算数　陰山英男は本当に悪質で、

3.14×整数や「はじき」、鶴亀算の「足して引いてどーたら」のようなクソな暗記を推奨して、

それが批判されると、「暗記一般への批判」にすり替えて、「九九はどうなんだ？」と言う。

タグ：超算数

posted at 13:56:08

@genkuroki #超算数　そうやって自分が「暗記礼賛vs暗記全否定」の二項対立という藁人形を作っておきながら、

「暗記も理解も大切。二項対立にするのは不毛」と言い、

自分のクソな暗記を「暗記すべき内容を適切な方法で暗記すべき」というような穏健な意見にすり替える。

タグ：超算数

posted at 13:59:20

@genkuroki #超算数　私自身、九九は意識的に暗記した（させられた）けど、それとて、忘れたところは前後や逆順から求めたりした。教えるようになって、そういう部分こそが理解につながると分かってきた。

タグ：超算数

posted at 14:01:10

@genkuroki #超算数　それ以降の算数・数学では、意識的に覚えることはほとんどなかった。

8文字から3文字取り出す組み合わせ

数学を教えている人なら、求め方は瞬時に分かるだろうけど、「順列はこう計算する。組み合わせはこう」と意識的に覚えた人は少ないだろう。

タグ：超算数

posted at 14:03:19

@genkuroki #超算数　その場で考えて答えを出す、というのを何度かやる内に、思考回路にバイパスが出来て、瞬時に出せるようになる。

　傍から見たら丸暗記しているようにも見えて、「数学が得意な人は色んなパターンを覚えていて、問題が出てくると、解法のリストから適切な奴を選びだす」と誤解してしまう。

タグ：超算数

posted at 14:05:53

ずんだ@ 仙台つーしん @sentu_zunda

@genkuroki #超算数　「そうじゃないんだよ。最初は試行錯誤して、虱潰しに全部書き出していいんだよ。そうこうしているうちに構造が見えてきて、コツを掴んできて、瞬時に出せるようになるんだよ。」と生徒に言うようにしている。

　陰山英男は、誤解したまま教える側になってしまったと思われる。

タグ：超算数

posted at 14:07:32

泉中央のこれ、何て呼んでますか？ pic.twitter.com/4bgd1vdPHV

タグ：

posted at 14:33:20

Atsushi Sakai @Atsushi_twi

数週間後にリリースされるJulia 1.5では(!!)、再現の難しいバグを簡単に修正するために、各命令の後のビット単位での正確なメモリとレジスタの状態を含む実行の完全な記録を作成するrrモードが追加され、タイムトラベリングデバックが可能になるらしい(名前がかっこいい) julialang.org/blog/2020/05/rr/

タグ：

posted at 15:07:55

aaa @spiff_msd

vscodeでJuliaのノートブックを作る方法が全くわからん。executablePathは設定されてるのになあ
#julialang

タグ： julialang

posted at 16:18:04

aaa @spiff_msd

Juliaが使えるローカルのJupiter serverに接続してもだめやし疲れた。
ITの知識ないときついわ、そもそもカーネルってなに

タグ：

posted at 16:20:59

aaa @spiff_msd

大人しくjupyterでやるしかないか😇😇😇

タグ：

posted at 16:21:40

julia_prog @JuliaProg

小宮春平(湿地帯を作る人) @ariake538

Working with files in julia

#JuliaLang #Julia #Programming #open #write pic.twitter.com/1npZ07nLwp

タグ： Julia JuliaLang open Programming write

posted at 16:55:21

ヤベガワモチ
歩く干潟、まさに豊葦原の主。 pic.twitter.com/W31a553ivE

タグ：

posted at 17:23:48

#Sagemath Windows 8 というおそらく現在では使っている人がほとんどいない環境で

github.com/sagemath/sage-...
Sagemath Windows 9.0

がめでたく動きました。私は初めて成功した。

インストールしたディレクトリは

C:\Users\genkuroki\AppData\Local\SageMath9.0

SageMathと9.0の間の空白は削除。 pic.twitter.com/K3hVyKwxCv

タグ： Sagemath

posted at 17:26:21

#Sagemath SagemathはPythonによって様々な数学ソフトを貼り合わせて作られている数学用の総合ソフトです。無料版のMathematicaのようなものと思っておけばよいと思います。

Sagemath WindowsはWindows上でそのまま動くSagemathのバイナリ群をインストールしてくれます。

タグ： Sagemath

posted at 17:28:35

#Sagemath 今まで私のWindows 8環境では、

インストーラーのダウンロード→インストール

でシンプルに動いてくれなかったのですが、今回試してみたらめでたく動いたということです。

Sagemathで使うPythonがPython 3に引っ越したことが大きいのかもしれません。

タグ： Sagemath

posted at 17:30:21

Kazuki Takahashi @cuzkop

うちのCTOがJuliaLangにハマっているな
俺も久々触ろうかな

タグ：

posted at 17:31:40

#Sagemath 用のJupyter環境でJuliaを動かすことがシンプルにはできなかったので併用することにしました。ポートがかぶらないように、

Sagemath 9.0 Notebook ショートカットのリンク先の最後の方を

sage --notebook jupyter --port 8889'

に書き変えて使っています。

タグ： Sagemath

posted at 17:32:58

MasaTam @masatam81

だいぶ #Julialang 慣れてきた。これ、Arrayの使い方が肝っぽいですなぁ。AbstractArrayで定義してるけど、ちょいちょいno match起こす。普通に書いて(BLASじゃない演算子で)numpyとそこまで差がつかない。まぁ、まだデータサイズ小さいのもあるかもですが。

タグ： Julialang

posted at 17:47:04

「外野は黙っていればいいんです。」 twitter.com/tonchantaichan...

タグ：

posted at 18:13:42

ここでは陰山英男は「外野」だ。

@tonchantaichan　この方は、

「外野は黙っていればいいんです。」とは言わないのかな？

twitter.com/Kageyama_hideo...

タグ：

posted at 18:15:25

#Sagemath 結局

C:\Users\genkuroki\AppData\Local\SageMath9.0\runtime\opt\sagemath-9.0\local\etc\jupyter

にある

jupyter_notebook_config.py

に記述を追加して、ポートを8889に変えることにした。あと、外部から接続できるようにしもしておいた。

これで外部からSagemathを使えるはず。

タグ： Sagemath

posted at 20:47:35

#Sagemath 家庭内 Sagemath Notebook サーバーにiPadから接続して Sagemath で3次元プロットを実行してみました。マウスでグリグリできます！ pic.twitter.com/slyNa3aHxb

タグ： Sagemath

posted at 21:01:16

#Sagemath #Jupyter #Julia言語 #Wolfram言語

家庭内パソコンで Jupyter notebook サーバーが2つ走っていて、片方では

* Julia
* Python
* R
* Ruby
* Wolfram言語 (Mathematicaのエンジン)

が使用でき、もう一方では

* Sagemath
* Python

が使える状態。家庭外からZeroTierで接続可能。

タグ： Julia言語 Jupyter Sagemath Wolfram言語

posted at 21:06:15

#Sagemath #Jupyter

3次元プロットを行ったsagemathカーネルのjupyter notebookをgistに投稿してみました。普通にマウスでグリグリできます。

これと同じことをJuliaでもしたいのですが、どうすればいいのでしょうかね？

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

タグ： Jupyter Sagemath

posted at 21:13:53

実はSagemathが(仮想環境上のLinuxではなく)古いWindows環境でシンプルに動いてくれない点が、学生に勧めるときに躊躇していた一番大きな理由だったのですが、今日久しぶりに確認したら、非常に簡単に動いてくれたので、Sagemathを勧め易くなりました。

タグ：

posted at 21:16:54

#Sagemath Windows で Sagemath Notebook に Nbextensions を追加しようとしたら失敗しました。症状は

ask.sagemath.org/question/51101...

と全く同じ。

sage -pip install jupyter_contrib_nbextensions

としても

error: command 'gcc' failed with exit status 1

タグ： Sagemath

posted at 22:35:25

統計たん @stattan

ベイズを使えば研究不正を防げる的な人はこれを見てどう思うんだろう。 twitter.com/genkuroki/stat...

タグ：

posted at 22:38:57

#Sagemath Windows

sage -pip install jupyter_contrib_nbextensions

の後に

~\.sage\jupyter-4.1
~\AppData\Local\SageMath9.0\runtime\opt\sagemath-9.0\local\share\jupyter\nbextensions

以下を、すでにnbextensionsが動いている別の環境を参考に追加・修正してnbextensionsを動かしました。

タグ： Sagemath

posted at 22:39:53

#Sagemath Windows

スクショはこんな感じ。

nbextensionsは個人的には必須。

sagemath notebook でも nbextensions が正常かつ簡単に使えるようになるとよいと思います。 pic.twitter.com/NBh1fBRwT2

タグ： Sagemath

posted at 22:43:44

@yuayuayua0609 @ssmnmkmn @sequence_virus 外から失礼します。　
「くもわ」や「みはじ」などは理解を伴わない形式的なやり方で、高校の現場でも速さが分からない(数学や物理)、割合が分からない(化学)どの弊害がでています。また、ゆうきさんが仰ったように「もとにする量」「比べられる量」などの言葉も一般的ではなく、大人でも分かりにくい

タグ：

posted at 23:21:31

@yuayuayua0609 @ssmnmkmn @sequence_virus では、どのように指導するべきなのか、という疑問が当然湧くと思います。これに対するヒントが以下のツイート群に見られます。
twitter.com/genkuroki/stat...

タグ：

posted at 23:22:37

@yuayuayua0609 @ssmnmkmn @sequence_virus つまり、「もとにする量」などの大人でも分からないような独特な言葉を使って説明するのではなく、児童が既に獲得している概念(%の視覚的理解)を発達させるような方向で指導するのです。

タグ：

posted at 23:23:59