merom686
- いいね数 68,598/65,408
- フォロー 229 フォロワー 565 ツイート 24,026
- 現在地 家の中
- Web https://merom686.hatenablog.com/
- 自己紹介 プログラミング（書く）、アニメ（みる）、将棋（指す）、数学・漫画（ちょっとだけ好きだけど最近やってない）、囲碁は初級レベル、AtCoderは青、ぷよぷよはウィッチ。アイコンの羽はhttp://twitpic.com/81ssmc。好きなアニメはカスミン。
Favolog ホーム
» @merom686
» 2012年07月26日
並び順 : 新→古 | 古→新
2012年07月26日(木)
ああそういえば先生に頂いたプリントでは「不完全性定理 + 完全性定理 から自然数の矛盾が証明出来るモデルが存在して、そいつをよく見ると矛盾を導く証明図の長さが超有限になっている」と云う話があったなあ。想像を絶する
タグ：
posted at 22:45:30
「ノマドワーカー」をキーワードにネットを眺めていて気になったのは、会社に所属してると自由な働き方ができない、と思い込んでる人が結構いること。与えられた仕事を換骨奪胎して自分のものにしちまう、これぞ会社員の醍醐味よ。
タグ：
posted at 21:43:20
非公開
タグ：
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
1,000ツイートになったら「1,000ツイート!」ってツイートして、それから過去のツイートを消して(「1,000ツイート!」は消さない)、また「1,000ツイート!」ってツイートして、過去のツイート消して...と繰り返して全てを「1,000ツイート!」にしたい。
タグ：
posted at 08:16:22
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
スポンサーリンク
