これが現代の科学力……！ 「スーパーマリオメーカーはチューリング完全」はなぜたった1年半で証明されたのか

コメント

注目のコメント

• Saitou Kazuhiro

  U of Michigan 教授 (機械工学), 副学科長

  ・2019年07月16日

  ゲームのことはよく知らないのですが、パッと見 cellular automaton ぽいので、チューリング完全が既に証明されてる CAモデルから reduction したのかもですねぇ(内容見てません) 実はワタシ PhD 研究の一部で、(数学的に) ちょっと似たことをしてたので興味深いですねぇ
  
  ご参考
  https://newspicks.com/news/2333593?ref=user_1506052
  
  コレ↑のご参考
  https://www.researchgate.net/publication/265024215_On_Classes_of_One-dimensional_Self-assembling_Automata
• 大場 紀章

  エネルギーアナリスト/ポスト石油戦略研究所代表

  ・2019年07月14日

  最近観てなかったけど、すごい進化だよなあ。