https://twitter.com/kinaba のログ (twilog の方が便利です。)
| Regularity Preserving but not Reflecting Encodings http://arxiv.org/abs/1501.04835 読んだ。∀C:可算の言語族.∃f:文字列→文字列の全単射.∀L∈C.f[L]は正規 つまりどんな言語クラスも見方を変えれば正規(超訳 | |
| @finalfusion @zakkas783 その意味ではホワイトホールの方がなりたいですかね | |
| 宗教的なことについて考える一日だった。（と書いてから気づいたのだけれど、ツイッターでこう書くと、今日はテキストエディタについて考えたという意味にしか解釈されないという問題がある） |