黒木玄 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年05月16日(水)
非公開
タグ：
posted at xx:xx:xx
#超算数 ｢つりあっていれば動きません｣の問題は、普通に出題ミスだと思いますが。こういう出題ミスはまずなさそうだが…ありうるとすれば、一番下での速さを提示してどこまで到達できるかという問題で、エネルギー保存則で計算するとちょうど最高点まで到達できるはずというやつですね 続 twitter.com/hayano/status/...
タグ： 超算数
posted at 23:53:03
ありがとうございます。私の勉強不足でした。この分野は日進月歩なので何かを公言するときには確認が必要ですね。 twitter.com/_pseudoctor/st...
タグ：
posted at 22:50:23
「ロボットは東大に入れるか」の新井紀子教授は研究者としてすごい mywarstory.tokyo/corruption-of-...
「あ、ちなみに、（プロジェクトで）私失敗したことないんで🙂」
ワイもこれ言いたい(｡>﹏<｡)
タグ：
posted at 22:47:17
結局今回の件をまとめると「当人は不完全性定理を誤解しているわけではなさそうだが、ほぼ伝わらない独りよがりの比喩を振り回して凄まじく説明が下手である」ということで、東大ロボだの子供の読解力低下だの扱ってる人の説明力が壊滅的というのは、不完全性定理を誤解してるよりもまずい事態では。
タグ：
posted at 22:44:13
PseuDoctor＠フォロワーさん以外 @_pseudoctor
@konamih こなみさん、件の記事が「警鐘を鳴らす医師への言い掛かりに近い」ダメ記事である点には強く同意しますが、一点だけ。「確立した免疫療法」は存在します。その代表が比較的最近に実用化された「免疫チェックポイント阻害剤」です。こちら ganjoho.jp/public/dia_tre... なども御参考にどうぞ。
タグ：
posted at 22:40:24
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
山本太郎は
1. 経済政策はよく勉強していて、まともな主張をする数少ない議員のひとり
2. 放射能についてはあまりにも無知で、放射能デマを撒き散らした議員の中でも最悪のひとり twitter.com/kunikoasagi/st...
タグ：
posted at 21:58:00
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
新井紀子先生のやついまさら読んだんですけど、正しいとか間違ってるとかではなくて、何か意味のある主張をしてるように見えないんですけど、これみなさま読んで意味わかるんですか
タグ：
posted at 20:30:34
新井紀子さんって数学者だったのか。
ずっと国語の人だと思っていた。
それなりに長い期間、Twitterでフォローしてたけど、読んでいるうちに良くない気分になることが多くなって、フォローやめたのを思い出した。 twitter.com/yu_phd/status/...
タグ：
posted at 20:25:50
タミフル、１０代もＯＫに 異常行動との関連認められず：朝日新聞デジタル www.asahi.com/articles/ASL5J...
「厚労省は、添付文書の警告欄に書かれた「１０歳以上の未成年の患者に、原則として使用を差し控えること」を削除する方針」
タグ：
posted at 19:42:54
非公開
タグ：
posted at xx:xx:xx
読解力のない人間なので、新井紀子先生の説明見た感じだと自然数論だかTh(N)だかの超準モデル存在する、という文章に読んでしまったので、それだと不完全性定理とは全く関係ないじゃんと思ってしまっていたんですが、そういうことか。リアリティの部分をTh(N)と解釈するって要求読解力高い……。
タグ：
posted at 18:52:52
性教育の話になると、必ず「性教育については各家庭で！」という方がいらっしゃるのだけど、経産婦の中絶の事情とかそもそもの避妊知識のなさとか知られてないんだろうなと思います。
避妊とか少子化に関わる議員でも膣外射精が避妊だと思ってる人がかなりいて椅子から転げ落ちたから各家庭では無理。
タグ：
posted at 18:51:54
Frames Catherine Whi @oxinabox_frames
@acidflask @Viral_B_Shah @quinn_jacobd @JuliaLanguage at least 8 PRs for 0.7 github.com/JuliaLang/juli...
And I am really hoping for github.com/JuliaLang/juli...
and some small ones other PRs that are open.
I dream of github.com/JuliaLang/juli... but it is locked in as 1.1
github.com/JuliaLang/juli... would be nice to have also
タグ：
posted at 18:47:57
@NeXTSTEP2OSX @bunji1818 もし出力していただけるなら、
twitter.com/end_tt/status/...
が3Dプリンタで作れるかが気になっています。
ツイートしたもののデータならstlでいつでもお渡しできますが、クリアランスとか組み立て方などを考えると修正するべきなのかな？と思っています。
タグ：
posted at 18:47:21
@NeXTSTEP2OSX @bunji1818 おおー！すごい方をご紹介いただきありがとうございます！ぶんじさんよろしくお願いします！ツイート拝見しましたがたまねぎぼーるが好きです！
タグ：
posted at 18:42:44
この新井さんのは、本当にうーんですよね…AI speakerとか性差を感じさせないwake wordになっていて、考えられているし、教科書的ですが、技術の発達は家事労働の負担を晴らし女性の社会進出を支えてきた側面だってあるのに。 twitter.com/Lisbon22/statu...
タグ：
posted at 18:42:19
「AIでは絶対に代替できない仕事の多くは、女性が担っている仕事です。介護しかり、子育てしかり。だって、そうでしょう。狩りをするのは...ドローンに代替させられるかもしれませんが、子育ては…最後まで人間がすべき高度知的労働として残ります」（新井259）
うーん。
タグ：
posted at 18:35:26
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
@kururu_goedel こちらもありがとうございます。自然数のモデルを同型を除いても一意に特定することができないような「言葉」（論理体系）「も」ある、ならば良いのですが、「絶対に」とまで言っているので、さすがに2階論理や帰納的(inductive)定義は数学的な「言葉」ではない、という主張は無理があると思いました。
タグ：
posted at 15:46:42
@kururu_goedel 仮にそう解釈しても、超準モデルを排除する自然数の形式化（「言葉」）はいくつか存在するので、原文（特に「絶対に」という部分）は比喩としても誤り、という理解で合っているでしょうか。（お忙しいところをすみません。お時間のあるときか、なければ無視していただいても構いません）
タグ：
posted at 14:46:02
ところで、早野先生が昔ゲーデルの不完全性定理について、間違いといって差し支えない紹介をしていたのに、鴨先生などが抗議していた件では、訂正や謝罪などはありましたっけ。早野先生が書いていることは信頼する人が多いと思うで、あれも野放しは困るなぁと思うのですが。
タグ：
posted at 14:35:42
ちゃんといろいろ洗い出して批判を加えるべきかとは思うんですけど、今忙しくて…。とりあえず、私を信用してくださる方は、周りの人があれを信じてしまっているようなら、鵜呑みにしないほうがよいらしいと伝えてもらえれば。
タグ：
posted at 14:29:14
その点、白カビさんは鋭いのだけど、ただほぼ日刊イトイ新聞の普通の読者が、例えばあの文での「リアリティ」を「真の算術」と解釈することは絶対にありえないと言う点で、ミスリードしようとしているのは間違いないですね。
twitter.com/ainsophyao/sta...
タグ：
posted at 14:26:24
奥歯にものが挟まったような言い方になっているのは、比喩としてはぎりぎり成立しそうな表現になっているからですが、むしろだからこそ罪深いと思ってます。ポモの常套手段である、弱い解釈と強い解釈が両方できる表現でミスリードする手法として捉えるべきかと。
タグ：
posted at 14:17:21
@phasetr 個人的な意見では、この件で新井紀子さんのセールストークの解釈論に関わるのは時間の無駄。
照井一成さんの良書を読んで宣伝した方が良いと思う。
www.amazon.co.jp/dp/4791768515
新井紀子さん個人についてはゲーデル云々ではなく教育政策方面で要注意だと思います。
タグ：
posted at 14:16:07
色々考えているんですが、多分あのページはかなり多くの人に読まれると思うので取り急ぎ、糸井氏と早野氏との対談で、新井紀子氏がゲーデルの不完全性定理に関して誤解を招く表現を使ったことについて抗議します。
タグ：
posted at 14:11:00
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
@phasetr 実際にどのような実装になっているかは知りませんが、
repository.kulib.kyoto-u.ac.jp/dspace/bitstre...
www.fujitsu.com/downloads/JP/a...
に実閉体の理論での量化子除去で解ける数学の入試問題の割合が結構多いことが出発点になっていると書いてあります。
タグ：
posted at 14:00:20
非公開
タグ：
posted at xx:xx:xx
こう置き換えれば不自然さがわかりやすいかな：たとえば郵便法を絶対だとしても、郵便差出箱が丸いか四角いかは法的（＝言語）には示せない。だから郵便差出箱が丸いと信じるか否か（＝リアリティ）は各人の自由ということでしょ。 twitter.com/euler_equation...
タグ：
posted at 13:39:53
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
コンピューター将棋が人間より強くなったおかげで、将棋が思っていたよりずっと面白いゲームだったことに気付いた人達がいて、そういう雰囲気はプロ棋士達にも伝わっていたと思う。将棋を面白いと思う人が増えたことは棋士達にとって素直に嬉しいことだったのだと思う。
twitter.com/issei_y/status...
タグ：
posted at 13:21:40
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
@PlanckScale 良書をありがとうございます。勤務先の理学部数物科学科で、学部学生たちが輪講をしています。あちらの学科の先生に好評で勧められたもののようです。
タグ：
posted at 13:04:06
@bunji1818 ｷﾀ━━━━(ﾟ∀ﾟ)━━━━!! @end_tt さんという方が素晴らしい動く立体のCGを製作されているんよ。end_ttさん、もし実物を試作してみたいということでしたら、是非ともこの僕の同級生の「ぶんじ」という男にお声をおかけ下さい! (stlデータに変換できれば)
タグ：
posted at 12:51:04
非公開
タグ：
posted at xx:xx:xx
権威論証（「誰々も同じことを言っている」）の変種として、本当は「同じこと」を言っていない、ないし「同じことを言っている」ことが客観的に確認できない、というパターンに名前はついているのだろうか
タグ：
posted at 12:36:51
非公開
タグ：
posted at xx:xx:xx
よくある誤解で【たとえばＺＦを絶対だとしても、連続体仮説を正しいか否かは数学的（＝言語）で示せない。だから連続体仮説を信じるか否か（＝リアリティ）は各人の自由ということ】というのがありますが、「絶対」なのは「ZFとCHが独立である」という「事実」だけで、CHの正しさは問題にはなりません
タグ：
posted at 12:17:47
非公開
タグ：
posted at xx:xx:xx
@kamo_hiroyasu そのように書いていただけると、嬉しいです。執筆の際には、いろいろとご教示いただき、ありがとうございました。より正確な解説の仕方がないか、考えてみます。
タグ：
posted at 12:13:30
若い人には解説が必要？ 版元の青土社はニューサイエンスを名乗るオカルトもどきが流行った時に旗をふった出版社の一つです。なので、この版元でこのテーマは、普通ならイエローアラートなのです。 twitter.com/kamo_hiroyasu/...
タグ：
posted at 12:02:13
#超算数 中学校1年の数学の教科書に「みはじ図」が載っていたという情報があって頭が痛い。
新井紀子さんによれば、オームの法則の「みはじ図」が載っている教科書もあるらしい。写真が見たい。
twitter.com/genkuroki/stat...
タグ： 超算数
posted at 11:53:48
@akinori_ito ウェブの検索で見つかることは知っています。
twilog.org/genkuroki/sear...
問題は教科書にも載ってしまっているかどうか。 #超算数
タグ： 超算数
posted at 11:50:14
大栗 数学の言葉 s.gentosha.jp/index.php?disp... では不完全性定理の前提から再帰的公理化可能性が抜けているのだけど、そんなに反感を覚えないし、読者に有害とも思わないんですよね。正確さの観点からは重大な瑕疵だけど、啓蒙書としては小さな欠点だと感じるのは、他の観点で優れているからでしょう。
タグ：
posted at 11:38:03
@genkuroki 教科書ではありませんが、Webサイトでも使っているようなので、予備校では教えている可能性があると思います juken-mikata.net/how-to/physics...
タグ：
posted at 11:38:01
#超算数 新井紀子さんも浪川幸彦さんも、日本数学会教育委員会委員だった経歴があります。
以上の情報は日本数学会教育委員会は算数教育の現状を嘆く保護者達の味方では無さそうなことを示唆しています。
twitter.com/sekibunnteisuu...
タグ： 超算数
posted at 11:24:53
#超算数 悪名高い「きはじ図」については、社会的には数学者に分類されるであろう浪川幸彦さんが数学セミナー誌の連載で肯定的に言及するというショッキングな事件もありました。
twitter.com/genkuroki/stat...
タグ： 超算数
posted at 11:24:53
#超算数 新井紀子さんによるオームの法則版の「きはじ図」の引用の仕方については以下のリンク先を見て下さい。さらっと普通に引用して先に進んでしまっています。教育関係の本でこれはまずいと思う。きちんと批判しておくべき。
twitter.com/genkuroki/stat...
タグ： 超算数
posted at 11:24:51
#超算数 新井紀子さんと新井敏康さんの共著の『計算とは何か』2009には【-3個とかπ個とはいいません】と書いてあるのですが、「-3個」とか結構言いますよね。
算数教育の世界にはパターン化された独自の体系があって、そういうのに影響されているのだと私は思いました。
twitter.com/genkuroki/stat...
タグ： 超算数
posted at 11:24:44
論理学は形式的記号論理だけじゃなくて ja.wikipedia.org/wiki/%E8%A9%AD... や ja.wikipedia.org/wiki/%E8%A9%AD... などの「古典的」側面も（ひょっとしたら形式論理より）重要だと思う。
タグ：
posted at 10:29:46
@paulerdosh @kamo_hiroyasu 新井紀子さんさんはクオリアな連載でクオリアの人とも対談していて雑誌記事にもなり、単行本にもなっています。このことはつい最近知りました。
新井さん自身がそういう方針なのだと思います。
www.google.co.jp/search?q=%E2%8...
タグ：
posted at 10:23:08
KATO kosei / Ph.D / @sd_tricks_kato
新井家が「言語ではリアリティを共有出来ない」がゲーデルの不完全性定理の正しい説明なら、みんなに理解出来るように補足説明すりゃ良いのになあ。 pic.twitter.com/3F4ILjBqcj
タグ：
posted at 10:23:01
Shota Gugushvili @GugushviliShota
Implementation in #julialang available at github.com/mschauer/Micro...
タグ： julialang
posted at 10:16:30
Shota Gugushvili @GugushviliShota
New preprint: Bayesian volatility learning under market microstructure noise. Joint with @MoritzSchauer twitter.com/statmlpapers/s...
タグ：
posted at 10:13:39
樹齢150年の巨木を富山から神戸へ 「鎮魂」「世界一」企画への批判に実行委員会「残念」 www.j-cast.com/2017/11/273149... @jcast_newsより
タグ：
posted at 09:42:40
神戸「世界一のツリー」騒動で糸井重里「炎上」 「批判者を批判？」ツイート連発に「幻滅した」 www.j-cast.com/2017/12/153167... @jcast_newsより
タグ：
posted at 09:42:02
麻木久仁子が山本太郎支持宣言。それに賛意のリプがいっぱいぶら下がっている。麻木久仁子は一時期ラジオ番組などを通じてリフレ政策の勉強をしていたからそのあたりが支持の入り口かも知れないが、今回のことで放射能デマの被害について全く興味がないかデマ屋に与する人物であることを露呈した。
タグ：
posted at 09:38:02
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
今をときめく新井紀子氏の。
驚くことに2010年刊。
「小学校では演繹的な能力（論理）よりも帰納的な能力（空気を読む）に長けているほうがうまく行動できる」社会でもそういうこと、あるよな。
｢コンピュータが仕事を奪う(日本経済新聞出版社)｣ amazon.jp/dp/4532316707/ #読書管理ビブリア
タグ： 読書管理ビブリア
posted at 08:26:31
たとえそうだとしても、たとえば TrueArithmetic を「リアリティ」と呼ぶのは、俗情に媚びて、ミスリーディングを狙った知的誠実性に欠ける行為だと思います。
というか、人様の営業トークをマジメに検証したり擁護したりするのは無意味では。 twitter.com/ainsophyao/sta...
タグ：
posted at 08:02:10
KATO kosei / Ph.D / @sd_tricks_kato
言葉で共有出来るものの限界はデイヴィッドソン、時間の共有はシュッツが精密に論じていますね。いずれもゲーデルとは関係無い筋のように思います。が、新井紀子神なら何でも可能ですからきっと何か新しい理論が生まれてるんですよ今。 twitter.com/hilarious_001/...
タグ：
posted at 07:53:40
ご本人の意図と違う方向に編集されてしまったのだろうか．それにしてもラッセルのパラドックスは見事に説明されているのに，ゲーデルの不完全性定理のことを「『人は言葉だけでは絶対にリアリティを共有できない』。そういう定理なんですよ。」と説明されるのは「？？？」
タグ：
posted at 07:26:22
新井紀子先生(@noricoco)の仕事は尊敬しているし「数学は言葉」は講義の参考書に指定しているぐらいなのだが，この対談の「ゲーデルの不完全性定理」の説明には苦言を申し上げざるを得ない→「ヘンタイよいこ」新井紀子は明日への希望を忘れない。-ほぼ日刊イトイ新聞 www.1101.com/torobo_talk_ar... #ほぼ日
タグ： ほぼ日
posted at 06:55:24
あらきけいすけ@岡山理科大学 つぶやきは @arakik10
@genkuroki この松田氏の記事もミスリーディングで、クッタ・ジューコフスキーの定理で揚力の大きさが計算できても、「なぜ翼で循環が発生するのか？」の根本の原因の説明（翼近傍で粘性による境界層ができるから）になっていないように思われます。説明に「粘性」がでない部分が問題に思えます。
タグ：
posted at 06:36:02
前川氏の姿勢は12年前から変わっていないという事だと思う。こういう姿勢、こういう考え方で社会や世界や仕事を捉えて生きてきた方なのだという事を前提にして前川氏の言動の意味するところを考察すべきだろう。 twitter.com/tamago3884/sta...
タグ：
posted at 02:15:07
マレーシア英字紙・New Straits Timesのヒジャブコスプレ記事、2018年2月。
twitter.com/nst_online/sta...
Kawaii Miisaさんというヒジャブレイヤーに取材してます。
マレーシアのヒジャブレイヤー一派はほんとメディア戦略がうまいので、今年の世界コスプレサミットでは名古屋から世界を驚かせてほしい。
タグ：
posted at 02:06:10
ヒジャブでコスプレ イスラム教徒の女性内に日本のアニメ・ゲームが流行
jp.sputniknews.com/amp/culture/20...
一方こちらがスプートニクの記事。
＞朝日新聞が報じた。
ひでえ！神田記者の記事を丸パクリかよ！正直に書いてるだけマシとはいえ。
載せてる写真もぜったい無許可だよなこれ…
タグ：
posted at 01:57:03
イスラム女性、ヒジャブでコスプレ 戒律逆手に装い巧み
www.asahi.com/sp/articles/AS...
朝日新聞のエース・神田大介記者による、素晴らしいヒジャブコスプレ記事。半年前。
これに写真を提供していた方が、大阪でヒジャブコスプレの感想を聞いてまわる動画を上げてたアカウントの人でした。
タグ：
posted at 01:51:08
マレーシアのコスプレイヤーが大阪のコスプレイベントでヒジャブコスプレの感想を聞いて回った企画、こちらが完全版動画かな？
j-culture.biz/?p=6694
前から気になってますが、マレーシアのヒジャブコスプレ業界には優秀な仕掛け人がいるようで、積極的なメディア戦略でブームを狙ってるようです。
タグ：
posted at 01:30:25
マレーシアのコスプレイヤーが日本のコスプレイベントでヒジャブコスプレの感想を聞いて回った動画、のようです。なんの企画なんだろ…。 twitter.com/ai_nurul_/stat...
タグ：
posted at 01:27:29
@sekibunnteisuu @exxxxes 結局その種の論者（数教協など）というものは、「この単元では子どもにこう教える」という事だけが頭にあって、「本当にそうであるか（この場合では、割り算は３種類）」を気にしていないのでしょう。 #掛算
タグ： 掛算
posted at 00:43:54
「抽象化」はその反対側の具体物の方では「応用できる具体例を増やすこと」に対応していると思っておけば、「抽象化とは何か」という難しい問題に直接触れなくて良いから分かりやすくなるかも。
プログラミングでも適切に抽象化された部品は使用可能な場所が増えて、使い回しし易くなる。
タグ：
posted at 00:10:25
#Julia言語 ただし、その実装中でζ函数の函数等式を使っている部分はオーバーフローし易いコードになっているので要注意です。
gist.github.com/genkuroki/b4b3...
タグ： Julia言語
posted at 00:00:03
twitter.com/kjunichi/statu...
SpecialFunctions.jl の zeta 函数は
github.com/JuliaMath/Spec...
で定義されています。zeta(x::BigFloat) はmpfrのライブラリをccallしていますが、zeta(s::ComplexOrReal{Float64}) は #Julia言語 で実装されています。
タグ： Julia言語
posted at 00:00:03
