黒木玄 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年10月25日(木)
@metameta007 #掛算 の順序こだわり教育を推進していたと判明すれば、興味深いことだと思います。しかし今のところそのような事実は見つかっていません。私が知るのは1919年あたりの佐藤武氏の書いたもの、1933年の東京市による算術科教育測定の採点基準などです。後者でさえ、戦後教育との関連は未解明です。了
タグ： 掛算
posted at 23:57:51
[ Why have breast cancer mortality rates declined? www.sciencedirect.com/science/articl... ]。「なぜ乳がん死亡率が減少したのか？予防やマンモグラフィー検診のおかげではありそうにない」。（検診は乳がん死亡率を下げるけど、もっとも大きな要因かどうかは別問題）。 pic.twitter.com/KEyc7KEzEU
タグ：
posted at 23:57:20
@metameta007 だから特定の #超算数 を「かけ算の順序」という概念でとらえることには正当性があります。しかし、例えば明治時代の数学者が特定の順序で #掛算 を構成していたことをもって、彼らが逆順を非としていたと結論づけることはできません。同じ時代の初等教育指導者が数学者の書いたものを断章取義して
posted at 23:54:10
ワコールのピンクリボン検定。欧米での乳がん死亡の減少の主要因について。「マンモグラフィの普及」と答えさせたいのはわかるけど、自由記述なら私は「治療法の進歩」と書く。マンモグラフィは要因の一つだけど「もっとも大きな要因」とは必ずしも言えない。少なくとも議論があるところ。 pic.twitter.com/wOErZoEiha
タグ：
posted at 23:53:03
非公開
タグ：
posted at xx:xx:xx
@metameta007 #超算数 aを乗数と考えているのかと勘ぐられることはありません。しかしb×aという式で解答したとたん、aを乗数と考えていることにされ、誤答と評価されます。解答者が後でトランプ配りなどの根拠を示して評価に反論しても、訂正されないことも。 #掛算 の順序によって対応に違いがあるのは明白。
posted at 23:48:04
@metameta007 #超算数 一方で【「『かけ算の順序』という用語はない」という反論が擁護者からありましたtwitter.com/metameta007/st...】には容易に反論できます。なぜなら用語はなくても行動がまさに #掛算 の順序を強制する指導だからです。a×bという式が被乗数×乗数になっているとされる場合、a×bと書けば、aを乗数と
posted at 23:41:48
なぜなら自分は実験方法を説明するためだけにインタビューをうけたから、と。
インタビュー後の村中氏とのメールのやりとりでも訂正しようとしていない。
そのために一番不利益を被ったのは池田元教授なのだけど。いやはや不思議な人だ。
タグ：
posted at 23:38:44
正直、A氏の証言を読んだ感想はA氏ヤバいと思った。
証言通りなら、村中氏達に他のワクチンでもHPVワクチンと同じようにスライドが染まると誤解させ、これは池田教授ヤバいことしてると盛り上がっているのにその場で訂正してない。それを悔やんでもいない。
www.mamoreruinochi.com/wordpress/wp-c...
タグ：
posted at 23:38:43
非公開
タグ：
posted at xx:xx:xx
Function-like objectsなんてあったのか...
docs.julialang.org/en/v1/manual/m...
#julialang
タグ： julialang
posted at 23:18:21
心療内科で「この状態で仕事をし続けるのは本当に危険。ストレスである学校を離れるように」と言われたのです。学校に伝え、病休を求めたら、「何がストレスなんだ！言ってみろ！」みたいになりました。それだよ…。
タグ：
posted at 23:15:53
非公開
タグ：
posted at xx:xx:xx
CoCalc by SageMath, @cocalc_com
… another quick test if @OpenModelica starts up on #CoCalc
github.com/sagemathinc/co... pic.twitter.com/7UUu66tKv4
タグ： CoCalc
posted at 23:07:00
ルンゲクッタ法、実装!!!!
違いを目立たせるために時間刻みを粗くしているので、オイラーさんはどこかに飛んでいってしまった。すごいなぁ、手法によってだいぶ精度変わるなぁ #Processing pic.twitter.com/qTU6omi7r7
タグ： Processing
posted at 22:47:25
非公開
タグ：
posted at xx:xx:xx
@metameta007 #超算数 51年版でさえ、第五章評価の例の記述さえなければ、#掛算 順序こだわりと断定するのは難しいです。そして今述べたような決定的記述を、私は明治の数学者について知りません。尤も藤沢利喜太郎については間×間を認めないとかの問題は指摘しておきました。
posted at 21:58:35
若手の会や近頃の話を聞く感じ、TH大のロジックグループ最近あんまり活発でなくなってそうな感じで寂しいですね。かつては若手の会の大半がTH大のロジックグループで占められて、逆数学の話ばっかりでうざいと言われていた時代もあったというのに……
タグ：
posted at 21:57:30
@metameta007 たまたま最近調べている占領下の二つの指導要領でさえ #掛算 順序こだわりかどうかの断定は容易ではありません。1947年版が意味という時、それはヴァージニアプランに由来すると見て良いでしょう。VP自体は意味を定義しないのですが、ブルクナーとグロスニケルのいう意味は #超算数 では全然ないです。
posted at 21:52:31
@metameta007 #超算数 でさえ、#掛算 順序こだわりの根拠とすることは【深く考えすぎ】なのですtwitter.com/temmusu_n/stat...。文部省の指導書には掛順に唯一の正解があると読めるものもありましたが、現在では優柔不断。フェイドイン中の新解説算数編も、疑惑は濃いがこだわり肯定にギリギリで踏みとどまっています。
posted at 21:40:54
@metameta007 #超算数 お答えありがとうございます。私も賛です。現代では例えば、2011年に栗山真寛記者の取材に文科省が回答したことではっきりしたように、解説算数編(現行。ただし移行措置でフェイドアウト中)のように #掛算 順序こだわり派が執筆したことが分かっている文書でさえ、
posted at 21:34:50
JuliaでPyCall入れようとしたらこうなったんだけど
どうすればいいんでしょうか……
#Julia言語 pic.twitter.com/3Cu8eCez1e
タグ： Julia言語
posted at 20:48:10
京大のスパコンでもJuliaを使えるようにしてもらいました。
web.kudpc.kyoto-u.ac.jp/manual/ja/oss#... #julialang #julia言語
posted at 20:40:52
「貴方の好みは社会が作ったものであなたが選んだものではないから私は与えないしこの世界からなくしていきたい」と自分の子供に言う親がいたら毒親だし、萌え絵反対の人も自分の子供にそんなこと言っているとは思いたくないけど、なぜ他所さんの子についてはそんなふうに解釈できるんだろう
タグ：
posted at 19:49:48
5つの解を持つ回路方程式ってのはこれ。こんなごちゃごちゃした非線形方程式の解を漏れなく探せるのは区間演算ならでは。 verifiedby.me/kv/example/ind...
タグ：
posted at 19:42:00
まさか、こうのタッチでリーゼ・マイトナーの物語が読める日がこようとは！（感涙）
「この世界の片隅に」こうの史代が、核分裂研究者リーゼ・マイトナーの物語執筆（試し読みあり） - コミックナタリー natalie.mu/comic/news/305...
タグ：
posted at 19:35:54
例の西先生の5つの解を持つ回路方程式の全解探索、Intlab 11とkvでやらせてみた。matlab分からないので問題の記述に苦労したけど、計算時間は同一マシンで170秒と2秒。勝っててよかった。
タグ：
posted at 19:26:06
反ワクチン医師から起こされている子宮頸がんワクチン問題に関する裁判の証人尋問の証言の起こしが全文ウェブ公開されました。
マウス1匹やワクチンを打っていないマウスの脳の写真を発表した件についてどう弁明したか読んでみて。
note.mu/rikomuranaka/n... note.mu/rikomuranaka/n...
タグ：
posted at 17:43:31
奥羽大学の山本正雅教授も気をつけた方がいいんじゃないかな。
科研費報告に磁気装置をねじ込むとか、怖いもの知らずにも程がある。
o(｀ω´ )o
kenja.jp/7036_20180529/2/
タグ：
posted at 17:40:33
RT
「磁化水に健康維持や学習能力向上効果があることを確認した」という発表だけど、この教授は研究不正で処分されたのでご安心を(^^)
www.viox.co.jp/whatsnew/chuni...
タグ：
posted at 17:40:32
縮約シフト共役勾配法RSCGのJuliaコードをパッケージ化した。行列Aのグリーン関数G=[zI -A]^-1の行列要素Gijが計算できる。特色は入力に複素平面上の複数のzを入れて同時に高速に解ける所。Aは行列でも線形演算子でも可 github.com/cometscome/RSC...
タグ：
posted at 17:37:55
自動車をやってた人たちが食品製造へ参入すること自体は、実はあんまり違和感がない。僕の講演などを聞いてくれた方はご存知だと思いますが、以前から食品製造や調理とロボット（自動機械）とは「相性がいい」と思っていたので。
タグ：
posted at 17:30:16
媒体は違うけど、UR社のオスターガードさんの話が理念の話で
robotstart.info/2018/10/25/mor...
マツダエースの取り組みが実践の話
www.sbbit.jp/article/cont1/...
という感じで、少なくとも僕のなかでは繋がってます。
タグ：
posted at 17:29:12
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
電車で乳児のギャン泣きに遭遇した場合、親御さんと目が合えば気にしてない旨を伝えるけど、そこまでの気力がないときのためにBluetoothくらいの距離感で繋がる掲示板がほしい。「右手挙げてくれれば席替わるよ」とか「聴覚過敏だから耳栓使うけど気にしないで」みたいなやつ。悪口は弾かれるAI搭載。
タグ：
posted at 14:18:50
Julia言語です。
#peing #質問箱 peing.net/ja/qs/98339911
posted at 13:48:31
非公開
タグ：
posted at xx:xx:xx
#Julia言語 v1.0におけるflush(stdout)の検証
printlnだけだとsleep中にファイルに書き込まれない。
printlnの後にflush(stdout)するとすぐに書き込まれる。 pic.twitter.com/diuJrEBoh0
タグ： Julia言語
posted at 12:57:22
@cometscome_phys これでバッファリングされてるのが書き決まれると思います
(環境によっては行き先がファイルやパイプなのか、コンソールなのかによってバッファリングの動作が変わるらしいとか。)
タグ：
posted at 12:49:03
@addvin @Google @Viral_B_Shah Thanks Brian. We're looking forward to having Julia code running on all those @GCPcloud TPUs!
タグ：
posted at 12:44:46
@RanFeldesh @Google I'd assume it's the same speed more or less because we go through the same backend compiler. However, I don't really know how to get a TF graph into the right form for TF2XLA to offload it. If somebody wants to give me example code, I'll include it in the benchmark.
タグ：
posted at 12:36:00
Juliaでprintlnで書き出したものを標準出力として書き出したとして、実行中にはその出力がファイルに書き込まれていない？
例えば
julia test.jl > out.dat &
としたときに、実行が終わらない限りout.datの中身が空だ。解決策がわからない
タグ：
posted at 12:27:24
新入試のもとで高校生がどのような試験を受けていくことになるのかみたいなスケジュールマップはどこかにあるのかな。
英語民間試験、学びの基礎診断、新共通テスト、個別二次試験、いろいろなAO入試や推薦入試などなど。
タグ：
posted at 12:20:21
@nazomizusouti うぁぁぁ、wikipediaで磁気処理水の編集している人とEM菌で暴れてた人、同じ人っぽいです。更には偽医療でも。
磁気処理水って知らなかったんですが、繋がりました。
タグ：
posted at 11:56:43
非公開
タグ：
posted at xx:xx:xx
上に引用したおきさやかさんの発言は「ワクチンを打つぐらいなら子宮癌になった方がいい」の一歩手前の発言であるかのように、私には感じられました。
twitter.com/orlandntd/stat...
タグ：
posted at 10:08:17
これに関しては、ハイデガー流のオヤジギャグが現代思想にもたらした悪影響を論じるヒース（現在５１歳）に出来ることは余りにも少ないと言わざるを得ない。 twitter.com/chietherabbit/...
タグ：
posted at 09:55:47
議論の内容以前に仕方自体も非常にまずいと思う。具体的な証拠の提出(自分が証拠だと思っている具体的な情報)がなくて、単なる想像での決め付けで相当にひどいことを言っていると思いました。
タグ：
posted at 09:54:37
2015-10-31におきさやかさん曰く【同じ病気でも子宮の一部切っただけですぐ職場復帰してそのあと元気に暮らしました、みたいな人と、子宮も卵巣もリンパも全部とって～一年後再発して余命がわずか、みたいな人がいる。ワクチンのリスクに対する立ち位置も評価も違ってきそうだ。】
タグ：
posted at 09:54:36
スクショ 3/3
2015年10月31日におきさやかさん曰く【あのウェッジの記事はひどかったです】
その記事はほぼ間違いなく
wedge.ismedia.jp/ud/special/567...
の下の方から読める同年10月20～23日の村中璃子さんの記事だと思われます。
添付画像の発言は上で引用した発言の続きとしての同じ日に書かれたもの。 pic.twitter.com/QwwIH0Ts9X
タグ：
posted at 09:54:35
スクショ2/3
1つ前のツイートのスクショの拡張版
一部分だけを切り取って紹介することがアンフェアだと思われないために前後をまとめて引用しておきます。 pic.twitter.com/aaicjqoBS6
タグ：
posted at 09:54:32
おきさやかさんによる「子宮頸がん体験した人」と「ワクチンのリスクに対する立ち位置」の関係に関する2015年10月31日の発言のスクショ1/3
正直、私はこういうことを言う人が怖いです。 pic.twitter.com/mVezR1hjj7
タグ：
posted at 09:54:30
私が知っている別件でのおきさやかさんの発言で一番まずそうなのは「子宮頸がん体験した人」と「ワクチンのリスクに対する立ち位置」の関係に関する2015年10月31日の発言です。twilogで読めます。
twilog.org/okisayaka/date...
スクショに続く
twitter.com/shinkai35/stat...
タグ：
posted at 09:54:26
Windowsでユーザー情報を間違って入力して「Authentication failed」から脱出できない問題を解決 - qiita.com/yoshizaki_kkgk...
タグ：
posted at 09:44:55
非公開
タグ：
posted at xx:xx:xx
ところでヒースの『ルールに従う』の最初の３章は特に、経済学などで採られがちな暗黙裡の前提を批判する、みたいなことをしている。４章からは、それをブランダムらへの議論に繋げつつ、ブランダム批判にハーバーマスを持ってくる、という塩梅になっている。
タグ：
posted at 09:35:55
自らがコミットする規範を明示化することの学問的な重要性を訴え、フーコーたちや、彼らを引用する著作群に「道徳についての非認知主義」を読み取って批判する文章に対して、「経済学頭」とか言うのは的外れだし、批判に深みがあるとか無いとか以前に明示的に書いてあることを認めずにどうするんだろ
タグ：
posted at 09:17:01
@sinkuutei なるほど。キズナアイはたとえばドラえもんクラスで有名なわけではないですから、もともと知識のない人にはよくわからないだろう、という意見はありえますね。
タグ：
posted at 08:50:47
まあただ、最新の研究を知らないものはラカンを批判するな発言より前の、エヴァは少女が前線に出て戦うのが新しかった発言のときにも、ララァとかナウシカとか以前からいたのではという指摘があっても理屈をこねて自説を引っ込めなかったですから、たんにそういう人格なのではという気がしますね。 pic.twitter.com/6OOV5P6G69
タグ：
posted at 08:42:50
はてなブログに投稿しました #はてなブログ
Julia - @enum で割り当てられた番号から変数名を知る - goropikariの備忘録
goropikari.hatenablog.com/entry/julia_enum
タグ： はてなブログ
posted at 08:30:01
おき先生と稲葉先生たちとの一連の遣り取り等を改めて見ながら。
「ヒースって人、良く知らないんですよねー」で終わりそうなところで、おき先生は何を頑張っているのかと思っていたが、以前に「批判するからには、最低限これこれをしなければならない」と言っていた手前出来ないってことか。
タグ：
posted at 08:23:21
エスベン・オスターガード氏インタビューです。
RT
単なる最適化を超え、人とロボットで新しい価値を生み出す UR社創業者が考える「インダストリー5.0」とは｜ロボスタ robotstart.info/2018/10/25/mor...
タグ：
posted at 08:18:18
OokuboTact 大久保中二病中年 @OokuboTact
@tsurujiro_drago これは文科省だけの問題ではなく、大学などで算数教育を研究している専門家の問題でもあります。また小学校の校長にも重大な責任があります。
タグ：
posted at 08:02:49
@genkuroki @GreatDemon1701 twitter.com/Takashima_Hide...
＞微分は一見答えが出なさそうな”０÷０”を計算してみせ
これって、dy/dxを0÷0と言っているようなものですよね？
タグ：
posted at 07:15:53
Aleksei Statkevich @AlekseiStatkevi
A new paper about compiling Julia code straight to @Google TPU. Is Google looking for another frontend for @TensorFlow ? twitter.com/KenoFischer/st...
タグ：
posted at 04:35:06
@KenoFischer @Google IMO this is the most interesting part: "Our implementation is less than 1000 lines of Julia, with no TPU specific changes made to the core Julia compiler or any other Julia packages"
タグ：
posted at 03:36:11
@KenoFischer @Google This is a great combination! Well done @KenoFischer and @Viral_B_Shah
タグ：
posted at 02:40:42
中国に関する発言者を別人と誤記、ケント・ギルバート氏著書 「初歩的な間違い」と出版社 - 産経WEST www.sankei.com/west/news/1603... @Sankei_newsさんから
タグ：
posted at 01:51:40
『ニューズウィーク』のケント・ギルバート特集www.newsweekjapan.jp/magazine/22257...を読んでいたら、中国経済が専門の梶谷懐@kaikajiさんが出てきてびっくり。言ってもないことを参照され、抗議したらYouTuberのKAZUYAと取り違えたとかなんとか。やー、こんな事件があったとは知らなかった。
タグ：
posted at 01:48:36
ほりたみゅ (mastodonも見てね) @Hyrodium
Desmosで描いたNewton法が可愛いのでみて pic.twitter.com/xiwqER5B9Y
タグ：
posted at 01:17:38
ごまふあざらし(GomahuAzaras @MathSorcerer
DepthwiseConvは先日マージされました。CPUではうごくでしょう。
ただし、GPUでは実装がされていないかもでGPU上ではForwardがうごかないでしょう。
タグ：
posted at 00:37:11
ごまふあざらし(GomahuAzaras @MathSorcerer
現在のJulia Flux.jlの様子をおおくりします。
BatchNormはIssueにあるパッチを適用するForwardはうまくいくでしょう。
ただし、学習に使うとFlux.train!の中でERROR: CUDA error: too many resources requested for launch (code #701, ERROR_LAUNCH_OUT_OF_RESOURCES)が生じます。
タグ：
posted at 00:37:11
現代では、C++,python,Javaが3大言語でJavaはおっさんが使う言語(偏見)のイメージがあるが、10年後はrust,julia,pythonが3大言語でpythonはおっさんが使う言語になってそう
タグ：
posted at 00:18:58
高1の子に「学校でとにかく英文覚えろって言われるんですけど、文法ちゃんとやらなくて大丈夫なんですかねー？私不安なんですけど〜😖」言われたので、「ちゃんとやらなきゃだめだよ(ﾟσ_ﾟ) ﾎｼﾞﾎｼﾞ」と言っといた。
例文暗記の目的を分からないまま暗記しても(させても)時間の無駄よ。
タグ：
posted at 00:18:33
大量のテキストを食っても速い Markdown Editor 作った - mizchi's blog mizchi.hatenablog.com/entry/2018/10/...
タグ：
posted at 00:17:48
【遺伝的アルゴリズム】
右端に到達する最短ルートを探します。
だいたい150世代で右に進む形が固まってきて、300世代で完成する。 pic.twitter.com/d0glVTCRJN
タグ：
posted at 00:12:00
