黒木玄 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年11月07日(水)
オタクというか、物事にマニアックな人というのは、興味の対象をこんな風に掘って行くのではないかと思っていて。最初はたしかに興味分野を掘り始めるのだけど、掘ってくうちに興味の対象外分野まで否応無く掘り返してしまう、掘り返さざるを得なくなるというイメージ。 pic.twitter.com/bnByaMEv5O
タグ：
posted at 01:50:30
雲上星夜
以前撮影の櫛形山からの１枚です。
#富士山 #mtfuji pic.twitter.com/RzLwNshvoo
posted at 06:33:02
Hiraku Nakajima @hirakunakajima
京大の集中講義は、名古屋の集中講義とほぼ同じで、ノートもmember.ipmu.jp/hiraku.nakajim...においてあるものを少し修正したものを使っていますが、今日は、名古屋では話さなかったナーム方程式の話から始めます。
タグ：
posted at 08:34:55
Hiraku Nakajima @hirakunakajima
ナーム方程式は、クーロン枝の論文のAppendix で書いた以来、目にしていなかったので、大切なことをいろいろと忘れていました。改めてドナルドソンの論文を読み直しました。
タグ：
posted at 08:38:43
東京のJulianの皆さん、16日夕方の予定は空いてますか？なんとJuliaTokyoをまたまた開催します。今回はスペシャルなゲストが参加します。イベントページは今日の夕方頃公開予定です。お見逃しなく。
タグ：
posted at 10:42:01
非公開
タグ：
posted at xx:xx:xx
ママさん掲示板が地獄だった件について。そりゃ子供減るよね、この国は。
／／…子供なんて作らなきゃいいのに適当に産んで適当に丸投げされても迷惑なんだよね…生活保護子供3人いて毎月225000円保護費がでます。みんなの地域はmamastar.jp/bbs/comment.do...
タグ：
posted at 13:24:44
追い込まれると人の勤務先等に突って圧力かけようとする。これが #デマこき色相環 の常套手段。これぞ言論弾圧。ま、いつも効果ないんだけどwww twitter.com/Tom2305_/statu...
タグ： デマこき色相環
posted at 13:35:50
非公開
タグ：
posted at xx:xx:xx
twitter.com/KohakuraS/stat... ←何か凄いこと言ったつもりでいるんだろうね。高校数学の極限で嘘を教えているわけじゃない。εδを使わないで、1/n→0（n→∞）としているが、この式自体は.. togetter.com/li/1285700#c56...
「かけ算の順序に関するやりとり 続編」togetter.com/li/1285700 にコメントしました。
タグ：
posted at 14:01:55
OokuboTact 大久保中二病中年 @OokuboTact
@sekibunnteisuu Kanade Kohakuraさんの主張は支離滅裂な気がする。
高校数学で極限についてイプシロン・デルタを教えることで厳密なら、
小学校の掛け算はどういう教え方が厳密に該当するのだろう？
もしかして「交換法則を数学的帰納法を使って証明してから使え」みたいな話？
タグ：
posted at 14:47:23
@OokuboTact ちょっと考えれば、εδ抜きで極限概念を教えることが、かけ算の順序強制のアナロジーになっていないことなんて分かりそうなものだけどね。
深く考えないで取り合える気に入らないから文句を言っただけ、という感じですね。
タグ：
posted at 14:54:38
@OokuboTact εδなんて、高校での極限概念を直観的にちゃんと理解していれば、それに毛が生えた程度のものでしかないと分かるんだけど、何か凄いことのように思っているのかもしれませんね。
タグ：
posted at 14:57:28
OokuboTact 大久保中二病中年 @OokuboTact
@sekibunnteisuu ＞ 何か凄いことのように思っているのかもしれませんね。
証明がすごく面倒くさい・・ということなのかも。
でも、それなら小学校の掛け算は該当しないし
タグ：
posted at 14:59:14
@OokuboTact いわゆる理系でかけ算順序を擁護する人の中には、「積は一般に可換ではない。行列が－」という人がちらほらいたけど、高校数学で扱わなくなってきて減っている気がする。
代わりに出てきたのが、「算数でかけ算順序を強制するのは、高校でεδなしで極限を教えるようなもの」という謎理論？
タグ：
posted at 15:02:55
OokuboTact 大久保中二病中年 @OokuboTact
@sekibunnteisuu でも小学校の掛け算順序強制擁護する人で、「群論は非可換だから」という半可通を見かけたりします
タグ：
posted at 15:06:17
@OokuboTact hibiyastudy.hatenablog.com/entry/math/ord... こういうのもありましたね。出鱈目でしかない。
タグ：
posted at 15:16:06
OokuboTact 大久保中二病中年 @OokuboTact
@sekibunnteisuu 天むすさんが紹介してましたけど、「学び合い」の西川純氏
twitter.com/temmusu_n/stat...
タグ：
posted at 15:20:47
たかが玉ねぎと言うなかれ。ここにはおしどりマコさんの常套手段とその問題点が、端的に表れている。
おしどりマコが国内やドイツ・スイスで宣伝する奇形玉ねぎデマ - Togetter togetter.com/li/1281486 @togetter_jpから
タグ：
posted at 15:32:42
Conformal field theory, isomonodromy tau-functions and Painlevé equations, 2018
www2.kobe-u.ac.jp/~mhsaito/1812k...
タグ：
posted at 16:21:44
OokuboTact 大久保中二病中年 @OokuboTact
@sekibunnteisuu あと石井氏はプログラミングの例を出してきましたね。
親戚の書いた論文はどうなったんだ？
論文は掛け算順序強制と関係ないらしいけど pic.twitter.com/Iq3RsAYyTv
タグ：
posted at 16:28:02
Julia 1.0 vs ifort+MKL、自分の使ってる疎行列ベクトル演算しまくりのコードだと速度はどうやら2倍くらいしか変わらないようだ。Juliaが2倍遅い。書きやすさを考えるとこれはすごい
タグ：
posted at 17:39:14
JuliaTokyo #9 のイベントページを公開しました。
今回はなんと！ Julia言語設計・実装の中心人物であるJeff Bezanson氏が登壇いたします！
滅多にない機会ですので，皆さん奮ってご参加ください！
juliatokyo.connpass.com/event/107996/ #juliatokyo
タグ： juliatokyo
posted at 17:48:43
結局並列計算も含めて全体をJuliaで書いて、一番重いところでifort+MKLを呼ぶコードが最速だったが、これと、MPIで並列化したフルFortranコードとの比較がしたい。多分pmapの並列化効率が問題になるはず
タグ：
posted at 17:49:06
#Julia言語
Jeff Bezanson - Why is Julia fast? youtu.be/cjzcYM9YhwA @YouTubeより
タグ： Julia言語
posted at 18:10:26
#Julia言語 Jeff Bezanson作のfemtolispがJulia言語の中核部分で使われるようになった経緯
discourse.julialang.org/t/the-role-of-...
タグ： Julia言語
posted at 18:14:25
言語処理系勉強会も時期的に近かったので，Jeffをそっちに呼んだほうが良いかなとも思ったんだけど，参加者が既にいっぱいでJulianが呼べないので別の勉強会にした。
タグ：
posted at 18:22:55
#超算数 参考資料。yがxに反比例するとはyがxの逆数に比例することと定義して、y=k*(1/x)における定数kを比例常数と呼ぶ流儀は少なくとも戦中から存在する。
平川仲五郎『統一づけられたる代数の学習と解法の正しき途』下巻 東京、中文館書店、1943年。 pic.twitter.com/v2cmUNG5CV
タグ： 超算数
posted at 18:23:31
ひえぇ…感染症の大家、岩田健太郎先生にまで嚙みついとるんかコイツら。。。
しかも池田としえ氏に至ってはブロックされてるとか…よくも真顔でそんな恥ずかしいこと言えたもんだ。。。 pic.twitter.com/FjgmvqtZwt
タグ：
posted at 18:59:16
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
#超算数 直前の記述には【一般に/x, yを以て表はされる二つの数があって、yがxの逆数に比例して変化するとき/yはxに反比例(又は逆比例)して変化するといひ、又はyはxに反比例(又は逆比例)するといふ。】(p.410; かたかなはヒラガナに、太字強調を省略)とあります。 pic.twitter.com/wWM3iwYeJZ
タグ： 超算数
posted at 19:46:31
非公開
タグ：
posted at xx:xx:xx
Why is programming language Julia growing so fast? #julialang www.techrepublic.com/article/julia-...
タグ： julialang
posted at 20:41:17
GoにしろJuliaにしろやっぱ速くなくちゃ…ってことなんだよね。多重ディスパッチは便利だし行列演算が超綺麗に書けるのがいい、あと地味に範囲評価式とかスッキリ書けるのも：急成長中のプログラミング言語「Julia」--MIT教授に聞く人気の理由と今後の展開 japan.techrepublic.com/article/351279...
タグ：
posted at 20:49:52
こんなん行くしかないやろ juliatokyo.connpass.com/event/107996/?... #juliatokyo
タグ： juliatokyo
posted at 20:59:14
映画『MMRワクチン告発』公開中止のお知らせ
unitedpeople.jp/vaxxed/japan
「日本では、1993年に事実上、MMRワクチンは中止…にもかかわらず、その後も日本では引続き自閉症が増えている」「1994年以後は単独接種が推奨されていた事実がある以上、監督の主張は成り立ちません」
タグ：
posted at 21:02:37
松田未来 「夜光雲のサリッサ」第10巻7 @macchiMC72
(ものすごく珍しいものを見たという顔)
twitter.com/vaxxedj/status...
RT先の説明：MMRワクチンと自閉症との因果関係を上映しようとしていた配給会社の社長が、劇中での主張と日本での接種状況の矛盾に気がつき、その事実を制作側に問い質したところ主張が成立しないことを認識し上映を取りやめたという経過
タグ：
posted at 21:05:36
映画『MMRワクチン告発』公開中止のお知らせ
unitedpeople.jp/vaxxed/japan
英断です。明白な反社会的映画であり人命を脅かすものです。根源である反MMRワクチンの元医師であるWakefieldは反ワクチン団体と金銭的利益相反関係で論文捏造を行なったものであり、この映画はその延長線上に過ぎません
タグ：
posted at 21:06:13
松田未来 「夜光雲のサリッサ」第10巻7 @macchiMC72
普通こういう疑似科学系映画上映の中止って「私らは正しいと信じているのに、非難する連中が怖いのでもうやめます」みたいなパターンが多い印象だけど、ここまで疑似科学の矛盾に配給側が疑問を持って筋が通らないという理由で止めるのはめったに見ない気がする。
タグ：
posted at 21:08:25
ウェイクフィールドの反ワクチン映画の公開を中止するという大英断。配給会社によるこの告知文も非常に誠意あるもので、経緯が詳しく記されています。ぜひご一読ください twitter.com/earl_med_tw/st...
タグ：
posted at 21:18:32
ウェイクフィールド氏は反ワクチン団体から資金を得て「自閉症のワクチン原因説」論文を出しましたが、患者のデータを捏造・改ざんしており、発覚後に医師免許が剥奪されました。
その他、インチキな自説に基づく特許を申請していた等、商魂逞しい人物です。現在は反ワクチン界のヒーローとして活躍中 pic.twitter.com/4BAkIJf7u2
タグ：
posted at 21:32:24
ユニバーサルロボットを使ったオムレツ焼きがバズってるようなので。コチラが創業者インタビュー記事です。 twitter.com/kmoriyama/stat...
タグ：
posted at 21:55:53
#超算数 「この手の指導は算数教育界ｗの標準か？」という題名で掲示板に書き込みました。
8254.teacup.com/kakezannojunjo...
画像は以下の文献からの引用です。
主体的な学びを育む算数科授業（4）
harp.lib.hiroshima-u.ac.jp/hijiyama-u/fil... pic.twitter.com/LKw98bojEV
タグ： 超算数
posted at 22:28:27
息子よくやった！#算数 #かけ算 pic.twitter.com/mj2Yhe4b82
posted at 22:48:12
朽木誠一郎 Seiichiro Kuch @amanojerk
各所で医療関係者の方々が尽力されていたこの件、後発で大変、恐縮ですが、記事にまとめさせていただきました。
映画「MMRワクチン告発」日本の配給会社が公開中止を発表 www.buzzfeed.com/jp/seiichiroku...
タグ：
posted at 22:53:49
アメリカでは若者が左派に傾倒するのは、国民皆保険の導入、銃規制の強化、大学の学費負担軽減等で具体的なメリットが期待できるから。日本で若年層の自民党支持が根強いのは、現状保守系の方が経済に力を入れ就職率の大幅な改善が見られるから。日本の左派は一体何をしているのでしょうか。存在感なし
タグ：
posted at 23:31:53
#Julia言語 単位行列を作る方法の例
using LinearAlgebra
E = Diagonal{Float64}(I, 2^12)
なら対角行列として単位行列を作れる。
EE = Matrix{Float64}(I, 2^12, 2^12)
でも単位行列を作れるが無駄にメモリと計算時間を消費することになる。
twitter.com/5ebec/status/1... pic.twitter.com/GHPCM3QczV
タグ： Julia言語
posted at 23:50:08
掛け算順序に拘る人が「文句を言うのは大人だけ」ってツイしているけど、笑止。小学生（特に低学年）が「あなたの考えは間違っている」なんて言うのは、ごくごく稀でしょ。仮にあったとしても「黙って言うとおりにやれ」と圧殺するだけでしょうし。大人のツッコミに耐えられない愚痴でしかない。
タグ：
posted at 23:51:36
