黒木玄 Gen Kuroki(@genkuroki)/2019年07月11日

#超算数教育は、学問とは違いますと嘯く癖があるのは確か。しかしそれでも、学界から反発を受けると予測できていたら、帝国大学で数学とか物理を修めた教育者らが、abはa×bという演算の結果なので、演算前の式よりも優先順位が上がりますなんて説明を強行するだろうか？
掛け算も同じ。

タグ：超算数

posted at 00:02:39

Juliaのdiscourseでmentionをもらえて嬉しい。
Junoの今度のリリースに含まれている色々な機能追加とbugfixに携わりました。
discourse.julialang.org/t/ann-juno-0-8...

#JuliaLang #Juno

タグ： JuliaLang Juno

posted at 00:28:14

#Julia言語

ここにファイルがあるじゃろ，
Cmd+J+Fを押すのじゃ
コードが成形される

＿人人人人人人人人人人人＿
＞　コードが成形される　＜
￣Y^Y^Y^Y^Y^Y^Y^Y^Y^Y￣ pic.twitter.com/g2rVaOCBBu

タグ： Julia言語

posted at 01:16:20

あーはいはい．もうJulia最強 pic.twitter.com/CePKi2coMG

タグ：

posted at 01:32:57

私は過去数十年間のあいだ、「カリスマ」の有害性について色々考えて来たつもり。

その害は想像以上に大きいと思ふ。

タグ：

posted at 01:32:57

ヲカダ@本垢(ターラント) @Wokadatch

#数楽汎化損失のことをクロスエントロピーと呼ぶ向きもあるようだが、Kullback-Leibler情報量が座標不変量であることに注意すればその自然さが納得し易いと思う。

確率密度函数は座標不変ではないことに注意。

座標不変でなくても役に立てば問題無しなのだが、座標不変性の認識は重要。

タグ：数楽

posted at 01:37:39

俺が大人だからなのか、文章なら簡単に理解できる。図は解読できない。する気力もない。 twitter.com/freetablettabo...

タグ：

posted at 01:41:00

これも実装しました😄 twitter.com/MathSorcerer/s...

タグ：

posted at 01:59:07

@kdwkshh なんと！！！
ありがとうございます．

タグ：

posted at 02:05:25

@MathSorcerer いえいえ、自分が実装したのがタイムラインで流れてきて嬉しかったです笑

このJunoのPlot pane等の場所をユーザが指定できるようにした機能もとっても便利なのでぜひ試してみてください😉

github.com/JunoLab/atom-j...

タグ：

posted at 02:29:17

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

@kdwkshh ありがとうございます．
こういうGUI周りのことができるの素で尊敬します．

タグ：

posted at 02:35:37

Æ自由な野生オヤジ（仮） @libertarian_jp

自分も経営者の端くれだから言わせてもらうけど、こいつは経済が全くわかっていない → QT 【経営者目線】財政規律を憲法に明記すべき　参院選各党公約は「かけ声」と「大衆迎合」の印象 www.zakzak.co.jp/eco/news/19071... @zakdeskさんから

タグ：

posted at 04:03:18

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

「山田太郎に入れると自民の他の議席が増える」は山田太郎が少なくとも最低100万票以上得票するか、山田落選かつ山田票分で自民1議席上乗せ、が起こらない限りありえない。山田票で1議席上乗せでも山田当選なら自分の議席分だし、現状、山田太郎は「自民の他の候補の議席を奪う」可能生の方が高い。 twitter.com/ara_wo/status/...

タグ：

posted at 09:41:12

Teamⓘてれきゃすと @telecast2

@unotaka045 @shizukabebe 私のうちでも妻がこの手のおかしな採点については「この採点はひどい。本当は全部マル。気にするな」と子に言っているのですが、私は「全くその通り！」と言っています。

算数の教え方は全般的に色々おかしくなっているので、子どもには「従ってはいけない」と言っておかないと危険だと思います。

タグ：

posted at 11:13:02

@unotaka045 @zerra01 因みに先生は採点時丸をフリーハンドで描いてるので、マイナス11点

タグ：

posted at 11:14:16

@unotaka045 @shizukabebe 先生の指示が合理的でなかったり、指示の理由が不明でかつ従うことが不快なのに、保護者まで「先生の言うことに常に従え」と言うと、子どもは「たとえ不合理だったり、理由不明で不快な場合であっても、従わなければいけない」と思うようになるかもしれない。私は自分の子にそうなって欲しくないです。

タグ：

posted at 11:18:20

#Julia言語 twitter.com/MathSorcerer/s...

タグ： Julia言語

posted at 12:08:08

#Julia言語

フォーマッタツールが動かない場合は
Atom.jl をアップデートしてEditorのAtomを再起動させれば動作せることができます。

pkg>update Atom

フォーマッタもJITが走るせいか初回は重いです twitter.com/MathSorcerer/s...

タグ： Julia言語

posted at 12:11:25

横田洋人 @attoi

世界の動物図鑑@スマホケース販売中 @jamafra1243

@unotaka045 @genkuroki この先生、線の長さや太さにはこだわりはないのかな？数字もテンプレートで決まった形で書かせたりしないのかな？何故その部分だけ定規でなければいけないのか説明を聞いてみたいですね。

タグ：

posted at 12:11:42

赤松健 ⋈（参議院議員・全国比例） @KenAkamatsu

眠るタコの体の色が変化する様子。
人間の眼球運動のように、タコが夢を見ている反応かもしれないと研究されている。
pic.twitter.com/PWJdcchnic

タグ：

posted at 12:21:17

今晩２２時から、山田太郎候補（全国比例）の「さんちゃんねる」にゲスト出演します。
www.youtube.com/user/youryamad...
児ポ法改正案～ＴＰＰ（による著作権侵害の非親告罪化）～青健法～軽減税率～先日の静止画ＤＬ違法化まで、漫画業界がいつも大変お世話になっている山田太郎先生の実績について解説予定。

タグ：

posted at 13:05:10

積分定数 @sekibunnteisuu

親御さんは知ってましたか？2年生の最大の山場「かけ算九九」が昔と違う!? casy.co.jp/fblog/family/7... #family @casycoltdさんから　#超算数

タグ： family 超算数

posted at 14:47:02

積分定数 @sekibunnteisuu

#超算数
＞うちの娘にコツを聞いたところ「『何個』と聞かれているのだから、問題文で『個』がつく方を先に持ってくるんだよ」と解法テクニックを教えてくれました。裏技として覚えておくといいかもしれません。

駄目なパターン。「採点が間違っているから堂々とバツになりなさい」が正しい対処法

タグ：超算数

posted at 14:48:16

⚡Game*Spark⚡ @gamespark

レイトレーシングと高解像度テクスチャでリアルになりすぎた『マインクラフト』映像！
www.gamespark.jp/article/2019/0...

タグ：

posted at 15:38:57

Yossy @Yossy_K

なんだこりゃ。
身内贔屓が目立つ中ですら半数以上とか1/3以上に「質問なげーよ」「思い込み激しすぎ」「元ネタ間違ってるじゃねぇか」って思われてるって、かなりのポンコツじゃないのか。
bunshun.jp/articles/-/12753

タグ：

posted at 15:46:43

非公開

タグ：

posted at xx:xx:xx

みかぽん @A_deficit

@kakashigame_jp 私の職場でも言わさせられてました。
職員一人一人にメッセージとお菓子配って…頑張ったらまた疲れてしまうのに…

個人情報に関わることだし、会社に言われるままに言う必要ない、と主治医が言ってて、そうか…と先日思いました。

タグ：

posted at 15:57:58

＃超算数
『これだけは知っておきたい小学校教師のための算数と数学15講』
に掛け算順序強制が詳しく分析されていた。
しかし私には何を言いたいのかよくわからなかった。
ちなみに立ち読み。

honto.jp/netstore/pd-bo...

タグ：超算数

posted at 16:06:41

#数楽 #Julia言語

トロピカル(min-plus)パス代数の実装のJulia版

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

Julia言語では線形代数関係の標準函数を利用するためには必要な函数と演算子の定義を書くだけでよい(multiple dispatchが有効に働く)。

添付画像の例では3乗で飽和。3乗=4乗。

twitter.com/lotz84_/status... pic.twitter.com/BeX5KcGCsj

タグ： Julia言語数楽

posted at 16:19:06

#Julia言語注意：特別に表示用の函数を書かないままで、表示が簡潔になるようにするために、普段ならやらない書き方をしていることに注意。使いまわしできる部品を書くときにはもっと抽象化した方がよい。

例えば、Float64などと型情報をナマで書かない方がよい。

タグ： Julia言語

posted at 16:19:08

加藤和彦 @kzhk

MITのJulia開発者の人達が，Julia上にAIプログラミング言語・確率的プログラミング言語なるものを開発し，PLDI 2019で発表しました。新しい道を切り拓いていこうとする力に感心。
news.mit.edu/2019/ai-progra...
dl.acm.org/citation.cfm?i...

タグ：

posted at 16:19:36

非公開

タグ：

posted at xx:xx:xx

#数楽複数の行列の積の成分は

Σ_{j,k,l,m} a_{ij} b_{jk} c_{kl} d_{lm} e_{mn}

のように隣り合ったインデックスを同じにして、同じにしたインデックスを足し上げた形になります。このことは積の(i,n)成分がiからnまでの経路 i→j→k→l→m→n 全体に渡る和になっていることを意味する。続く

タグ：数楽

posted at 16:44:59

#数楽続き。このことから、行列の積は全ての経路を考えるために使えることは自明になります。そして、和を取る操作を「より"短い"経路を選ぶこと」にできれば、行列の積で最短経路を計算できることも自明になります。

足し算をminにすると引き算が使えなくなるのですが、他の点は結構大丈夫。

タグ：数楽

posted at 16:44:59

#数楽引き算が使えない環を半環(semi-ring)と呼びます。

足し算をminにする場合には、掛け算を+にすることが多いのですが、それは掛け算を-logを取って見ていると思えば分かりやすいです。-log(1)=0, -log(+0)=∞なので、0,∞がそれぞれ1,0の役目を果たします。

タグ：数楽

posted at 16:45:00

#数楽 {0,1}で

a+b=max(a,b)=a OR b
a×b=ab=a AND b

と定義しても半環(半体)になり、0,1成分の行列Aのノイマン級数

E+A+A²+A³+…

はrelation Aから生成されるpreorderになります。

ノイマン級数は「全ての長さの経路」を考えることに対応。反射率は単位行列、結合律は経路の連結に対応。

タグ：数楽

posted at 16:55:25

#数楽統計がらみの計算では logsumexp = log Σ exp がよく登場するのですが、max-plus代数のmaxの部分は通常の代数における logsumexp の極限になっていると思えます。λ→∞のとき、

(1/λ) log(exp(λa)+exp(λb)) → max(a,b),
(1/λ) log(exp(λa)exp(λb)) = a+b.

タグ：数楽

posted at 17:03:24

#数楽上の方に出て来た行列の積の使い方は「線形写像の表現行列」としての行列の積とはちょっと違った雰囲気になっていることに注意。

行列は線形写像を扱うためだけの道具ではない。

行列の積が役に立つ範囲は意外なほど広い。

役に立つ範囲が広いので標準カリキュラムで教える価値が高い。

タグ：数楽

posted at 17:15:42

非公開

タグ：

posted at xx:xx:xx

山K @yamak0523

じゃあ、なんで「×」はフリーハンドなのに指摘されてないの？

定規を使わないといけない事の理由が知りたい。数字だって定規使ってデジタル方式で書けばいいじゃないか。 twitter.com/toraphgu/statu...

タグ：

posted at 18:12:45

JunoでJuliaパッケージを開発するときにGo to definitionなどの支援を受けたい場合は、
Julia-ClientのSettingsで`Additional Julia Startup Arguments` をこんな感じにそのパッケージの環境を指定する必要がある。
後から
] activate hoge
だとダメ。
Junoに限った話じゃないけど。

#JuliaLang #Juno pic.twitter.com/Y9HTR05xY7

タグ： JuliaLang Juno

posted at 18:18:51

万博@盲学校マジック @bampaku

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

テストでバツされる
→割り算の横線を定規で引いてないからバツと言われる
→それはバツでも仕方ないという人が現れる
→バツされないよう子供に定規を持たせる
→割り算の横線が引きやすい小さめの定規を探す
→桶屋が儲かる
www.tiotoss.jp/products/detai...

タグ：

posted at 18:50:23

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

選挙のことではないので言及しますが、おしどりマコが大石さんの「論座」記事撤回を要求しているようです。僕は大石さんを支持します twitter.com/oshidorimako/s...

タグ：

posted at 21:22:12

大石さんと「論座」を支援しましょう twitter.com/kikumaco/statu...

タグ：

posted at 21:26:08

Pyenv のPython でjuliaモジュール動かないからPythonをこのリンク先に従ってソースからビルド．iMacなら一瞬で終わる
pyjulia.readthedocs.io/en/stable/trou...

タグ：

posted at 21:29:01

非公開

タグ：

posted at xx:xx:xx

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

できた pic.twitter.com/wfVEyoU6CO

タグ：

posted at 21:37:21

こんなことがなければ、選挙が終わるまではおしどりマコの「お」も書かないつもりだったのですが、おしどりマコ側が仕掛けてきたなら仕方ありませんね。僕は「論座」を支持します。言論弾圧とは断固として戦いましょう

タグ：

posted at 21:43:25

（続き）　
＃超算数

この本はペアノの公理とか、アレイ図で直積が・・・のような面倒な話が書いてある。
執筆者達は算数教育の専門家らしい。
今年の１月に発売された本。
出版社は硬派な本をたくさん出している

タグ：超算数

posted at 22:00:42

小数の掛け算の話でアレフ・ゼロという言葉が出てきて、読んでいてドキッとする。

タグ：

posted at 22:02:20

ごろり/고로리 @gorori0225

なんかもう、小学校の算数の授業がほんとロクでもないという話しか聞かないんだが>RT

タグ：

posted at 22:14:47

ごろり/고로리 @gorori0225

某中3男子、今では数学がかなり得意にだけど、彼の小学校の教師がマジf**k。一番ぶったまげたのは「直方体の体積」を求めるとき「タテ×横×高さ」の順にかけ算しないと✖️という。はあ？直方体を横倒しにしたら計算式変わるの？バカなの？小学校教師ってバカばっかなの？

タグ：

posted at 22:19:43

Wolfram Japan @WolframJapan

Wolfram Function Repositoryは、Wolfram言語にまだ入っていない関数のためのリポジトリで、v12からアクセス可能です。誰でもFunction Resource Definition Notebookを使って新関数を投稿することができます（審査の上公開）。詳細 -> wolfr.am/EZ1ReNBY

ブログ wolfr.am/EZ1GK9Xl pic.twitter.com/qejKj7W6cc

タグ：

posted at 22:21:13

ごろり/고로리 @gorori0225

僕は彼を小5の時からずっと見てるけど、ほんとに小学校のアホ教師から解放されてよかったなぁ。中学の「数学」なったら成績ガン上がり↑ 生徒の可能性をつぶす教師はマジf**kです。毎日、犬のウ●コを踏む呪いにかかればいい！

タグ：

posted at 22:25:22

この本は、『算数科教育研究新版』と内容はかなり似ている。
執筆者は違うけど

honto.jp/netstore/pd-bo...

タグ：

posted at 23:03:40

#数楽あれ？また見失った。

以下Σは正の整数n全体に渡る和。

Σ cos(nx)/n³ = ζ(3) + (1/2)x² log x - (3/4)x² - x⁴/288 - x⁶/86400 - …

のlog項がどこから出て来るのか？というような質問を見つけたが、見失った。これはポリログ

Li_r(z) = Σ zⁿ/n^r

の演習問題。続く

タグ：数楽

posted at 23:06:05

#数楽 Σ cos(nx)/n³ = (Li₃(e^{ix})+Li₃(e^{-ix}))/2 なので、

(d/dx) Σ cos(nx)/n³ = -(Li₂(e^{ix})-Li₂(e^{-ix}))/(2i),

(d/dx)² Σ cos(nx)/n³ = (log(1-e^{ix})+log(1-e^{-ix}))/2.

最後の式のx=0での展開にはlog(x)の項が当然出て来る。その展開を2回不定積分すれば欲しい結果が得られる。

タグ：数楽

posted at 23:06:06

td2sk @td2sk

@tkmtSo 行列積を工夫するとo(V^3)にできるようです
arxiv.org/abs/1312.6680

タグ：

posted at 23:06:42

#数楽

Σ cos(nx)/n³ = ζ(3) + (1/2)x² log x - (3/4)x² - x⁴/288 - x⁶/86400 - …

の

(1/2)x² log x - (3/4)x²

の部分は log x を0からxまで二回不定積分した結果。

www.wolframalpha.com/input/?i=%E2%8... pic.twitter.com/WtwEiQPWsA

タグ：数楽

posted at 23:09:19

'use react'; @yuta0801_

Chrome内部にグラフを出力するページを見つけたんだけど、何を意味してるのか説明も全くないし、ずっと激しく動き回ってるで謎い pic.twitter.com/NYeaDd0fGb

タグ：

posted at 23:18:32

#数楽検索してやっと見つけた

アシュクロフト＆マーミン
『物性物理学演習』

こういう本にも出て来るのであれば、大学1年生向けの微積分でポリログについてもサービスとして触れておいてもバチは当たらない感じ。ζ(s)=Σ 1/n^s を Li_r(x) = Σ zⁿ/n^r に拡張するだけ。

twitter.com/susykuitai/sta...

タグ：数楽

posted at 23:24:03

Studying Interact.jl now
#Julia言語 #Julialang pic.twitter.com/Lj0TsAegRq

タグ： Julialang Julia言語

posted at 23:35:45

非公開

タグ：

posted at xx:xx:xx

山本卓 @sgryjp