https://twitter.com/kinaba のログ (twilog の方が便利です。)
| は？？衝撃的なメールが来ており、え、ちょっと、退職していいかな… | |
| アホじゃねーの… | |
| @TKinugasa @natsutan いやー別に全然たいしたことではないです＞＜ 100%趣味の話なので。 | |
| X (Window System) の本って新しい良いのってないんだろうか。X11R5の情報でだいたい十分という感じなのかな | |
| @tsukuno http://topcoder.com/home/blog/category/employment-opportunities/ とりあえず応募しようぜ | |
| @akane_magica スロットが何個あればTuring完全になるのか（あるいは無限にないといかんのか）が気になっていて、@phoenixstarhiro が１個でできそうな気がすると言っていたのの結論をそういえば聞いてないや。というか参加者の皆さんなら既に把握してそう。 | |
| SKIで書いたときの項の深さ程度のスロット数あればその項が表現できるのは自明（でもない）けど、とかとか。 | |
| @hos_lyric おおおお流石です | |
| 考えよう。 | |
| プログラミングをネタにしたカードゲーム、もっと色々あるはずだけど検索能力が弱くてみつからない。バトルコンビネータ http://d.hatena.ne.jp/nishiohirokazu/20100405/1270468620 や Smalltalk card game(ちょっと違うが) http://portal.acm.org/citation.cfm?id=1176672 や。 | |
| おおそうか f(gh) = (Kfh)(gh) = (S(Kf)g)h だから引数は帰納的に簡単な形にバラせる。なるほど言われてみればそうでした。 |