黒木玄 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月17日(木)
山本太郎さんは放射線デマと福島差別に加担した人物であり、国会での質問も経済の勉強はよくしていると評価出来る面もあるが、人を侮辱しこき下ろす悪趣味な言説が繰り返されており、知識があろうが実行力があろうが人間性を信用できない。そういう人物を支持する麻木さんも信用出来ない。 twitter.com/kunikoasagi/st...
タグ：
posted at 01:07:46
「数学者の田中一之によれば、ゲーデルの名や定理は「知的会話」に頻出している。フランセーンが述べたように、インターネットのどんなニュースグループでも、遅かれ早かれ誰かがゲーデルの定理を持ち出す。」遅かれ早かれ…。 ゲーデルの不完全性定理 - Wikipedia ja.wikipedia.org/wiki/%E3%82%B2...
タグ：
posted at 02:04:10
「…フランセーンによれば、ゲーデルの不完全性定理と結び付けられるテーマはロジック、数学、計算、哲学、物理学、進化論、政治、宗教、無神論、神学、文学、詩歌、写真、建築、音楽、ヒップホップ、デートなど多岐にわたる。」
タグ：
posted at 02:06:49
「…実際には不完全性定理は、「形式体系の無矛盾性と完全性についての定理」である。確かに「矛盾」「無矛盾」「完全」「不完全」「体系（システム）」という語は、専門用語でない言語とも結びつきがあるが、およそこのような結びつきは不完全性定理と関係が無い。」
タグ：
posted at 02:11:20
非公開
タグ：
posted at xx:xx:xx
OokuboTact 大久保中二病中年 @OokuboTact
新井氏の不完全性定理が話題。
私はニューアカ世代なんで、数理論理学の専門家から見れば、ニュー赤で流行した時代錯誤の上にトンデモなゲーデル解釈で、初めて不完全性定理を知った。
タグ：
posted at 07:52:19
OokuboTact 大久保中二病中年 @OokuboTact
最近、講談社文藝文庫から、柄谷行人の『内省と遡行』が復刊した。解説は浅田彰で1988年に書かれた解説と同じ。何を言ってるのか理解できないので、誰か解説して欲しい。
タグ：
posted at 07:59:33
OokuboTact 大久保中二病中年 @OokuboTact
講談社文藝文庫からは、小説家の森小説家森敦の、意味の変容とマンダラ紀行が合本で復刊。これも不完全性定理の話で、解説に柄谷行人と浅田彰と岩井克人が寄稿。
タグ：
posted at 08:03:31
OokuboTact 大久保中二病中年 @OokuboTact
ニュー赤の不完全性定理が時代錯誤なのは、パラドクス史観だから。
しかも解釈が間違いだらけ。
私も彼らの解釈を素直に信じて、大恥をかいた
黒歴史
タグ：
posted at 08:07:19
非公開
タグ：
posted at xx:xx:xx
twitter.com/perfect_inside...
シータさんの言う通りだと思いました。
「ずさんなセールストーク」の「正しい解釈」を探すのは時間の無駄。
私のTLでは
照井さんの本
www.amazon.co.jp/dp/4791768515
結城さんの本
www.amazon.co.jp/dp/4797352965
が人気。こういう真に面白い本が広まれば良いと思う。 pic.twitter.com/GYFqW9sXY2
タグ：
posted at 09:28:17
あと、東ロボくんが用いた数理論理学の道具は、ゲーデルの不完全性定理が適用でき**ない**場合に含まれます。
完全で決定可能な数学的体系も存在し、その中では原理的にはコンピューターであらゆる定理を証明できます。東ロボくんはそのような体系の一例である実閉体の理論を使っています。続く
タグ：
posted at 10:21:23
東ロボくん数学班が具体的に何をやっていたかについては
repository.kulib.kyoto-u.ac.jp/dspace/bitstre...
www.fujitsu.com/downloads/JP/a...
pc.watch.impress.co.jp/docs/column/ky...
を参照しました。森山さんの記事は数学班に限らず、東ロボくんが何をやっているかをわかりやすく解説しています。
タグ：
posted at 10:21:25
実閉体の決定可能性のまとまった数学的解説は、例えば、
板井昌典、実閉体の決定可能性 そして順序極小理論、数学のたのしみ、2006秋号、pp.81-100
にあります。Lefschetzの原理が代数閉体の理論の完全性の帰結であることも書いてある。
タグ：
posted at 10:21:26
数理論理学的由来の道具に限っても、東ロボくんはすべてを使い切っているわけではありません。
上で紹介した照井さんの本の最後には証明支援系の紹介がある。証明支援系で得られた「データ」を使った機械学習でどれだけ自動証明が可能になったかに関する結果も紹介されています(上掲書pp.338-343)。
タグ：
posted at 10:21:26
東ロボくん方面から数学に興味を持った人にとって、次に読むべき本として照井一成さんの本は極めて適切。「ずさんなセールストーク」とは正反対のスタイルで書かれた非常に面白い本です。著者の個人的意見についても明瞭に書かれており、無難で手堅い話だけで終わっている本でもありません。
タグ：
posted at 10:21:27
おまけ：添付画像は
japan.zdnet.com/article/350404...
からの東ロボくんの答案の孫引き。実閉体の体系に関する数理論理学の結果を使っている様子が見えます。RCFはReal Closed Fieldの略。 pic.twitter.com/gYk4a2cXqZ
タグ：
posted at 10:32:45
新井さんのAI～はキンドル版を購入して、ふーんと言う程度の読み流しだったのだけど、色々誤魔化ししているのが気になった記憶。特に統計において意図時に誤読狙っている表現がいくつか
タグ：
posted at 10:36:54
さいわい、今は不完全性定理の良い入門書が入手可能なので、昔よりはましになりました。
専門家の書いた良書の例：照井一成『コンピュータは数学者になれるのか？』www.seidosha.co.jp/book/index.php...
非専門家の書いた良書の例：結城浩『数学ガール／ゲーデルの不完全性定理』www.sbcr.jp/products/47973...
タグ：
posted at 10:57:21
@KKenNakamura 例えば、ゲーデルの不完全性定理は【人は言葉だけでは絶対にリアリティを共有できない】という定理だとあるのですが、ここの「言葉」「リアリティ」が何を指しているのかが曖昧で、予備知識がない人が読むとほぼ確実にこの定理を誤解するだろうと思います。
タグ：
posted at 11:49:46
長期的には日銀はダメ組織のまま今後も日本人を苦しめそう。
@Bank_of_Japan_j
@AbeShinzo
@sugawitter twitter.com/zoukers/status...
タグ：
posted at 11:57:15
鈴木 亘（すずき わたる、1970年（昭和45年）9月21日[1] - ）は、日本の経済学者。専門は社会保障、医療経済学、福祉経済学。学習院大学経済学部教授。博士（経済学）（大阪大学、2001年）。
日銀在籍 1994~1998年
三重野、松下時代 twitter.com/zoukers/status...
タグ：
posted at 12:19:12
#超算数 現実の #掛算 順序問題に関する議論としては以下に引用するめーじんさんの側が一方的に正しい。
現実にどのような教え方が勧められているかについて何も調べずに、自分勝手な想像をもとにした意見を繰り返す人が理系高学歴者の中からよく出て来ている。
twitter.com/ogtkzk/status/...
posted at 13:00:30
#超算数 現実にとある教科書出版社が勧ている #掛算 順序固定強制指導については以下のリンク先を参照。x,yのような文字を使う段階になってもこんな感じ。8×xだと8円のノートx冊の意味なると主張している。等号の左辺と右辺の順序にも一方的なお勧めがあるらしい。酷すぎ。
twitter.com/genkuroki/stat...
posted at 13:00:32
非公開
タグ：
posted at xx:xx:xx
RussianGoFederation @GoFederationRu
San-san invasion instead of kakari on 9 stones handicap by Cho Chikun, 9p.
Is it a good plan? pic.twitter.com/TZV8mHXMFu
タグ：
posted at 13:57:18
@KKenNakamura 「リアリティ」を自然数論を含むような体系のモデル、「言葉」は帰納的に定義できるそのモデル上で真となる文の集合、「共有」をその文の集合を元に最初のモデルを正確に再構成することと考えれば、不完全性定理によりそれが不可能なことは言えます。
タグ：
posted at 14:21:10
Nonlinearity matters. Linear diffusion (heat) has non-compactly supported solutions. Non-linear diffusion (porous medium) drives dynamics with compactly supported solutions. The porous medium is the simplest case, studied in details by Otto. www.mis.mpg.de/preprints/1999... pic.twitter.com/mLomvyaWCF
タグ：
posted at 15:17:08
反ワクチンもそうだけど、自然派育児みたいなのに嵌るママって中途半端に高学歴だったり暇だったりするんだよね。結局のところは「みんなと違ってよく考えてる私」「子供のために学んでいる私」を自己演出して承認欲求を満たしてるだけなんじゃないかと思う。放射能騒ぎの時もそうだったけど。
タグ：
posted at 16:19:16
自然派育児も反ワクも反放射〇も、それ間違ってますよ、証拠はこれですよ、って言われて「な～んだそっかぁ」と戻ってこられないのは「子供のことをよく考えて勉強してる賢い行動力のある母親」から「風説に流されて子供を危険にさらした愚かで情弱な母親」への転落だから、そりゃ簡単には無理だろう。
タグ：
posted at 16:27:39
何度も言います。高プロは必要性なし、内容も問題だらけ、さらに審議もボロボロ。絶対導入してはいけません。ご賛同、お願いします！！ www.change.org/p/%E9%81%8E%E5...
タグ：
posted at 16:45:09
非公開
タグ：
posted at xx:xx:xx
@kamo_hiroyasu しかも、「（俺らが決めた）邪道に従わない者を罰する、なぜならそれが（俺らが決めた）ルールだから！」という「教育者」まで現れて有害ですね。
タグ：
posted at 16:48:53
本日高校に呼ばれて、模擬授業（大学広報の一環）を2回。あなたは時給800円でバイトの約束をしました。愛知県の最賃は871円です。さて、あなたの時給はいくら？生徒「800円です」私「なぜ？」生徒「約束したから」「高校生だから」「バイトだから」。2回とも、この回答。やりがいあったわー。
タグ：
posted at 17:15:27
「一人くらいは逆張りマンがいたほうがいいよね」程度の理由であの数々の悪行をなかったコトにできるワケねえだろ思いつきでテキトーなこと口走ってんじゃねえ twitter.com/Simon_Sin/stat...
タグ：
posted at 17:31:17
固体量子(研究室公認VTuber) @QM_phys_kyoto
超伝導 × カーリング
#ローレンツ祭 pic.twitter.com/IGwRwsR9Zg
タグ： ローレンツ祭
posted at 17:54:13
Robert Geller; ロバート・ @rjgeller
この頃iPhoneでほぼ毎日スパムSMSを受信している。1つ1つをすぐ削除しているので大した問題にならない。でも送信者をどうやってブロックするかを知らなかった。やっとこのページをみつけた。簡単だ。まぁ、モグラ叩きになりそうだが。。。 www.pcworld.com/article/284898...
タグ：
posted at 18:41:56
@vecchio_ciao @kamo_hiroyasu 日本福祉大学の渡辺靖敏氏の事ですね。
19452051.at.webry.info/201804/article...
＞「数学がすらすらできてしまう人ほど、子どものつまずきがみえないから、子どもの側に立った教え方ができないもんだよ」
19452051.at.webry.info/201801/article...
＞高校数学の問題になると、私はお手上げ
タグ：
posted at 18:46:48
@vecchio_ciao @kamo_hiroyasu www5b.biglobe.ne.jp/~nabe2051/sann...
＞いまが、正念場。 私も、全員の子が『免許皆伝』になるように、しごきますぞ。 覚悟！！！！！
＞・かけ算は、
寝ても覚めても
「1あたり量」のことばかり
タグ：
posted at 18:50:43
@vecchio_ciao @kamo_hiroyasu この人自身が、高校数学の問題がお手上げで苦手を克服していないのに、掛け算は１あたり量が重要とか言って「3こ／さら」などという表記を強要している。
タグ：
posted at 18:54:27
twitter.com/selmo_sugebanb...
同様の事例が近隣の中学でもあった。
対策は、十分理解した状態で授業を受けること、と悟った。理解するために授業を受けるのだから、理解したら受ける意味がないのだが、それはさておき、理解しないで受けると有害な授業も、理解していれば無害にできる。
タグ：
posted at 19:07:26
割合や速さをちゃんと理解していれば、授業で「はじき」を教わっても、「くだらねー教え方」と鼻でせせら笑うことができる。
だから、塾では可能な限り先のことを教えるようにしている。むやみに前倒しで教えるという意味ではない。
タグ：
posted at 19:10:21
方程式を教える場合、学校では １次方程式→連立方程式→２次方程式 と３年間で教えるが、最初から「あてはまるxを求めよ」という具合にして２次方程式も含めて出題する。その上で、各論として１次方程式もやる、という感じ。
タグ：
posted at 19:11:58
こういうのが可能なのは、対象が小中学生なんだよね。高校になると、授業に先んじて理解するのは難しくなる。そうなると授業が有害となる。
だから、「授業は聞かない方がいい」と言わざるを得なくなる。
タグ：
posted at 19:14:25
ナイチンゲール伝読んでるけど、“凄い！格好いい！この人の改革に立ち会いたい！”と憧れる気持ちと、“怖い！絶対関わりたくない！上司に持ちたくない！”と怯える気持ちが交互にやってくる。
タグ：
posted at 19:43:16
大隅典子＠東北大学（『小説みたいに楽しく @sendaitribune
拙著よりメディア掲載＞＞＞脳の生後発達「3歳児神話」はウソである
#世界を生きる知恵 @socrates_media
socrates.media/2018/05/17/2123/
タグ： 世界を生きる知恵
posted at 19:44:27
ナイチンゲール、権力とデータ主義と合理性でガンガン改革を推し進めて沢山の人を救う一方で自分も周りの人もバタバタ過労で壊して行くのが有能タイプの日本式ブラック上司って感じで凄い顔になる。
タグ：
posted at 19:57:13
ナイチンゲール女史…一人で国を動かそうとしたり（最終的に動く）、周りの人全員を狡猾に酷使したり、家庭を崩壊させた叔母が実家に帰ろうとしたり、数十年付き添った相手が不治の病に暇を乞うた時の返事に至っては…もう本当とんでもない。画像は茨木保『ナイチンゲール伝』より。 pic.twitter.com/MNkPOAdRvB
タグ：
posted at 20:16:24
KATO kosei / Ph.D / @sd_tricks_kato
ガスコンロがあったって普通は火で自分の体は炙らないですけどねえ。ちなみに私は縫い針が無い家だって安全ピンや画鋲はあるだろって新井紀子にリプしたらブロックされました。 twitter.com/hilarious_001/...
タグ：
posted at 21:35:25
twitter.com/genkuroki/stat...
新井紀子さんの発言【「ゲーデルの不完全性定理」です。「人は言葉だけでは絶対にリアティを共有できない」。そういう定理なんですよ】の「リアリティ」を何らかの数学的意味で解釈して、新井さんを擁護しようとした人を私は困った人だと思って見ていました。続く
タグ：
posted at 21:52:16
その後の鼎談の様子も公開されたら、「リアリティ」という用語が明らかなキーワードとして複数回登場していました。引用しましょう。
【子どもってリアリティがないから～お母さんは～リアリティがある中で問題解決】
【確率とか統計はリアリティだから～物理もそう】
悪い予感が当たった。
タグ：
posted at 21:52:22
【「ゲーデルの不完全性定理」です。「人は言葉だけでは絶対にリアティを共有できない」。そういう定理なんですよ】の「リアリティ」を何らかの数学的意味で解釈して、新井さんを擁護しようとした人達は、その後の「リアリティ」というキーワードの使い方との整合性の点で苦しいことを認めるべき。
タグ：
posted at 21:52:25
ゲーデルの不完全性定理が関係する問題と、母親がうまく処理している現実の問題と、確率・統計・物理の試験問題を解釈するときの問題は、それぞれ別に問題として扱うべきだと思います。
それらにすべてに「リアリティ」という同じ語を当ててしまっているわけです。
タグ：
posted at 21:52:26
一般向けへの曖昧で杜撰なセールストークを、数学的に整合性が取れるように解釈してあげるだけでも時間の無駄になるつまらない行為なのに、あの説明の仕方が酷いことを指摘した人達への揶揄になりかねないことも述べた人は大失敗してしまったと思います。率直に言って悪しき知ったかぶり。
タグ：
posted at 21:52:27
セールストーク自体は悪くないと思いますが、曖昧で杜撰なセールストークは有害だと思う。
知ったかぶりをできるだけの知識があるなら、新井さんに曖昧で杜撰なセールストークを止めるように働きかけた方が良いと思いました。
新井さん自身も相当に損をしたと思います。
タグ：
posted at 21:52:28
私は小学生の保護者なので、13年前に出版された新井紀子著『ハッピーになれる算数』のような子供にとって有害に見える本を困ったことだと思っています。【日本語と数学は相性が悪い】【最初の式には、問題に出てきた数しか使わないこと】【そう！わり算の言葉遣いですね】など有害な内容になっている。
タグ：
posted at 22:00:47
今日は、能力の高い自閉スペクトラム症を伴う一患者の就学についての考えを説明している時に、この子の知的好奇心をスポイルしないでほしい、習ってない漢字を書くと間違いにする教師や掛け算の順序に拘る教師が担任にならないことを願うと熱弁していてハッと気づいたが、教育界の人のいる席だった。
タグ：
posted at 22:02:21
私の現時点での見方では、算数教育の問題について新井さん個人を責めるのは的を外しており、新井さんと無関係に存在する算数教育の伝統的な悪しきスタイルが問題なのだと思っています。新井さんの13年前の本は算数教育の伝統的な悪しきスタイルの影響力の強さの証拠になっていると考えています。
タグ：
posted at 22:04:37
津田和俊／急激に進行した網膜剥離と闘って @kaztsuda
仙台でも、鯨肉の刺身は今でも普通にスーパーで売られてますねえ。。。
調査捕鯨の他にも定置網に紛れ込んでくるやつがいるそうで、給食の竜田揚げの頃の記憶で止まっている人は食べないなら食べないでいいから、なんかほっといてくれって感じ。。。 twitter.com/suisenteikyohj...
タグ：
posted at 22:52:56
twitter.com/zawanocomassho...
小学校の6年間「式はどうなりますか？何算ですか？」みたいな教育を受けており、場合によっては小1で足し算の順序、小2以降はずっと掛算の順序という無意味な形式にこだわるスタイルを徹底されたりするので、中学校以上の数学の先生が頑張っても限界があると思う。 #超算数
タグ： 超算数
posted at 22:53:16
非公開
タグ：
posted at xx:xx:xx
日本語と数学は特別に相性は悪くないです。
順番に考えることや分かりやすく説明することと「最初の式に、問題に出てきた数しか使わない」のような形式的な手続きに従うことは全然違うことです。
「○○算の言葉使い」なるものは存在しません。式や演算は言葉に直接対応するものではありません。
タグ：
posted at 23:05:51
フォン・ノイマンは暗算、フェルミは計算尺、ファインマンは手回し計算機で計算し、フォン・ノイマンが圧勝したというのは日本だけのガセ。森毅の創作らしい。
sci.tea-nifty.com/blog/2014/11/p...
タグ：
posted at 23:06:34
twitter.com/genkuroki/stat...
もっと高級な数学についても、∀∃のような記号を使った論理式に「翻訳」しなければ頭が働かなくなるような教え方をしてはいけないと思う。 #数楽
タグ： 数楽
posted at 23:10:32
なるほど、社会学はそうなんですね。僕の分野は物理学だからそういう注でページが9割埋まってしまうような本は・・・あった
twitter.com/tanosensei/sta... pic.twitter.com/gA8T0Bp99O
タグ：
posted at 23:50:14
