merom686
- いいね数 68,598/65,408
- フォロー 229 フォロワー 565 ツイート 24,026
- 現在地 家の中
- Web https://merom686.hatenablog.com/
- 自己紹介 プログラミング（書く）、アニメ（みる）、将棋（指す）、数学・漫画（ちょっとだけ好きだけど最近やってない）、囲碁は初級レベル、AtCoderは青、ぷよぷよはウィッチ。アイコンの羽はhttp://twitpic.com/81ssmc。好きなアニメはカスミン。
2012年10月16日(火)
RT鍵：たまに勘違いしている人がいるけど数学科同士のやりとりで「定義はなんですか？」「自明ならば説明してください」「使った定理のstatementを書いてください」は全然マスハラではないから
タグ：
posted at 23:29:33
定理（自明不完全性）:「この補題は自明」「この補題が自明であることは自明」「この補題が自明であることが自明であることは自明」「この補題が自明であることが自明であることは自明であることが自明」…の構成が不動点を持ち、P≡「Pは自明」となるものが構成できるが、Ｐ自身は自明ではない
タグ：
posted at 20:58:40
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
通史の発表したら「借りてきたようなこと言わないでください」と言われて「え？」。自分信頼されてないな、と思ったがまさにこれだ。用語の使い方がミスってたならそう指摘してくれればいいのに
タグ：
posted at 03:59:09
t.co/cs6a4QmJ 10連打碁とかやったことあるけど、4つ並んだ棒石が1ターンで取られるので、互いにやたらと長い棒石を作りまくるというクソ展開になってた。取ってよいのはターン開始時にダメが(例えば)半分以下になっている石のみ、とかにすればよかったのか。
タグ：
posted at 01:29:33
おせっかいだな。
自己責任で鍵かけるでしょ、普通。
鍵をかけても取られた場合にどうするかって問題が重要。
「自転車に鍵かける“愛錠ロック大作戦”」 t.co/lOStIymq
タグ：
posted at 01:24:58
「子供のためを思って、（将来の学費とかのことは全く考えず）ペロちゃんキャンディーを山ほど買ってきました！」みたいな生活者重視にならんでほしいと、願うばかり。
タグ：
posted at 01:14:38
2週間くらいかけてGCCでもコンパイル出来るようになったBlunderをVC++でコンパイルし直したら、どこかバグって前より微妙に弱くなってしまった。むしろバグを見つける期待をしてたのに…。
タグ：
posted at 00:57:26
