マリオメーカーはチューリング完全だった【万能計算機】マリオメーカーがチューリング完全であることの、数学的な証明に成功しました。ルール110セルオートマトンと、cyclic tag system（循環タグシステム）をコース内で再現しました。youtube 版（英語字幕付）：https://www.youtube.com/watch?v=hd0EtsTUbmg マリオメーカー計算機マイリス：mylist/53578200コースID：[ルール110] 63FA-0000-02C4-B1CA [cyclic tag system] FA62-0000-02C9-A346マリオメーカーブックマーク：supermariomakerbookmark.nintendo.net/profile/yos1up連絡先：@yos1up (twitter)
仮想化基盤のリソース最適化 / Resource optimization on virtualization platform
