https://twitter.com/kinaba のログ (twilog の方が便利です。)
| 起きた。今日は決定不能になる日 http://pakirapon.sakura.ne.jp/undecidable/ | |
| なんとなくスライド作ったけど要らない気もするな | |
| ドラクエ４とか５の馬車でうろうろ歩いてる動き、ぼーっと遠目で見てるとライフゲームでグライダーが飛んでるように見えるなー、ということを思った | |
| Deterministic CFGのRegularityのDecidabilityの証明読みたいと思ってたのを思い出した。決定可能の会もやりたいなあ | |
| 帰宅。発表資料うｐした [PDF注意] http://www.kmonos.net/pub/Presen/PCP.pdf | |
| Binary PCP の決定可能性は http://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B6V1G-45FSV9T-3Y&_user=10&_coverDate=11%2F30%2F1982&_rdoc=1&_fmt=high&_orig=search&_sort=d&_docanchor=&view=c&_acct=C000050221&_version=1&_urlVersion=0&_userid=10&md5=10ea7a40ecac99dda986bafb061f1fd2 これか。思ったよりきちんと頑張らないといけないようだ… | |
| .@xagawa さんのヒルベルト第10問題の発表は、色々な演算の多項式エンコードがいちいち目から鱗で超面白かった。ε-N論法のεが1より小さくなるとこまでNをでかくして整数除算すればN→∞の極限も計算できるじゃん！等々。t=(n+1)**(n+2);t**n/tCnでt!とか。 | |
| やっぱり左右逆にして (始, 始次ws) から始めた方が読みやすいとか色々直すとこあるなあ。あとで発表資料書き直して完全版にしよう | |
| 【"CFG⊆PEG?" Proofathon！】 http://atnd.org/events/1779 衝動的にページを作ってしまった。 | |
| やりませんか @kmizu @masahiro_sakai @ikegami__ (と心当たりに @ を飛ばしてみる http://atnd.org/events/1779 | |
| @ikegami__@kmizu よろしくお願いします。こうやってすごい人を集めれば何とかなるに違いないっ！と他力本願モードの私ですが頑張りましょう | |
| @finalfusion 「まきますか まきませんか」みたいなものですか（違 | |
| ふぁぼられたポストは大抵typoしているの法則 http://favotter.net/status.php?id=4758224074 t! じゃないよ n! だよ! |