SlideShare a Scribd company logo
1 of 75
また巨大数の話
ふぃっしゅ数Ver.1攻略
小林銅蟲
こんに
ちは
小林銅蟲
漫画家
MANGA pixiv
イブニング 11/22 めしにしましょう①巻
本日の
ロマン
ティッ
ふぃっしゅ数Ver.1
を理解して
ライバルに
差をつけよう
ふぃっしゅ数Ver.1とは
・純国産
・グラハム数(でかい)より
でかい
・意味は特にない
・理解するとかっこいい
・理解するのがだるい
皆さん
いい
ですか
1+1が
わかるなら
わかる
人間は
数式を
読める
私は
センター数学
30点台
です
では定義です御覧下さい
大丈夫
いける
本当は
1時間
欲しい
さて 構造
63回
機械A
機械B
3
機械C なんか
なんか
ふぃっしゅ数Ver.1
さて 構造
63回
機械A
機械B
3
機械C なんか
なんか
ふぃっしゅ数Ver.1
さて 構造
63回
機械A
機械B
3
機械C なんか
なんか
ふぃっしゅ数Ver.1
入れて出て来たものをまた入れる
さて 構造
63回
機械A
機械B
3
機械C なんか
なんか
ふぃっしゅ数Ver.1
わかればいいこと
・機械Aってなに
・機械Bってなに
・機械Cってなに
機械Aは何をするのか
・数(ここでは3)を大きくできる
・詳細は後述
63回
機械A
機械B
3
機械C なんか
なんか
ふぃっしゅ数Ver.1
63回
機械A
機械B
3
機械C なんか
なんか
ふぃっしゅ数Ver.1
機械Bは何をするのか
・機械Aを強くできる
・その結果、数も大きくなる
63回
機械A
機械B
3
なんか
なんか
ふぃっしゅ数Ver.1
機械Cは何をするのか
・機械Bを強くできる
・その結果、機械Aも強くなる
・つまり数も大きくなる
機械C
これでワンセット
強い機械B
強い機械A
でかい数
機械B
機械A
数
機械C
実際行われること
具体的に見ていきます
強い機械B
強い機械A
でかい数
機械B
機械A
3
機械C
最初の機械Aはなんなのか
強い機械B
強い機械A
でかい数
機械B
1を足す
3
機械C
機械A
初期値では雑魚 このあと化けます
機械Aは数を大きくするもの
皆さんが
終わってしまう
理由
機械Bの
中身が
だるい
機械Bの中身
これは機械Aを強化する仕組み
大丈夫
先に具体例を見てみましょう
𝑥 + 1 𝐵(𝑥, 𝑥)機械B
強化後強化前
いわゆる
アッカーマン関数
先に具体例を見てみましょう
1
𝐵(𝑥, 𝑥)
機械A 3
強化後
𝐵(1,1)
先に具体例を見てみましょう
こうなる理由がさっきのモジャモジャで定義されてます
𝐵 1,1 = 𝐵 0, 𝐵 1,0
= 𝐵 0, 𝐵 0,1
= 𝐵 0,2
= 3
𝐵 1,1 = 𝐵 0, 𝐵 1,0
= 𝐵 0, 𝐵 0,1
= 𝐵 0,2
= 3
前の数 後ろの数
𝐵 1,1 = 𝐵 0, 𝐵 1,0
= 𝐵 0, 𝐵 0,1
= 𝐵 0,2
= 3
【ルール①】
もし前の数が0なら、後ろの数を強化前の機械A
に入れて計算する
(ここでは𝑥 + 1)
𝐵 1,1 = 𝐵 0, 𝐵 1,0
= 𝐵 0, 𝐵 0,1
= 𝐵 0,2
= 3
【ルール②】
もし後ろの数が0なら、前の数を1減らして
後ろの数を1にする
𝐵 1,1 = 𝐵 0, 𝐵 1,0
= 𝐵 0, 𝐵 0,1
= 𝐵 0,2
= 3
【ルール③】
もし前の数も後ろの数も0でないなら、前の数を
1減らし、後ろの数を「元のやつの後ろの数を
1減らしたもの」にする
いける
いける
これは?
𝑔 𝑥 = 𝐵(𝑥, 𝑥) の意味
「ルール①~③を踏まえて
強化後の機械Aの中身を
𝐵 𝑥, 𝑥 とする
具体例
機械B
3
𝑥 + 1
𝐵(3,3)
𝐵(𝑥, 𝑥)
具体例
機械B
3
𝑥 + 1
𝐵(3,3)
𝐵(𝑥, 𝑥)
具体例
機械B
3
𝑥 + 1
𝐵(3,3)
𝐵(𝑥, 𝑥)
𝐵 3,3 = 61
です
具体的な計算は書ききれない
寿司虚空編2話に
10ページ分これが
載っています
(編集部を困らせようと
思ってやった)
そんなわけで
機械B
3
𝑥 + 1
61
𝐵(𝑥, 𝑥)
機械C
機械Cが機械Bを強化する仕組み
強化後は
「機械Bを
『機械Aにその時の数を
入れて出て来た数』
だけ繰り返すものとする」
大丈夫
具体例
機械C
3
𝑥 + 1
?
?
機械B ?
実際にふぃっしゅ数Ver.1を構成する
63段階のうち、1段階目の様子( )
具体例
機械C
3
𝑥 + 1
?
強化後の機械Bは
3 + 1 = 4 回
繰り返す強さになる
機械B
4
機械B
?
具体例
機械C
3
𝑥 + 1
?
ここで強化後の機械Bが起動、
数と機械Aが強化される
機械B
4
機械B
?
つまり、こう
3
𝑥 + 1
?
機械B
4
?
これの処理が済めば1段階目は完了
やっていくこと
機械B
3
𝑥 + 1
61
𝐵(𝑥, 𝑥)
?
?
??
??
???
???
機械B
機械B
機械B
1段階目ゴール
やっていくこと
機械B
3
𝑥 + 1
61
𝐵(𝑥, 𝑥)
?
?
??
??
???
???
機械B
機械B
機械B
1段階目ゴール
これどうなるよ
61
𝐵(𝑥, 𝑥)
?
機械B
?
まず𝐵 𝑥, 𝑥 が機械Bのルールによって
強化される
ぶっちゃけこうなる
61
𝐵(𝑥, 𝑥)
?
機械B
𝐶(𝑥, 𝑥)
𝐵 𝑥, 𝑥 が機械Bのルールによって
強化され 𝐶(𝑥, 𝑥) が誕生
ぶっちゃけこうなる
61
𝐵(𝑥, 𝑥)
𝐶(61,61)
機械B
𝐶(𝑥, 𝑥)
そして 𝐶 𝑥, 𝑥 の 𝑥 に61が入る
𝐶 1,1 = 𝐶 0, 𝐶 1,0
= 𝐶 0, 𝐶 0,1
= 𝐶 0, 𝐵(1,1)
= 𝐵(3,3)
𝐶 𝑥, 𝑥 は何をするのか
1+1ではない!
𝐶 1,1 = 𝐶 0, 𝐶 1,0
= 𝐶 0, 𝐶 0,1
= 𝐶 0, 𝐵(1,1)
= 𝐵(3,3)
𝐶 𝑥, 𝑥 は何をするのか
1+1ではない!
【ルール①】
もし前の数が0なら、後ろの数を強化前の機械A
に入れて計算する
𝐵(𝑥, 𝑥)
𝐵 𝑥, 𝑥 と 𝐶 𝑥, 𝑥 との比較
𝐶 1,1
= 𝐶 0, 𝐶 1,0
= 𝐶 0, 𝐶 0,1
= 𝐶 0, 𝐵(1,1)
𝐵 1,1
= 𝐵 0, 𝐵 1,0
= 𝐵 0, 𝐵 0,1
= 𝐵 0, (1 + 1)
𝐵 𝑥, 𝑥 と 𝐶 𝑥, 𝑥 との比較
𝐶 1,1
= 𝐶 0, 𝐶 1,0
= 𝐶 0, 𝐶 0,1
= 𝐶 0, 𝐵(1,1)
= 𝐵 3,3
= 61
𝐵 1,1
= 𝐵 0, 𝐵 1,0
= 𝐵 0, 𝐵 0,1
= 𝐵 0, (1 + 1)
= 2 + 1
= 3
𝐵(𝑥, 𝑥)も強いけど
𝐶(𝑥, 𝑥)はもっと強い
𝐶(61,61) って?
61
𝐵(𝑥, 𝑥)
𝐶(61,61)
機械B
𝐶(𝑥, 𝑥)
・𝐶 2,2 の時点でグラハム数よりでかい
・やばい
いまここ
機械B
3
𝑥 + 1
61
𝐵(𝑥, 𝑥)
𝐶(61,61)
𝐶(𝑥, 𝑥)
??
??
???
???
機械B
機械B
機械B
一段階目ゴール
この後こんな感じ
機械B
𝐶(61,61)
𝐶(𝑥, 𝑥)
𝐷(𝐶(61,61), 𝐶(61,61))
𝐷(𝑥, 𝑥)
𝐸(𝑥, 𝑥)
𝐸(𝐷(𝐶(61,61), 𝐶(61,61)), 𝐷(𝐶(61,61), 𝐶(61,61)))
機械B
よかったですね
𝐶 𝑥, 𝑥 と 𝐷 𝑥, 𝑥 との比較
𝐷 1,1
= 𝐷 0, 𝐷 1,0
= 𝐷 0, 𝐷 0,1
= 𝐷 0, 𝐶(1,1)
= 𝐶 61,61
= 表記不能
𝐶 1,1
= 𝐶 0, 𝐶 1,0
= 𝐶 0, 𝐶 0,1
= 𝐶 0, 𝐵(1,1)
= 𝐵 3,3
= 61
𝐷 𝑥, 𝑥 と 𝐸 𝑥, 𝑥 との比較
𝐸 1,1
= 𝐸 0, 𝐸 1,0
= 𝐸 0, 𝐸 0,1
= 𝐸 0, 𝐷(1,1)
= 𝐷 ,
= 表記不能
𝐷 1,1
= 𝐷 0, 𝐷 1,0
= 𝐷 0, 𝐷 0,1
= 𝐷 0, 𝐶(1,1)
= 𝐶 61,61
= 表記不能
𝐷(1,1) 𝐷(1,1)
一応、2段階目
𝐸(𝑥, 𝑥)
𝐸(𝐷(𝐶(61,61), 𝐶(61,61)), 𝐷(𝐶(61,61), 𝐶(61,61)))
機械C
機械B
4
ウーワ
ウッワ
ウワー
爆発します
そして・・・
機械C
3
𝑥 + 1 ?
機械B ?
63
ふぃっしゅ数
Ver.1
あわせて
寿司虚空編3話を
読んでくだ
さい
ひととおり説明してあるから
ひとまずこの発表ではここまで
おわりです

More Related Content

What's hot

Tutorial on Object Detection (Faster R-CNN)
Tutorial on Object Detection (Faster R-CNN)Tutorial on Object Detection (Faster R-CNN)
Tutorial on Object Detection (Faster R-CNN)Hwa Pyung Kim
 
AlphaGo in Depth
AlphaGo in Depth AlphaGo in Depth
AlphaGo in Depth Mark Chang
 
データ分析グループの組織編制とその課題 マーケティングにおけるKPI設計の失敗例 ABテストの活用と、機械学習の導入 #CWT2016
データ分析グループの組織編制とその課題 マーケティングにおけるKPI設計の失敗例 ABテストの活用と、機械学習の導入 #CWT2016データ分析グループの組織編制とその課題 マーケティングにおけるKPI設計の失敗例 ABテストの活用と、機械学習の導入 #CWT2016
データ分析グループの組織編制とその課題 マーケティングにおけるKPI設計の失敗例 ABテストの活用と、機械学習の導入 #CWT2016Tokoroten Nakayama
 
線形代数の視覚的理解のためのノート
線形代数の視覚的理解のためのノート線形代数の視覚的理解のためのノート
線形代数の視覚的理解のためのノートKenji Hiranabe
 
ぷよぷよAIの新しい探索法
ぷよぷよAIの新しい探索法ぷよぷよAIの新しい探索法
ぷよぷよAIの新しい探索法Takaya Doki
 
파이썬과 케라스로 배우는 강화학습 저자특강
파이썬과 케라스로 배우는 강화학습 저자특강파이썬과 케라스로 배우는 강화학습 저자특강
파이썬과 케라스로 배우는 강화학습 저자특강Woong won Lee
 
딥러닝과 강화 학습으로 나보다 잘하는 쿠키런 AI 구현하기
딥러닝과 강화 학습으로 나보다 잘하는 쿠키런 AI 구현하기딥러닝과 강화 학습으로 나보다 잘하는 쿠키런 AI 구현하기
딥러닝과 강화 학습으로 나보다 잘하는 쿠키런 AI 구현하기NAVER D2
 
用十分鐘瞭解 《電腦到底是怎麼下棋的》
用十分鐘瞭解  《電腦到底是怎麼下棋的》 用十分鐘瞭解  《電腦到底是怎麼下棋的》
用十分鐘瞭解 《電腦到底是怎麼下棋的》 鍾誠 陳鍾誠
 
Recommandation forcompetitiveprogrammers
Recommandation forcompetitiveprogrammersRecommandation forcompetitiveprogrammers
Recommandation forcompetitiveprogrammersskyaozora
 
機械学習 / Deep Learning 大全 (2) Deep Learning 基礎編
機械学習 / Deep Learning 大全 (2) Deep Learning 基礎編機械学習 / Deep Learning 大全 (2) Deep Learning 基礎編
機械学習 / Deep Learning 大全 (2) Deep Learning 基礎編Daiyu Hatakeyama
 
分類問題 - 機械学習ライブラリ scikit-learn の活用
分類問題 - 機械学習ライブラリ scikit-learn の活用分類問題 - 機械学習ライブラリ scikit-learn の活用
分類問題 - 機械学習ライブラリ scikit-learn の活用y-uti
 
二人零和マルコフゲームにおけるオフ方策評価
二人零和マルコフゲームにおけるオフ方策評価二人零和マルコフゲームにおけるオフ方策評価
二人零和マルコフゲームにおけるオフ方策評価Kenshi Abe
 
強化学習における好奇心
強化学習における好奇心強化学習における好奇心
強化学習における好奇心Shota Imai
 
競技プログラミングにおけるコードの書き方とその利便性
競技プログラミングにおけるコードの書き方とその利便性競技プログラミングにおけるコードの書き方とその利便性
競技プログラミングにおけるコードの書き方とその利便性Hibiki Yamashiro
 
クラシックな機械学習の入門 7. オンライン学習
クラシックな機械学習の入門  7. オンライン学習クラシックな機械学習の入門  7. オンライン学習
クラシックな機械学習の入門 7. オンライン学習Hiroshi Nakagawa
 
Graphic Notes on Linear Algebra and Data Science
Graphic Notes on Linear Algebra and Data ScienceGraphic Notes on Linear Algebra and Data Science
Graphic Notes on Linear Algebra and Data ScienceKenji Hiranabe
 
NDC 2013 이은석 - 게임 디렉터가 뭐하는 건가요
NDC 2013 이은석 - 게임 디렉터가 뭐하는 건가요NDC 2013 이은석 - 게임 디렉터가 뭐하는 건가요
NDC 2013 이은석 - 게임 디렉터가 뭐하는 건가요Eunseok Yi
 

What's hot (20)

グラフと木
グラフと木グラフと木
グラフと木
 
Tutorial on Object Detection (Faster R-CNN)
Tutorial on Object Detection (Faster R-CNN)Tutorial on Object Detection (Faster R-CNN)
Tutorial on Object Detection (Faster R-CNN)
 
AlphaGo in Depth
AlphaGo in Depth AlphaGo in Depth
AlphaGo in Depth
 
AlphaGo and AlphaGo Zero
AlphaGo and AlphaGo ZeroAlphaGo and AlphaGo Zero
AlphaGo and AlphaGo Zero
 
データ分析グループの組織編制とその課題 マーケティングにおけるKPI設計の失敗例 ABテストの活用と、機械学習の導入 #CWT2016
データ分析グループの組織編制とその課題 マーケティングにおけるKPI設計の失敗例 ABテストの活用と、機械学習の導入 #CWT2016データ分析グループの組織編制とその課題 マーケティングにおけるKPI設計の失敗例 ABテストの活用と、機械学習の導入 #CWT2016
データ分析グループの組織編制とその課題 マーケティングにおけるKPI設計の失敗例 ABテストの活用と、機械学習の導入 #CWT2016
 
線形代数の視覚的理解のためのノート
線形代数の視覚的理解のためのノート線形代数の視覚的理解のためのノート
線形代数の視覚的理解のためのノート
 
辺彩色
辺彩色辺彩色
辺彩色
 
ぷよぷよAIの新しい探索法
ぷよぷよAIの新しい探索法ぷよぷよAIの新しい探索法
ぷよぷよAIの新しい探索法
 
파이썬과 케라스로 배우는 강화학습 저자특강
파이썬과 케라스로 배우는 강화학습 저자특강파이썬과 케라스로 배우는 강화학습 저자특강
파이썬과 케라스로 배우는 강화학습 저자특강
 
딥러닝과 강화 학습으로 나보다 잘하는 쿠키런 AI 구현하기
딥러닝과 강화 학습으로 나보다 잘하는 쿠키런 AI 구현하기딥러닝과 강화 학습으로 나보다 잘하는 쿠키런 AI 구현하기
딥러닝과 강화 학습으로 나보다 잘하는 쿠키런 AI 구현하기
 
用十分鐘瞭解 《電腦到底是怎麼下棋的》
用十分鐘瞭解  《電腦到底是怎麼下棋的》 用十分鐘瞭解  《電腦到底是怎麼下棋的》
用十分鐘瞭解 《電腦到底是怎麼下棋的》
 
Recommandation forcompetitiveprogrammers
Recommandation forcompetitiveprogrammersRecommandation forcompetitiveprogrammers
Recommandation forcompetitiveprogrammers
 
機械学習 / Deep Learning 大全 (2) Deep Learning 基礎編
機械学習 / Deep Learning 大全 (2) Deep Learning 基礎編機械学習 / Deep Learning 大全 (2) Deep Learning 基礎編
機械学習 / Deep Learning 大全 (2) Deep Learning 基礎編
 
分類問題 - 機械学習ライブラリ scikit-learn の活用
分類問題 - 機械学習ライブラリ scikit-learn の活用分類問題 - 機械学習ライブラリ scikit-learn の活用
分類問題 - 機械学習ライブラリ scikit-learn の活用
 
二人零和マルコフゲームにおけるオフ方策評価
二人零和マルコフゲームにおけるオフ方策評価二人零和マルコフゲームにおけるオフ方策評価
二人零和マルコフゲームにおけるオフ方策評価
 
強化学習における好奇心
強化学習における好奇心強化学習における好奇心
強化学習における好奇心
 
競技プログラミングにおけるコードの書き方とその利便性
競技プログラミングにおけるコードの書き方とその利便性競技プログラミングにおけるコードの書き方とその利便性
競技プログラミングにおけるコードの書き方とその利便性
 
クラシックな機械学習の入門 7. オンライン学習
クラシックな機械学習の入門  7. オンライン学習クラシックな機械学習の入門  7. オンライン学習
クラシックな機械学習の入門 7. オンライン学習
 
Graphic Notes on Linear Algebra and Data Science
Graphic Notes on Linear Algebra and Data ScienceGraphic Notes on Linear Algebra and Data Science
Graphic Notes on Linear Algebra and Data Science
 
NDC 2013 이은석 - 게임 디렉터가 뭐하는 건가요
NDC 2013 이은석 - 게임 디렉터가 뭐하는 건가요NDC 2013 이은석 - 게임 디렉터가 뭐하는 건가요
NDC 2013 이은석 - 게임 디렉터가 뭐하는 건가요
 

また巨大数の話