黒木玄 Gen Kuroki(@genkuroki)/2019年04月09日

@Ligulia1Ligulia @m50185 要は「素直に言う事聞いてくれる子ども」ばかりであって欲しいから、そのように調教するってだけの話ですね。「軍隊式」とか言っちゃうのも結局そこな訳で。
こだわり強い子どもを抱えて、どうしたら尊厳や主体性を潰さずに接する事が出来るのか、こんな所へ送り込む為に日々悩んでいる訳ではないのに

タグ：

posted at 00:39:26

#数楽蔵本モデル。私による #Julia言語による数値的なシミュレーションについては

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

を参照。 #Julia言語なら朝飯前。続く

twitter.com/natgeotv_jp/st...

タグ： Julia言語数楽

posted at 01:41:08

#数楽角周波数ω_iを持つ振り子達があって、同期する方向に力が働いている様子を、簡単な微分方程式でモデル化したのが蔵本モデル。ω_i達がある確率分布に従ってランダムに決まっていて、初期条件もランダムに決まっていたとしても、同期の力が強ければ振り子達は自然に同期するようになる。続く

タグ：数楽

posted at 01:41:10

らいね @xibritte

嘘を教わって信じて、長らく得意げに教えてきたばっかりにプライドを粉々にされたし、自分が教えてきた中にも同じ目に遭う子供がでるだろうし、当人がいい歳だからそれに超算数を仕込んだ教師なんてよくて隠居悪けりゃもう死んでて怒りのぶつけようないだろうし

タグ：

posted at 01:54:12

#数楽添付画像は256個の周期も初期条件もランダムに異なる振り子に同期の力を働かせた場合。同期の力を表すパラメーターKがある閾値K_cより大きくなると同期が始まる。

左上はK/Kc=0.7で同期の力が弱すぎて全く同期しない。

右下はK/Kc=1.5で速やかにかなり同期するようになる。 pic.twitter.com/0vF0Gy5t8Q

タグ：数楽

posted at 02:07:21

#数楽同期の力が十分に強ければ互いに周期が異なる振り子も同期するようになります。弱すぎると、振り子の個数が多い場合には全然同期しない。

添付動画はGIF版。 pic.twitter.com/f7OZBKHPEh

タグ：数楽

posted at 02:09:14

#数楽以下のリンク先は #Julia言語 v0.6 時代の蔵本モデルのノートブックです。今だったら、動画作成部分をもっと効率のよいコードにできます。

やることは単純で、微分方程式を数値的に解いて、各コマごとに画像を生成して、それをまとめて動画にするだけ。

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

タグ： Julia言語数楽

posted at 02:16:52

らいね @xibritte

うちの小学校、ハジキは「バカだけど金持ってるボンボンが塾で教わってくる奴」だったけどかけ順は熱心に指導してたからな

タグ：

posted at 02:20:19

#数楽暇ができたら、#Julia言語 v1.1.0版にして、動画作成も効率化しようかと思っていたのですが、やらずにそのままの状態。この手のことをやる人が増えれば、ノウハウが共有されて、数学的な理解度が高い人が増えると思う。

他人が作った動画を見るより、自分で作った方が理解が捗る。

タグ： Julia言語数楽

posted at 02:23:05

#数楽数学の世界でどういう面白いことが起こっているかは相当に非自明なので、証明以前の問題として、どこが面白いのかが文字通りの意味でまったくわかってもらえないことが多い。

とにかく「何か不思議なことが起こっている」という認識がないと始まらない。

タグ：数楽

posted at 02:23:06

らいね @xibritte

ハジキの絵を描く奴はまさに笑いものだった。
金持ちで塾にまで行っててやってることがテントウムシのお絵かきだからね
でもそれとどっこいの書け順をみんな教わり素直に守ってたわけだ

タグ：

posted at 02:23:58

#数楽何か不思議なことが起こっていることに気付いてしまった人達が増えれば、その中の一部の人達が自然にその裏にある仕組みを知りたくなって考え始める。そういうものだと思います。

そういう流れを社会の中で作り出すことが大事。

タグ：数楽

posted at 02:24:59

#数楽「三平方の定理」は、それが常に成立していることに気付くこと自体が非自明。証明抜きに物理的な実験の類を見ること自体が興味深いことだと私は思っています。

「数学の世界でどのような良いことが成立しているか」自体が非自明で重要。

証明については↓(笑)

twitter.com/genkuroki/stat...

タグ：数楽

posted at 02:41:15

非公開

タグ：

posted at xx:xx:xx

#数楽非常に残念なことに、数学は「天下り的に与えられるわけのわからないルールに従って問題を解く分野」だと思われてしまっている場合が多いと思う。

本物の数学は何か非常に面白くて不思議な現象が多数発見されずに残っている分野。

数学については本物の存在に気付いてもらうこと自体が難しい。

タグ：数楽

posted at 02:46:53

#数楽三平方の定理のデモンストレーションの例が以下のリンク先にある。成立に気付くこと自体が大事。

個人的には、複数の直角三角形については同じデモを見せてくれると嬉しいと思う。

特別な形の直角三角形でのみこういうことが起きるという疑いを無くしたい。

twitter.com/yumilc_/status...

タグ：数楽

posted at 03:05:20

#数楽さらに個人的には、特殊な直角三角形について、特殊な事情を使って三平方の定理が少なくともその場合について成立していることの説明もあった方がよいと思う。

何か面白いことの発見では特殊な場合の観察が非常に重要。

直角二等辺三角形では添付図のような感じ。 pic.twitter.com/v8zHCZg7Aa

タグ：数楽

posted at 03:05:23

#数楽

* 物理的な実験で確認しても少し理解が進む。

* 特殊な場合に特殊な事情を使って確認しても少し理解が進む。

* 何かやるごとにちょっとずつ理解が進む。

これが基本。何をやっても理解が少しずつ進むような頭の使い方を続けること自体が楽しい。

タグ：数楽

posted at 03:09:03

Build #JuliaLang v1.1.0 by myself on #RaspberryPi3 HaHaHa! pic.twitter.com/DQLk8MspCM

タグ： JuliaLang RaspberryPi3

posted at 03:13:54

うえだましん @VEDAMachine

アレ…どんどん件の人の本性が出てきて…そっちの方が嫌だった…
「掛順」に疑問を持つ生徒が出たら…そういう生徒が納得行かないで食い下がったら…どうしていたんだろうか（それとも30年間そういうことは一つもなかったのか？ twitter.com/xibritte/statu...

タグ：

posted at 04:36:42

#数楽ふうむ。

検索すると、A_n型のCartan行列の対角化が面倒だという誤解が結構蔓延しているみたいですね。これはいけませんね。

最初は素直に

-u_{k-1} + 2u_k - u_{k+1} = E u_k

を一般的に解けばよいと思う。境界条件は後で設定する。a=2-Eとおけば

u_{k-1} + u_{k+1} = a u_k.

続く

タグ：数楽

posted at 05:30:34

#数楽この場合は簡単で、u_k = z^k が a=z+z^{-1} の場合の解になっていることが一目でわかる。

a=z+z^{-1} で z≠z^{-1} のときの解の全体は z^k と z^{-k} の一次結合全体と一致する。

そのとき、u_0 = 0 を満たす解の全体は z^k-z^{-k} の定数倍の全体に一致する。

続く

タグ：数楽

posted at 05:30:37

#数楽さらに、z^{n+1}=z^{-(n+1)} ならば、u_{n+1}=0 となる非自明な解も作れる。このことから

z=e^{iθ_j}, θ_j=jπ/(n+1), j=1,…,n

のとき、A_n型のCartan行列の固有ベクトルとして、

v_j = [z^k-z^{-k}]_{k=1}^n

が取れることがわかります。続く

タグ：数楽

posted at 05:30:37

#数楽 v_j のA_n型Cartan行列に関する固有値は

E=2-a=2-(z+z^{-1})=2-2 cos θ_j

です。途中の計算でどこにもごちゃごちゃした複雑な式は出て来ません。

A_n型のCartan行列の特性多項式をいきなり計算すると苦労することになる。

固有ベクトルをいきなり作る方が易しいです。

タグ：数楽

posted at 05:30:38

#数楽 -u''=Eu という微分方程式を解くときにも、境界条件を満たす解だけをいきなり求めようとせずに、e^{±iωx} が E=ω^2 の場合の解であることに注意を払った方がよいのと同じことです。

タグ：数楽

posted at 05:30:38

#数楽上の計算で u_k = z^k とおくとうまく行きました。実はこれは定数係数の線形漸化式ならいつでも有効な特殊解の求め方になっています。

u_{k+2} + p u_{k+1} + q u_k =0

に u_k = z^k, z≠0 を代入すると、

z^2 + pz + q = 0

を満たすことと解になっていることが同値であることがわかる。

タグ：数楽

posted at 05:38:57

#数楽 u(x)=e^{λx} とおくと、

u'' + p u' + q u = 0

の解になっていることと

λ^2 + pλ + q = 0

が成立することが同値であることがわかる。

これらの場合には指数函数が基本的です。しかも、特殊な場合で通用したことが一般でも通用するという理解の経路も可能なので、勉強もしやすいはず。

タグ：数楽

posted at 05:38:59

PackageCompilerにパッチを適用してラズパイでも #Julia言語のコードをビルドさせることができました。これで32ビットARM環境でも使えることがわかりました。 pic.twitter.com/jOYxfCHAdo

タグ： Julia言語

posted at 05:44:22

#数楽 u_{k-1}+u_{k+1}=au_k の易しい場合に戻る。この場合には u_0 = 0 と u_k + u_{-k} = 0 という奇函数になるという条件は同値。k>1 に制限できる。

偶函数の場合を k≧0 に制限した場合も計算しておくべき。それによってB型のCartan行列を対角化できる。

D型とC型については上の方を参照。

タグ：数楽

posted at 05:48:03

#数楽 Cartan行列のfoldingの例としても、root系でやるよりも簡単なので教育的かも。

タグ：数楽

posted at 05:49:25

ファインマンbot @feynmannnn

「論文を読みました。大体ついていけましたよ」
「ついていけた？誰かについていってるからって正しい道を行ってるとは限らんぞ。自分で演繹しないと。そこで初めて理解できる。そしてやっと信じられるんだ。勿論、いずれ分かると思うがその理論は出鱈目だ。君は全てを鵜呑みにしてるみたいだけどね」

タグ：

posted at 08:01:28

人鳥暖炉 @Penguin_danro

”若手研究者の人件費などとして見込んでいた""職を失う研究者も出ている”

あ、ありのままに起こったことを話すぜ。文科省の官僚が息子を裏口入学させたら、それに対する罰で若手研究者がクビを切られた。何を言っているか分からないと思うが、俺も何を言ってるのか分からねえ
www.asahi.com/articles/ASM48...

タグ：

posted at 09:02:01

非公開

タグ：

posted at xx:xx:xx

@sonicair 大きいソフトウェアがどれくらいなのかと、なぜ向いていないのかの理由が分からない…

タグ：

posted at 09:34:42

JuliaのBaseモジュールは約8万行ほどのJuliaで書かれているので、これくらいの規模ならそれほど問題なくスケールすると思う。

タグ：

posted at 09:37:33

PythonのDjangoが12万行くらいなので、Juliaでもその程度までの規模の開発ならスケールするのでは。100万行とか1000万行はちょっと分からない。

タグ：

posted at 09:42:15

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

abap34 @abap34

大きいプロジェクト作るにオブジェクト指向そんなにいる？

あったら便利なのは分かるけど。

Juliaが大きいプロジェクトに向かない理由みたいな感じで理由に上がってたんだけど。

タグ：

posted at 10:00:07

abap34 @abap34

加藤公一, 가토우 기미카즈（はむかず） @hamukazu

まぁ大きなプロジェクト(笑)みたいなのしか知らない自分が言うのもなんなんですけど。

タグ：

posted at 10:04:55

加藤公一, 가토우 기미카즈（はむかず） @hamukazu

吉田さんからの指摘を受け、間違いの指摘を送ろうとしたら「発行物の内容、解答、解説に関するご質問にはお答えできません。」と書いてありちょっとムカッときた。でも無理やり関係ない窓口から送ってみた。自分自身、本の著者として、間違いの指摘はめちゃくちゃありがたいのに。 twitter.com/y__hiroyuki/st...

タグ：

posted at 10:12:21

いちいち中学生からとかの初歩的な質問に答えられないというのはわかる。でももうちょっとなんか書き方があるんじゃないかと。

タグ：

posted at 10:21:12

#Julia言語は大きいソフトの開発にあまり向かないというようなことを言ってしまう理由は、単なる理解不足だと思う。

Julia自身のソースコードのJulia自身で書かれた部分やJuliaのパッケージのソースコードを読めば色々わかると思います。

タグ： Julia言語

posted at 10:49:46

非公開

タグ：

posted at xx:xx:xx

増田聡 @smasuda

「はしご外された」職失う研究者も　私大の支援打ち切り：朝日新聞デジタル www.asahi.com/articles/ASM48... 文科省の役人の汚職のあおりで大学の研究者がクビになるのはどう考えてもおかしい。むしろ文科省の役人クビにしてその人件費で研究者を雇用するのが筋

タグ：

posted at 11:19:48

Shuzo Kashihara @suma90h

近年のコンパイラ開発トピックでの盛り上がりや、社内での深層学習関連技術への適用を期待しています／Rust向け字句解析器生成器「rflex」を公開しました research.preferred.jp/2019/04/rflex-...

タグ：

posted at 11:22:24

#PackageCompiler のIssue Close されちゃったので見つかりにくいですが

github.com/JuliaLang/Pack...

のIssueをみると自分の処方箋を見ることができます。#Julia言語

タグ： Julia言語 PackageCompiler

posted at 12:25:42

要するに

CONF_SWAPSIZEをふやす（２０４８でも十分だと思う）
ソースを見る
cc のオプションを生成する static_julia.jl を修正する

の３点セットが必要でした。

タグ：

posted at 12:29:27

コードを見ると６４ビットの環境をターゲットに書いていて３２ビットは適当にIf式を挿入している感じがある。でも基本的にccのオプションを増やすだけだから普段からそういうところをやっている人が参加すると使える範囲増えると思います。

タグ：

posted at 12:29:28

吉田弘幸 @y__hiroyuki

@hamukazu 僕は、そに注意書きは読まないフリをしました。

タグ：

posted at 12:30:42

Haruhiko Okumura @h_okumura

絶版または出版社倒産で出版契約が切れるので，著作権者が別の出版社から出すかGitHubとかで公開すればいい。電子書籍でも無償かつDRMなしなら国会図書館への納本もできる twitter.com/fzk06736/statu...

タグ：

posted at 14:32:36

へーPFNも字句解析器実装したんだー。そういえばーおれも昔Julia向けのやつ作ったなー。 github.com/BioJulia/Autom...

タグ：

posted at 14:54:59

WIRED.jp @wired_jp

自作のロボットが、わずか15分で金庫を破る瞬間（動画あり）（アーカイヴ記事） wired.jp/2017/08/26/wat...

タグ：

posted at 15:15:02

増田の准教授 @ProfMasuda

周りの大人がちゃんと教育・指導してなくて、自己顕示欲が人一倍強くて、やってる本人は何が悪いのかをそもそも全く理解していない、というところで、銭湯絵師見習い麻衣さんは、STAP細胞晴子さんや創作子どもポルノ論文真由子さんと路線がまったく同じ。

タグ：

posted at 16:10:21

タマゴさん @86723nasogamat

令和18年頃の電車に使われる最新モータ() pic.twitter.com/YgEImpJart

タグ：

posted at 17:25:40

ktrst @ktrst

永井さん @cometscome_phys の自己無撞着方程式のノートを読んでいる。絵がわかりやすい。 park.itc.u-tokyo.ac.jp/kato-yusuke-la...

タグ：

posted at 18:21:53

@sonicair まだ良くわからないんですけど、Pythonはこの点で大きいソフトウェアを開発するのに問題ないんですか?

タグ：

posted at 18:26:30

Yuki Nagai @cometscome_phys

すむーずぷりんちゃん @mat_der_D

Pythonの複数クラス継承をJuliaで書いてみる on @Qiita qiita.com/cometscome_phy...

タグ：

posted at 18:48:45

↓解けません、誰か教えて…

問. n を自然数とする. 円周上に n 点を一様分布で独立に取る. このときどの点も含まれないような半円周が存在する確率を求めよ.

タグ：

posted at 19:41:31

鐘の音（除夜の鐘）ダイエット中−20kg @kanenooto7248

@sonicair Juliaもインポートする名前を指定しないでusingを使わない限り名前を直接現在の名前空間に入れることはしません。その点ではJuliaもPythonも大きな差はないように思うのですが。

タグ：

posted at 20:08:41

鐘の音（除夜の鐘）ダイエット中−20kg @kanenooto7248

公務員が優遇されてるんじゃなくて「20年もの間民間企業が労働基準法を無視、残業手当も有給休暇も支給しなかった。異常なのは民間」ってだけですよ。その証拠に少しだけ景気が増しになった途端、公務員になりたがる人がガクッと減った。

タグ：

posted at 20:11:51

わずかに景気が良くなっただけで、公務員の倍率めっちゃ下がりましたからね。しかも「受かっても6割が辞退して他の場所や民間に行くようになった」って時代ですよ。「売り手市場になって労基法を無視できなくなってきたら民間に行く」ってだけで、民間企業が異常だったんです。

タグ：

posted at 20:14:27

地雷屋 @mine__0

鐘の音（除夜の鐘）ダイエット中−20kg @kanenooto7248

@kanenooto7248 バブルの頃なんて公務員って言ったら負け組の職業だったものねぇ……
その後の氷河期時代は逆に倒産の心配もない勝ち組の職業に数えられてたし。
時代によって変わるよねぇ……

タグ：

posted at 20:14:28

@mine__0 おかしかったのは民間企業なんですよね。

タグ：

posted at 20:14:49

/opensrc @scrpie

なおしてポンした pic.twitter.com/3HaFGHWpUq

タグ：

posted at 21:00:49

@sonicair そうです。

タグ：

posted at 21:24:29

@sonicair それは他人のコードの書き方の問題です。他人がコードをどういう書き方をするかは言語の向き不向きとは直交する話なので、具体的にJuliaのどこが「大きいソフトウェアを作るのにはあまり向いてい」ないと考えているのか、私にはまだ良く分からないです。

タグ：

posted at 21:32:54

JuliaCon 2023 @JuliaConOrg

Visual Studio Code Julia extension with David Anthoff
presented at #JuliaCon 2018, UCL London
www.youtube.com/watch?v=MYbl_z...
The julia extension for Visual Studio Code provides a convenient coding environment for #julialang development.

タグ： JuliaCon julialang

posted at 22:39:00

ゆうきまさみ @masyuuki

新紙幣の肖像画だけど、ぼちぼち朝永振一郎博士ら科学者の出番が来てもいいと思う。

タグ：

posted at 22:47:46

yuri @syoyuri

「放射能不安」につけこむように"温熱治療器"業者、"オーラエステ"業者、"奇跡の水"業者とともに「放射能から身を守る」をネタに活動していた野呂美加（ノロミカ）というアカウントがTwitterを始めたという情報をみかけました。消費者行政関係者の皆さんは注視してください。togetter.com/li/244062

タグ：

posted at 23:03:01

#超算数吉田洋一、堀川掬「小学生の算数の勉強 (母親研究会)」『婦人之友』第47巻第4号 (1953年4月)、88-95ページ。
堀川掬氏94頁で、3つ45円のりんごが10個買うときの値段を45+45+45+45÷3で求めてよいし、その考え方が15×10より役に立つ場合もある。 pic.twitter.com/6K9cwzRFqe

タグ：超算数

posted at 23:10:01

#超算数 95頁。一概に否定すると【その子は次から自分の頭で考えることが、いやになってしまうでしょう。】
【私が小さい時、梯形の面積を出すのに上底と下底の平均を出して高さをかけたら、先生にそれはいけないといわれ、どうしていけないのかと不服に思ったことを今もおぼえています。】
梯形=台形 pic.twitter.com/2geUR5vfIj

タグ：超算数

posted at 23:10:01

yuri @syoyuri

恐らくほどんとの方は「チェルノブイリへのかけはし」「野呂美加（ノロミカ）」についてご存じないかと思います。放射能不安に便乗し、EM菌が放射能に効くよううたい、マルチ商法関係者や"奇跡の水"業者らと「放射能から身を守る」をネタに活動した人物です。ご注意ください。
www.em-seikatsu.co.jp/_upload/dlseas... twitter.com/syoyuri/status...

タグ：

posted at 23:14:28

#超算数 1953年、既に #掛算の順序にこだわる指導要領が発表されている。しかしこの座談会には戦前戦中の詰め込み教育が子供から考える機会を奪っていたという反省の態度が見られる。堀川掬は1951年指導要領執筆者の一人で、1955年にも教材等調査研究会小学校算数小委員会委員であった。

タグ：掛算超算数

posted at 23:15:28

#超算数この時代、日本は発展途上状態でした。停電、伝染病、火事、サンマータイム等が教材になっています。【六〇人も七〇人も受持っているところ】と堀川氏がいうようにクラスは超大人数でした。#掛算の意味を教えるのがやっとで順序までは注目されなかったのかも。

タグ：掛算超算数

posted at 23:26:42

#掛算の意味というのは4×3は4+4+4のことだという認識のことです。4×3は12だといえる普通の子が、4×3の意味は何かと問われて図に描くこともできないなどの報告があります。九九を正確に唱えられても、その意味が分かっていないとみなせる状況の子が目立ったみたいです。3+3+3+3には言及なし。

タグ：掛算

posted at 23:35:04

a @tjadvg5584556tj