Twitter APIの仕様変更のため、「いいね」の新規取得を終了いたしました

黒木玄 Gen Kuroki

@genkuroki

  • いいね数 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 を見て下さい。
Favolog ホーム » @genkuroki » 2018年05月16日
並び順 : 新→古 | 古→新

2018年05月16日(水)

黒木玄 Gen Kuroki @genkuroki

18年5月16日

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

黒木玄 Gen Kuroki @genkuroki

18年5月16日

#Julia言語 ただし、その実装中でζ函数の函数等式を使っている部分はオーバーフローし易いコードになっているので要注意です。

gist.github.com/genkuroki/b4b3...

タグ: Julia言語

posted at 00:00:03

黒木玄 Gen Kuroki @genkuroki

18年5月16日

「抽象化」はその反対側の具体物の方では「応用できる具体例を増やすこと」に対応していると思っておけば、「抽象化とは何か」という難しい問題に直接触れなくて良いから分かりやすくなるかも。

プログラミングでも適切に抽象化された部品は使用可能な場所が増えて、使い回しし易くなる。

タグ:

posted at 00:10:25

ceptree @ceptree

18年5月16日

(中二病感ある) twitter.com/_gyochan_/stat...

タグ:

posted at 00:21:16

ゴルゴ・サーディーン @golgo_sardine

18年5月16日

@sekibunnteisuu @exxxxes 結局その種の論者(数教協など)というものは、「この単元では子どもにこう教える」という事だけが頭にあって、「本当にそうであるか(この場合では、割り算は3種類)」を気にしていないのでしょう。 #掛算

タグ: 掛算

posted at 00:43:54

アマチュアビレイヤー @onunu_

18年5月16日

掛け算の順序問題をそこそこちゃんと調べたんだけど、どうしても順序必要派に迎合できない

タグ:

posted at 01:06:24

須藤玲司 @LazyWorkz

18年5月16日

マレーシアのコスプレイヤーが日本のコスプレイベントでヒジャブコスプレの感想を聞いて回った動画、のようです。なんの企画なんだろ…。 twitter.com/ai_nurul_/stat...

タグ:

posted at 01:27:29

須藤玲司 @LazyWorkz

18年5月16日

マレーシアのコスプレイヤーが大阪のコスプレイベントでヒジャブコスプレの感想を聞いて回った企画、こちらが完全版動画かな?
j-culture.biz/?p=6694

前から気になってますが、マレーシアのヒジャブコスプレ業界には優秀な仕掛け人がいるようで、積極的なメディア戦略でブームを狙ってるようです。

タグ:

posted at 01:30:25

須藤玲司 @LazyWorkz

18年5月16日

イスラム女性、ヒジャブでコスプレ 戒律逆手に装い巧み
www.asahi.com/sp/articles/AS...

朝日新聞のエース・神田大介記者による、素晴らしいヒジャブコスプレ記事。半年前。
これに写真を提供していた方が、大阪でヒジャブコスプレの感想を聞いてまわる動画を上げてたアカウントの人でした。

タグ:

posted at 01:51:08

須藤玲司 @LazyWorkz

18年5月16日

ヒジャブでコスプレ イスラム教徒の女性内に日本のアニメ・ゲームが流行
jp.sputniknews.com/amp/culture/20...

一方こちらがスプートニクの記事。

>朝日新聞が報じた。

ひでえ!神田記者の記事を丸パクリかよ!正直に書いてるだけマシとはいえ。
載せてる写真もぜったい無許可だよなこれ…

タグ:

posted at 01:57:03

須藤玲司 @LazyWorkz

18年5月16日

マレーシア英字紙・New Straits Timesのヒジャブコスプレ記事、2018年2月。
twitter.com/nst_online/sta...

Kawaii Miisaさんというヒジャブレイヤーに取材してます。
マレーシアのヒジャブレイヤー一派はほんとメディア戦略がうまいので、今年の世界コスプレサミットでは名古屋から世界を驚かせてほしい。

タグ:

posted at 02:06:10

Jun Inoue @jun0inoue

18年5月16日

これよく見たら東ロボの人なのか。研究内容的に論理学の造詣は浅くないはずなのに何でこんな事に…

タグ:

posted at 02:10:35

タクラミックス @takuramix

18年5月16日

前川氏の姿勢は12年前から変わっていないという事だと思う。こういう姿勢、こういう考え方で社会や世界や仕事を捉えて生きてきた方なのだという事を前提にして前川氏の言動の意味するところを考察すべきだろう。 twitter.com/tamago3884/sta...

タグ:

posted at 02:15:07

あらきけいすけ@岡山理科大学 つぶやきは @arakik10

18年5月16日

@genkuroki この松田氏の記事もミスリーディングで、クッタ・ジューコフスキーの定理で揚力の大きさが計算できても、「なぜ翼で循環が発生するのか?」の根本の原因の説明(翼近傍で粘性による境界層ができるから)になっていないように思われます。説明に「粘性」がでない部分が問題に思えます。

タグ:

posted at 06:36:02

宮島正 @yasuokajihei

18年5月16日

新井典子→新井紀子 twitter.com/ainsophyao/sta...

タグ:

posted at 06:40:25

いち @kanaya

18年5月16日

新井紀子先生(@noricoco)の仕事は尊敬しているし「数学は言葉」は講義の参考書に指定しているぐらいなのだが,この対談の「ゲーデルの不完全性定理」の説明には苦言を申し上げざるを得ない→「ヘンタイよいこ」新井紀子は明日への希望を忘れない。-ほぼ日刊イトイ新聞 www.1101.com/torobo_talk_ar... #ほぼ日

タグ: ほぼ日

posted at 06:55:24

いち @kanaya

18年5月16日

ご本人の意図と違う方向に編集されてしまったのだろうか.それにしてもラッセルのパラドックスは見事に説明されているのに,ゲーデルの不完全性定理のことを「『人は言葉だけでは絶対にリアリティを共有できない』。そういう定理なんですよ。」と説明されるのは「???」

タグ:

posted at 07:26:22

KATO kosei / Ph.D / @sd_tricks_kato

18年5月16日

言葉で共有出来るものの限界はデイヴィッドソン、時間の共有はシュッツが精密に論じていますね。いずれもゲーデルとは関係無い筋のように思います。が、新井紀子神なら何でも可能ですからきっと何か新しい理論が生まれてるんですよ今。 twitter.com/hilarious_001/...

タグ:

posted at 07:53:40

ytb @ytb_at_twt

18年5月16日

たとえそうだとしても、たとえば TrueArithmetic を「リアリティ」と呼ぶのは、俗情に媚びて、ミスリーディングを狙った知的誠実性に欠ける行為だと思います。
というか、人様の営業トークをマジメに検証したり擁護したりするのは無意味では。 twitter.com/ainsophyao/sta...

タグ:

posted at 08:02:10

ytb @ytb_at_twt

18年5月16日

この「人様の営業トークをマジメに受け取る」のは無意味だが「人様の営業トークを擁護する」のはマチガイである、という微妙さ。

タグ:

posted at 08:23:40

nobwak @nobwak

18年5月16日

今をときめく新井紀子氏の。
驚くことに2010年刊。
「小学校では演繹的な能力(論理)よりも帰納的な能力(空気を読む)に長けているほうがうまく行動できる」社会でもそういうこと、あるよな。

「コンピュータが仕事を奪う(日本経済新聞出版社)」 amazon.jp/dp/4532316707/ #読書管理ビブリア

タグ: 読書管理ビブリア

posted at 08:26:31

48@ @bleu48

18年5月16日

3Dプリンタお持ちの方,たのむ。 twitter.com/end_tt/status/...

タグ:

posted at 08:36:02

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

ytb @ytb_at_twt

18年5月16日

@esumii すみません、超準モデルの中で帰納的データ型として「自然数」を定義したら、そのデータ型は、メタな視点から見ての超準数を含むように思えます。

タグ:

posted at 08:52:18

Hiroyasu Kamo @kamo_hiroyasu

18年5月16日

@paulerdosh 読みました。版元で躊躇する必要はありません。

タグ:

posted at 08:54:48

Ishida the Brain Dam @tbs_i

18年5月16日

アマゾン医学史ベストセラー1位になってる… twitter.com/genkuroki/stat...

タグ:

posted at 08:55:08

the_spoiler @don_jardine

18年5月16日

麻木久仁子が山本太郎支持宣言。それに賛意のリプがいっぱいぶら下がっている。麻木久仁子は一時期ラジオ番組などを通じてリフレ政策の勉強をしていたからそのあたりが支持の入り口かも知れないが、今回のことで放射能デマの被害について全く興味がないかデマ屋に与する人物であることを露呈した。

タグ:

posted at 09:38:02

黒木玄 Gen Kuroki @genkuroki

18年5月16日

神戸「世界一のツリー」騒動で糸井重里「炎上」 「批判者を批判?」ツイート連発に「幻滅した」 www.j-cast.com/2017/12/153167... @jcast_newsより

タグ:

posted at 09:42:02

黒木玄 Gen Kuroki @genkuroki

18年5月16日

樹齢150年の巨木を富山から神戸へ 「鎮魂」「世界一」企画への批判に実行委員会「残念」 www.j-cast.com/2017/11/273149... @jcast_newsより

タグ:

posted at 09:42:40

黒木玄 Gen Kuroki @genkuroki

18年5月16日

この「糸井 ツリー」の炎上の件はついさっき初めて知った。

タグ:

posted at 09:44:29

ライオンクローバー @lionclover

18年5月16日

新井さんの不完全性定理の話し、批判、擁護どちらもありだと思ったが、新井家なるものがでてきてとても落胆しました。

タグ:

posted at 09:56:27

Shota Gugushvili @GugushviliShota

18年5月16日

New preprint: Bayesian volatility learning under market microstructure noise. Joint with @MoritzSchauer twitter.com/statmlpapers/s...

タグ:

posted at 10:13:39

KATO kosei / Ph.D / @sd_tricks_kato

18年5月16日

新井家が「言語ではリアリティを共有出来ない」がゲーデルの不完全性定理の正しい説明なら、みんなに理解出来るように補足説明すりゃ良いのになあ。 pic.twitter.com/3F4ILjBqcj

タグ:

posted at 10:23:01

黒木玄 Gen Kuroki @genkuroki

18年5月16日

@paulerdosh @kamo_hiroyasu 新井紀子さんさんはクオリアな連載でクオリアの人とも対談していて雑誌記事にもなり、単行本にもなっています。このことはつい最近知りました。

新井さん自身がそういう方針なのだと思います。

www.google.co.jp/search?q=%E2%8...

タグ:

posted at 10:23:08

S (ツイートはスレッド全体をご確認く @esumii

18年5月16日

論理学は形式的記号論理だけじゃなくて ja.wikipedia.org/wiki/%E8%A9%AD...ja.wikipedia.org/wiki/%E8%A9%AD... などの「古典的」側面も(ひょっとしたら形式論理より)重要だと思う。

タグ:

posted at 10:29:46

黒木玄 Gen Kuroki @genkuroki

18年5月16日

#超算数 新井紀子さんと新井敏康さんの共著の『計算とは何か』2009には【-3個とかπ個とはいいません】と書いてあるのですが、「-3個」とか結構言いますよね。

算数教育の世界にはパターン化された独自の体系があって、そういうのに影響されているのだと私は思いました。

twitter.com/genkuroki/stat...

タグ: 超算数

posted at 11:24:44

黒木玄 Gen Kuroki @genkuroki

18年5月16日

#数楽 子供がいたずらっぽい目をして「π個」という言い方を正しく用いる場面を想像するのは楽しいことだと思う。

タグ: 数楽

posted at 11:24:48

黒木玄 Gen Kuroki @genkuroki

18年5月16日

#超算数 以上の件は、新井紀子さんだけではなく、共著者の新井敏康さんにも責任が生じる話。

1/2個と言うことがある点を認めている点は、伝統的な算数教育の頭の堅い悪しきスタイルから一歩出ているのですが、-3個とは言わないとしてしまっているので、悪しき呪縛から逃れていないことは明瞭。

タグ: 超算数

posted at 11:24:48

黒木玄 Gen Kuroki @genkuroki

18年5月16日

#超算数 私が酷評している新井紀子さん単著の『ハッピーになれる算数』も、算数教育の伝統的な悪しきスタイルから一歩出た内容になっているのですが、【日本語と数学は相性が悪い】とか【最初の式には、問題に出てきた数しか使わないこと】と書いてあって子供にとって有害な本になっています。

タグ: 超算数

posted at 11:24:49

黒木玄 Gen Kuroki @genkuroki

18年5月16日

#超算数 新井紀子著『こんどこそ!わかる数学』では【図1は教科書の「オームの法則」のところに出て来る図です】とオームの法則に関する「くもわ」「きはじ」図が掲載されています。そういう図を引用したら教育的に問題があることをきちんと指摘しておくべきだと思うのですが、そうなっていません。

タグ: 超算数

posted at 11:24:50

黒木玄 Gen Kuroki @genkuroki

18年5月16日

#超算数 新井紀子さんによるオームの法則版の「きはじ図」の引用の仕方については以下のリンク先を見て下さい。さらっと普通に引用して先に進んでしまっています。教育関係の本でこれはまずいと思う。きちんと批判しておくべき。

twitter.com/genkuroki/stat...

タグ: 超算数

posted at 11:24:51

黒木玄 Gen Kuroki @genkuroki

18年5月16日

#超算数 以上の引用を見ればわかるように、新井紀子さんは(もしかしたら新井敏康さんも)既存の問題のある算数の教え方の問題について真剣に考えていない可能性が高いのです。

考えが足りず、徹底して考え抜いた結果を述べているような場合に生じるスッキリ感がない。

タグ: 超算数

posted at 11:24:51

黒木玄 Gen Kuroki @genkuroki

18年5月16日

#超算数 こういう感じになっていること(徹底して考え抜いていないように見えること)は、算数・数学教育関係の情報を追っている人以外には気付き難いことだと思います。

タグ: 超算数

posted at 11:24:52

黒木玄 Gen Kuroki @genkuroki

18年5月16日

#超算数 悪名高い「きはじ図」については、社会的には数学者に分類されるであろう浪川幸彦さんが数学セミナー誌の連載で肯定的に言及するというショッキングな事件もありました。

twitter.com/genkuroki/stat...

タグ: 超算数

posted at 11:24:53

黒木玄 Gen Kuroki @genkuroki

18年5月16日

#超算数 新井紀子さんも浪川幸彦さんも、日本数学会教育委員会委員だった経歴があります。

以上の情報は日本数学会教育委員会は算数教育の現状を嘆く保護者達の味方では無さそうなことを示唆しています。

twitter.com/sekibunnteisuu...

タグ: 超算数

posted at 11:24:53

黒木玄 Gen Kuroki @genkuroki

18年5月16日

#超算数 どうしてこんなことに…。頭が痛過ぎる問題。😭

タグ: 超算数

posted at 11:24:54

黒木玄 Gen Kuroki @genkuroki

18年5月16日

#超算数 「オームの法則」に関する「きはじ図」が載っている教科書って本当にあるの? あるとしたら、相当にまずい事態になっていると思う。

誰かが写真を見せてくれたら、私が重要情報として拡散します。

教科書名、出版社、出版年の情報必須。

タグ: 超算数

posted at 11:31:23

Akinori Ito @akinori_ito

18年5月16日

@genkuroki 教科書ではありませんが、Webサイトでも使っているようなので、予備校では教えている可能性があると思います juken-mikata.net/how-to/physics...

タグ:

posted at 11:38:01

Hiroyasu Kamo @kamo_hiroyasu

18年5月16日

大栗 数学の言葉 s.gentosha.jp/index.php?disp... では不完全性定理の前提から再帰的公理化可能性が抜けているのだけど、そんなに反感を覚えないし、読者に有害とも思わないんですよね。正確さの観点からは重大な瑕疵だけど、啓蒙書としては小さな欠点だと感じるのは、他の観点で優れているからでしょう。

タグ:

posted at 11:38:03

Akinori Ito @akinori_ito

18年5月16日

@genkuroki オームの法則で受験関係のWebサイトの2つに1つはきはじ図が載っている

タグ:

posted at 11:44:17

黒木玄 Gen Kuroki @genkuroki

18年5月16日

@akinori_ito ウェブの検索で見つかることは知っています。

twilog.org/genkuroki/sear...

問題は教科書にも載ってしまっているかどうか。 #超算数

タグ: 超算数

posted at 11:50:14

黒木玄 Gen Kuroki @genkuroki

18年5月16日

#超算数 中学校1年の数学の教科書に「みはじ図」が載っていたという情報があって頭が痛い。

新井紀子さんによれば、オームの法則の「みはじ図」が載っている教科書もあるらしい。写真が見たい。

twitter.com/genkuroki/stat...

タグ: 超算数

posted at 11:53:48

Hiroyasu Kamo @kamo_hiroyasu

18年5月16日

若い人には解説が必要? 版元の青土社はニューサイエンスを名乗るオカルトもどきが流行った時に旗をふった出版社の一つです。なので、この版元でこのテーマは、普通ならイエローアラートなのです。 twitter.com/kamo_hiroyasu/...

タグ:

posted at 12:02:13

大栗博司 @PlanckScale

18年5月16日

@kamo_hiroyasu そのように書いていただけると、嬉しいです。執筆の際には、いろいろとご教示いただき、ありがとうございました。より正確な解説の仕方がないか、考えてみます。

タグ:

posted at 12:13:30

非公開

タグ:

posted at xx:xx:xx

ytb @ytb_at_twt

18年5月16日

よくある誤解で【たとえばZFを絶対だとしても、連続体仮説を正しいか否かは数学的(=言語)で示せない。だから連続体仮説を信じるか否か(=リアリティ)は各人の自由ということ】というのがありますが、「絶対」なのは「ZFとCHが独立である」という「事実」だけで、CHの正しさは問題にはなりません

タグ:

posted at 12:17:47

ytb @ytb_at_twt

18年5月16日

CHは、群論の可換則と同じです。可換な群もあれば非可換な群もあります。「可換則は絶対に正しいのか」という問いは、聞く方が間違っているように思えます。

タグ:

posted at 12:20:34

Hiroyasu Kamo @kamo_hiroyasu

18年5月16日

@phasetr ZFC→群の公理系, 連続体仮説→交換則 と置き換えてみると、不自然な主張をしているのが見えてくるでしょう。

タグ:

posted at 12:25:28

はやし @t_hayashi

18年5月16日

@kagamin_hr うーむ。いや、ほんと、「うーむ」以外に言葉が出てこないです。

タグ:

posted at 12:32:01

非公開

タグ:

posted at xx:xx:xx

S (ツイートはスレッド全体をご確認く @esumii

18年5月16日

権威論証(「誰々も同じことを言っている」)の変種として、本当は「同じこと」を言っていない、ないし「同じことを言っている」ことが客観的に確認できない、というパターンに名前はついているのだろうか

タグ:

posted at 12:36:51

S (ツイートはスレッド全体をご確認く @esumii

18年5月16日

「私への批判は{誤解,無理解,読解力不足,差別,偏見,人格攻撃,マウンティング}だから不当である」論法も。>名前がついているか

タグ:

posted at 12:40:34

非公開

タグ:

posted at xx:xx:xx

ぶんじカンパニー @bunji1818

18年5月16日

@NeXTSTEP2OSX stlデータをもらえれば印刷するよー

タグ:

posted at 12:47:04

Nyoho @NeXTSTEP2OSX

18年5月16日

@bunji1818 キタ━━━━(゚∀゚)━━━━!! @end_tt さんという方が素晴らしい動く立体のCGを製作されているんよ。end_ttさん、もし実物を試作してみたいということでしたら、是非ともこの僕の同級生の「ぶんじ」という男にお声をおかけ下さい! (stlデータに変換できれば)

タグ:

posted at 12:51:04

ジョナサン @itai_daboku

18年5月16日

@phasetr たしかに群の定義から交換法則は証明できないが、そういう群が必要なら別途アーベル群を定義すればいいだけの話と、連続体仮説が正しいか否かは同列に語れん気が。単に連続体仮説が必要なケースに出会ったことがないだけかもしれんが。

タグ:

posted at 13:03:19

Hiroyasu Kamo @kamo_hiroyasu

18年5月16日

@PlanckScale 良書をありがとうございます。勤務先の理学部数物科学科で、学部学生たちが輪講をしています。あちらの学科の先生に好評で勧められたもののようです。

タグ:

posted at 13:04:06

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

黒木玄 Gen Kuroki @genkuroki

18年5月16日

コンピューター将棋が人間より強くなったおかげで、将棋が思っていたよりずっと面白いゲームだったことに気付いた人達がいて、そういう雰囲気はプロ棋士達にも伝わっていたと思う。将棋を面白いと思う人が増えたことは棋士達にとって素直に嬉しいことだったのだと思う。

twitter.com/issei_y/status...

タグ:

posted at 13:21:40

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

Hiroyasu Kamo @kamo_hiroyasu

18年5月16日

こう置き換えれば不自然さがわかりやすいかな:たとえば郵便法を絶対だとしても、郵便差出箱が丸いか四角いかは法的(=言語)には示せない。だから郵便差出箱が丸いと信じるか否か(=リアリティ)は各人の自由ということでしょ。 twitter.com/euler_equation...

タグ:

posted at 13:39:53

黒木玄 Gen Kuroki @genkuroki

18年5月16日

@phasetr その話は知らないです。誰のどの本に関する誰の評価の話ですか?

タグ:

posted at 13:50:19

黒木玄 Gen Kuroki @genkuroki

18年5月16日

@phasetr 新井紀子さんは「リアリティ」という言葉を多義的に使っているので、東ロボくんが具体的に何をやっているか(結構おもろいことをやっている)について興味がある人は要注意。

東ロボくんの数学班の出発点は、「実閉体上の量化子除去」です。不完全性定理を適用でき**ない**場合を本質的に使っています。

タグ:

posted at 13:55:20

非公開

タグ:

posted at xx:xx:xx

黒木玄 Gen Kuroki @genkuroki

18年5月16日

@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

非公開

タグ:

posted at xx:xx:xx

黒木玄 Gen Kuroki @genkuroki

18年5月16日

@phasetr 実閉体の理論は量化子除去定理によって完全でかつ決定可能であることがわかっています。(不完全性定理が適用できない場合になっている。) 完全で決定可能であるからこそ、東ロボくんで役に立っているわけです。「リアリティ」(笑)をその場合には共有できるわけです。

タグ:

posted at 14:05:48

黒木玄 Gen Kuroki @genkuroki

18年5月16日

@phasetr 実閉体の理論を超えた部分では多分苦労している。

でも、数学の入試問題程度のことでの困難に、ゲーデルの不完全性定理の話は関係ないと思います。

自分達がやった誇るべき仕事なんだから、もっと正確に宣伝すれば良いのになと思いました。

タグ:

posted at 14:09:27

くるる @kururu_goedel

18年5月16日

色々考えているんですが、多分あのページはかなり多くの人に読まれると思うので取り急ぎ、糸井氏と早野氏との対談で、新井紀子氏がゲーデルの不完全性定理に関して誤解を招く表現を使ったことについて抗議します。

タグ:

posted at 14:11:00

黒木玄 Gen Kuroki @genkuroki

18年5月16日

@phasetr 個人的な意見では、この件で新井紀子さんのセールストークの解釈論に関わるのは時間の無駄。

照井一成さんの良書を読んで宣伝した方が良いと思う。
www.amazon.co.jp/dp/4791768515

新井紀子さん個人についてはゲーデル云々ではなく教育政策方面で要注意だと思います。

タグ:

posted at 14:16:07

くるる @kururu_goedel

18年5月16日

奥歯にものが挟まったような言い方になっているのは、比喩としてはぎりぎり成立しそうな表現になっているからですが、むしろだからこそ罪深いと思ってます。ポモの常套手段である、弱い解釈と強い解釈が両方できる表現でミスリードする手法として捉えるべきかと。

タグ:

posted at 14:17:21

黒木玄 Gen Kuroki @genkuroki

18年5月16日

@phasetr ちなみに、照井さんの本の最後(pp.342-343)には、構成的証明支援系で開発された方向性を、東ロボくんで実閉体での量化子除去とは別アプローチとして展開できないだろうか、のようなことも書いてある。

東ロボくんも可能な技術を全部使ったとはとても言えない段階で終了してしまったのだと思います。

タグ:

posted at 14:22:39

黒木玄 Gen Kuroki @genkuroki

18年5月16日

@phasetr いえ、私はミスが多い人間で多くの人の素早い指摘のお陰で助かって来ました。今回は珍しく逆側で貢献できてよかったです。私がやばそうなときには助けて下さい。

タグ:

posted at 14:25:16

くるる @kururu_goedel

18年5月16日

その点、白カビさんは鋭いのだけど、ただほぼ日刊イトイ新聞の普通の読者が、例えばあの文での「リアリティ」を「真の算術」と解釈することは絶対にありえないと言う点で、ミスリードしようとしているのは間違いないですね。
twitter.com/ainsophyao/sta...

タグ:

posted at 14:26:24

くるる @kururu_goedel

18年5月16日

ちゃんといろいろ洗い出して批判を加えるべきかとは思うんですけど、今忙しくて…。とりあえず、私を信用してくださる方は、周りの人があれを信じてしまっているようなら、鵜呑みにしないほうがよいらしいと伝えてもらえれば。

タグ:

posted at 14:29:14

くるる @kururu_goedel

18年5月16日

ところで、早野先生が昔ゲーデルの不完全性定理について、間違いといって差し支えない紹介をしていたのに、鴨先生などが抗議していた件では、訂正や謝罪などはありましたっけ。早野先生が書いていることは信頼する人が多いと思うで、あれも野放しは困るなぁと思うのですが。

タグ:

posted at 14:35:42

S (ツイートはスレッド全体をご確認く @esumii

18年5月16日

@kururu_goedel 仮にそう解釈しても、超準モデルを排除する自然数の形式化(「言葉」)はいくつか存在するので、原文(特に「絶対に」という部分)は比喩としても誤り、という理解で合っているでしょうか。(お忙しいところをすみません。お時間のあるときか、なければ無視していただいても構いません)

タグ:

posted at 14:46:02

くるる @kururu_goedel

18年5月16日

@esumii 「言葉」も帰納的に記述できる一階述語論理の論理式の集合となに制限された意味で使われているのだと逃げるのでは?一般の読者向けなのだから詳細は断らずともよいといいだすのかもしれませんが、そこが問題だと思っています。

タグ:

posted at 15:13:10

S (ツイートはスレッド全体をご確認く @esumii

18年5月16日

@kururu_goedel こちらもありがとうございます。自然数のモデルを同型を除いても一意に特定することができないような「言葉」(論理体系)「も」ある、ならば良いのですが、「絶対に」とまで言っているので、さすがに2階論理や帰納的(inductive)定義は数学的な「言葉」ではない、という主張は無理があると思いました。

タグ:

posted at 15:46:42

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

Ryuichiro Miyanaga @Lisbon22

18年5月16日

「AIでは絶対に代替できない仕事の多くは、女性が担っている仕事です。介護しかり、子育てしかり。だって、そうでしょう。狩りをするのは...ドローンに代替させられるかもしれませんが、子育ては…最後まで人間がすべき高度知的労働として残ります」(新井259)
うーん。

タグ:

posted at 18:35:26

結城浩 / Hiroshi Yuki @hyuki

18年5月16日

書籍『数学ガール/ゲーデルの不完全性定理』(結城浩) www.hyuki.com/girl/goedel.html @hyukiより

タグ:

posted at 18:39:10

真夜中 @cqjohnberger

18年5月16日

この新井さんのは、本当にうーんですよね…AI speakerとか性差を感じさせないwake wordになっていて、考えられているし、教科書的ですが、技術の発達は家事労働の負担を晴らし女性の社会進出を支えてきた側面だってあるのに。 twitter.com/Lisbon22/statu...

タグ:

posted at 18:42:19

Tomoya TENDO @end_tt

18年5月16日

@NeXTSTEP2OSX @bunji1818 おおー!すごい方をご紹介いただきありがとうございます!ぶんじさんよろしくお願いします!ツイート拝見しましたがたまねぎぼーるが好きです!

タグ:

posted at 18:42:44

Tomoya TENDO @end_tt

18年5月16日

@NeXTSTEP2OSX @bunji1818 もし出力していただけるなら、
twitter.com/end_tt/status/...
が3Dプリンタで作れるかが気になっています。
ツイートしたもののデータならstlでいつでもお渡しできますが、クリアランスとか組み立て方などを考えると修正するべきなのかな?と思っています。

タグ:

posted at 18:47:21

Frames Catherine Whi @oxinabox_frames

18年5月16日

@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

タビトラ @tabitora1013

18年5月16日

性教育の話になると、必ず「性教育については各家庭で!」という方がいらっしゃるのだけど、経産婦の中絶の事情とかそもそもの避妊知識のなさとか知られてないんだろうなと思います。
避妊とか少子化に関わる議員でも膣外射精が避妊だと思ってる人がかなりいて椅子から転げ落ちたから各家庭では無理。

タグ:

posted at 18:51:54

Takayuki Kihara @tri_iro

18年5月16日

読解力のない人間なので、新井紀子先生の説明見た感じだと自然数論だかTh(N)だかの超準モデル存在する、という文章に読んでしまったので、それだと不完全性定理とは全く関係ないじゃんと思ってしまっていたんですが、そういうことか。リアリティの部分をTh(N)と解釈するって要求読解力高い……。

タグ:

posted at 18:52:52

非公開

タグ:

posted at xx:xx:xx

Takayuki Kihara @tri_iro

18年5月16日

@tadamago 私も最初「地球人と宇宙人が算術のelementarily equivalentな異なる2つのモデルを思い浮かべていて、一階論理の言葉で会話しているから、異なるモデルについて語っていることにずっと気づかない」という話に解釈してしまって、それだと不完全性定理全く関係なくない???と混乱してしまったのでした

タグ:

posted at 19:15:43

ryugo hayano @hayano

18年5月16日

タミフル、10代もOKに 異常行動との関連認められず:朝日新聞デジタル www.asahi.com/articles/ASL5J...
「厚労省は、添付文書の警告欄に書かれた「10歳以上の未成年の患者に、原則として使用を差し控えること」を削除する方針」

タグ:

posted at 19:42:54

Takeshi Sakaki@不惑 @tksakaki

18年5月16日

「某不完全性定理の説明が不適切なことが俺にわかるだろうか。。。」と思って記事読んだら瞬殺で分かった。新書でも言わないレベルの不適切さだった。

タグ:

posted at 20:13:04

Takayuki Kihara @tri_iro

18年5月16日

@tadamago はい、それはそうなんですが、文章の流れからelementarily equivalentなモデルを思い浮かべてしまって、ちょっと混乱したという流れです。

タグ:

posted at 20:25:01

ナニータニキータ僕スキータ! @131Nicome

18年5月16日

新井紀子さんって数学者だったのか。
ずっと国語の人だと思っていた。
それなりに長い期間、Twitterでフォローしてたけど、読んでいるうちに良くない気分になることが多くなって、フォローやめたのを思い出した。 twitter.com/yu_phd/status/...

タグ:

posted at 20:25:50

Naoaki ONO @naono_twt

18年5月16日

新井先生にはこれ以上人前でラッセルやゲーデルを語る前に数学ガールを143回ぐらい読み込んでおくことをお勧めしたい...

タグ:

posted at 20:30:08

かわず @kawazu1147

18年5月16日

新井紀子先生のやついまさら読んだんですけど、正しいとか間違ってるとかではなくて、何か意味のある主張をしてるように見えないんですけど、これみなさま読んで意味わかるんですか

タグ:

posted at 20:30:34

mod_poppo @mod_poppo

18年5月16日

不█全█定理のエモい話で炎上するの、日頃の行いのおかげという感じがする

タグ:

posted at 20:41:39

rls @quolc

18年5月16日

Googleあたりがさっさと本当の東ロボくんを作ってしまい、みんながスカッとする展開を求めてしまう悪い心がある

タグ:

posted at 20:44:35

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

(「・ω・)「ガオー @bicycle1885

18年5月16日

速く1.0のリリースを... NamedTupleが使いたいんや...

タグ:

posted at 21:37:35

(「・ω・)「ガオー @bicycle1885

18年5月16日

あとcount_onesがpopcntを吐かないのも直ってるはず...

タグ:

posted at 21:38:58

あ〜る菊池誠(反緊縮)公式 @kikumaco

18年5月16日

山本太郎は
1. 経済政策はよく勉強していて、まともな主張をする数少ない議員のひとり
2. 放射能についてはあまりにも無知で、放射能デマを撒き散らした議員の中でも最悪のひとり twitter.com/kunikoasagi/st...

タグ:

posted at 21:58:00

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

三乗根 @cubic_root3

18年5月16日

ご夫婦揃ってアカン人じゃないですか…
本当に数学者なのか? pic.twitter.com/7hHAP3LU1D

タグ:

posted at 22:19:26

非公開

タグ:

posted at xx:xx:xx

PseuDoctor@フォロワーさん以外 @_pseudoctor

18年5月16日

@konamih こなみさん、件の記事が「警鐘を鳴らす医師への言い掛かりに近い」ダメ記事である点には強く同意しますが、一点だけ。「確立した免疫療法」は存在します。その代表が比較的最近に実用化された「免疫チェックポイント阻害剤」です。こちら ganjoho.jp/public/dia_tre... なども御参考にどうぞ。

タグ:

posted at 22:40:24

シータ @Perfect_Insider

18年5月16日

結局今回の件をまとめると「当人は不完全性定理を誤解しているわけではなさそうだが、ほぼ伝わらない独りよがりの比喩を振り回して凄まじく説明が下手である」ということで、東大ロボだの子供の読解力低下だの扱ってる人の説明力が壊滅的というのは、不完全性定理を誤解してるよりもまずい事態では。

タグ:

posted at 22:44:13

部品(森七菜) @tjmlab

18年5月16日

「ロボットは東大に入れるか」の新井紀子教授は研究者としてすごい mywarstory.tokyo/corruption-of-...

「あ、ちなみに、(プロジェクトで)私失敗したことないんで🙂」

ワイもこれ言いたい(。>﹏<。)

タグ:

posted at 22:47:17

こなみひでお @konamih

18年5月16日

ありがとうございます。私の勉強不足でした。この分野は日進月歩なので何かを公言するときには確認が必要ですね。 twitter.com/_pseudoctor/st...

タグ:

posted at 22:50:23

鰹節猫吉 @sunchanuiguru

18年5月16日

#超算数 「つりあっていれば動きません」の問題は、普通に出題ミスだと思いますが。こういう出題ミスはまずなさそうだが…ありうるとすれば、一番下での速さを提示してどこまで到達できるかという問題で、エネルギー保存則で計算するとちょうど最高点まで到達できるはずというやつですね 続 twitter.com/hayano/status/...

タグ: 超算数

posted at 23:53:03

非公開

タグ:

posted at xx:xx:xx

@genkurokiホーム
スポンサーリンク
▲ページの先頭に戻る
ツイート  タグ  ユーザー

User

» More...

Tag

» More...

Recent

Archive

» More...

タグの編集

掛算 統計 超算数 Julia言語 数楽 JuliaLang 十分 と教 モルグリコ 掛け算

※タグはスペースで区切ってください

送信中

送信に失敗しました

タグを編集しました