https://twitter.com/kinaba のログ (twilog の方が便利です。)
| @sinya8282 @ranha ranhaさんのおっしゃる通りだと思います（目を離した隙に一瞬で会話が終わっていて何もすることが無かった人間より） | |
| @lightout こちらこそいつもfavありがとうございます。励みになります。はい、あのベンチはとても良かったです | |
| あれ、ICFPコンテストもう明日からか。曜日の感覚がおかしい+コンテストは週末というイメージの合わせ技で脳内距離感がずれた | |
| @sinya8282 @ranha ~L(G)が空 iff チューリングマシンが停止、となるようなCFGが存在するのでその補集合は空判定がdecidableな言語クラス(たとえばIL)には属しえないという話じゃなかったでしたっけ | |
| @kinaba @sinya8282 @ranha あ、これは正確な表現ではない気がする取り消し |