黒木玄 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 を見て下さい。
2012年01月23日(月)
Fermat の最終定理は，今までに書かれている証明は見かけ上は到達不能基数の存在を使っている（というのは SGA IV の結果を引用しているから）ので，ZFCで証明できると保証する文献は（たぶん）ないんだけど，コンラッド氏曰く，ちゃんと考えればZFCしか使ってないと分かるそうだ
タグ：
posted at 02:51:05
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
@frypangsan ありがとうございます。少なくとも、実体験としては 2,30年前から言われている問題ですが、なかなか改善しないですね。海外でも、文科省でも対応しているのに、と思います。
タグ：
posted at 08:42:35
小学校の授業。大抵、いい所でつまずいてくれる息子。やっぱり、理科のアルキメデスの原理でこけた。「押し退けた水の重さが浮力になる」てのを理解出来るわけがない。重さが浮く力って何? となる。圧力を教えて、物体の上と下の圧力差が押し上げる力になる、と何故順序だてて教えないのかなあ。
タグ：
posted at 09:37:32
Dijkstraが"Goto considered harmful"を書いた背景を知って，へぇ～連打な印象 | Island Life 「継続の起源」 t.co/2ZrnmJBG
タグ：
posted at 12:47:50
そんで「不良仲間」に自慢してる内容が「フルーチェ2袋食った」とかだったりする(実話)。 RT @genkuroki: (略) あの時代の「不良」の特徴は「学校には毎日元気に健康的に通学して来ること」。わざわざ学校に来てから授業をサボったりする。超かわいい。
タグ：
posted at 13:35:06
（デネットたちが Inside Jokes で，ジョークのおかしさみたいな感情を epistemic emotion と言っているのは，とても示唆的．命名したのは他の人だったかもしれんけども）
タグ：
posted at 17:36:22
Hiraku Nakajima @hirakunakajima
【スレートPC】(ubuntu 12.04) インターネットにつながっていないと使い物にならないので、usbの無線LANアダプタを購入した。BuffaloのWLI-UC-GNM
タグ：
posted at 21:24:04
