https://twitter.com/kinaba のログ (twilog の方が便利です。)
| https://t.co/gbsap3xDrc こちらの一人月刊P vs NPおじさん、2月頃にP≠NP証明して5月にはP=NP証明して先月またP≠NPを証明してる。去年はP=NP示してた。忙しい | |
| RT @avwatch: Facebook東京オフィスのOculus開発用防音ルームの名前は「ASUNA(アスナ)」と「KIRITO(キリト)」だそうです。ケータイWatchから https://t.co/VsMvxkWEcA https://t.co/VkaueRmOjI | |
| RT @needle: @koukiwf Aincradはパルマーの部屋で使われてるので、AlfheimだのSBC Glockenだのも考えたものの、結局わかりやすいものに… | |
| いいなあ | |
| 正規言語のサブクラスで面白いのといえばこれだ！みたいなのってどういうのがあるんでしょうか。あんまりregularより下よく知らない |