https://twitter.com/kinaba のログ (twilog の方が便利です。)
| 帰納法を回すときに、弱すぎても強すぎても帰納的ステップが証明できなくなっちゃって、丁度いい強さの命題をうまいこと見つけてくると完璧に綺麗に行く！！というのはプログラミングで言うとなんになるだろうか。 | |
| 『TETORA』 読んだ。深沢美潮こういうのも書くんだな。知らなかった。 | |
| Classic Papers in Programming Languages and Logic http://www.cs.cmu.edu/~crary/819-f09/ 輪読形式の授業かな。このチョイス良いね。 Great works in PL より好きかも | |
| 「昔々お婆さんが川に洗濯に行くと、たくさんの桃がどんぶらこ、どんぶらこと等速直線運動で流れてきました。お婆さんは早速、完全武装を整え桃の上を歩き渡り鬼ヶ島に攻め入らんと決意。可能か否か判定せよ」桃を∞回乗換えないといけない時があるらしい… http://portal.acm.org/citation.cfm?id=1810991 | |
| お婆さんが8次元世界の住民である場合は決定不能らしいんだけど、ここで急に8次元と次元があがってしまうのは Postの対応問題の決定不能性が7ピース以上でしか示されていないことに由来するので、3～6 PCPについてわかってないというのは、意外と大きな問題なのかもしれない。 | |
| @chunjp もしおばあさんが二次元っ娘なら、時間空間を両方とも離散化してから緩和問題を考えると擬多項式時間の近似アルゴリズムが得られるらしいですよ。やったね！ | |
| 期待！自分出られんけど… RT そういえば、今日は @kinaba さんのスタイルで参加気を書く予定です (via @rng_58 23997659440) | |
| @qnighy_ Trojan.ADH の方は UPX圧縮 http://en.wikipedia.org/wiki/UPX がかかっているせいだと思います。半年もすれば検出されなくなってると思う…。 Suspicious.Lop はなんだろう。 | |
| なんで俺が出られない回のSRMはいつもこんなにバグバグで楽しそうなの…くやしい… | |
| 数えた。cafelierさん不参加＆無事だったSRM: 429,432,433,448,449,456,477。不参加＆トラブル：438(ノーゲーム),441(開始15分遅れ),453(ノーゲーム),481(なう)。参加＆無事：計53回。参加＆トラブル： 471(ノーゲーム)。 | |
| あー違う、textsmileだけupxじゃなくてezip使ってたんだ。それは最近のウイルスチェッカにはほどけないかもしれない。ていうか、フロッピー１枚に全自作ソフトおさめようと頑張っていた時代は明らかに終わっているので全部ほどこう… | |
| うごごめんどくさい |