https://twitter.com/kinaba のログ (twilog の方が便利です。)
| なんでBINTAが出てこないの。おかしい http://blog.livedoor.jp/dqnplus/archives/1450576.html | |
| 4月になると毎年4年生の人から http://twitter.com/iwiwi/statuses/11620611093 これを聞くので毎年コーヒー吹いている | |
| PASTE 2010 の論文リスト眺めてる。 http://cseweb.ucsd.edu/paste2010/program.html @kmizu さんの論文が気になるのですがどこかweb上にdraftが公開されていたりはしないでしょうか。（と、ねだってみる） | |
| @kmizu やった！ありがとうございます。おお、カットの自動挿入の話なのですね。読ませていただきます！ | |
| 論文読んでて Invoker という関数が出てきた瞬間に http://asapinn.hp.infoseek.co.jp/rs3-mon.htm ロマサガ３の敵モンスターが思い出されるなどする | |
| @zakkas783 妖精系の上位モンスターはドロップがいいので狩りまくるせいで記憶に残りますね。月白のローブ！ | |
| http://twitter.com/nodchip/statuses/11632257482 そういえば @nodchip さんの問題生成力はいつも羨ましい。自分の場合、自分で瞬時に解答思いつく問題か、数年考えても思いつかない問題か、どっちかしかなかなか作れないんですよね。 | |
| @kmizu なぜか３だけハマって何十回もクリアしてました。１も２も一度しかやってないのですが。 | |
| たぶん DQ3、アスカ見参＞＞＞＞＞ロマサガ３、信長の野望烈風伝 が今のところ僕がやたらめったら時間を費やした４大ゲーム。 | |
| @nishio 『(.) の関数適用だけを使ってランダムに式を作る → 先手後手交互に、一手につき構文木を一カ所だけ（なにか決められた方法で）書き換える → 最初に元と意味的に同じ関数に戻した方が勝ち』…だめだ決着が付く気がしないし先手後手のどちらかが圧倒的に有利そう…(^^; | |
| @aetos382 名前で損しているのではないかと評判の世紀の神ゲーです。http://www.chunsoft.co.jp/games/asukapc/index.html | |
| @kururu_goedel （Banach-Tarski言い出した某氏の興味の方向はともかく）僕としては、可能ならば IRCP∩LSI （where IRCP=IRPかつ、正規言語からその逆像を求める部分が計算可能関数）から反例をとりたいのでマトモならマトモなほどよいです^^ | |
| まず「complementが無限になるような正規言語全てに対して、intersectionが有限」な言語の存在がとっさにわからないでいます | |
| @knumt シレン３はまあともかく、シレン４は評判良いみたいなので買おうかどうしようかだいぶ迷っているのだよねー |