https://twitter.com/kinaba のログ (twilog の方が便利です。)
| http://d.hatena.ne.jp/WizDiary/20110130#p1 和風Wizが復活している上に新しいのが始まっている！！！「魔王と、王様と、あと勇者を50人以上書く」 | |
| 迷って「去年不都合があった記憶はないから去年と同じでいいや」と思っても、去年は結局どっちにしたのだったか思い出せなくて悩む RT (via @t33f) PPL は昼食を申し込むかどうかでいつも迷う | |
| @Taroupho 自然数論の標準モデル(で真になる論理式)をN、PAのその他のモデルをX,Y,Z,..としたときに N∩X∩Y∩Z∩…⊆PA⊆N なので、「{N,X,Y,Z,…}に対する健全性/完全性」と「{N}に対する健全性/完全性」がある種逆向きになるのは、自然に思います | |
| @Taroupho 完全性/健全性という時には、どのモデルに対して完全/健全とか、と言わないと意味が定まらないので省略されてたら文脈を読む必要があるんじゃないかと思います。ゲンツェンの無矛盾性証明は「一階算術では無理でも、二階算術くらいあればできる」と弱いところで示せたのに意味が | |
| @kmizu おめでとうございます。水島博士！ | |
| 耳から耳が生えてるアイコンの人が日に日に増えてて怖い | |
| @mickey24 「「 | |
| そういえば PPL2011 http://www.info.kochi-tech.ac.jp/ppl2011/ のポスター発表締切が来週ですので、なんかプログラミング関係で喋れるネタがある人はぜひぜひお申し込み下さい（宣伝）。時期的に、卒論や修論のお話など大歓迎 | |
| そもそも自分が出そうかどうしようか考えてなかった。どうしよっかな。 | |
| いろはにほへと… や あめつちほしそら… とはちょっと違うものにならざるを得ないだろうけども、あいうえおかきくけこ… の順番でできる限り余計な文字を入れないで意味のある言葉にしたものってないかな。こう、愛に飢えた男が柿を食って結構どうにかするような方向で |