https://twitter.com/kinaba のログ (twilog の方が便利です。)
| https://t.co/TyzQRO0TCT すみませんSAO最新巻以外まったくチェックの範囲外でした…（若者アピール） | |
| 初ラノベは何度か書いた気がするけど偽書信長伝 http://www.amazon.co.jp/dp/404461301X ですしこれの同じシリーズの幕末伝はすごくおすすめ | |
| 新アイシテル物語とか出ないですかね | |
| やるきがわずかでもあれば色々解決する気がするんだけど | |
| http://lii.rwth-aachen.de/lics/lics13/accepted.html LICS'13の採択論文出てたの気づいてなかった。小林先生の Pumping by Typing どういうお話だろうすごく気になる。あとまあMSO→TransducerはLICS通るくらいだから非自明な何かなのだろう気になる | |
| "Regular Real Analysis" (PDFあった http://www.cs.rice.edu/~sc40/pubs/index.html ) はすごく当たり前のことしか言ってないような気がしてしまうが、はて。入出力で基数変える定義は確かに変なことやりやすくなってちょっと面白いかもしれない |