merom686
- いいね数 68,598/65,408
- フォロー 229 フォロワー 565 ツイート 24,026
- 現在地 家の中
- Web https://merom686.hatenablog.com/
- 自己紹介 プログラミング(書く)、アニメ(みる)、将棋(指す)、数学・漫画(ちょっとだけ好きだけど最近やってない)、囲碁は初級レベル、AtCoderは青、ぷよぷよはウィッチ。アイコンの羽はhttp://twitpic.com/81ssmc。好きなアニメはカスミン。
2012年01月23日(月)

非公開
タグ:
posted at xx:xx:xx

非公開
タグ:
posted at xx:xx:xx

Fermat の最終定理は,今までに書かれている証明は見かけ上は到達不能基数の存在を使っている(というのは SGA IV の結果を引用しているから)ので,ZFCで証明できると保証する文献は(たぶん)ないんだけど,コンラッド氏曰く,ちゃんと考えればZFCしか使ってないと分かるそうだ
タグ:
posted at 02:51:05

非公開
タグ:
posted at xx:xx:xx

非公開
タグ:
posted at xx:xx:xx

「学問すると視野が広くなる」のでもなければ「学問をすると視野が固定されてしまう」のでもなく、学問をする前はそもそも「視野」なんて実は全くもってなくて、学問をすることで限られた領域だけやっと視野を得ることができるし、今まで視野が全くなかったことが自覚できる、というのが真相だろう。
タグ:
posted at 10:01:07

t.co/4J5GiWzm 一知半解っていうけど、確かにこの件については一知半解だったけど、基本的に僕はライセンス違反とかその手のアレには不寛容なのですよ。
タグ:
posted at 12:12:24


反核運動では、核自体を「悪」とみなすタイプの論理構成が多いけど、本質はそこよりも「人間は必ず失敗をする」という事実にあると思う。「善意で保有している核兵器が、管理者のミスにより大惨事を生む」のイメージの方が「悪魔の指導者」のイメージよりは説得的だし実際に近い。
タグ:
posted at 13:18:39

非公開
タグ:
posted at xx:xx:xx

muken@混沌を孕む者(妻)の魂に寄り @ChaosSoulLover
俺もアニメのマスター欲しいなぁ。手元にあるのは、Se・きらら OPのRGB uncompressed +LPCM in MOVだけだぜ。1080iとかだったら、デインタレに燃えるんだが。
タグ:
posted at 16:16:23

藤代裕之『フェイクニュースの生態系』出版 @fujisiro
ネットはツールですから、ネットに闇を見る人は、その人が闇なんですよRT @k__hosokawa: ステマ問題を「ネット特有の問題」みたいに報じるマスメディアは、その構造がステマそのものだということに気づいてそうしているのでしょうかね。
タグ:
posted at 17:41:47

座標があまり好きでなくなったの,いつからだろう。多様体を触ってからそういう感覚が強まったのはきっとあって,でももっと前からそうだったかもしれない。高二ときは座標好きだった気がするけど
タグ:
posted at 19:45:04

非公開
タグ:
posted at xx:xx:xx

非公開
タグ:
posted at xx:xx:xx

非公開
タグ:
posted at xx:xx:xx

非公開
タグ:
posted at xx:xx:xx

どうでもいいですが、「0 は自然数」(半角スペース!)という書き方にとても親近感を覚えました(笑)。うまく組版されてくれない所で半角と全角を混ぜた文章にすると文字間隔が微妙なので入れたいんですよね。 [高零圧注意報]
タグ:
posted at 22:36:11

非公開
タグ:
posted at xx:xx:xx

非公開
タグ:
posted at xx:xx:xx


非公開
タグ:
posted at xx:xx:xx
