https://twitter.com/kinaba のログ (twilog の方が便利です。)
| 改行表示のせいで最近は @kmizu さんはもっぱらインドに旅してるのかと思ってしまった… https://t.co/bfbLjdEcJf | |
| RT @ytb_at_twt: ZFCからの新手の独立命題： テープ一本、使用記号二つ、7918個の状態を持つチューリングマシンの振る舞い https://t.co/Oi8C8zV3Sq ついでに、4888状態のチューリングマシンで、それが停止すればゴールドバッハ仮説の反例が成… | |
| https://t.co/voCF1b112y そういうチューリングマシンを作ろうと思えば作れるというのはそれはその通りで、ただどれだけ小さく作れるか気になったという話らしいのでこれはコードゴルフ大会だな！ | |
| ゴールドバッハ用のとか汎用の枠組み使わないで手書きしたらすごいシンプルになりそうな気がするけどどんなもんだろう |