SlideShare ist ein Scribd-Unternehmen logo

スーパーマリオメーカーはチューリング完全（日曜数学会発表）

•
•
Y
Yuki Yoshida

第15回日曜数学会の発表資料です．当日の発表の様子は https://live2.nicovideo.jp/watch/lv320692098 で視聴できます（2時間24分から10分間程度）．

Wissenschaft
1 von 19
Downloaden Sie, um offline zu lesen


!2
!3 

!4 

!5 

!6 

!7
!8 

!9
!10
!11
!12
!13

 !14
!15

 
 
 !16 

!17
!18
!19 


Empfohlen

文献紹介：Image-to-Image Translation: Methods and Applications
文献紹介：Image-to-Image Translation: Methods and Applications文献紹介：Image-to-Image Translation: Methods and Applications
文献紹介：Image-to-Image Translation: Methods and ApplicationsToru Tamaki
 
Ekmett勉強会発表資料
Ekmett勉強会発表資料Ekmett勉強会発表資料
Ekmett勉強会発表資料時響 逢坂
 
実践QBVH
実践QBVH実践QBVH
実践QBVHShuichi Hayashi
 
Siv3Dで楽しむゲームとメディアアート開発
Siv3Dで楽しむゲームとメディアアート開発Siv3Dで楽しむゲームとメディアアート開発
Siv3Dで楽しむゲームとメディアアート開発Ryo Suzuki
 
WebGISやデータ公開について
WebGISやデータ公開についてWebGISやデータ公開について
WebGISやデータ公開についてIWASAKI NOBUSUKE
 
TDDBC お題
TDDBC お題TDDBC お題
TDDBC お題Takuto Wada
 
写像 12 相
写像 12 相写像 12 相
写像 12 相HCPC: 北海道大学競技プログラミングサークル
 
ヤフーを支えるレコメンデーションエンジン #yjtc / YJTC21 A-5
ヤフーを支えるレコメンデーションエンジン #yjtc / YJTC21 A-5ヤフーを支えるレコメンデーションエンジン #yjtc / YJTC21 A-5
ヤフーを支えるレコメンデーションエンジン #yjtc / YJTC21 A-5Yahoo!デベロッパーネットワーク
 

Empfohlen

文献紹介：Image-to-Image Translation: Methods and Applications
文献紹介：Image-to-Image Translation: Methods and Applications文献紹介：Image-to-Image Translation: Methods and Applications
文献紹介：Image-to-Image Translation: Methods and ApplicationsToru Tamaki
 
Ekmett勉強会発表資料
Ekmett勉強会発表資料Ekmett勉強会発表資料
Ekmett勉強会発表資料時響 逢坂
 
実践QBVH
実践QBVH実践QBVH
実践QBVHShuichi Hayashi
 
Siv3Dで楽しむゲームとメディアアート開発
Siv3Dで楽しむゲームとメディアアート開発Siv3Dで楽しむゲームとメディアアート開発
Siv3Dで楽しむゲームとメディアアート開発Ryo Suzuki
 
WebGISやデータ公開について
WebGISやデータ公開についてWebGISやデータ公開について
WebGISやデータ公開についてIWASAKI NOBUSUKE
 
TDDBC お題
TDDBC お題TDDBC お題
TDDBC お題Takuto Wada
 
写像 12 相
写像 12 相写像 12 相
写像 12 相HCPC: 北海道大学競技プログラミングサークル
 
ヤフーを支えるレコメンデーションエンジン #yjtc / YJTC21 A-5
ヤフーを支えるレコメンデーションエンジン #yjtc / YJTC21 A-5ヤフーを支えるレコメンデーションエンジン #yjtc / YJTC21 A-5
ヤフーを支えるレコメンデーションエンジン #yjtc / YJTC21 A-5Yahoo!デベロッパーネットワーク
 
Webデザイン 第10回：HTML5実践 Three.jsで3Dプログラミング
Webデザイン 第10回：HTML5実践 Three.jsで3DプログラミングWebデザイン 第10回：HTML5実践 Three.jsで3Dプログラミング
Webデザイン 第10回：HTML5実践 Three.jsで3DプログラミングAtsushi Tadokoro
 
動的計画法
動的計画法動的計画法
動的計画法京大 マイコンクラブ
 
ダブル配列の実装方法
ダブル配列の実装方法ダブル配列の実装方法
ダブル配列の実装方法Higashiyama Masahiko
 
[DL輪読会]Objects as Points
[DL輪読会]Objects as Points[DL輪読会]Objects as Points
[DL輪読会]Objects as PointsDeep Learning JP
 
普通のJavaエンジニアが、なぜ技術書を出版するに至ったか？
普通のJavaエンジニアが、なぜ技術書を出版するに至ったか？普通のJavaエンジニアが、なぜ技術書を出版するに至ったか？
普通のJavaエンジニアが、なぜ技術書を出版するに至ったか？なべ
 
TRAINING PROGRAMME ON MATLAB ASSOCIATE EXAM (1).pptx
TRAINING PROGRAMME ON MATLAB ASSOCIATE EXAM (1).pptxTRAINING PROGRAMME ON MATLAB ASSOCIATE EXAM (1).pptx
TRAINING PROGRAMME ON MATLAB ASSOCIATE EXAM (1).pptxanaveenkumar4
 
第2回nips+読み会: Learning to learn by gradient decent by gradient decent
第2回nips+読み会: Learning to learn by gradient decent by gradient decent第2回nips+読み会: Learning to learn by gradient decent by gradient decent
第2回nips+読み会: Learning to learn by gradient decent by gradient decentTaku Tsuzuki
 
SSII2020 [OS2-03] 深層学習における半教師あり学習の最新動向
SSII2020 [OS2-03] 深層学習における半教師あり学習の最新動向SSII2020 [OS2-03] 深層学習における半教師あり学習の最新動向
SSII2020 [OS2-03] 深層学習における半教師あり学習の最新動向SSII
 
NLP2021 AI王 解法紹介 8
NLP2021 AI王 解法紹介 8NLP2021 AI王 解法紹介 8
NLP2021 AI王 解法紹介 8Takamichi Toda
 
[DL輪読会]M2Det: A Single-Shot Object Detector based on Multi-Level Feature Pyra...
[DL輪読会]M2Det: A Single-Shot Object Detector based on Multi-Level Feature Pyra...[DL輪読会]M2Det: A Single-Shot Object Detector based on Multi-Level Feature Pyra...
[DL輪読会]M2Det: A Single-Shot Object Detector based on Multi-Level Feature Pyra...Deep Learning JP
 
DeepLearningTutorial
DeepLearningTutorialDeepLearningTutorial
DeepLearningTutorialTakayoshi Yamashita
 
Alliomの説明
Alliomの説明Alliomの説明
Alliomの説明aicube inc.
 
HalideでつくるDomain Specific Architectureの世界
HalideでつくるDomain Specific Architectureの世界HalideでつくるDomain Specific Architectureの世界
HalideでつくるDomain Specific Architectureの世界Fixstars Corporation
 
人工知能概論 14
人工知能概論 14人工知能概論 14
人工知能概論 14Tadahiro Taniguchi
 
[DL輪読会]Glow: Generative Flow with Invertible 1×1 Convolutions
[DL輪読会]Glow: Generative Flow with Invertible 1×1 Convolutions[DL輪読会]Glow: Generative Flow with Invertible 1×1 Convolutions
[DL輪読会]Glow: Generative Flow with Invertible 1×1 ConvolutionsDeep Learning JP
 
Popcntによるハミング距離計算
Popcntによるハミング距離計算Popcntによるハミング距離計算
Popcntによるハミング距離計算Norishige Fukushima
 
Treasure Dataを支える技術 - MessagePack編
Treasure Dataを支える技術 - MessagePack編Treasure Dataを支える技術 - MessagePack編
Treasure Dataを支える技術 - MessagePack編Taro L. Saito
 
コメントビュアーを作った話
コメントビュアーを作った話コメントビュアーを作った話
コメントビュアーを作った話健人 辻
 
R-CNNの原理とここ数年の流れ
R-CNNの原理とここ数年の流れR-CNNの原理とここ数年の流れ
R-CNNの原理とここ数年の流れKazuki Motohashi
 
直交領域探索
直交領域探索直交領域探索
直交領域探索okuraofvegetable
 

Weitere ähnliche Inhalte

Was ist angesagt?

Webデザイン 第10回：HTML5実践 Three.jsで3Dプログラミング
Webデザイン 第10回：HTML5実践 Three.jsで3DプログラミングWebデザイン 第10回：HTML5実践 Three.jsで3Dプログラミング
Webデザイン 第10回：HTML5実践 Three.jsで3DプログラミングAtsushi Tadokoro
 
ダブル配列の実装方法
ダブル配列の実装方法ダブル配列の実装方法
ダブル配列の実装方法Higashiyama Masahiko
 
[DL輪読会]Objects as Points
[DL輪読会]Objects as Points[DL輪読会]Objects as Points
[DL輪読会]Objects as PointsDeep Learning JP
 
普通のJavaエンジニアが、なぜ技術書を出版するに至ったか？
普通のJavaエンジニアが、なぜ技術書を出版するに至ったか？普通のJavaエンジニアが、なぜ技術書を出版するに至ったか？
普通のJavaエンジニアが、なぜ技術書を出版するに至ったか？なべ
 
TRAINING PROGRAMME ON MATLAB ASSOCIATE EXAM (1).pptx
TRAINING PROGRAMME ON MATLAB ASSOCIATE EXAM (1).pptxTRAINING PROGRAMME ON MATLAB ASSOCIATE EXAM (1).pptx
TRAINING PROGRAMME ON MATLAB ASSOCIATE EXAM (1).pptxanaveenkumar4
 
第2回nips+読み会: Learning to learn by gradient decent by gradient decent
第2回nips+読み会: Learning to learn by gradient decent by gradient decent第2回nips+読み会: Learning to learn by gradient decent by gradient decent
第2回nips+読み会: Learning to learn by gradient decent by gradient decentTaku Tsuzuki
 
SSII2020 [OS2-03] 深層学習における半教師あり学習の最新動向
SSII2020 [OS2-03] 深層学習における半教師あり学習の最新動向SSII2020 [OS2-03] 深層学習における半教師あり学習の最新動向
SSII2020 [OS2-03] 深層学習における半教師あり学習の最新動向SSII
 
NLP2021 AI王 解法紹介 8
NLP2021 AI王 解法紹介 8NLP2021 AI王 解法紹介 8
NLP2021 AI王 解法紹介 8Takamichi Toda
 
[DL輪読会]M2Det: A Single-Shot Object Detector based on Multi-Level Feature Pyra...
[DL輪読会]M2Det: A Single-Shot Object Detector based on Multi-Level Feature Pyra...[DL輪読会]M2Det: A Single-Shot Object Detector based on Multi-Level Feature Pyra...
[DL輪読会]M2Det: A Single-Shot Object Detector based on Multi-Level Feature Pyra...Deep Learning JP
 
HalideでつくるDomain Specific Architectureの世界
HalideでつくるDomain Specific Architectureの世界HalideでつくるDomain Specific Architectureの世界
HalideでつくるDomain Specific Architectureの世界Fixstars Corporation
 
[DL輪読会]Glow: Generative Flow with Invertible 1×1 Convolutions
[DL輪読会]Glow: Generative Flow with Invertible 1×1 Convolutions[DL輪読会]Glow: Generative Flow with Invertible 1×1 Convolutions
[DL輪読会]Glow: Generative Flow with Invertible 1×1 ConvolutionsDeep Learning JP
 
Popcntによるハミング距離計算
Popcntによるハミング距離計算Popcntによるハミング距離計算
Popcntによるハミング距離計算Norishige Fukushima
 
Treasure Dataを支える技術 - MessagePack編
Treasure Dataを支える技術 - MessagePack編Treasure Dataを支える技術 - MessagePack編
Treasure Dataを支える技術 - MessagePack編Taro L. Saito
 
コメントビュアーを作った話
コメントビュアーを作った話コメントビュアーを作った話
コメントビュアーを作った話健人 辻
 
R-CNNの原理とここ数年の流れ
R-CNNの原理とここ数年の流れR-CNNの原理とここ数年の流れ
R-CNNの原理とここ数年の流れKazuki Motohashi
 

Was ist angesagt? (20)

Webデザイン 第10回：HTML5実践 Three.jsで3Dプログラミング
Webデザイン 第10回：HTML5実践 Three.jsで3DプログラミングWebデザイン 第10回：HTML5実践 Three.jsで3Dプログラミング
Webデザイン 第10回：HTML5実践 Three.jsで3Dプログラミング
 
動的計画法
動的計画法動的計画法
動的計画法
 
ダブル配列の実装方法
ダブル配列の実装方法ダブル配列の実装方法
ダブル配列の実装方法
 
[DL輪読会]Objects as Points
[DL輪読会]Objects as Points[DL輪読会]Objects as Points
[DL輪読会]Objects as Points
 
普通のJavaエンジニアが、なぜ技術書を出版するに至ったか？
普通のJavaエンジニアが、なぜ技術書を出版するに至ったか？普通のJavaエンジニアが、なぜ技術書を出版するに至ったか？
普通のJavaエンジニアが、なぜ技術書を出版するに至ったか？
 
TRAINING PROGRAMME ON MATLAB ASSOCIATE EXAM (1).pptx
TRAINING PROGRAMME ON MATLAB ASSOCIATE EXAM (1).pptxTRAINING PROGRAMME ON MATLAB ASSOCIATE EXAM (1).pptx
TRAINING PROGRAMME ON MATLAB ASSOCIATE EXAM (1).pptx
 
第2回nips+読み会: Learning to learn by gradient decent by gradient decent
第2回nips+読み会: Learning to learn by gradient decent by gradient decent第2回nips+読み会: Learning to learn by gradient decent by gradient decent
第2回nips+読み会: Learning to learn by gradient decent by gradient decent
 
SSII2020 [OS2-03] 深層学習における半教師あり学習の最新動向
SSII2020 [OS2-03] 深層学習における半教師あり学習の最新動向SSII2020 [OS2-03] 深層学習における半教師あり学習の最新動向
SSII2020 [OS2-03] 深層学習における半教師あり学習の最新動向
 
NLP2021 AI王 解法紹介 8
NLP2021 AI王 解法紹介 8NLP2021 AI王 解法紹介 8
NLP2021 AI王 解法紹介 8
 
[DL輪読会]M2Det: A Single-Shot Object Detector based on Multi-Level Feature Pyra...
[DL輪読会]M2Det: A Single-Shot Object Detector based on Multi-Level Feature Pyra...[DL輪読会]M2Det: A Single-Shot Object Detector based on Multi-Level Feature Pyra...
[DL輪読会]M2Det: A Single-Shot Object Detector based on Multi-Level Feature Pyra...
 
DeepLearningTutorial
DeepLearningTutorialDeepLearningTutorial
DeepLearningTutorial
 
Alliomの説明
Alliomの説明Alliomの説明
Alliomの説明
 
HalideでつくるDomain Specific Architectureの世界
HalideでつくるDomain Specific Architectureの世界HalideでつくるDomain Specific Architectureの世界
HalideでつくるDomain Specific Architectureの世界
 
人工知能概論 14
人工知能概論 14人工知能概論 14
人工知能概論 14
 
[DL輪読会]Glow: Generative Flow with Invertible 1×1 Convolutions
[DL輪読会]Glow: Generative Flow with Invertible 1×1 Convolutions[DL輪読会]Glow: Generative Flow with Invertible 1×1 Convolutions
[DL輪読会]Glow: Generative Flow with Invertible 1×1 Convolutions
 
Popcntによるハミング距離計算
Popcntによるハミング距離計算Popcntによるハミング距離計算
Popcntによるハミング距離計算
 
Treasure Dataを支える技術 - MessagePack編
Treasure Dataを支える技術 - MessagePack編Treasure Dataを支える技術 - MessagePack編
Treasure Dataを支える技術 - MessagePack編
 
コメントビュアーを作った話
コメントビュアーを作った話コメントビュアーを作った話
コメントビュアーを作った話
 
R-CNNの原理とここ数年の流れ
R-CNNの原理とここ数年の流れR-CNNの原理とここ数年の流れ
R-CNNの原理とここ数年の流れ
 
直交領域探索
直交領域探索直交領域探索
直交領域探索
 

スーパーマリオメーカーはチューリング完全（日曜数学会発表）