これが現代の科学力……！ 「スーパーマリオメーカーはチューリング完全」はなぜたった1年半で証明されたのか
「マリオメーカー学会」というものをご存じでしょうか。自作ステージを作って遊べるゲーム「スーパーマリオメーカー」に斜め上過ぎる楽しみ方を見いだした“研究者”の集まりで、これまでには「クリアに20万年ほどかかるステージ」「ギミックを巧みに活用した計算機」などが開発されています。 話がぶっ飛んでいて何が何だか分からないかもしれませんが、きっとそれだけ研究が進んでいるということでしょう。今回は、5分間で数学を語るイベント「日曜数学会」から、同学会のハイレベルさが伝わる発表「スーパーマリオメーカーはチューリング完全」を書き起こしました。 拡大画像でスライドを見る スーパーマリオメーカーはチューリング完全 イベント：2019年6月29日開催の第15回「日曜数学会」（Twitter：@nichimath） 発表者：yos1upさん（Twitter：@yos1up） 発売から約2週間で、計算機になったスー
日韓事務レベル会合 日本側「対抗措置でない」 | NHKニュース
韓国への輸出規制を厳しくする措置をめぐって、日韓両政府による事務レベルの会合が、12日、初めて行われました。日本側は韓国側の貿易管理体制に課題があると指摘し、予防的な措置として実施したことなどを説明しました。また、貿易管理以外への対抗措置ではないと説明したということです。 経済産業省で行われた会合は非公開で、両政府から貿易管理を担当する課長などが出席しました。 会合は午後２時ごろから、当初の見込みを大幅に上回るおよそ５時間にわたって行われました。 経済産業省によりますと、会合では日本側が、規制を強化した半導体の原材料など軍事転用も可能な３品目について韓国側の貿易管理体制に課題があったと指摘し、予防的な措置として実施したと説明しました。 そのうえで、今回の措置は太平洋戦争中のいわゆる「徴用」の問題など、貿易管理の問題以外への対抗措置ではないことや、ＷＴＯ＝世界貿易機関のルールに反しないことな
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
