黒木玄 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 を見て下さい。
2018年08月10日(金)
葵 桜玖耶 (Aoi Sakuya)@静 @sakuyaoi
リポビニャンKのCM撮影の様子です。NGを出してしまった新人を励ます先輩達の愛くるしい姿が見所ですζζ pic.twitter.com/93sCQH3G8s
タグ:
posted at 23:35:36
山口貴士先生のツイートがこれだけバスってるのに、ネットメディアさえもまだ記事に取り上げてない様子なのはどうして?
メディアの皆様が遠慮している相手は、日本アムウェイ?経済広報センター?それとも東京都?
twitter.com/otakulawyer/st...
タグ:
posted at 22:55:39
@stacefairhurst @SophiaCannon @Ibycter The cord will eventually disintegrate further down till the whole shielding is exposed. pic.twitter.com/Ce4ewcxZY2
タグ:
posted at 22:29:42
まあ、証明は簡単っぽそうでしたけど、「理論の無矛盾性の度合いって全順序っぽい気がする」という経験的事実をちゃんと数学的に定式化して示せるというのは考えもしなかったので面白かったです。あと、このΠ^1_1-健全性順序での理論のランクと証明論的順序数がおよそ対応してるってのも面白かったです
タグ:
posted at 22:05:53
もちろん全ての理論を考えたら、この無矛盾性の度合い順序はたぶん全順序をなさないんだけど、実は、無矛盾性よりも少し強い Π^1_1 健全性を考えて、この順序 S<T を「T は S の Π^1_1-健全性を証明できる」に変えると、なんと ACA_0 のΠ^1_1-健全拡大であるような理論全体は整列順序をなす、という話
タグ:
posted at 21:59:52
後者については、理論 S,T に対して、 S<T を「T は S の無矛盾性を証明できる」と定義して、理論全体に順序構造を入れる。すると経験的事実として、ロジックとかでよく出てくる理論だけに制限すれば、この「無矛盾性の度合い順序」が全順序をなしているっぽい。これがどういうことか、という話。
タグ:
posted at 21:54:04
今更ですが,ロジコロ(Logic Colloquium)感想。ヒルベルトの第10問題作用素の話と、無矛盾性の度合いの順序構造というかΠ^1_1-反映の整列順序構造の話が面白かったですね。
タグ:
posted at 21:46:21
自分が小学校低学年のときは本当にBASICプログラミングとコマンド入力式アドベンチャーゲームで英語覚えました twitter.com/mkbtm/status/1...
タグ:
posted at 21:16:15
Julia のスレッド並列での擬似乱数生成について解説されていたので興味のある人はぜひ。
Performance of Monte Carlo pricing of Asian options using multi-threading youtu.be/Ni9A9B3zoXA?t=... via @YouTube
タグ:
posted at 20:37:04
@takusansu @genkuroki @golgo_sardine #超算数 初中局長通知を見ると2017年度に検定を通過した教科書について指導書の著者情報を出すといっています。今採択作業をしている中学の教科書ですね。またこれまで教科書は云々ともあり、指導書情報は今回が初かも。
タグ: 超算数
posted at 20:25:50
@genkuroki @golgo_sardine #超算数 非ログイン状態だと検索されないのでリンクしてみる。
twitter.com/takusansu/stat...
各都道府県教育委員会に、教師用指導書の執筆者情報があるようです。
タグ: 超算数
posted at 20:00:30
#超算数 文科省が【校長のリーダーシップのもと】とか【学校全体として組織的に進めることが大切である。】としているので、状況は悪化してそうです。
8254.teacup.com/kakezannojunjo...
下手に均一化を図ると全体的な質の低下や、徐々にマニュアル対応化されて行きそうで怖いです。
twitter.com/Rsider/status/...
タグ: 超算数
posted at 19:58:57
裏にボツにした下書きを発見したんですけど、モンスター埼玉県民がゴルフの打ちっ放しやってる絵だったのでめちゃくちゃ笑った pic.twitter.com/PnPQne7ovv
タグ:
posted at 19:40:45
twitter.com/cometscome_phy...
をやったらbuildできた。とてもありがたい。 pic.twitter.com/FvXUYPtpHY
タグ:
posted at 19:37:34
夫が小4の時に描いた「未来の僕の街」なんですけど、「二つの太陽が輝き海面が上昇した世界で、巨大シェルターに身を寄せ合い暮らすのは人の形を保てなくなった埼玉県民達」というあらすじがヤバくて実家来る度爆笑してしまう pic.twitter.com/agQ7j5btFd
タグ:
posted at 19:36:17
今週はcで書かれていたりFORTRANで書かれていたり色んなプログラムに自分のコードをうめこもうと試行錯誤してたけど、結局自分のJuliaコードを拡張したのが一番手っ取り早かったという
タグ:
posted at 19:18:16
Neural Processes - what they are and how they behave as distributions over functions. This blog post is my attempt to answer these questions: kasparmartens.rbind.io/post/np/ pic.twitter.com/birBvMls17
タグ:
posted at 19:08:34
juliaで自分が書いたコードは本当にサンプルで何の工夫もないシンプルな構文しか使っていないコードだった。1.0でもそのまま動く。あえてパッケージを使っていなかった。1.0になって安心してパッケージ使えるようになったらおもしろそう。
タグ:
posted at 18:35:40
julia言語が1.0になったか。ソースコードからビルドしない人もいるだろうから褒めておくと、juliaのビルドは使うLLVMやライブラリなど依存しているものを自分で用意してかかえるのでビルドは(rcの一時期を除いて)安定していた。1.0もあっさりビルドできた。
タグ:
posted at 18:33:44
非公開
タグ:
posted at xx:xx:xx
昨日AESでもJulia布教しておいた。「Matlabのように行列演算ができて、PythonやRがシームレスに呼び出せて、しかも速度はC/C++」という宣伝文句は嘘じゃないので、室内音響のシミュレーションとかに使って欲しい。
タグ:
posted at 17:37:40
ドラフトは Julia v0.6 で書かれているけど、出版までに v1.0 に直すらしい。
素晴らしい!
github.com/h-Klok/StatsWi...
タグ:
posted at 17:33:26
Julia を使った統計学の入門書が出るらしい。
Teaching Statistics to the Masses with Julia youtu.be/-_PcJGdpwb4 via @YouTube
タグ:
posted at 17:31:12
Julia 0.7は0.6との互換性を残しつつも1.0の内容を取り入れているというウワサだったけど、それが本当なら当分は0.6、0.7、1.0の3つどれも必須か。
タグ:
posted at 17:22:05
この歴史的低金利の今、国債を発行しない意味がわからない。めっちゃ、くだらない案件でも0.1%のリターンくらいあるだろうにw教育と安全保障にカネを突っ込んでおけば金利負担なんて鼻くそほどにもならないリターンがあるよ。財務省は素人集団だねw
タグ:
posted at 17:18:35
非公開
タグ:
posted at xx:xx:xx
やはり Julia v0.6 のサポートを落としているパッケージ多いなぁ。
Julian の切り替え早いな。
github.com/JuliaLang/META...
タグ:
posted at 16:57:55
@osamu_takeuchi @genkuroki @tsatie O(r) は比較的簡単に示せて(Gauss)、O(r^{2/3}) も複雑ですが比較的初等的に示せますが(Voronoi)、指数を 2/3 より小さくするのは解析的な方法を必要とします。
今のところ O(r^{131/208+ε}) が知られています(Huxley)。
doi.org/10.1112/S00246...
タグ:
posted at 16:56:37
塾のバイトで小3相手に三角形の授業をしているとき、テキストの解答が正三角形を二等辺三角形として含まない扱いをしていたということがあった。もちろんその場でこのテキストの答えは間違っていると言い放ってやったがな twitter.com/genkuroki/stat...
タグ:
posted at 16:53:24
@osamu_takeuchi @genkuroki @tsatie ちなみに格子で円の面積をどの程度正確に近似できるかはまだわかっていません。
半径rの場合、誤差は o(r^{0.5+ε}) と予想されていますが証明されていません(O(r^0.5) でないことは分かっています)。
タグ:
posted at 16:48:48
Julia v1.0 に移行して早々にパッケージマネージャのせいで出鼻をくじかれた人は 、#JuliaCon2018 で行われた Demo を見ると幸せになれるかもしれません。
PKg 3 - The new Julia package manager youtu.be/GBi__3nF-rM?t=... via @YouTube
タグ: JuliaCon2018
posted at 16:22:19
#数楽 そして、Re s=1/2 でのζ(s)の絶対値のプロットのためには、解析接続にこだわらずにカットオフを入れるだけで、|Im s|>10なら十分小さな誤差で計算できることを確認できたわけです。
そのとき #Julia言語 の高速性は重要でした。私が書いたCのコードをgccでコンパイルするより速い(笑)。 pic.twitter.com/Iwr2hzjofx
posted at 16:05:29
#数楽 その時点では紙とペンを使ってまじめに考えてなくて、正直な話、どうしてそれでうまく行くのか全然わかってなかった。
#Julia言語 で遊び始めたおかげで、そのことを思い出すことができました。Riemann zeta cutoffをググって
terrytao.wordpress.com/2010/04/10/the...
を見つけた。続く
posted at 16:05:27
add LaTeXStrings#masterしてからadd PyPlot#masterでプロットの動作を確認 #Julia言語 pic.twitter.com/7hlrghDN1H
タグ: Julia言語
posted at 15:43:23
#超算数 #掛算
「しのぜ」でググったら「しのぜ図」とは別に「しのぜ表」「ビーカー図」「L型ビーカー図」を紹介している(困りものの)ページを発見。
もしかして、このような有害教育に適した図の描き方を発明することが善いことだとされている「分野」が存在する?
komazawajuku.hatenablog.com/entry/2018/06/... pic.twitter.com/mrIVjnulE3
posted at 15:30:44
大学受験改革とやらに関しては「現状のまま」という選択肢があるはずなので「何か変えること」を前提とした「対案」とやらを考える必要はないです。むしろ「何も変えるな」と声高に言い続けたほうがいいでしょう
タグ:
posted at 15:12:45
須山敦志 Suyama Atsushi @sammy_suyama
ようやく電子書籍版出ました.数式展開がめっちゃ細かいので,満員電車の中でも読み進められるのではないかと思います.
ベイズ推論による機械学習入門:
www.amazon.co.jp/dp/B07G22QHHX/
タグ:
posted at 15:01:11
#と教 日本アムウェイ合同会社は経済広報センターの会員で、同センターが実施する【教員の民間企業研修】にこれまで少なくとも6回は参加している。
2017年 www.kkc.or.jp/company/kyouin... 【製品紹介】
2012年 www.kkc.or.jp/company/kyouin... 【ニュートリライト製品の紹介】
タグ: と教
posted at 14:42:01
非公開
タグ:
posted at xx:xx:xx
「医師になる気はないが医学を学びたい」という志望者も受け入れるのが大学の医学部ってえものだと思いますよ。高齢だから入学させないとか、あってはならない話。だから、面接なんかやってはいかんのですよ。筆記試験だけで公正に決めるべき
タグ:
posted at 14:00:55
加藤公一, 가토우 기미카즈(はむかず) @hamukazu
当時高校では2×2行列しか扱わなかったけど、あれでいろんな計算をして経験を積むのは、一般の行列の理解のためにもすごくいいと思う。2×2だと手計算でも大したことないのでいろいろな計算が試しやすい。
タグ:
posted at 13:19:34
加藤公一, 가토우 기미카즈(はむかず) @hamukazu
書籍で数学の解説書いてて、またいろんな人の相談受けてて、ふと思ったんだけど、線形代数をイチから勉強したいって人には、高校で一次変換までやってた時代の(つまり僕が高校生のときの)教科書と参考書が最適だったりしない?いま手に入らないから記憶をたどってるけど、あれうまくできてたなあ。
タグ:
posted at 13:14:42
“日本アムウェイが『2018年度 教員の民間企業研修』を実施!”
…大丈夫なのでしょうか?
消費者問題の専門家である弁護士の方々が問題にされていますが…
m.facebook.com/story.php?stor... pic.twitter.com/5qKMTIyIi2
タグ:
posted at 12:48:20
#掛算 #超算数 添付画像は
31investment.com/equation-salin...
のスクショの2~3枚目。
【イメージで理解しよう!】
と書いてあるのに、図がわかりにくすぎて、ダメすぎ。添付画像2枚目を見ると、小さな山の部分が食塩を表しているようですが、14gと4gと18gの図でのサイズが全部同じ。
ひどすぎ。 pic.twitter.com/yEHIO0E0r4
posted at 12:09:33
山口貴士 aka無駄に感じが悪いヤマベン @otakulawyer
東京都は教員研修をアムウェイに任せるとは何を考えているのか?
>日本アムウェイは一般財団法人経済広報センター主催の『教員の民間企業研修』に協力し、東京都の公立小・中学校の11名の先生の受け入れを実施しました
www.facebook.com/amwayjapan/pos...
タグ:
posted at 12:03:01
「安倍晋三を支持できるメンタリティ」とか言って食って掛かってきたオッサンがいるけど、現政権がメンタリティで支持されてると思ってるのがそもそもの間違いの始まりだよな。雇用統計見てから来いって話だ。
タグ:
posted at 12:02:41
#掛算 添付画像は
31investment.com/equation-salin...
からのスクショ。
引用【「し・の・ぜ」を覚えよう!】
【計算の仕方も「は・じ・き」と同じ!】
ほんと、やめて!😭
コメント欄より【円図で表している「し・の・ぜ」の配置が違うとおもいます。単なるミスでしょうか?】
うぎゃあ!😱 www pic.twitter.com/UftbNfefqg
タグ: 掛算
posted at 11:54:27
ほかの保護者たちは殆どが喜んでいたけれど、中には「電源を学校から取るのはいかがなものか!」とクレームもあったそうなので、来年はコードリールだけでなく発電機も持って行こうという話になったらしい。もう専門の業者さんでしょ…(笑)
タグ:
posted at 11:10:20
友人の子供が通う日本の小学校は、夏休みの炎天下に保護者が校庭の草むしりをする行事があり、去年は回転ノコギリを手に参加したら「根が残るでしょ!」と怒られたらしい。で、今年は台湾と中国の保護者一同でこのマシン片手に1時間で根こそぎ取り、火炎放射器で焼いて帰ったと聞き、今爆笑している。 pic.twitter.com/OlDMpTUoLW
タグ:
posted at 11:05:21
@akinori_ito #超算数 「正方形は長方形ではないということは、正方形は四角形ではないのですよね?」と問うと、「そんなわけありません。当然、正方形は四角形です」とのこと。
タグ: 超算数
posted at 07:08:52
@akinori_ito #超算数 平行四辺形の面積は底辺×高さじゃないと駄目 というのが算数教育界の流儀らしいが、長方形は縦×横という公式になっているから「長方形は平行四辺形ではない」のかもしれない。このあたりは恣意的でよく分からない。
タグ: 超算数
posted at 07:06:49
2脚ロボットの逆運動学の数値計算、収束速度上げようとして修正量係数大きめにして、かつある程度計算させてみて大丈夫と思って、実機につっこむじゃないですか(以下略 <まじ怖い、心臓に悪い
twitter.com/genkuroki/stat...
タグ:
posted at 07:04:49
@akinori_ito #超算数
長方形を選べ、で正方形を選ぶとバツ。
二等辺三角形を選べ、で正三角形を選ぶとバツ。
の教科書を出している大日本図書に問い合わせたことがあります。
「直角二等辺三角形という言葉は小学校算数では扱わない」とのこと。
タグ: 超算数
posted at 06:52:12
やめられないとまらないかっぱえびせんを毎日朝から晩まで食べだしたら、みんなおかしいと思う。
やられないとまらないタバコ🚬お酒🥃、パチンコスロット🎰を毎日朝から晩までやるようになったら、おかしいと気がついて欲しい。
病気なので気がつけば治せる。
タグ:
posted at 06:24:43
ごまふあざらし(GomahuAzaras @MathSorcerer
1.0完全にwarning調教された人向けだ・・・。 twitter.com/ceptree/status...
タグ:
posted at 03:23:15
ごまふあざらし(GomahuAzaras @MathSorcerer
#Julia言語 1.0 利用の方 グラフプロット機能動作します?(未確認)
タグ: Julia言語
posted at 03:22:05
ごまふあざらし(GomahuAzaras @MathSorcerer
#Julia言語 Version 0.7
Interact パッケージ使えなかった。プレコンパイルで死にます。
Failed to precompile Interact
タグ: Julia言語
posted at 03:20:23
ごまふあざらし(GomahuAzaras @MathSorcerer
#Julia言語 Windows10ユーザーでもWSLを利用したなんちってLinuxからのJulia0.7利用はできるんじゃなかろうか?
タグ: Julia言語
posted at 03:07:29
ごまふあざらし(GomahuAzaras @MathSorcerer
Julia0.7の時点でアニメーション関連のライブラリ死んでいたらどうしようもなかったけれども、いくつかのdeprecation warning を除けば動くということがわかった。
タグ:
posted at 03:04:46
ごまふあざらし(GomahuAzaras @MathSorcerer
It worked on Julia 0.7 twitter.com/genkuroki/stat...
タグ:
posted at 03:02:04
ごまふあざらし(GomahuAzaras @MathSorcerer
#Julia言語
0.7 でのdeprecation warning
Warning: `srand` is deprecated, use `Random.seed!` instead.
タグ: Julia言語
posted at 02:59:36
ごまふあざらし(GomahuAzaras @MathSorcerer
Julia Version 0.7.0
Commit a4cb80f3ed (2018-08-08 06:46 UTC)
Platform Info:
OS: macOS (x86_64-apple-darwin14.5.0)
CPU: Intel(R) Core(TM) M-5Y51 CPU @ 1.10GHz
WORD_SIZE: 64
LIBM: libopenlibm
LLVM: libLLVM-6.0.0 (ORCJIT, broadwell)
タグ:
posted at 02:56:02
ごまふあざらし(GomahuAzaras @MathSorcerer
$ pip install julia
>>> import julia
>>> j = julia.Julia()
エラーーーーーーー〜ー
ツライ・・・(Julia 0.7 にて)
タグ:
posted at 02:54:07
ごまふあざらし(GomahuAzaras @MathSorcerer
別にいいんですけれど他のプロジェクトのビルド(OpenCV)とかのビルド時にコンパイラのセグフォ起きて辛くなる。ここまでくるとOSの再インストールしかない。・・・
タグ:
posted at 02:29:03
ごまふあざらし(GomahuAzaras @MathSorcerer
MacのJulia0.7で動作確認 twitter.com/genkuroki/stat...
タグ:
posted at 02:26:40
#数楽 ディリクレ級数にカットオフを入れて足しあげるだけで、「リーマン予想」が「見える」という事実の理解は、数学に慣れていないと
terrytao.wordpress.com/2010/04/10/the...
を読んだ後でも非自明かも。でも、ほんとに読む人は慣れている人だと思うし、そういう人ならすぐに理解してしまうと思う。
タグ: 数楽
posted at 02:18:42
#数楽 解析接続せずに、ディリクレ級数にカットオフを入れるだけで、「リーマン予想」が見えることは数学的に非自明です。
その辺のことを以前から不思議に思っていたのですが、次のリンク先の解説を見て納得できました。
terrytao.wordpress.com/2010/04/10/the...
タグ: 数楽
posted at 02:12:36
#数楽 #Julia言語 リーマン予想を素朴に確認するには以下のリンク先の方法がおすすめ。
s=0.5+it, t>10 におけるζ(s)は
Σ_{n=1}^L n^{-s} exp(-n^2/N^2), L=10^4, N=10^2
で結構近似されます。exp(-n^2/N^2)でカットオフを入れるだけで「リーマン予想」が見える!
twitter.com/genkuroki/stat...
posted at 02:09:18
【Julia】Julia-1.0.0のProjectを試す【仮想環境?】 - 超バイオ系 hotoke-x.hatenablog.com/entry/2018/08/... … #はてなブログ #Julia言語
posted at 01:55:34
ごまふあざらし(GomahuAzaras @MathSorcerer
julia> ここで `]` を押す
(v0.7) pkg>
が出る。
これ豆知識な pic.twitter.com/LqRMVOT2aE
タグ:
posted at 01:39:31
PyCallも入らないしIJuliaも入らない...
RandomNumbersも入らない...
(仕方ないけど) twitter.com/ceptree/status...
タグ:
posted at 01:37:04
ごまふあざらし(GomahuAzaras @MathSorcerer
Juliaソースからビルドする際に -j を40とかにするとgccのビルドでセグフォ起きるんだけれど・・・
タグ:
posted at 01:36:30
@ceptree @Bimaterial 現時点で初めて #Julia言語 を使い始めるなら v0.6がおすすめ。
v0.7とv1.0はまだ重要パッケージの方の対応ができていません。
数週間後くらいには状況が大きく変わっていると思います。
パッケージ未対応に悲鳴をあげて楽しみたいならばv1.0をいきなり使い始めた方が良いです。😝
タグ: Julia言語
posted at 01:15:09
#数楽 #Julia言語
数学プロットや数学動画以外に増えて欲しいのが「音」!
Fourier解析のプレゼンをしたい人は音も扱うべき!
そういうことも簡単にできることはアヲギリさんに教わりました。
例1: nbviewer.jupyter.org/github/Aogiri-...
音が出ます!
twitter.com/Aogiri_m2d/sta...
posted at 00:55:03
ごまふあざらし(GomahuAzaras @MathSorcerer
Where can I get these codes? twitter.com/ceptree/status...
タグ:
posted at 00:47:44
ごまふあざらし(GomahuAzaras @MathSorcerer
Julia「聴こえますか?そうです、プロットできなくても、CSVファイルに保存するんです。gnuplotとか使うんです。1.0は始まったばかりです。」
タグ:
posted at 00:42:53
#数楽 #Julia言語 以下のリンク先の錯覚動画もお気に入り。プログラムもシンプルです。
twitter.com/genkuroki/stat...
posted at 00:40:09
#数楽 数学GIF動画や数学プロットの作り方については以下のリンク先のスレッドも参考になると思います。多彩な実例が紹介されており、私が書いた #Julia言語 のソースコードも全公開されています。
twitter.com/genkuroki/stat...
posted at 00:33:29
#数楽 自分で偏微分方程式の数値解を求めるプログラムを書いたことのある人はみんなこういう経験をしていると思う。(私もある。)
こういうのもどんどん公開する人が増えるとゆかいで楽しいと思う。
twitter.com/wkbme/status/9...
タグ: 数楽
posted at 00:29:00
これを読めば数学gifが簡単に作れるようになります!環境構築は最小限の手間で始められるし、サンプルになるコードも残してます♪ twitter.com/wkbme/status/9...
タグ:
posted at 00:17:24
ごまふあざらし(GomahuAzaras @MathSorcerer
紙芝居で実現可能(´・ω・`) twitter.com/ceptree/status...
タグ:
posted at 00:09:44