merom686
- いいね数 68,598/65,408
- フォロー 229 フォロワー 565 ツイート 24,026
- 現在地 家の中
- Web https://merom686.hatenablog.com/
- 自己紹介 プログラミング（書く）、アニメ（みる）、将棋（指す）、数学・漫画（ちょっとだけ好きだけど最近やってない）、囲碁は初級レベル、AtCoderは青、ぷよぷよはウィッチ。アイコンの羽はhttp://twitpic.com/81ssmc。好きなアニメはカスミン。
Favolog ホーム
» @merom686
» 2013年06月24日
並び順 : 新→古 | 古→新
2013年06月24日(月)
MarriageTheorem @MarriageTheorem
主定理の証明を考えていて、何となく必要そうだからと念のため示しておいた補題が、10ページぐらい証明を連ねていった最後の最後にひょこっと顔を出して証明完成したときの感動、「ピッタリ詰んだ」という表現がしっくりくる
タグ：
posted at 17:42:26
後輩がオセロは後手必勝だと証明されていると言っていたから、マサカリを投げたけど、このツイートが原因だったのか。オセロで先後どちらが勝つのかは未解決問題。うそはうそであると見抜ける人でないと（Twitterを使うのは）難しい。
twitter.com/SiranaiGood_bo...
タグ：
posted at 21:37:44
非公開
タグ：
posted at xx:xx:xx
スポンサーリンク
