"不完全性定理を Lisp で証明するには、「このS式は証明できない」と主張するS式が構成できればよい。"
“不完全性定理を Lisp で証明するには、「このS式は証明できない」と主張するS式が構成できればよい。” - Lisper のためのゲーデルの不完全性定理 - あどけない話
View Article"しかし、そうなると気になるのがエロコンテンツの行方なんです。例えば、このアップルＴＶが普及すると当然影響を受けるのがレンタルビデオ店。んで、レンタルビデ...
“しかし、そうなると気になるのがエロコンテンツの行方なんです。例えば、このアップルＴＶが普及すると当然影響を受けるのがレンタルビデオ店。んで、レンタルビデオ店が潰れたりすると、困るのがＡＶで...
View Article"そこまでできるものなのだろうか。疑問が膨らむ。小沢疑惑では「推定無罪」という言葉が奇妙な意味づけで流布されたが(本来は検察の司法上の手法)、広義...
“そこまでできるものなのだろうか。疑問が膨らむ。小沢疑惑では「推定無罪」という言葉が奇妙な意味づけで流布されたが(本来は検察の司法上の手法)、広義 に言えないこともない。だが今回の例では、逮...
View ArticleClik here to view.
Clik here to view.
Clik here to view.
toukubo: aftersunday: しかしこの人、本当にtumblrみたいな人ですね。 口説き文句は「君を永遠にリブロ...
toukubo: aftersunday: しかしこの人、本当にtumblrみたいな人ですね。 口説き文句は「君を永遠にリブログしたい」とかになるんでしょうか…… よくわかんないひとはtumblr使ってくださいね！ はやらないかなあ、tumblr系男子。 Ｔシャツもあるみたいです。 http://www.bustedtees.com/tumblrfauxlogo (via Painted...
View Article"中国側は１１日午後６時と８時に、大使に会談を呼びかけたが、日本側がいったん断り、未明にずれ込んだ。"
“中国側は１１日午後６時と８時に、大使に会談を呼びかけたが、日本側がいったん断り、未明にずれ込んだ。” -...
View Article"282 名前：名無しさん＠十一周年：2010/11/11(木) 16:38:13 ID:qvitCe+50 マスゴミが押し寄せた方がいいだろ。 ..."
“282 名前：名無しさん＠十一周年：2010/11/11(木) 16:38:13 ID:qvitCe+50 マスゴミが押し寄せた方がいいだろ。 ...
View Article"ウーパールーパー（本名アホトートル）は四季折々というフザケタ名前のイベント屋がでっち上げた名前...
“ウーパールーパー（本名アホトートル）は四季折々というフザケタ名前のイベント屋がでっち上げた名前 その昔、わくわく動物ランドでエリマキトカゲが大人気が出た時に...
View Article"民主党若手議員は「ここで辞任したらあしき前例ができる。馬淵氏が辞任なら、警視庁のものとみられる資料が流出したので、岡崎トミ子国家公安委員長も自動的に辞任...
“民主党若手議員は「ここで辞任したらあしき前例ができる。馬淵氏が辞任なら、警視庁のものとみられる資料が流出したので、岡崎トミ子国家公安委員長も自動的に辞任だ。当然、菅直人首相の任命責任も問わ...
View ArticleClik here to view.
pdl2h: Lolcats ‘n’ Funny Pictures of Cats - I Can Has...
pdl2h: Lolcats ‘n’ Funny Pictures of Cats - I Can Has Cheezburger? - I Can Has Sushi?
View Article"日本は民主国家であるという事、今の政権、特に極左出身の方々は忘れているように思います。...
“日本は民主国家であるという事、今の政権、特に極左出身の方々は忘れているように思います。 文字通り、本当に無血革命を達成したのだと思ってるんじゃないかと、政権交代後の有り様を見るにつけそう感...
View Article"訪問中の外国皇太子を警察官が斬りつけて負傷させた際、「そんなヤツは死刑にしないと戦争になる！」との世論に流されず、法律に従って無期懲役にした国があったな...
“訪問中の外国皇太子を警察官が斬りつけて負傷させた際、「そんなヤツは死刑にしないと戦争になる！」との世論に流されず、法律に従って無期懲役にした国があったな。外国からは「これぞ法治国家」とかえ...
View Article"532 ： パスカル(北海道)：2010/11/12(金) 10:19:30.29...
“532 ： パスカル(北海道)：2010/11/12(金) 10:19:30.29 ID:aZXRuBUp0流出がなかったらこれらの事実が全て隠蔽されたままだったということが恐ろしい...
View ArticleClik here to view.
Clik here to view.
otsune: アニメ壁紙ブログ http://marie8093.blog14.fc2.com/ 面… on Twitpic
otsune: アニメ壁紙ブログ http://marie8093.blog14.fc2.com/ 面… on Twitpic
View Article"カップラーメンの値段を知らない云々だって、 「発売当時は100円前後だったから、物価の推移からみて400円くらいになったかな？ そんなにしないか（笑）」...
“カップラーメンの値段を知らない云々だって、 「発売当時は100円前後だったから、物価の推移からみて400円くらいになったかな？ そんなにしないか（笑）」 という至極まっとうな受け答えだ...
View Article"92 以下、名無しにかわりましてVIPがお送りします 2010/10/01(金) 01:42:04.87..."
“92 以下、名無しにかわりましてVIPがお送りします 2010/10/01(金) 01:42:04.87...
View Article