Submit Search
Upload
Turing machine for programming #日曜数学会
•
5 likes
•
2,401 views
Junpei Tsuji
Follow
第三回 #日曜数学会 で @tsujimotter が発表したスライドです。 デモアプリURL -> http://tsujimotter.info/works/turing/
Read less
Read more
Education
Report
Share
Report
Share
1 of 27
Download now
Download to read offline
Recommended
Jubeatプレゼン
Jubeatプレゼン
latte0
はじめてのこんぴゅうとしぇえだあ〜ComputeShaderに入門してみた話〜
はじめてのこんぴゅうとしぇえだあ〜ComputeShaderに入門してみた話〜
めーぷる しろっぷ
折り紙とコンパスで計算してみよう@ノラヤ・サイエンス・バー
折り紙とコンパスで計算してみよう@ノラヤ・サイエンス・バー
Junpei Tsuji
{触れる/食べられる} ゼータ関数 #ABpro 2015
{触れる/食べられる} ゼータ関数 #ABpro 2015
Junpei Tsuji
トーナメントは運か実力か
トーナメントは運か実力か
Kazuro Fukuhara
無理数とお友達になろう - 第384回科学勉強会
無理数とお友達になろう - 第384回科学勉強会
Junpei Tsuji
日曜数学の実践 第1回日曜数学会
日曜数学の実践 第1回日曜数学会
Junpei Tsuji
「五次方程式が代数的に解けないわけ」第3回プログラマのための数学勉強会 #maths4pg
「五次方程式が代数的に解けないわけ」第3回プログラマのための数学勉強会 #maths4pg
Junpei Tsuji
Recommended
Jubeatプレゼン
Jubeatプレゼン
latte0
はじめてのこんぴゅうとしぇえだあ〜ComputeShaderに入門してみた話〜
はじめてのこんぴゅうとしぇえだあ〜ComputeShaderに入門してみた話〜
めーぷる しろっぷ
折り紙とコンパスで計算してみよう@ノラヤ・サイエンス・バー
折り紙とコンパスで計算してみよう@ノラヤ・サイエンス・バー
Junpei Tsuji
{触れる/食べられる} ゼータ関数 #ABpro 2015
{触れる/食べられる} ゼータ関数 #ABpro 2015
Junpei Tsuji
トーナメントは運か実力か
トーナメントは運か実力か
Kazuro Fukuhara
無理数とお友達になろう - 第384回科学勉強会
無理数とお友達になろう - 第384回科学勉強会
Junpei Tsuji
日曜数学の実践 第1回日曜数学会
日曜数学の実践 第1回日曜数学会
Junpei Tsuji
「五次方程式が代数的に解けないわけ」第3回プログラマのための数学勉強会 #maths4pg
「五次方程式が代数的に解けないわけ」第3回プログラマのための数学勉強会 #maths4pg
Junpei Tsuji
素因数分解しようぜ! #日曜数学会
素因数分解しようぜ! #日曜数学会
Junpei Tsuji
モンテカルロ法を用いた素数大富豪素数問題の評価 #素数大富豪研究会
モンテカルロ法を用いた素数大富豪素数問題の評価 #素数大富豪研究会
Junpei Tsuji
ピタゴラス数とヒルベルトの定理90 #3分で数学を語る会
ピタゴラス数とヒルベルトの定理90 #3分で数学を語る会
Junpei Tsuji
五次方程式はやっぱり解ける #日曜数学会
五次方程式はやっぱり解ける #日曜数学会
Junpei Tsuji
第18回日曜数学会オンライン・オープニング資料
第18回日曜数学会オンライン・オープニング資料
Junpei Tsuji
「にじたい」へのいざない #ロマンティック数学ナイト
「にじたい」へのいざない #ロマンティック数学ナイト
Junpei Tsuji
ラマヌジャンやっぱりやばいじゃん - 第15回 #日曜数学会
ラマヌジャンやっぱりやばいじゃん - 第15回 #日曜数学会
Junpei Tsuji
x^2 + ny^2 の形で表せる素数 - めざせプライムマスター!
x^2 + ny^2 の形で表せる素数 - めざせプライムマスター!
Junpei Tsuji
x^2+ny^2の形で表せる素数の法則と類体論
x^2+ny^2の形で表せる素数の法則と類体論
Junpei Tsuji
オイラー先生のおしゃれな素数判定 - 第14回 #日曜数学会
オイラー先生のおしゃれな素数判定 - 第14回 #日曜数学会
Junpei Tsuji
萩の月問題 - 第14回 #日曜数学会
萩の月問題 - 第14回 #日曜数学会
Junpei Tsuji
合同数問題と保型形式
合同数問題と保型形式
Junpei Tsuji
私の好きな関数とのなれそめ #ロマンティック数学ナイト
私の好きな関数とのなれそめ #ロマンティック数学ナイト
Junpei Tsuji
ベルヌーイ数とお友達になろう #ロマンティック数学ナイト
ベルヌーイ数とお友達になろう #ロマンティック数学ナイト
Junpei Tsuji
五次方程式は解けない - 第12回 #日曜数学会
五次方程式は解けない - 第12回 #日曜数学会
Junpei Tsuji
「ガロア表現」を使って素数の分解法則を考える #mathmoring
「ガロア表現」を使って素数の分解法則を考える #mathmoring
Junpei Tsuji
連分数マジック - 第3回 #日曜数学会 in 札幌
連分数マジック - 第3回 #日曜数学会 in 札幌
Junpei Tsuji
素数は孤独じゃない(番外編) 第13回 数学カフェ「素数!!」
素数は孤独じゃない(番外編) 第13回 数学カフェ「素数!!」
Junpei Tsuji
ゼータへ続く素数の階段物語 第13回 数学カフェ「素数!!」
ゼータへ続く素数の階段物語 第13回 数学カフェ「素数!!」
Junpei Tsuji
非正則素数チェッカー #日曜数学会
非正則素数チェッカー #日曜数学会
Junpei Tsuji
ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学
ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学
ssusere0a682
TokyoTechGraduateExaminationPresentation
TokyoTechGraduateExaminationPresentation
YukiTerazawa
More Related Content
More from Junpei Tsuji
素因数分解しようぜ! #日曜数学会
素因数分解しようぜ! #日曜数学会
Junpei Tsuji
モンテカルロ法を用いた素数大富豪素数問題の評価 #素数大富豪研究会
モンテカルロ法を用いた素数大富豪素数問題の評価 #素数大富豪研究会
Junpei Tsuji
ピタゴラス数とヒルベルトの定理90 #3分で数学を語る会
ピタゴラス数とヒルベルトの定理90 #3分で数学を語る会
Junpei Tsuji
五次方程式はやっぱり解ける #日曜数学会
五次方程式はやっぱり解ける #日曜数学会
Junpei Tsuji
第18回日曜数学会オンライン・オープニング資料
第18回日曜数学会オンライン・オープニング資料
Junpei Tsuji
「にじたい」へのいざない #ロマンティック数学ナイト
「にじたい」へのいざない #ロマンティック数学ナイト
Junpei Tsuji
ラマヌジャンやっぱりやばいじゃん - 第15回 #日曜数学会
ラマヌジャンやっぱりやばいじゃん - 第15回 #日曜数学会
Junpei Tsuji
x^2 + ny^2 の形で表せる素数 - めざせプライムマスター!
x^2 + ny^2 の形で表せる素数 - めざせプライムマスター!
Junpei Tsuji
x^2+ny^2の形で表せる素数の法則と類体論
x^2+ny^2の形で表せる素数の法則と類体論
Junpei Tsuji
オイラー先生のおしゃれな素数判定 - 第14回 #日曜数学会
オイラー先生のおしゃれな素数判定 - 第14回 #日曜数学会
Junpei Tsuji
萩の月問題 - 第14回 #日曜数学会
萩の月問題 - 第14回 #日曜数学会
Junpei Tsuji
合同数問題と保型形式
合同数問題と保型形式
Junpei Tsuji
私の好きな関数とのなれそめ #ロマンティック数学ナイト
私の好きな関数とのなれそめ #ロマンティック数学ナイト
Junpei Tsuji
ベルヌーイ数とお友達になろう #ロマンティック数学ナイト
ベルヌーイ数とお友達になろう #ロマンティック数学ナイト
Junpei Tsuji
五次方程式は解けない - 第12回 #日曜数学会
五次方程式は解けない - 第12回 #日曜数学会
Junpei Tsuji
「ガロア表現」を使って素数の分解法則を考える #mathmoring
「ガロア表現」を使って素数の分解法則を考える #mathmoring
Junpei Tsuji
連分数マジック - 第3回 #日曜数学会 in 札幌
連分数マジック - 第3回 #日曜数学会 in 札幌
Junpei Tsuji
素数は孤独じゃない(番外編) 第13回 数学カフェ「素数!!」
素数は孤独じゃない(番外編) 第13回 数学カフェ「素数!!」
Junpei Tsuji
ゼータへ続く素数の階段物語 第13回 数学カフェ「素数!!」
ゼータへ続く素数の階段物語 第13回 数学カフェ「素数!!」
Junpei Tsuji
非正則素数チェッカー #日曜数学会
非正則素数チェッカー #日曜数学会
Junpei Tsuji
More from Junpei Tsuji
(20)
素因数分解しようぜ! #日曜数学会
素因数分解しようぜ! #日曜数学会
モンテカルロ法を用いた素数大富豪素数問題の評価 #素数大富豪研究会
モンテカルロ法を用いた素数大富豪素数問題の評価 #素数大富豪研究会
ピタゴラス数とヒルベルトの定理90 #3分で数学を語る会
ピタゴラス数とヒルベルトの定理90 #3分で数学を語る会
五次方程式はやっぱり解ける #日曜数学会
五次方程式はやっぱり解ける #日曜数学会
第18回日曜数学会オンライン・オープニング資料
第18回日曜数学会オンライン・オープニング資料
「にじたい」へのいざない #ロマンティック数学ナイト
「にじたい」へのいざない #ロマンティック数学ナイト
ラマヌジャンやっぱりやばいじゃん - 第15回 #日曜数学会
ラマヌジャンやっぱりやばいじゃん - 第15回 #日曜数学会
x^2 + ny^2 の形で表せる素数 - めざせプライムマスター!
x^2 + ny^2 の形で表せる素数 - めざせプライムマスター!
x^2+ny^2の形で表せる素数の法則と類体論
x^2+ny^2の形で表せる素数の法則と類体論
オイラー先生のおしゃれな素数判定 - 第14回 #日曜数学会
オイラー先生のおしゃれな素数判定 - 第14回 #日曜数学会
萩の月問題 - 第14回 #日曜数学会
萩の月問題 - 第14回 #日曜数学会
合同数問題と保型形式
合同数問題と保型形式
私の好きな関数とのなれそめ #ロマンティック数学ナイト
私の好きな関数とのなれそめ #ロマンティック数学ナイト
ベルヌーイ数とお友達になろう #ロマンティック数学ナイト
ベルヌーイ数とお友達になろう #ロマンティック数学ナイト
五次方程式は解けない - 第12回 #日曜数学会
五次方程式は解けない - 第12回 #日曜数学会
「ガロア表現」を使って素数の分解法則を考える #mathmoring
「ガロア表現」を使って素数の分解法則を考える #mathmoring
連分数マジック - 第3回 #日曜数学会 in 札幌
連分数マジック - 第3回 #日曜数学会 in 札幌
素数は孤独じゃない(番外編) 第13回 数学カフェ「素数!!」
素数は孤独じゃない(番外編) 第13回 数学カフェ「素数!!」
ゼータへ続く素数の階段物語 第13回 数学カフェ「素数!!」
ゼータへ続く素数の階段物語 第13回 数学カフェ「素数!!」
非正則素数チェッカー #日曜数学会
非正則素数チェッカー #日曜数学会
Recently uploaded
ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学
ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学
ssusere0a682
TokyoTechGraduateExaminationPresentation
TokyoTechGraduateExaminationPresentation
YukiTerazawa
東京工業大学 環境・社会理工学院 建築学系 大学院入学入試・進学説明会2024_v2
東京工業大学 環境・社会理工学院 建築学系 大学院入学入試・進学説明会2024_v2
Tokyo Institute of Technology
TEAMIN Service overview for customer_20240422.pdf
TEAMIN Service overview for customer_20240422.pdf
yukisuga3
The_Five_Books_Overview_Presentation_2024
The_Five_Books_Overview_Presentation_2024
koheioishi1
UniProject Workshop Make a Discord Bot with JavaScript
UniProject Workshop Make a Discord Bot with JavaScript
yuitoakatsukijp
Recently uploaded
(6)
ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学
ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学
TokyoTechGraduateExaminationPresentation
TokyoTechGraduateExaminationPresentation
東京工業大学 環境・社会理工学院 建築学系 大学院入学入試・進学説明会2024_v2
東京工業大学 環境・社会理工学院 建築学系 大学院入学入試・進学説明会2024_v2
TEAMIN Service overview for customer_20240422.pdf
TEAMIN Service overview for customer_20240422.pdf
The_Five_Books_Overview_Presentation_2024
The_Five_Books_Overview_Presentation_2024
UniProject Workshop Make a Discord Bot with JavaScript
UniProject Workshop Make a Discord Bot with JavaScript
Turing machine for programming #日曜数学会
1.
Turing Machine for Programming 日曜数学者 順平
(@tsujimotter)
2.
みんなで遊べる チューリング・マシン を作ったった! 2 今日お話ししたいこと
3.
Turing Machine http://bit.ly/turing-machine にて公開中 3 (@tsujimoter のツイートでも紹介しています)
4.
計算 とは? 4
5.
アラン・チューリング 5
6.
計算 = 6 def チューリング・マシン によってできること
7.
なにそれきになる 7
8.
というわけで 8
9.
チューリング・マシン つくってみた じゃじゃーん 9
10.
チューリング・マシンの構成要素 10 テープ(無限に長い) セル ヘッド 左右に移動できる (「移動しない」も可) ヘッド位置にあるセルを読み書きできる
11.
11 qacc q2 q0 q1 内部状態: (q_0, 1) -> (1, R, q_1) (q_1, 1) -> (1, R, q_2) (q_2, 1) -> (1, R, q_0) (q_0, BLANK) -> (BLANK, N, q_acc) 遷移ルール: 1 1 1 BLANK q0
12.
12 (q_0, 1) -> (1, R, q_1) (q_1, 1) -> (1, R, q_2) (q_2, 1) -> (1, R, q_0) (q_0, BLANK) -> (BLANK, N, q_acc) qacc q2 q0 q1 内部状態: 遷移ルール: BLANK 1 1 1 内部状態:q0 テープ:1 q0
13.
13 (q_0, 1) -> (1, R, q_1) (q_1, 1) -> (1, R, q_2) (q_2, 1) -> (1, R, q_0) (q_0, BLANK) -> (BLANK, N, q_acc) qacc q2 q0 q1 内部状態: 遷移ルール: 1 1 1 内部状態:q0 テープ: BLANK BLANK q0
14.
(q_0, 1) -> (1, R, q_1) (q_1, 1) -> (1, R, q_2) (q_2, 1) -> (1, R, q_0) (q_0, BLANK) -> (BLANK, N, q_acc) qacc q2 q0 q1 内部状態: 遷移ルール: 1 1 1 受理状態 (ACCEPT) BLANK qacc 14
15.
(q_0, 1) -> (1, R, q_1) (q_1, 1) -> (1, R, q_2) (q_2, 1) -> (1, R, q_0) (q_0, BLANK) -> (BLANK, N, q_acc) qacc q2 q0 q1 内部状態: 遷移ルール: 1 1 1 BLANK q0 X どれにも該当しない場合,拒否状態 (REJECT) となって停止 15
16.
16 遷移ルールは, まさにプログラムそのもの
17.
プログラム言語を作ってみた # 内部状態 q_0, 現在のテープが “0” のとき, # テープに “1” を書き込み, 右方向 (R) へと移動 # 内部状態を q_1 に変更 (q_0, 0) -> (1, R, q_1) チューリング・マシン記述言語 (.tm) 17 q_0, 0, 1, R, q_1
18.
nabeatsu.tm # テープにあらかじめ書き込んだ文字列(入力) # の“1” の本数が # “3 の倍数” のとき,accept (アホ) q_0, 1, 1, R, q_1 q_1, 1, 1, R, q_2 q_2, 1, 1, R, q_0 q_0, BLANK, BLANK, N, q_acc # 上記以外の状態のとき, q_rej へ 18
19.
accept 111111 入力 出力 19 reject 11111 入力 出力nabeatsu.tm
20.
Movie 20
21.
21 h"p://bit.ly/turing-machine
22.
accept or reject 12x35=123 入力 出力 22 与えられた質問に対し yes/no
を応答する機械
23.
沸き起こる全能感 23
24.
素数判定とか イケるんじゃね?w 24
25.
Demo 25
26.
26 h"p://bit.ly/turing-machine
27.
Turing Machine http://bit.ly/turing-machine にて公開中 27 (@tsujimoter のツイートでも紹介しています)
Download now