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

Julia 1.2 rc2 on Windows under 認証付きプロキシの件、続報。BinaryProviderについてはBINARYPROVIDER_DOWNLOAD_ENGINEという環境変数にcurlと設定してやればWindowsでもcurlを使うように作られている。これでBinaryProviderはクリアできるはず…！ #Julia言語

 github.com/JuliaPackaging...

タグ： Julia言語

posted at 23:45:03

非公開

タグ：

posted at xx:xx:xx

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

タグ： Julialang Julia言語

posted at 23:35:45

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

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

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

twitter.com/susykuitai/sta...

タグ：数楽

posted at 23:24:03

'use react'; @yuta0801_

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

タグ：

posted at 23:18:32

#数楽

Σ 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

td2sk @td2sk

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

タグ：

posted at 23:06:42

#数楽 Σ 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

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

以下Σは正の整数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

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

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

タグ：

posted at 23:03:40

ごろり/고로리 @gorori0225

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

タグ：

posted at 22:25:22

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

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

タグ：

posted at 22:19:43

ごろり/고로리 @gorori0225

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

タグ：

posted at 22:14:47

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

タグ：

posted at 22:02:20

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

（続き）　
＃超算数

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

タグ：超算数

posted at 22:00:42

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

タグ：

posted at 21:43:25

できた pic.twitter.com/wfVEyoU6CO

タグ：

posted at 21:37:21

非公開

タグ：

posted at xx:xx:xx

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

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

タグ：

posted at 21:29:01

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

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

タグ：

posted at 21:26:08

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

タグ：

posted at 21:22:12

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

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

タグ：

posted at 18:50:23

Shuhei Kadowaki @kdwkshh

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

山K @yamak0523

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

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

タグ：

posted at 18:12:45

非公開

タグ：

posted at xx:xx:xx

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

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

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

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

タグ：数楽

posted at 17:15:42

#数楽統計がらみの計算では 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

#数楽 {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

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

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

タグ：数楽

posted at 16:45:00

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

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

タグ：数楽

posted at 16:44:59

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

Σ_{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

非公開

タグ：

posted at xx:xx:xx

加藤和彦 @kzhk

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

タグ：

posted at 16:19:36

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

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

タグ： Julia言語

posted at 16:19:08

#数楽 #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

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

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

タグ：超算数

posted at 16:06:41

みかぽん @A_deficit

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

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

タグ：

posted at 15:57:58

非公開

タグ：

posted at xx:xx:xx

Yossy @Yossy_K

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

タグ：

posted at 15:46:43

⚡Game*Spark⚡ @gamespark

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

タグ：

posted at 15:38:57

積分定数 @sekibunnteisuu

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

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

タグ：超算数

posted at 14:48:16

積分定数 @sekibunnteisuu

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

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

タグ： family 超算数

posted at 14:47:02

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

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

タグ：

posted at 13:05:10

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

タグ：

posted at 12:21:17

横田洋人 @attoi

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

タグ：

posted at 12:11:42

#Julia言語

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

pkg>update Atom

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

タグ： Julia言語

posted at 12:11:25

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

タグ： Julia言語

posted at 12:08:08

Teamⓘてれきゃすと @telecast2

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

タグ：

posted at 11:18:20

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

タグ：

posted at 11:14:16

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

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

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

タグ：

posted at 11:13:02