https://twitter.com/kinaba のログ (twilog の方が便利です。)
| ひとの週末のツイートに #DLT2016 というタグが見えて形式言語の国際会議Developments in Language Theory https://t.co/XofqQCD62N が大ブームだ！すごい！ と思ったら https://t.co/bWtrRdxld5 だった | |
| https://t.co/kba6t5zpHd そういえば今までちゃんと読んだことがなかったので、七度文庫の言語仕様読んでた。IO代入とOI代入が両方あるカッコイイ。メタ文法的なものが必要というのに何度か言及されているけど、これ二段階文法でうまく形式化できないかなあ | |
| 現実逃避にWindows10についてるTripeaksというゲームやり続けて居るんだけどこれ運ゲーすぎないですか。最後数枚になったときの良い並びを期待してひたすらカードめくる作業がむなしすぎる。スキルでどこまでカバーできるもんなんだろう |