https://twitter.com/kinaba のログ (twilog の方が便利です。)
| 日記(PDF) https://t.co/6mB1cugah3 書いた。文脈自由文法を与えられた時にその言語にpangram(いろは歌)があるか探すのはNP完全という、まあ完全に自明なんだけど明示的な言及見かけなかったのでググらぶるになるようにメモっとく | |
| 午後いつ来るかわからない工事で自宅待機してないといけなかったので一日LaTeXを書くクリスマスになった | |
| @fkm https://t.co/fXg6oLGt8c |