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

@takusansu #超算数　え～、誰が何の目的でそんなことするんだろう。確率でも「コインを5回投げて3回表が出る確率は？」は悪問、「ちょうど3回」「少なくとも3回」などとして曖昧さを避けるべきだと思っているのに、なんだこりゃ？

タグ：超算数

posted at 23:18:18

Robert Geller; ロバート・ @rjgeller

JIT式展開‼️ 😊

タグ：

posted at 23:15:32

残念ながら、「地震が来るせめて１日前位に地震予報を出す」ことは現時点に不可能ですし、近いうちにも見通しは皆無です。いつでもどこでも不意打ちに備えるしかないです。 twitter.com/august8vacatio...

タグ：

posted at 22:44:18

@apj H24年度の報告ではS37年度敷設の鋼鋳管では効果があったとしているものの、H29年度・H30年度の報告ではS50年代以前の硬質塩化ビニルライニング鋼管では効果が無かったとしているわけで、総論としては今後配水管に対してNMRパイプテクターを使用する意味はほぼ無い、というものになっていると考えます。

タグ：

posted at 22:39:39

@apj また、残留塩素の折れ線グラフには水温も追加され、総体では水温の影響があまり出ないようにデータを取っているように見えます。

H30年度の報告ではさらに、錆の状態を分析して効果が確認できなかったとしています。

タグ：

posted at 22:36:27

@apj このH24年度の報告には、H29年度とH30年度の追加の報告がありました。
H24年度の報告では大きな効果があることを期待してわざわざ老朽化した水道管を対象にしていたのに対し、H29年度の報告では少し新しい管径の異なる水道管を対象にしたところ、残留塩素減少防止効果が無かったとしています。

タグ：

posted at 22:29:04

#数楽実際に広まると自分の首もしまるわけですが。😅

タグ：数楽

posted at 21:39:29

#数楽コピペされる側の証明の方針は価値あるものなのですが(だからコピペされる)、解説がワンパターン化されて行くことは結構有害だと思う。

ワンパターン化を防ぐためには、「証明のコピペ問題」のような「けなしているというニュアンス」が明瞭な言い方を広める価値があると思う。

タグ：数楽

posted at 21:31:03

#数楽他にも、高校数学IIIでの

lim_{x→0} (sin x)/x = 1

の証明法の定番は

"(1/2)sin x < (1/2)x < (1/2)tan x"

を経由することですが、十分な価値はあるが、かなり遠回りで、200年前のCauchyさんのやり方のコピペになっている。

twitter.com/genkuroki/stat...

タグ：数楽

posted at 21:31:03

#数楽 Taylorの定理(剰余項付きTaylor展開)の証明の解説についても、もっと多彩なパターンが使われてしかるべきなのに、実際に出会う解説では、少数のパターンに制限されているように感じられる。

タグ：数楽

posted at 21:31:02

#数楽他の「証明のコピペ問題」の例：日本語圏におけるWallisの公式の証明の解説はsinのべきの定積分

I_n = ∫_0^{π/2} (sin x)ⁿ dx

を使うものが実に多い。

タグ：数楽

posted at 21:31:01

#数楽以上は調和級数の発散に関する初等的だが雑な結果を導く議論の話。より精密な結果を得る話については以下のリンク先を参照。

twitter.com/genkuroki/stat...

タグ：数楽

posted at 21:31:01

#数楽

1≧1
1/2+1/3+…+1/10≧9/10=0.9
1/11+1/12+…+1/100≧90/100=0.9
…

より

1+(1/2+…+1/10)+(1/11+…+1/100)+…
≧1+0.9+0.9+…

のスタイルで証明しても問題ないはず。

1/1から1/10ⁿまでの和をn=1,2,3,…と実際に計算してから証明する流れなら、これでも全然問題ないはず。

タグ：数楽

posted at 21:31:00

#数楽例えば調和級数が発散することの証明は、

1+1/2+(1/3+1/4)+(1/5+1/6+1/7+1/8)+…
≧1+1/2+1/2+1/2+…

となっていることが実に多い。2ⁿ個の連続する項をまとめて下から評価するスタイル。

タグ：数楽

posted at 21:31:00

#数楽同一の数学ネタに関する多数の解説を読むようになると、結構気になるのが、「証明のコピペ問題」。

一致する必然性がない部分でも証明の内容が一致していることが実に多い。

タグ：数楽

posted at 21:30:55

おばけ @triwave33

ベイズ勉強会、楽しかったな。これが数学科の講義なのかという感じだった。（水産学部出身なので…）

しかし歯磨きでもしてるかのように当たり前に式展開してくんだな。JIT式展開

予習でカバーしてたところとそうでないところで理解度が如実に違ってた。しっかり復習したい。

タグ：

posted at 20:47:53

TaKu @takusansu

ほりたみゅ (mastodonも見てね) @Hyrodium

@sekibunnteisuu #超算数 8254.teacup.com/kakezannojunjo...
学習指導要領解説算数編
1999年【台形については、二組の対辺のうち少なくとも一組の対辺が平行であるということ】
2008年-【向かい合った一組の辺が平行な四角形を台形という。】
平行四辺形は台形にあらずと指導可能な記述に変わっています。

タグ：超算数

posted at 20:35:39

pic.twitter.com/WJZzBwBa8T

タグ：

posted at 20:13:30

棒すてぃっく @bohstick

anacondaでpipしたら壊れるって聞くけど壊したことはない

タグ：

posted at 20:10:43

@apj ①比較対象群を用意するのが難しい、
②外乱が大きすぎて効果の検出が難しい、
③測定機材の精度が悪すぎて効果の検出が難しい、

の一つ目で既に不合格だな、と思いました。

タグ：

posted at 19:39:08

@apj これでは、NMR工法装置の効果じゃなくて、水温の差で残留塩素の減少量が変化したといっても、十分に説明がついてしまう。

これでは、この報告を見る前に予想していた、

タグ：

posted at 19:38:44

Hiroyasu Kamo @kamo_hiroyasu

数理解析研究所の数学入門公開講座、今年は「関数不等式とエネルギー集約」「組合せ最適化における双対性」「流体力学 ---- まだこんなことが分からない」の三本だそうです。www.kurims.kyoto-u.ac.jp/kouza/

タグ：

posted at 19:29:55

@apj もう一つは、ＮＭＲ工法装置設置前の測定が９月26日～10月30日までの6回であるのに対し、ＮＭＲ工法装置設置後の測定が11月22日～２月5日までの９回であるということ。

残留塩素の減少量は、その時の水温および滞留時間に強い正の相関を示すのに、違う季節で比較してどうするのか。

タグ：

posted at 19:08:47

@apj まずは、「実際に市内で運用している配水管にて残留塩素減少防止効果の検証を（株）アクアエンジとの共同で行った。」という一文。
うわあ、代理店と共同なのか。

まあ、メーカーあるいはベンダーとの共同研究は普通にあることなので、それ自体は問題であるとは言い難いのですが。

タグ：

posted at 19:04:16

the_spoiler @don_jardine

鳩山由紀夫や室井佑月のような元総理や作家というそれなりに影響力のある立場の人々がツイッターという世界から見られるメディアで聞きかじりの誤った知識に基づく無神経極まりないデタラメな発言を繰り返す。しかしその醜悪な発言が大手メディアで恥ずべき舌禍事件として扱われることはない。理不尽。

タグ：

posted at 19:01:56

闇のapj @apj

@G_rolling ちょっとDMしました。よろしくです。

タグ：

posted at 19:01:48

@apj この。レベル的に、小学校の夏休みの自由研究から大学の卒業論文までの間のどこかに位置するＡ４で２枚分の報告について、どこがどうダメかを普通の人にわかるように説明すると、多分Ａ４で20枚分くらい書かないといけない気がするのですが、大きなツッコミどころとしては２つあります。

タグ：

posted at 18:54:54

ほりたみゅ (mastodonも見てね) @Hyrodium

@apj つてを頼って探してみたら、驚くほどトントン拍子に元の報告のコピーを入手することが出来ました。
思っていたよりは真面目に「研究」しているなとは思いましたが、予想以上にダメな論理展開でダメな結論に達していて、ますます頭痛がひどくなりました。

タグ：

posted at 18:50:24

非公開

タグ：

posted at xx:xx:xx

天むす名古屋 Temmus @temmusu_n

JuliaでPOV-Rayのラッパーを書いてて, 色々出力できるようになってきた pic.twitter.com/QvJxmUDajb

タグ：

posted at 17:21:41

天むす名古屋 Temmus @temmusu_n

@genkuroki #超算数もちろん数3という概念は実体をもたず、音声また文字による記号で示されなければならないので、概念習得の困難と思ったものが実は記号習得の困難であると判明することもあるとは思います。

タグ：超算数

posted at 16:47:57

天むす名古屋 Temmus @temmusu_n

@genkuroki #超算数 ♡♡♡を3と対応づけることのできる子供でも🐱🐱🐱を3と対応させることは改めて習得する必要があるという趣旨の説明は、戦後の本でも見られます。海外事例の祖述ばかりでもありません。

タグ：超算数

posted at 16:44:41

@genkuroki #超算数【具体的な事物の個数を数にまで抽象化することは児童にとって困難である】のような説は当時の説を私の言葉で要約したものなので説明します。戦前の算術指導本には、♡♡♡ (ハート形がみっつある状況)と🐱🐱🐱 (猫がさんびきいる状況)のどちらからも数、3を読み取るのは抽象作用という記述。

タグ：超算数

posted at 16:24:04

高野徹さんへの援護射撃になればいいのですが。甲状腺検査は欺瞞だらけです。もはや問題は被曝影響の有無ではないことを認めなくてはなりません。これで職場に文句を言ってくる人もいるでしょうが、うちの大学は僕の発言内容を関知しませんので、職場に抗議しても無駄です

タグ：

posted at 15:38:29

来週あたり、僕の甲状腺検査中止の提言が某所に出ます。甲状腺検査中止はSNSでは大きな声になっているものの表立って言われることは少なく、相当な論議を呼ぶでしょうが、論理的にも倫理的にも中止以外の解はないと確信しています。詳細が決まったらまた告知します。もう少し書き足す予定です

タグ：

posted at 15:35:35

Shuhei Kadowaki @kdwkshh

IPythonに限らずIJuliaでもIHaskellでもIJavaでも、Jupyter kernelであればどんなKernelでもAtomの多種多様なサポートを受けつつ動かせるので、Jupyter notebook/labに編集し辛さを感じたことがあったりJupyterを動かしつつそのままガッツリコーディングもしたい人など、是非試してみて下さい😊

タグ：

posted at 15:16:34

Shuhei Kadowaki @kdwkshh

Atomエディタ上でJupyter kernelを使えるようにするパッケージ Hydrogen の最新版をリリースしました🎉
今回追加されたMarkdown cellのレンダー機能でさらに使える幅が広がってると思います😊
#AtomEditor #Jupyter

github.com/nteract/hydrog...

タグ： AtomEditor Jupyter

posted at 15:16:18

#数楽大学1年生向けの講義で

log(2) = 1 - 1/2 + 1/3 - 1/4 + …

を例に出すことが多いのですが、これは

ζ(2) = 1/1² + 1/2² + 1/3² + …

よりもさらに収束が遅いので、オイラーさんのようにζ(2)の数値計算でlog(2)を使いたいなら、log(2)の計算で工夫が必要。これも講義でよくやる。

タグ：数楽

posted at 15:06:53

#数楽いつもに電卓芸！

同じ6つの数字が巡回

142857 × 1 = 142857
142857 × 2 = 285714
142857 × 3 = 428571
142857 × 4 = 571428
142857 × 5 = 714285
142857 × 6 = 857142

そして

142857 × 7 = 999999

twitter.com/nyagoking/stat...

タグ：数楽

posted at 14:59:24

Nick-IB（和名：高瀬健）@cov @Nyagoking

#数楽メモ

添付画像は

www.kurims.kyoto-u.ac.jp/~kyodo/kokyuro...

より。log(2)の数値計算に

log(2) = 3 log(1+1/80) + 5 log(1+1/24) + 7 log(1+1/15)

を使う方法。考え方がマチンの公式

π/4 = arctan(1) = 4 arctan(1/5) - arctan(1/239)

に似ている。 pic.twitter.com/p0kRxkgnzL

タグ：数楽

posted at 14:51:47

小1か小2で「虫食い算大会」にハマった際、循環小数なる概念を知ってアレコレ捏ねくりまわした記憶…。142857が大好きになる奴だ… twitter.com/genkuroki/stat...

タグ：

posted at 14:32:54

Mozu @rokubunnnoichi

ミニチュアの美術館を作って、色々なものを巨大アートにしてみました！

制作期間は1ヶ月くらい。

ルービックキューブの他にも、色々なものを巨大アートにしてみたので、是非コメント欄を覗いてみてください〜！

【2へ続く！】

ちなみに僕はエリンギがお気に入りです笑 pic.twitter.com/ZUeKEMQsBS

タグ：

posted at 14:29:54

#数楽オイラーさんは本質的に

ζ(2) = Li₂(z) + Li₂(1-z) + log(z) log(1-z)

を見付けて使った。ここで

Li₂(z) = Σ_{n=1}^∞ zⁿ/n², ζ(2) = Li₂(1).

z=1/2とおくと

ζ(2) = Σ_{n=1}^∞ 1/(2ⁿ⁻¹ n²) + (log 2)².

これを知っていると log 2 を数値計算するモチベーションが上がる。

タグ：数楽

posted at 14:07:30

#数楽オイラーさんによるζ(2)の手計算による数値計算については

www.kurims.kyoto-u.ac.jp/~kyodo/kokyuro...

に解説がありましたね。

オイラーは本質的にdilogarithm Li₂(z) に関する恒等式を作って利用している。

私による解説もあります。添付画像は

genkuroki.github.io/documents/Calc...

より。

twitter.com/toyo9/status/1... pic.twitter.com/fBzss4c0M0

タグ：数楽

posted at 14:00:16

#Julia言語「大量の繰り返しの各ステップごとに何かの平均を計算して配列に保存する」というようなことをやりたいことはよくあって、そういう場合に、以上で述べたことに気を使わないと、びっくりするほどメモリを消費してしまうことがある。

@ time マクロでのモニターは必須。

タグ： Julia言語

posted at 12:57:29

高橋かずひと@闇のパワポLT職人 @KzhtTkhs

Space, time, matterはたしか学部生のときにドーヴァー版を買ったのだけど、すでに四年のゼミで一般相対論の基本を学んでいたにも関わらず、まったく歯が立たなかった記憶があります twitter.com/genkuroki/stat...

タグ：

posted at 12:56:46

あれ？
もしかして #Julia言語てccallとかPyCallじゃんじゃん使用するの普通🐤？

タグ： Julia言語

posted at 12:53:21

#数楽 H.ワイル『空間・時間・物質』

twitter.com/genkuroki/stat...

タグ：数楽

posted at 12:52:50

#数楽「幾何学と物理」と言いつつ、各種に物理量の座標不変量としての記述に興味があるなら、まず、H.ワイル著『空間・時間・物質』に目を通して、単なるその本の内容の焼き直しになっている部分とそうでない部分を分離できるようになっておいた方がいいと思う。

twitter.com/genkuroki/stat...

タグ：数楽

posted at 12:51:07

#Julia言語これだと、f.(g.(a)) のための配列を確保して、その配列の要素の和を計算することになってしまう。

s = sum(f(g(x)) for x in a) (もしくはこれの変種)

のように書けば無駄に配列が確保されることを防げる。

同様のことは mean についても言える。

タグ： Julia言語

posted at 12:43:51

みーくん | itmz153 @math153arclight

#Julia言語「無駄な配列確保」を行なってしまいがちなのは、dot syntax でうまくブロードキャストを繋げて無駄な配列の確保を防いでいたのに、それを sum や mean の引数にそのまま使ってしまって無駄な配列確保を生じさせてしまうこと。

例： s = sum(f.(g.(a))) (aは配列)

続く

タグ： Julia言語

posted at 12:43:50

等運動エネルギー面

#OpenFOAM pic.twitter.com/o7xbz3JK6i

タグ： OpenFOAM

posted at 12:40:42

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

#Julia言語上の方で紹介した

@ view や @ views マクロ
docs.julialang.org/en/v1/manual/p...

の使い方や

more dots の話
docs.julialang.org/en/v1/manual/p...

は参考になるかも。

しかし、forループ回す方が楽だと思う人もいると思う。

この問題の良い解決方法があれば私も教えて欲しい。

twitter.com/bimaterial/sta...

タグ： Julia言語

posted at 12:35:08

もし今国会であのまま静止画ダウンロード違法化が成立していたら、例えばそのイラストが二次創作（当然許諾無し）の場合などは、ＰＣやスマホへの私的な保存さえ違法になるところでした。考えるだに恐ろしい・・・ギリギリ止めることができて良かった。
twitter.com/yyish/status/1...

タグ：

posted at 12:07:27

稲葉振一郎 @shinichiroinaba

見たことのない「9/11」の写真　がらくたセールで発見 www.bbc.com/japanese/featu...

タグ：

posted at 12:02:04

tanaka （モデルナ @Jeonjung1212

高校で行列を習ってこないのが大問題になってるのにね twitter.com/tanaka_jeonjun...

タグ：

posted at 12:01:42

高校では行列やらない… twitter.com/YohsukeW/statu...

タグ：

posted at 11:59:42

saebou @Cristoforou

いえ、私この記事にとりあげられている北村紗衣本人です。
twitter.com/quine10/status...

タグ：

posted at 11:55:23

猪谷千香 @sisiodoc

この少子化の中、身近で2人、3人、4人と子どもを生んで育てているご家庭の特徴がわかりました。ご両親は共働きで正社員、勤め先は給料のよいホワイト企業、休みが多く、実際に休みやすい、もれなく保育園に入ってる…。賢明な政治家のみなさん、現場からは以上です。

タグ：

posted at 11:51:13

非公開

タグ：

posted at xx:xx:xx

最後の二行はとてもわかりまキュ twitter.com/genkuroki/stat...

タグ：

posted at 11:28:49

#数楽 1÷17とか1÷19の小数展開の計算を算数で習う割算の筆算の方法でやってみて、筆算の途中で出て来る「余り」の部分をじっと眺めると発見があるはずです。その発見をすでに小学生時代にしている人達もきっといるはず。

こういうことは自分で手を動かした人だけが味わえる楽しみ。

タグ：数楽

posted at 11:26:40

#数楽算数で循環小数について習う場面は、多くの人にとって整数論の複雑で不思議な世界に初めて触れる場面になっていると思う。

以前、オープンキャンパスで「999…9と9だけを並べた数で19で割り切れるものを見付けよ」という問題を出したことがあります。これも本質的に循環小数の話。

タグ：数楽

posted at 11:23:31

そう、相互法則でてくるのめっちゃ面白いから！！！！ twitter.com/genkuroki/stat...

タグ：

posted at 11:23:25

#数楽すでに、コメントがあったように、素数p(≠2,5)に対してp分の1の循環節の長さはp-1の約数になります。

循環節の長さが(p-1)/2の約数になるか否かは平方剰余の相互法則で決定可能。

www2.math.kindai.ac.jp/~chinen/junkan...
循環小数もおもしろい

にはさらに深い話が書いてある。

twitter.com/jmitani/status...

タグ：数楽

posted at 11:18:36

#Julia言語スクショ

地域の設定が「日本」の場合：Juliaを検索すると私であってもエロい情報が大量に出て来る。

地域の設定が「アメリカ合衆国」の場合：Juliaを検索するとプログラミング関係の情報が大量に得られる。

「地域：日本」の扱いがこうなっているのはどうしてなのでしょうか？ pic.twitter.com/XnP2UIuK4B

タグ： Julia言語

posted at 10:42:43

サクライタカオ @saku_taka

こういう論文が出ていた模様。「H・アスペルガー医師、ナチスに「積極的に協力」か」 www.afpbb.com/articles/-/317...

タグ：

posted at 10:30:56

#Julia言語

私の結論は「Googleによる日本地域の扱いに問題がある」です。

Googleで「地域の設定」を「日本」から「アメリカ合衆国」に変えれば検索語Juliaの検索結果上位からエロい情報は消える。

ツイッターでもそれに近い。

私はGoogleとツイッターではアメリカ合衆国在住になっている(笑)。

タグ： Julia言語

posted at 10:29:23

#Julia言語

継続的かつ頻繁に見かけるのが、技術的なことに興味を持っているはずなのに、

Julia をググってみたら、エロい情報ばかり出て来た。
ググラビリティ、最悪！

のようなことを平気で言える人達。技術的なことに興味があるなら、

どうしてそうなっているのか？

について調査するべき。

タグ： Julia言語

posted at 10:29:22

97は素数だから循環節の長さは 96=97ー1 の約数になりますね。 twitter.com/jmitani/status...

タグ：

posted at 10:24:31

Alex Kontorovich @AlexKontorovich

@DJ_ChuckSalad @jacobpilawa @InertialObservr Proof in a tweet.

Let L = log(lcm(1,...,n)). After a moment’s thought, observe that

L = sum_{p^k<=n} log p,

that is, each prime power p^k contributes log p to L (why?). Thus the prime number theorem is equivalent to

1/n L -> 1.

Exponentiating gives the claimed fact.

QED

タグ：

posted at 10:22:11

三谷純 Jun MITANI @jmitani

へー。
1/97 を小数で表わすと循環節（繰り返しでてくる数字の並び）が96桁にもなるって知らなかった。

循環小数もおもしろい www2.math.kindai.ac.jp/~chinen/junkan... pic.twitter.com/4Eu3lO4shX

タグ：

posted at 10:18:22

#Julia言語続き

twitter.com/genkuroki/stat...

タグ： Julia言語

posted at 09:45:49

#Julia言語もとが遅いと、別の言語(CやC++やFortranなど)で書かれた高速な行列計算などのライブラリを使うと常に速くなります。

しかし、アルゴリズムを行列計算に焼き直すと、メモリ効率が悪化することが結構多い。

この辺のことを理解していないと色々誤解してしまうことになると思います。

タグ： Julia言語

posted at 09:36:18

#Julia言語無駄にメモリを確保して捨てることを繰り返すことによって計算効率を損なってしまうという問題は、Juliaに限らず、あらゆるプログラミング言語に共通した問題です。

もとが遅い言語だと、「行列計算にして速くなった」と誤解している場合が結構ありそうです。

タグ： Julia言語

posted at 09:32:58

#Julia言語ソースコードは既出のものの新しい版で以下で公開されています。

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

@ view および @ views マクロについては以下を参照。

docs.julialang.org/en/v1/manual/p...
docs.julialang.org/en/v1/base/arr...

これら以外に @. マクロも知っておく必要があります。

docs.julialang.org/en/v1/base/arr...

タグ： Julia言語

posted at 09:28:44

#Julia言語 2次元配列 u の部分配列を u[2:end-1, 2] のようにして取り出そうとすると、u[2:end-1, 2] が新たな配列として確保されてしまいメモリを無駄に消費してしまいがちです。しかし、@ view または @ views マクロを使えばそれを防げます。

添付画像はその効果のデモです。 pic.twitter.com/GquWxY8mrS

タグ： Julia言語

posted at 09:23:59

#Julia言語 Juliaでは無駄にメモリを確保して捨てることを繰り返しているかどうかのチェックは @ time マクロで気軽に可能です。メインの計算を行う函数の実行時には常に @ time をつけておいた方がよいと思う。

ただし、JITコンパイルで消費されたメモリも加算されているので注意が必要。

タグ： Julia言語

posted at 09:20:43

葉川柚介 @Yuzusuke_Hagawa

然り然り>RT
創作において大切なのは島本和彦先生が「アオイホノオ」にて描かれたこの精神です pic.twitter.com/EPhETx74fc

タグ：

posted at 09:12:18

まかぱん @makapanpan

@sidenp 一見寄り添ってるようで一番寄り添ってないのは山本太郎。震災の時もそうでしたね。ただの活動家にしか思えません。

タグ：

posted at 08:58:13

〈 Berger | Dillon 〉 @InertialObservr

#Julia言語に限らず、モダンなプログラミング言語で配列を使った数値計算のコードを書くときに特に注意しなければいけないことは、

* 無駄に配列を確保することを無くすこと

だと思う。

その辺のことを全然理解していないときには何度も似たような失敗を繰り返した。

twitter.com/genkuroki/stat...

タグ： Julia言語

posted at 08:36:02

The limit as 𝑛 → ∞ of the 𝑛ᵗʰ root of the Least Common Multiple from 1,2,.. 𝑛 is equal to 𝑒 pic.twitter.com/PfU8ILmnfl

タグ：

posted at 08:05:55

トブ @aybis1101

渡辺由佳里 YukariWatanabe @YukariWatanabe

@sidenp @arimoto_kaori 山本ば昔っからテレビに映りたいだけ！

タグ：

posted at 07:55:29

Dr. Chris Rackauckas @ChrisRackauckas

アメリカの多くの地域では公立学校に移民の子供向けの英語クラスがある。日本人駐在員が多い場所では日本語の生徒向けのヘルプもある。住民の税金を使ってそういうサービスをしているのに、日本でそういう援助もせずに「日本語ができないのは親の責任」とかリプライしている人たちが情けない。 twitter.com/nhk_news/statu...

タグ：

posted at 07:31:35

Dr. Chris Rackauckas @ChrisRackauckas

This is matrix-free and allocation-free, using the new operators from SparseDiffTools.jl. J acts like a matrix but utilizes forward-mode automatic differentiation to have 1 function call compute J*v, and is compatible with IterativeSolvers.jl.

github.com/JuliaDiffEq/Sp...

タグ：

posted at 07:22:02

In-place and matrix-free Newton-Krylov in #julialang:

using SparseDiffTools, IterativeSolvers
function newton_krylov(f!,x,cache=similar(x),cache2=similar(x))
J = JacVec(f!,x)
for i in 1:5
f!(cache,x)
gmres!(cache2,J,cache)
@. x = x - cache2
end
x
end

タグ： julialang

posted at 07:21:47

牛越橋 @ushigoe_bashi

6/23。昨日は夏至だった。 pic.twitter.com/5SZ98xrxAM

タグ：

posted at 07:21:09

りょう@ERO-SUN @citylightnoodle

@sidenp 政策もいってるだけでね
実行できるか保証はないわけだから。そうなると何信じるの？となると今までしてきたこととなるわけで。そうすると、まあ、信じる理由はどこにもないですね。

タグ：

posted at 06:58:43

モモンガ @myhk0303

@sidenp @arimoto_kaori 山本太郎さんは、今でもアクターなんです。

言って仕舞えば、ひな壇に座ってる方々は、それぞれの舞台で、演じているのです。持ち上げ役も一杯いますからね、

今は、安倍総理が主役！
でも、シナリオが悪い！

G20の後になにがある？

なんだか胸騒ぎを感じる。

タグ：

posted at 06:28:17

toyo @toyo9

思い出しました。 pic.twitter.com/SDBfKyzTzI

タグ：

posted at 05:43:47

世界一位 @Seka_ichi

ちゃんとした理由づけできないなら、パーティ追放もの自体もうやめない？ pic.twitter.com/sUwxeyBUTy

タグ：

posted at 02:56:10

k @musicisthebest_

16-6
誕生日3に新たにうまれる数は、
3={2|　}
3/2={1|2}
3/4={1/2|1}
1/4={0|1/2}
および、これらのにマイナスをつけた、全部で8個。

確認。
{0|1/2}=xとすると0<x<1/2
x+x={x+0|x+1/2}であるが、1/2はxとx+1/2の間にあり、1/2のオプションである0, 1はそうでないので、x+x=1/2　(16のth.)

#ONAG

タグ： ONAG

posted at 02:55:47

toyo @toyo9

最終的にはこれでζ(2)の値を求めたのですが、その前段階のζ(2)どのぐらいの値なのか調べる際に、Σ1/n^2だと収束が遅くて、もっと収束の速い表示を見つける必要がありました。
そのより収束の速い表現を見つける際の計算が、とても素晴らしかった覚えがあります。 twitter.com/suomusu_phys/s...

タグ：

posted at 02:44:45

ジャスミン茶はくっそ冷たい水で数時間かけて出すと苦くなくておいしい。

タグ：

posted at 02:19:22

#数楽 sinの奇数倍角の公式からsinの無限積表示を出す議論の概略は

genkuroki.github.io/documents/Calc...

の2.6.1節にある。cosの偶数倍角の公式からはcosの無限積表示を出せる。

ついでにチェビシェフの多項式も扱うべき。チェビシェフの多項式については

nbviewer.jupyter.org/github/genkuro...

の第3節を参照。 pic.twitter.com/36AV2wGvTd

タグ：数楽

posted at 02:03:42

#数楽私の好きなsin(πx)の無限積表示の証明はsin((2m+1)x)をsin(x)の多項式で表す「sinの奇数倍角の公式」で適当にxをスケールしてm→∞の極限を取る方法。sinの無限積表示の有限積版が「sinの奇数倍角の公式」であることがわかる。

高校でもn倍角の公式もやればよいと思う。

タグ：数楽

posted at 01:55:47

栗原裕一郎 @y_kurihara

テキストエディタ。
Mac時代はJedit、15年程前にWindowsに乗り換えてからは試行錯誤の末、xyzzyというマニアックなエディタを開発終了後も長らく使っていましたが、Win10になり動作がさすがにあやしくなって、現在はMeryです。
twitter.com/kokumaro_1969/...

タグ：

posted at 01:53:11

@apj これ？ jglobal.jst.go.jp/detail?JGLOBAL...

タグ：

posted at 01:47:28

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

@apj このPDF archive.city.yokohama.lg.jp/suidou/kyoku/t... の「特定の電磁波を応用した防錆装置による配水管における残留塩素減少防止効果の検証」ってのがそれっぽいのですが、何とか入手できないか調べてみます。

タグ：

posted at 01:42:42

#Julia言語ベクトルや行列を作るとき

スペース → 横に並べる
セミコロンと改行 → 縦に並べる
コンマ → 配列=縦ベクトル

タグ： Julia言語

posted at 01:37:43

#Julia言語

[1 2 3 4]
→1×4行列

[1,2,3,4]
→縦ベクトル

[1;2;3;4]
→上と同じ縦ベクトル

[1 2 3; 4 5 6]
→2×3行列

[
1 2 3
4 5 6
]
→上と同じ2×3行列

などはJulia言語で発明された書き方ではなく、MATLABとほぼ同じ書き方です。MATLABの存在の認識は大事。

twitter.com/hidemotonakada...

タグ： Julia言語

posted at 01:35:47

なるほど。。。 twitter.com/genkuroki/stat...

タグ：

posted at 01:35:20

#Julia言語おお！それは気付かなかった！確かに

[k-1 for k in 1:9]
[k - 1 for k in 1:9]

はこちらの意図通りの結果になるのに

[k -1 for k in 1:9]

だとエラーになる！

twitter.com/hidemotonakada...

タグ： Julia言語

posted at 01:30:02

闇のapj @apj

@G_rolling あり得る話ですね。効果無しの結果の所もあるので、詳細は要確認でしょうねえ、

タグ：

posted at 01:27:43

一之瀬どくたー @ichinose_asn

@sidenp @ohka0327 東京を例にすると、杉並区や武蔵野市などの「自称リベラル」といった人たちと、候補者のことを何も考えずに勢いだけで投票する「自称無党派層」のような人たちが該当しますね。紫電Pさんの書かれている呆れる有権者ってやつです。

タグ：

posted at 01:06:05

マナマの生マナマコ @chor0sK

知らなかった......julia --lispでfemtolispが起動するなんて...

タグ：

posted at 00:55:49

papi @papi_pirika

面倒な間取り作成の効率化を目論んでいる最中。これなら大分スピードが上がるのでは…と模索しています。
こういうのって会社で作ると、後々「勤務中に作ったものは会社の帰属」とか言われそうなので家で作ってました😉 pic.twitter.com/ZCr2iFUNJa

タグ：

posted at 00:44:06

非公開

タグ：

posted at xx:xx:xx

#Python pytorch-cpu側をもっと速くするには、

C = .01 * nn.functional.conv2d(BC(C), laplacian) + C

の部分をもっとどうにかできないものかと思います。

無駄に配列を作りまくって捨てるコードを書くと遅くなります。所謂in-place計算をしてくれるように書き直せないとつらい。

タグ： Python

posted at 00:19:17

#Julia言語 1つ前のツイートで紹介したテストのソースコードは

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

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

で公開してあります。

誰かGPUどうしを比較して欲しいです。

あとpytorch-cpu側も工夫すればもっと速くなるはずです。私の環境とコードではあまりにも遅過ぎ。

タグ： Julia言語

posted at 00:16:32