黒木玄 Gen Kuroki
- いいね数 389,756/311,170
- フォロー 995 フォロワー 14,556 ツイート 293,980
- 現在地 (^-^)/
- Web https://genkuroki.github.io/documents/
- 自己紹介 私については https://twilog.org/genkuroki と https://genkuroki.github.io と https://github.com/genkuroki と https://github.com/genkuroki/public を見て下さい。
2017年12月30日(土)
まわりに同志がいないと「こんなふうに数学が好きな自分は変なのではないか」と思ってしまう女性がいるかもしれない。変ではないです!たくさんの学校で、(スーパー天才じゃない)普通の女性たちが仲間と数学を楽しんでいます。
タグ:
posted at 23:28:57
数学は、問題が解ける/解けないという形で、理解しているかどうかが明確になってしまうことがあります。ときに難しい問題にぶつかって、つい短絡的に「私には数学は無理なのではないか」などと考えることがあるかもしれません。でもどうか、あまり短絡的にゼロイチで考えないでほしいと願っています。
タグ:
posted at 23:01:11
年齢・性別問わず、いっしょに数学を語り合い、その面白さを分かち合う仲間がいるならば、それを大切にしてほしいと思います。もしかしたら、ちょっと時代が違っていたら、ちょっと場所が変わっていたら、その仲間とのやりとりはあり得なかったのかもしれないから。
タグ:
posted at 22:56:18
#数楽 そのシンプルなコードとは #JuliaLang の文法では
f(s; N=10^2, L=10^4) = sum(n^(-s)*exp(-(n/N)^2) for n in 1:L) - gamma((1-s)/2)/2*N^(1-s)
と書けます。たったの1行!これはζ(s)の近似になっている。たったこれだけで 0<Re s<1, 0<Im s<50 でのζ(s)の様子を近似的に確認できます。
posted at 22:56:17
子供たちは大半の時間を学校で過ごします。学校によって、そのあたりのことはずいぶん違うんだろうな…と、これはあくまで想像ですけれど。
男性女性関係なく数学を楽しもうとしている空間もあれば、そうなってない空間もあるのだろうな、ということです。
タグ:
posted at 22:51:49
#数楽 また更新した。相対誤差をプロットするようにした。
何もチューニングせずにテキトーにかつ単純に計算しただけなのですが、そこそこの精度が出ています。 pic.twitter.com/NuATPcK2Vz
タグ: 数楽
posted at 22:46:06
数学ガールや、数学ガールの秘密ノートは、ときどきそのような女性が友達に数学の面白さを伝えるツールにもなっているようで、嬉しい限りです。必ずうまくいくというわけではないですが、友達も数学の面白さに気づいてくれた!と喜びの声を聞くこともあります。
タグ:
posted at 22:45:12
数学のことを考えたり、数式がいろんな世界を見せてくれるのを楽しんでいるのだけれど、友達になかなかそれを伝えられない。一つには、そういうことを言うとへんな子だと思われるのではないかという恐れから。また、そもそも、何をどう伝えたら面白さが伝わるかわからないから。
タグ:
posted at 22:41:22
結城のところには『数学ガール』の読者さんからのメールがよくやってきます。ときどき中学生や高校生の女性からくる中に「自分は数学が好きだけど、友達にそのことが言えない」というものがあり、なかなか悲しいことだと思っています。(以下連ツイ)
タグ:
posted at 22:38:48
#数楽 f(s)の第一項の和はディリクレ級数にexp(-x^2)型のカットオフを入れて収束し易くしたものです。第二項はN→∞で∞に発散する補正項。 (f(s)を使用するのはディリクレ級数が収束しない Re s < 1 の場合)
添付画像はクリティカルストリップでの比較。相対誤差ではなく、単なる差の絶対値。 pic.twitter.com/ckhXFKOBpA
タグ: 数楽
posted at 22:38:07
#数楽 #JuliaLang
nbviewer.jupyter.org/gist/genkuroki...
ζ(s) の Re s < 1 での様子
をまた更新した。ワンボタンで更新できるので全然安定しない。
f(s; N=10^2, L=10^4) = sum(n^(-s)*exp(-(n/N)^2) for n in 1:L) - gamma((1-s)/2)/2*N^(1-s)
と ζ(s) の差の絶対値をプロットしました。続く
posted at 22:33:48
長 高弘 (獣脚類ティラノサウルス科ズケ @ChouIsamu
某宗教団体の主催者の娘の件なら、問題になった切っ掛けは「その卒論を収録した本を発売したから」なので、既に「論文の剽窃」だけの問題では無くなってます twitter.com/kikumaco/statu...
タグ:
posted at 22:23:47
#数楽 #JuliaLang ニュートン最新号を購入した人は、このスレッドを読んで、
next.juliabox.com
もしくは
nbviewer.jupyter.org/gist/genkuroki...
を見て、
nbviewer.jupyter.org/gist/genkuroki...
で公開されているコードを実行すると幸福度がアップするかも。
twitter.com/Takashima_Hide...
posted at 21:38:29
#数楽 処方箋:L(s)=1^{-s} - 3^{-s} + 5^{-s} - 7^{-s} + … を0 < Re s < 1で荒く近似計算するためには #JuliaLang なら
f(s; N=10^2, L=10^4) = sum((-1)^(n-1)*(2n-1)^(-s)*exp(-(n/N)^2) for n in 1:L)
が使える。Julia言語を知らなくてもどのような和を取っているかは見ればわかるでしょう。
posted at 21:33:33
#数楽 #JuliaLang exp(-(n/N)^2)を各項にかけて収束するように調節したディリクレ級数とL函数の値が数値的にプロットでは区別がつかない程度に一致しています。
nbviewer.jupyter.org/gist/genkuroki... pic.twitter.com/WcT43ZJQEU
posted at 21:18:52
#数楽 #JuliaLang
nbviewer.jupyter.org/gist/genkuroki...
ζ(s) の Re s < 1 での様子
に「簡単なL函数の場合」の節を追加した。結論は以下の通り。
ヒャッハー、ゼータ函数だぜ!
ヒャッハー、L函数もたっぶりだ!
ヒャッハー、ちょろいちょろい、単に足し上げるだけ!
posted at 21:15:25
大切なものを忘れてました:
佐藤文広「石取りゲームの数学」(数学書房)
www.sugakushobo.co.jp/903342_76_mae....
山田裕史「組合せ論プロムナード」(日本評論社)第8講 佐藤のゲーム
www.nippyo.co.jp/shop/book/5188...
佐藤文広さんの本はマヤゲーム周辺を研究するなら必携でしょう。
タグ:
posted at 20:39:12
今なら最近の川中さんの
「フック構造をもつゲームとアルゴリズム」
数学63 巻 (2011) 4 号 p. 421-441
www.jstage.jst.go.jp/article/sugaku...
あたりから入る方がいいでしょう。
第12回代数分科会シンポジュームだけ手元にない。東大名大京大首都大にあるようだ
www.mathsoc.jp/section/algebr...
タグ:
posted at 20:23:03
文献
・佐藤幹夫 (上野健爾記)「あるゲームについて」第12回代数分科会シンポジューム報告集(1968) 123-136
・佐藤幹夫 (榎本彦衛記)「マヤ・ゲームの数学的理論」
www.kurims.kyoto-u.ac.jp/~kyodo/kokyuro...
・榎本彦衛「Maya gameについて」数学の歩み 15-1 (1970), 73--82
・一松信「石取りゲームの数理」森北出版
タグ:
posted at 20:19:22
#数楽 #JuliaLang に限らず、上で紹介した処方箋を使えば、多くのプログラミング言語で1行でζ(s)の非自明な零点の様子を近似的に見るための函数が定義できるはずです。こういう単純な方法があることにずっと気付かなかった。
ディリクレ級数って思っていたより柔軟なものだったんですね。
posted at 19:14:37
#数楽 ちなみに #JuliaLang なら特別なライブラリを読み込むこと無しに、
f(s; N=100, L=10^4) = sum(n^(-s)*exp(-(n/N)^2) for n in 1:L)
でf_{N,L}(s)を定義できます(デフォルトでN=100,L=10^4)。
もっと計算速度が速くなる書き方もあるのですが面倒なので略。これでも実用的な感じで速いです。
posted at 19:12:24
時間がなくて授業の準備ができないなら、それは単に下手という形で現れるのであって、伝えていることはまともなはずなんだよな。トンデモが流行るということは準備をする時間があり、かつおかしなことを取り入れているということだからな
タグ:
posted at 18:56:55
#数楽 せっかくなので、クリティカルストリップ上のプロットも作成しました。
青色の部分が絶対値が小さな領域です。ζ(s)と「カットオフを入れて収束するようにしたディリクレ級数」のプロットを別画像で2枚添付しておきます。比較してみて下さい。ほとんど区別できない感じ。 pic.twitter.com/M67OmvwUTb
タグ: 数楽
posted at 18:46:23
#数楽 s=1/2+it, 0<t<15 のプロットは添付画像の通り。左の方で、ζ(s)の値とカットオフを入れて収束するようにしたディリクレ級数の値が大きくずれています。
その理由はこのスレッドで紹介したタオさんの解説を見ればわかるので、ここでは繰り返しません。
プロットの紹介を続けます。 pic.twitter.com/Mf1JVDN49q
タグ: 数楽
posted at 18:43:50
#数楽 添付画像はζ函数についてよく知っている人にとってはおなじみのものです。s=1/2+it, 10<t<50におけるζ(s)の絶対値のプロットです。ただし、ぴったり重なってしまって区別がつかなくなっていますが、
f(s) = Σ n^{-s} e^{-(n/N)^2}, N=100
の絶対値もプロットしてあります! pic.twitter.com/8FeKlUpz0l
タグ: 数楽
posted at 18:33:57
#数楽 なめらかなカットオフを入れたディリクレ級数とゼータ函数の関係に関する #JuliaLang カーネルのJupyter notebookを大幅に更新しました。直接Gistにアクセスすると読めなくなったので、nbviewerにリンクをはりなおしておきます。続く
nbviewer.jupyter.org/gist/genkuroki...
posted at 18:29:38
.@ayafuruta,@Perfect_Insider,@tonagai,@HayatoChiba 国際会議(11月、仙台)のプレゼン(このスライドを含む)は蔵本さんに送って、蔵本転移が仮面ライダーにでたことを伝えています。[もともと会議にも出席される予定だったのですが、かなわなかったので。]「名誉なことだ」と仰っていました。 pic.twitter.com/8h32zDduxA
タグ:
posted at 18:16:53
有限差分法もテイラー展開ではなくて、導関数の積分をいかに近似するかという観点でみるとまた違ったことが見えてくる
ocw.kyoto-u.ac.jp/ja/01-faculty-... pic.twitter.com/leVkHjiNt7
タグ:
posted at 14:56:45
twitter.com/ShindyMonkey/s...
「JKハル」読んだけど、面白かったっす。こちらのコラムにある通り、アンチ異世界転生の要素もありつつ、アンチにとどまらない王道異世界転生でもありつつ、そういう話はおいといて、したたかに生きるハルのダークな青春ものとして読ませます。
タグ:
posted at 14:38:24
忘年会でも、小学生の娘さんがいるドクターたちが早く9価承認してくれよーと言ってました。都内だと接種できるところが何か所かあり。
Efficacy of 9-Valent HPV Vaccine in Young Women
2017年11月の記事
www.infectiousdiseaseadvisor.com/sexually-trans...
タグ:
posted at 14:38:12
そういうひどい侮辱行為に対しては「このクズが!」と言って済ませても十分なのですが、そういうことをすると、せっかくの面白い数学ネタなのにもったいないことになってしまうかもしれない。そういうのは嫌なので数学の解説を長々と書くことにしたのです。
自分で書いていて面白いネタでもあるし。
タグ:
posted at 14:35:02
で、件の人は、ζ(-1)のことだと種明かしまでしている広報活動に、【量子コンピュータでないものを量子コンピュータと言っちゃうのと同じ事になっちゃう】とまで言ってしまっているんですね。量子コンピューター云々のもとネタを知っているなら、これがどんなにひどい侮辱行為であるかがわかると思う。
タグ:
posted at 14:31:54
仮にニュートン誌さんが「1+2+3+…=∞ではなく、本当は1+2+3+…=-1/12なのです」のように書いていれば、件の人のような文句が出て来ることも理解できますが、実際にはζ(-1)のことだという種明かしがしっかり書いてある。
ニュートン誌さんは自信を持って良いと思う。
twitter.com/newton_science...
タグ:
posted at 14:28:01
#数楽 ∞から∞を差っ引くやり方は乱暴だと感じ、解析接続を使う方法も間接的すぎるので嫌な人は、昨晩紹介した次のリンク先の論文を見ると良いと思います。
arxiv.org/pdf/math/02061...
この論文は、ディリクレ級数にパラメーターqを適切に入れて、「より自然な議論の正当化」を目指しています。
タグ: 数楽
posted at 14:06:07
#数楽 以上のミニ雑談は昨晩した話の繰り返しです。詳しくはタオさんのブログ記事を見てください。
terrytao.wordpress.com/2010/04/10/the...
タグ: 数楽
posted at 14:04:41
非公開
タグ:
posted at xx:xx:xx
Tsukanoさんの私への反論は以下のリンク先でも読めます。このツイートでTsukanoさんにも通知が届いたはず。私のコメントはスレッドをたどれば読めます。
twitter.com/snuffkin/statu...
タグ:
posted at 12:57:37
Tsukanoさんが【量子コンピュータでないものを量子コンピュータと言っちゃうのと同じ事になっちゃう】とまで非難しているニュートン誌さんの発言はリンク先の通りです。
実際には全然問題無いので、萎縮したりせず、自信を持って広報活動して欲しいと思います。
twitter.com/newton_science...
タグ:
posted at 12:54:22
4. Tsukanoさんは、ニュートン誌さんが「あえてゼータ正規化と書かないこと」を非難してますが、見苦しい単なる言いがかりにしか見えません。反省した方がいいです。
タグ:
posted at 12:50:45
ニュートン誌のような雑誌には、高等数学教育を受けていない人達が持っているそのような有害な誤解(無限和の「正しい定義」は唯一に決まっているというような誤解)を無くす方向で社会的に貢献して欲しいと思っています。
タグ:
posted at 12:48:36
3. 通常の総和法しか知らない読者は
1+2+3+…=∞
のみが正しいと思う可能性が高い。
Tsukanoさんはそう思うことを当然でかつ正当だと思っているようですが、実際には数学への無知に基いた単なる誤解に過ぎません。
タグ:
posted at 12:47:26
2.
【読み手が自由に解釈して良ければ何でも正解・不正解にできてしま】うとTsukanoさんは述べていますが、これこそ最大の誤解です。
なぜならば、
1+2+3+…=-1/12
が成立するように左辺の総和の定義を適切に設定することは非自明な面白い数学の問題だからです。
タグ:
posted at 12:45:28
私は数学の自由さとそれに伴う数学の深淵さを数学の高等教育を受けていない人達に届けることが大事だと思っているから、Tsukanoさんのような非難の仕方は誤りだと思っています。
そしてTsukanoさんの誤解を指摘することそのものが、数学の面白さの解説になるかもしれない、とも考えています。
タグ:
posted at 12:42:25
Tsukanoさんによる私への反論は添付画像の通り。以下これに詳しくコメントして行きます。
1. Tsukanoさんは私がまるで【読み手が数学の高等教育を受けている前提】で意見を述べているかのように述べていますが、もちろんそれは誤解です。
続く pic.twitter.com/3dJCuQlfHE
タグ:
posted at 12:40:54
Tsukanoさんによるニュートン誌への非難は添付画像の通り。
Tsukanoさんは1+2+3+…=-1/12について【量子コンピュータでないものを量子コンピュータと言っちゃうのと同じ事になっちゃう】とまで言ってしまっています。
さすがにこれはひどすぎる言い草なので言い訳せずに反省しないとダメ。 pic.twitter.com/aFDHI2aazV
タグ:
posted at 12:38:51
#数楽 Tsukanoさんから反論が届いていたので、Tsukanoさんが非難しているニュートン誌のツイートを引用しておきます。
私はニュートン誌のこの発言には何も非がなく、それを非難するTsukanoさんの側に問題があると思っています。
詳しい内容についてはスレッドをたどって下さい。続く pic.twitter.com/guuQTkCF0q
タグ: 数楽
posted at 12:37:10
牧眞司(shinji maki)『『けい @ShindyMonkey
新しいコラムを公開しました! 話題作『JKハルは異世界で娼婦になった』を取りあげています。
もしかしてアンチ異世界転生?――ジャンルを揺さぶる「普通の女子高生」
shimirubon.jp/columns/1686848
転生した場所を「オタクくさいソシャゲみたいな世界」と蔑む「普通の女子高校生」の正体は?
タグ:
posted at 12:06:51
Check this out if you run into issues compiling C functions for use in #Julialang on Windows. lnkd.in/gCmyxEs
タグ: Julialang
posted at 10:48:29
⊿のぞむぞむ(非公式、非公認、非売品) @zom2nomad
愛猫殺されるとか、家族盗撮されるとか、晒されるとか、住所晒されるとか、ほんと尋常じゃないよな。そんな奴を逮捕できるようにしろよ。。。怒りが。。。
タグ:
posted at 10:32:06
学区内のある小学生のクラブチームは全国大会常連なのだが、“ボランティア”父親コーチ達の怒号が酷い。「ちゃんとやらんとぶち殺すぞ!!」とヤ●ザかと思うほどの暴言が小学校のグランドから聞こえてくるのは異常。
タグ:
posted at 09:26:06
これはひどい。RT @kikumaco: 岩波「科学」はもう「デマの殿堂」だから、ホメオパシー支持者にだって平気で書かせるわけよね twitter.com/engeikana/stat...
タグ:
posted at 09:23:53
adhara_mathphys @adhara_mathphys
ベッセル関数のプロットは、極方程式、r=J_n(Θ)の解曲線でしょうか。 twitter.com/a_bi_phys/stat...
タグ:
posted at 07:49:49
Drinfeldの論文に"thhe"というのが出てくる。theにhomotopyのhを加えたもの。 twitter.com/qnighy/status/...
タグ:
posted at 03:50:10
World and Science @WorldAndScience
Interesting Gadget - Candle Powered LED Lamp: bit.ly/2gx7gnW -Amazon pic.twitter.com/xL7gJeiKWD
タグ:
posted at 03:00:03
#数楽 #JuliaLang
(1^m+2^m+…の滑らかなNでのカットオフ) - C N^{m+1} = ζ(-m) + O(1/N)
をJulia言語で数値的に確認してみました。
gist.github.com/genkuroki/8b13...
カットオフパラメーターNを大きくすると左辺は速やかにζ(-m)に近付いています。1つ目の画像が1+2+3+…の場合です。 pic.twitter.com/gVIGHwI756
posted at 01:37:18
非公開
タグ:
posted at xx:xx:xx
N(eutral).W(-boson). @math_phys
@genkuroki ありがとうございます。WindowsとImagemagickの相性が分からなかったので、無事動くようで何よりです。また専門家の黒木先生にこう言って頂けると素直に嬉しいです。
タグ:
posted at 00:10:02
非公開
タグ:
posted at xx:xx:xx
#数楽 添付画像はブラウザ内の Jupyter notebook で件のソリトンノートブックを実行した後の様子のスクリーンショットです。「こういうので遊んでみたい!」と思う人は正月休みに Anaconda3 (とできれば #JuliaLang も)をインストールしておくといいと思います。Copyの方を実行している。 pic.twitter.com/xoRguNaVYj
posted at 00:08:01
#数楽 数学的に面白い Jupyter notebook をダウンロードして、てもとの環境で実行して遊んでみることができる。添付画像はそのようにして作成されたGIFアニメーションです。(実際にGIFアニメも作成できたことの証拠!)
私には高い山が低い山を追い越すのではなく、玉突きが起こっているように見える。 pic.twitter.com/ryCKU8RShW
タグ: 数楽
posted at 00:00:46