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

MarriageTheorem @MarriageTheorem
「ZFでは導けないけどZFCでは導ける」ことを「選択公理が必要」と表現する場面を日常生活でたまに見掛けるけど、あの「必要」の用法は「必要条件」におけるそれとは逆になっているよなぁ。
タグ:
posted at 20:19:08

今、誰でも出来る喫緊の放射能被害対策としては、ホメオパシーに耳を貸さない、マクロビに耳を貸さない、米とぎ汁発酵液に手を出さない、EMに耳を貸さない、武田邦彦に耳を貸さないなどがあるな。
タグ:
posted at 19:21:26



まあ最悪は言い過ぎなんでしょうけれど、私の一貫したスタンスとして「インストールは悪」だと思っています。開発者だってインストールなんてさせたくないし、ユーザだってインストールなんてしたくない。ビジネスでは珍しいLose-Loseの関係だと思うんですよね
タグ:
posted at 00:46:54
スポンサーリンク