[翻訳] マジック・ザ・ギャザリングはチューリング完全である - macbook air is so hot(低温やけど的な意味で)

2018/05/29 41 users チューリング ギャザリング 原文 感銘 干渉

マジック・ザ・ギャザリングがチューリング完全である事はよく知られています。最近 原文 を読んで感銘を受けたので、作者のAlexさんに許可を得て翻訳しました。 大事なポイントは、 実在するカードを組み合わせて、プレイヤーによる干渉（対象や効果の選択）を必要とせず *1 に、カードのテキストとゲームのルールのみに基いて（誘発能力を多用して）チューリング機械を実行する。 Yurii Rogozhinによ... 続きを読む

[翻訳] マジック・ザ・ギャザリングはチューリング完全である - macbook air is so hot(低温やけど的な意味で)

2018/05/29 42 users チューリング ギャザリング 原文 感銘 干渉

マジック・ザ・ギャザリングがチューリング完全である事はよく知られています。最近 原文 を読んで感銘を受けたので、作者のAlexさんに許可を得て翻訳しました。 大事なポイントは、 実在するカードを組み合わせて、プレイヤーによる干渉（対象や効果の選択）を必要とせず *1 に、カードのテキストとゲームのルールのみに基いて（誘発能力を多用して）チューリング機械を実行する。 Yurii Rogozhinによ... 続きを読む

計算可能性理論 講義ノート

2018/02/13 42 users 講義ノート 貴行 木原 目次 計算モデル

計算可能性理論特論・講義ノート ∗† 木原 貴行 名古屋大学 情報学部・情報学研究科 最終更新日: 2018 年 2 月 13 日 目次 1 計算モデルと計算理論 2 1.1 文字列書換系とモノイドの表示 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 1.2 チューリング機械 . . . . . . . . . . . . .... 続きを読む