2013年5月24日
人工知能とは
西田豊明
1. 人工知能の発展の歴史 ― 「知能をもつメカ」ないし
は「心を持つメカ」への道.
2. コンピュータの出現で人工知能の本格研究が可能に
なった.
3. コンピュータの本質はチューリングマシンである.
4. Lispインタープリタは思考を助ける強力なツールである.
今回あらすじ
人工知能研究者
人工知能研究者
人間のしている知的行為に関心を持つ
それをコンピュータで再現してみようとするとん
でもない人たち
1956年に旗揚げ
日本では約3000人?
人工知能とは?
人工知能とは?
知能をもつメカ
心をもつメカ
イメージ
→
ロボット ‐ 映画『ロボット』公式サイト
人工知能の過去,現在,(未来)
http://www.ii.ist.i.kyoto‐u.ac.jp/?p=3333&lang=ja
,
http://www.ii.ist.i.kyoto‐u.ac.jp/?p=3351&lang=ja
Autonomous Vehicles
‐
Lego Robots (1998 ‐)
‐
European Land‐Robot Trial (2006‐)
(original source not found)
‐
DARPA Urban Challenge (2007‐)
‐
The Microtransat Challenge : a transatlantic race of fully autonomous sailing boats. (2006‐)
‐
Aerial Robotics (Sept. 28, 2011)
Chess (competition ended)
‐
Deep Blue defeated Gary Kasparov on May 11th, 1997
Education
‐
STEM Grand Challenge to develop adaptive, generalizable intelligent tutors (June 5, 2011‐)
‐
Hewlett Foundation: Improve Automated Scoring of Student Essays (Jan, 2012)
Face Recognition
‐
the Face Recognition Vendor test (FRVT) (2002‐)
Go
‐
コンピュータ囲碁の挑戦
Language Learning and Understanding
‐
Loebner Prize (1990‐)
‐
IBM Watson
Lunar Robotics
‐ NASA Prize for Digging Moon Dirt (September 20, 2005)
‐
Google Lunar X Prize (2007‐)
Medical Diagnosis and Monitoring
‐
Nokia Sensing X Challenge (may 24, 2012)
Rescue Operations
‐
Robocup Rescue (2001‐)
Robotics
‐
The DARPA Robotics Challenge (October 2012‐)
将棋
‐
世界コンピュータ将棋選手権
,
コンピュータ将棋プロジェクト
Shredder Challenge
‐
DARPA Shredder Challenge (October 27th‐December 2nd, 2011; solved)
Soccer
‐
Robocup (1997 ‐)
東大入試
‐
国立情報学研究所人工頭脳プロジェクト「ロボットは東大に入れるか」(2011‐)
AAAI>AITopics>Grand Challenges in AI
をもとに作成.
AIのグランドチャレンジ
Conceptual ‐‐ Turing Test (1950)
History of AI research in contrast with ICT
Year
AI
ICT
1940~
1936: Turing Machine, 1947: von Neumann Computer, 1948: Information
Theory, by C. Shannon and W. Weaver, 1948: Cybernetics by Wiener
1950~
1952‐62: Checker program by A.Samuel
1956: Dartmouth Conference
1957: FORTRAN by J.Backus
1960~
1961: Symbolic Integration program SAINT by J.Slagle
1962: Perceptron by F.Rosenblatt
1966: The ALPAC report against Machine Translation by R. Pierce
1967: Formula Manipulation System Macsyma by J.Moses
1967: Dendral for Mass Spectrum Analysis by E.Feigenbaum
1961: Mathematical theory of Packet Networks by L. Kleinrock
1963: Interactive Computer Graphics by I.Sutherland
1968: Mouse and Bitmap display for oN Line System (NLS) by D.C.Engelbart
1969: ARPA‐net
1970~
1971: Natural Language Dialogue System SHRDLU, by T.Winograd
1973: Combinatorial Explosion problem pointed out in The Lighthill report
1974: MYCIN by T.Shortliffe
Mid 1970’s: Prial Sketch and Visual Perceptron by D.Marr
1976: Automated Mathematician (AM) by D.Lenat
1979: Autonomous Vehicle Stanford Cart by H.Moravec
1970: ALOHAnet
1970: Relational Database Theory by E.F.Codd
1972: Theory of NP‐completeness by S.Cook and R.Karp
Mid 1970’s: Alto Machine by A.Kay and A.Goldberg
1976: Ethernet
1979: Spreadsheet Program Visicalc by D.Bricklin
1980~
1982: Fifth Generation Computer Project
1984: The CYC Project by D.Lenat
Mid 1980’s: Back‐propagation algorithm was widely used
1985: the Cybernetic Artist Aaron by H.Cohen
1986: Subsumption Architecture by R.Brooks
1989: An Autonomous Vehicle ALVINN by D.Pomerleau
1982:TCP/IP Protocol by B.Kahn and V.Cerf
Mid 1980’s: First Wireless Tag Products
1987: UUNET started the Commercial UUCP Network Connection Service
1988: Internet worm (Morris Worm)
1989: World Wide Web by T.Berners‐Lee
1989: The number of hosts on the Internet has exceeded 100,000.
1990~
1990: Genetic Programming by J.R.Koza
Early1990’s: TD‐Gammon by G.Tesauro
Mid 1990’s: Data Mining Technology
1997: DeepBlue defeated the World Chess Champion G.Kasparov
1997: The First Robocup by H.Kitano
1999: Robot pets became commercially available
1992: The number of hosts on the Internet has exceeded 1,000,000.
1994: Shopping malls on the Internet
1994: W3C was founded by T. Berners‐Lee
1995: Yahoo was founded
1998: XML1.0(eXtensible Markup Language) by W3C
1999: i‐Mode service started
2000~
2000: Honda Asimo
2004: The Mars Exploration Rovers (Spirit & Opportunity)
2010~
2010: Kinect
2011: IBM Watson Jeopardy defeated two of the greatest champions
2012: Siri
1960 Prof. Toshiyuki Sakai’s group at Kyoto
1961 Sonotype: phonetic typewriter by Shuji Doshita
1970 The world’s first face recognition system by Takeo Kanade
1979 Japanese Word Processor JW-10 by Toshiba
1997 1
st
Robocup games and conference at Nagoya, Japan
1979 IJCAI 79 (Tokyo)
1997 IJCAI 97 (Nagoya)
1982-1992 Fifth Generation Project
1986 JSAI (Japanese Society for AI)
1990 1
st
PRICAI (Nagoya, Japan)
1970’s Research groups for AI were formed in Tokyo, Osaka, Kyushu
1960’s Image Understanding and NLP by Makoto Nagao
2010 Akara 2010
2012 Zen
人工知能とともに35余年
スーパー知能たち
1997年: Deep Blueが世界チェスチャンピオンG. Kasparovを破る
… Source:
IBM Deep Blue
,
wikipedia
1997年: Robocup公式大会開始(H. Kitano)
… Source:
robocup.org
,
robocup.or.jp
,
Wikipedia
1997年: Mars Pathfinder成功
… Source:
NASA Mars Pathfinfer
,
Wikipedia
1999年: ロボットペットSONY AIBO発売
… Source:
SONY AIBO
,
Wikipedia
1999年: OpenCVプロジェクト公式立ち上げ
… Source:
OpenCVWiki
,
wikipedia
2000年: Honda ASIMO公開
… Source:
Honda ASIMO
,
Wikipedia
2004年: Mars Exploration Rovers火星で作業開始
… Source:
NASA‐JPL
2010年: Google Driverless Car
… Source:
Wikipedia
,
Sebastian Thrun’s home page
,
3P
2010年: Kinect発売
… Source:
xbox.com
,
Wikipedia
2011年: IBM WatsonがJeopardy!でチャンピオン2人に勝利
… Source:
IBM Watson
,
Wikipedia
2011年: iPhone Siriリリース
… Source:
Apple
,
Wikipedia
2011年: Google Voice Search
… Source:
2012年: Zenが五子局,四子局で武宮正樹九段に勝利
… Source:
エンタテインメントと認知科学研究ステーション
2012年: Google Glass プロジェクト
…
Source: Project Glass
2012年: NTT DOCOMOしゃべってコンシェル
…
NTT DOCOMO
その他:
Smarter than You Think (New York Times)
公開
邦題
原題
備考
Trailers
Wikipedia
1968
2001年宇宙の旅
2001: A Space
Odyssey
HAL9000
http://www.youtube.com/w
atch?v=uU4TQ1NTo50
http://ja.wikipedia.org/wiki/200
1%E5%B9%B4%E5%AE%87%E5
%AE%99%E3%81%AE%E6%97%
85
1977
スターウォーズ
Star Wars
C-3PO, R2-D2
http://www.starwars.c
om/
http://ja.wikipedia.org/wiki/%E
3%82%B9%E3%82%BF%E3%83
%BC%E3%83%BB%E3%82%A6%
E3%82%A9%E3%83%BC%E3%82
%BA%E3%83%BB%E3%82%B7%
E3%83%AA%E3%83%BC%E3%8
2%BA
1982
ブレードランナー
Blade Runner
レイチェル,ほか
http://wn.com/Tra
iler_Blade_Runner
http://ja.wikipedia.org/wiki/%E
3%83%96%E3%83%AC%E3%83
%BC%E3%83%89%E3%83%A9%
E3%83%B3%E3%83%8A%E3%83
%BC
1984
ターミネーター
The Terminator
ターミネーター
http://wn.com/ter
minator_1_trailer
http://ja.wikipedia.org/wiki/%E
3%82%BF%E3%83%BC%E3%83
%9F%E3%83%8D%E3%83%BC%
E3%82%BF%E3%83%BC_(%E6%
98%A0%E7%94%BB)
1987
ロボコップ
RoboCop
(サイボーグ),警官ロボッ
ト
http://movies.yahoo.c
om/movie/robocop/
http://ja.wikipedia.org/wiki/%E
3%83%AD%E3%83%9C%E3%82
%B3%E3%83%83%E3%83%97
1993
ウォー・ゲーム
War Games
WOPR:War Operation
Plan Response
http://wn.com/trai
ler_war_games
http://ja.wikipedia.org/wiki/%E
3%82%A6%E3%82%A9%E3%83
%BC%E3%83%BB%E3%82%B2%
E3%83%BC%E3%83%A0_(%E6%
98%A0%E7%94%BB)
1994
ディスクロージャー
Disclosure
エンジェル
http://www.cinemagia.ro/tr
ailer/disclosure‐hartuire‐
sexuala‐5931/
http://ja.wikipedia.org/wiki/%E
3%83%87%E3%82%A3%E3%82
%B9%E3%82%AF%E3%83%AD%
E3%83%BC%E3%82%B8%E3%83
%A3%E3%83%BC_(%E6%98%A0
%E7%94%BB)
1998
アンドリューNDR114 Bicentennial Man
Andrew, a new NDR-114
robot
http://www.filmsnmovies.co
m/video/13004/bicentennial
_man_trailer/
http://ja.wikipedia.org/wiki/%E
3%82%A2%E3%83%B3%E3%83
%89%E3%83%AA%E3%83%A5%
E3%83%BCNDR114
1999
マトリクス
The Matrix
コンピュータ
http://trailers.apple.com/tra
ilers/wb/thematrix/trailer/
http://ja.wikipedia.org/wiki/%E
3%83%9E%E3%83%88%E3%83%
AA%E3%83%83%E3%82%AF%E
3%82%B9_(%E6%98%A0%E7%9
4%BB)
2001
A.I.
A.I. Artificial
Intelligence
少年型ロボット:デイビッド
http://wn.com/artificia
l_intelligence
http://ja.wikipedia.org/wiki/A.I.
2002
マイノリティレポート
Minority Report
探索用昆虫型ロボット,
ユーザインタフェース
http://wn.com/minorit
y_report_official_traile
r
http://ja.wikipedia.org/wiki/%E
3%83%9E%E3%82%A4%E3%83
%8E%E3%83%AA%E3%83%86%
E3%82%A3%E3%83%BB%E3%83
%AA%E3%83%9D%E3%83%BC%
E3%83%88
2004
アイ,ロボット
I, ROBOT
ヴィキ,サニー
http://trailers.apple.com/tra
ilers/fox/i_robot/trailer3/ap
_lg.html
http://ja.wikipedia.org/wiki/%E
3%82%A2%E3%82%A4,%E3%83
%AD%E3%83%9C%E3%83%83%
E3%83%88
2009
Astro boy
ATOM Astro boy
Astro boy
http://www.bing.com/video
s/watch/video/astro‐boy‐
trailer/5farfvx
http://ja.wikipedia.org/wiki/AT
OM_(%E6%98%A0%E7%94%BB)
2009
アバター
Avatar
(テレイグジスタンス)
http://movies.foxjapan.com
/avatar/
http://ja.wikipedia.org/wiki/%E
3%82%A2%E3%83%90%E3%82
%BF%E3%83%BC
2009
サロゲート
Surrogate
(テレイグジスタンス)
http://trailers.apple.com/tra
ilers/touchstone/surrogates/
http://ja.wikipedia.org/wiki/%E
3%82%B5%E3%83%AD%E3%82
%B2%E3%83%BC%E3%83%88_(
%E6%98%A0%E7%94%BB)
最近の話題
ヒントは人々の心の中にあり. 映画のなかのAI
これまでのAI
すごい
すごい
すごい
すごい
すごい
すごい
すごい
すごい
すごい
すごい
すごい
すごい
すごい
すごい
すごい
すごい
すごい
すごい
すごい
すごい
すごい
すごい
スーパー知能のダークサイド
スーパー知能のダークサイド
技術の乱用 … 悪意,善意
責任能力の破たん … 製造者,所有者,使用者
モラルの危機 … SIが解決
人工物への過度の依存 … 人類は脆弱に
シンギュラリティ(技術的特異点)
シンギュラリティ(技術的特異点)
人工知能の知性が(それを作りだした)人間の
知性を超える日.
IEEE Spectrum 2008年6月号
http://spectrum.ieee.org/biomedical/ethics/signs‐of‐the‐singularity
“The AI Scenario: We create superhuman artificial
intelligence (AI) in computers.”
“The IA Scenario: We enhance human intelligence
through human‐to‐computer interfaces‐‐that is, we
achieve intelligence amplification (IA).”
理想郷の恐怖
で,どうしよう?
で,どうしよう?
杞憂である.そのようなことはないと論破できる.
抵抗運動を起こす(ネオ・ラッダイト運動).
研究者としての新しい道を探る.
AIに共感する力を持たせる.
DeepBlue,あから2010,
Zen
チェス,将棋,囲碁の面白さ
を教える.
IBM Watson
クイズの回答だけでなく,出
題まで手伝ってくれる.
Siri
楽しく丁寧に教えてくれる外
国語教師.
(東大に合格するAI)
勉強の面白さを教えてくれる.
出題と採点と講評を行う.
これまでのAI:
能力の高さ
これからのAI:
共感力の強さ
これからのAI
君がいてよかった!
「すごい」と言わせるAI
から「君がいてよかった」
と言ってもらえるAIへ
•
サービス
•
プレゼンス
•
共感
共有基盤
会話知能の役割
•
Service
•
Empathy
•
Presence
Entertain with a game
Entertain with a game
Conversation partner
Effective and affective tutor
Glad to stay with you!
Empathic Agent ?
I have a problem
May I help you?
Hear: “Problem”
Empathic Agent ?
May I help you?
Simulation
Difficulty
Difficulty
I have a problem
Empathic Agent ?
I have a problem
May I help you?
Problem
Solving
Intelligence
Emotional
Intelligence
Social
Intelligence
人工知能に共感力を持たせることができるか?
人工知能に共感力を持たせることができるか?
→「機械に心をもたせることができるか?」
機械は心をもてない (Hubert Dreyfus,…).
メディアの等式 (Byron Reeves, Clifford Nass)
心は心を見つけ出す, 志向姿勢 (Daniel Dennet)
脳が作り出す心 (最近の認知神経科学).
心をもつメカは実現できるか?
心をもつメカは実現できるか?
機械みたいな人間
人間みたいな機械
脳
脳が作り出す心
AI
クラウドにつながった心たち
共有仮説
共有仮説
どれだけ共有できるか?
思考基盤
知覚基盤
身体基盤
生命基盤
タイのマーケット
タイのマーケット
何が起きている?
コンピュータにもわか
るようになってほしい
知識に基づく理解
古典AIの限界
言語ゲーム
ヴィトゲンシュタイン
エスノグラフィ
アナリシス
計測技術の進歩
整理指標も
シンセシス
ロボットなどによる再現
新しいサービス
ゲームデザイン
参加者の参加
意図した効果
シンセシス
デザイン
アナリシス
よりよいサービスの枠組み
インタラクション・ゲーム・デザイン
Augmented Conversation Environment
Conversation in the physical environment
Conversation in the virtual environment
ICIE: Immersive Collaborative Interaction Environment
Multiparty conversation recorder
Eye tracker
Eye tracker (wearable)
Polygraph
Optical motion capture systems
Cluster computer
IMADE: Interaction Measurement, Analysis, and Design Environment
SmartInFill
研究体制
研究体制
Synthesis
Annotation tool
Analysis
Design
進行中のプロジェクト
進行中のプロジェクト
Virtual Basketball
Tele presence
Simulated Crowd
Group Chasing
Virtualization
Learning by mimicking
心をもつメカの構成概念図
心をもつメカの構成概念図
チューリングマシン
1. 入力テープと状態遷移機械から構成されている.
2. 入力テープは,左右に連なる無限個のマス目から構成される.
マス目は空白ないし1個の「アルファベット」が書き込まれる.
3. 状態遷移機械は,ヘッドをもち入力テープのある位置をスキャ
ンしている.状態機械に従って,ヘッドのある位置でアルファ
ベットを読み書きしたり,ヘッドを左右に動かしたりできる.
数学者アラン・チューリングが考えた数学的なからくり
状態遷移機械
q
0
q
1
q
2
q
3
q
4
q
5
開始
0/0, R
0/0, R
1/B, L
A/A, L
B/B, L
A/A, R
B/B, R
A/A, L
B/B, L
0/A, R
1/B, L
_/_, L
_/_, R
チューリングマシン
0
n
1
n
を受理するチューリングマシン
_ 0 0 0 1 1 1 _ _
_
入力テープ
チューリングマシン
0
n
1
n
を受理するチューリングマシン
_ A A A B B B _ _
_
入力テープ
状態遷移機械
q
0
q
1
q
2
q
3
q
4
q
5
開始
0/0, R
0/0, R
1/B, L
A/A, L
B/B, L
A/A, R
B/B, R
A/A, L
B/B, L
0/A, R
1/B, L
_/_, L
_/_, R
チューリングマシン
0
n
1
n
を受理するチューリングマシン
_ A A A B B B _ _
_
入力テープ
停止状態に入って正常終了 !
状態遷移機械
q
0
q
1
q
2
q
3
q
4
q
5
開始
0/0, R
0/0, R
1/B, L
A/A, L
B/B, L
A/A, R
B/B, R
A/A, L
B/B, L
0/A, R
1/B, L
_/_, L
_/_, R
状態遷移機械
q
0
q
1
q
2
q
3
q
4
q
5
開始
0/0, R
0/0, R
1/B, L
A/A, L
B/B, L
A/A, R
B/B, R
A/A, L
B/B, L
0/A, R
1/B, L
_/_, L
_/_, R
チューリングマシン
0
n
1
n
を受理するチューリングマシン … 0
n
1
n
以外の入力に対して
1 1 1 1 0 0 _ _ _
_
入力テープ
チューリングマシン
0
n
1
n
を受理するチューリングマシン … 0
n
1
n
以外の入力に対して
1 1 A A B B _ _ _
_
入力テープ
未定義のため異常終了 !
状態遷移機械
q
0
q
1
q
2
q
3
q
4
q
5
開始
0/0, R
0/0, R
1/B, L
A/A, L
B/B, L
A/A, R
B/B, R
A/A, L
B/B, L
0/A, R
1/B, L
_/_, L
_/_, R
チューリングマシン
0
n
1
n
を受理するチューリングマシン … 0
n
1
n
以外の入力に対して
_ 0 0 1 1 1 1 _ _
_
入力テープ
状態遷移機械
q
0
q
1
q
2
q
3
q
4
q
5
開始
0/0, R
0/0, R
1/B, L
A/A, L
B/B, L
A/A, R
B/B, R
A/A, L
B/B, L
0/A, R
1/B, L
_/_, L
_/_, R
チューリングマシン
0
n
1
n
を受理するチューリングマシン … 0
n
1
n
以外の入力に対して
_ A A B B B 1 _ _
_
入力テープ
未定義のため異常終了 !
状態遷移機械
q
0
q
1
q
2
q
3
q
4
q
5
開始
0/0, R
0/0, R
1/B, L
A/A, L
B/B, L
A/A, R
B/B, R
A/A, L
B/B, L
0/A, R
1/B, L
_/_, L
_/_, R
状態遷移機械
q
0
q
1
q
2
q
3
q
4
q
5
開始
0/0, R
0/0, R
1/B, L
A/A, L
B/B, L
A/A, R
B/B, R
A/A, L
B/B, L
0/A, R
1/B, L
_/_, L
_/_, R
チューリングマシン
0
n
1
n
を受理するチューリングマシン … 0
n
1
n
以外の入力に対して
b 0 0 0 1 1 1 b b
b
入力テープ
0が見つかるまで左へ移動する
1が見つかるまで右へ移動する
チューリングマシン
1. 種々のバージョン:テープが複数か否か,動作が決
定的か非決定的か…
2. 言語階層とマシンの階層の対応
3. 万能チューリングマシンの存在
4. アルゴリズム=チューリングマシン
5. 時間計算量と空間計算量
6. P≠NP?問題
一般的性質
思考のツールとしてのLisp
「私の人工知能理論」
人工知能プログラム
インタープリタ
表現
解釈実行
表示
チューリングマシンの場合
(defun test ()
(let* ((tm tm0)
(input input-tm0)
(left-stack nil)
(right-stack)
(current-state (second (assoc 'start tm)))
(current-cell nil)
(states (cdr (assoc 'states tm)))
(terminal-states (cdr (assoc 'terminal tm)))
(rules nil)
(rule nil)
(counter 1)
(credits 1))
(setq right-stack (cdr (member '* input)))
(cond (right-stack
(setq current-cell (car right-stack))
(setq right-stack (cdr right-stack)))
(t (setq current-cell '_)))
(dolist (cell input)
(cond ((eq cell '*) (return)))
(push cell left-stack))
(loop
(cond ((<= credits counter)
(princ "How many more steps to go?") (terpri)
(setq credits (read))
(cond ((<= credits 0) (return))
(t (setq counter 0))))
(t (setq counter (1+ counter))))
(princ "======================================") (terpri)
(print-state left-stack current-cell right-stack current-state)
(cond ((member current-state terminal-states)
(princ "======================================") (terpri)
(princ "*** Halt in a termnial state ***") (terpri)
(princ "======================================") (terpri)
(return)))
(setq rules (cdr (assoc current-state states)))
(setq rule (assoc current-cell rules))
(cond ((null rule) (return)))
(setq current-cell (second rule))
(setq current-state (fourth rule))
(case (third rule)
(right (cond
(right-stack
(setq left-stack `(,current-cell . ,left-stack))
(setq current-cell (car right-stack))
(setq right-stack (cdr right-stack)))
(t (setq left-stack `(,current-cell . ,left-stack))
(setq current-cell '_))))
(left (cond (left-stack
(setq right-stack `(,current-cell . ,right-stack))
(setq current-cell (car left-stack))
(setq left-stack (cdr left-stack)))
(t (setq right-stack `(,current-cell . ,right-stack))
(setq current-cell '_))))
(t (break "error")))
)))
(defun print-state (left-stack current-cell right-stack current-state)
(let* ((position (length left-stack)))
(mapcar #'princ (reverse left-stack))
(princ current-cell)
(mapcar #'princ right-stack)
(terpri)
(dotimes (x position) (princ " ")) (princ "^") (terpri)
(dotimes (x position) (princ " ")) (princ current-state) (terpri)))
(setq tm0
'((start q0)
(terminal q5)
(states
(q0 (0 0 right q1))
(q1 (0 0 right q1)
(1 B left q2))
(q2 (A A left q2)
(B B left q2)
(0 A right q3))
(q3 (A A right q3)
(B B right q3)
(1 B left q2)
(_ _ left q4))
(q4 (A A left q4)
(B B left q4)
(_ _ right q5)))))
(setq input-tm0 '(* 0 0 0 0 0 1 1 1 1 1))
GCL (GNU Common Lisp) 2.6.7 ANSI Dec 27 2007 19:55:59 Source License: LGPL(gcl,gmp), GPL(unexec,bfd) Binary License: GPL due to GPL'ed components: (UNEXEC) Modifications of this banner must retain notice of a compatible license Dedicated to the memory of W. Schelter Use (help) to get some basic information on how to use GCL. >(setq *default-pathname-defaults* "C:/Users/豊明/Documents/MyPrograms/turing-ma chine/")
"C:/Users/豊明/Documents/MyPrograms/turing-machine/" >(load "tm") Loading C:/Users/豊明/Documents/MyPrograms/turing-machine/tm.lsp Finished loading C:/Users/豊明/Documents/MyPrograms/turing-machine/tm.lsp T
>(test) How many more steps to go? 100 ====================================== 0000011111 ^ Q0 ====================================== 0000011111 ^ Q1 ====================================== 0000011111 ^ Q1 ====================================== 0000011111 ^ Q1 ====================================== 0000011111 ^ Q1 ====================================== 00000B1111 ^ Q2 ====================================== 0000AB1111 ^ Q3 ====================================== 0000AB1111 ^ Q3 ====================================== 0000ABB111^ Q2 ====================================== 0000ABB111 ^ Q2 ====================================== 0000ABB111 ^ Q2 ====================================== 000AABB111 ^ Q3 ====================================== 000AABB111 ^ Q3 ====================================== 000AABB111 ^ Q3 ====================================== 000AABB111 ^ Q3 ====================================== 000AABBB11 ^ Q2 ====================================== 000AABBB11 ^ Q2 ====================================== 000AABBB11 ^ Q2 ====================================== 000AABBB11 ^ Q2 ====================================== 000AABBB11 ^ Q2 ====================================== 00AAABBB11 ^ Q3 ====================================== 00AAABBB11 ^ Q3 ====================================== 00AAABBB11 ^ Q3 ====================================== 00AAABBB11 ^ Q3 ====================================== 00AAABBB11 ^ Q3 ====================================== 00AAABBB11 ^ Q3 ====================================== 00AAABBBB1 ^ Q2 ====================================== 00AAABBBB1 ^ Q2 ====================================== 00AAABBBB1 ^ Q2 ====================================== 00AAABBBB1 ^ Q2 ====================================== 00AAABBBB1 ^ Q2 ====================================== 00AAABBBB1 ^ Q2 ====================================== 00AAABBBB1 ^ Q2 ====================================== 0AAAABBBB1^ Q3 ====================================== 0AAAABBBB1 ^ Q3 ====================================== 0AAAABBBB1 ^ Q3 ====================================== 0AAAABBBB1 ^ Q3 ====================================== 0AAAABBBB1 ^ Q3 ====================================== 0AAAABBBB1 ^ Q3 ====================================== 0AAAABBBB1 ^ Q3 ====================================== 0AAAABBBB1 ^ Q3 ====================================== 0AAAABBBBB ^ Q2 ====================================== 0AAAABBBBB ^ Q2 ====================================== 0AAAABBBBB ^ Q2 ====================================== 0AAAABBBBB ^ Q2 ====================================== 0AAAABBBBB ^ Q2 ====================================== 0AAAABBBBB ^ Q2 ====================================== 0AAAABBBBB ^ Q2 ====================================== 0AAAABBBBB ^ Q2 ====================================== 0AAAABBBBB ^ Q2 ====================================== AAAAABBBBB ^ Q3 ====================================== AAAAABBBBB ^ Q3 ====================================== AAAAABBBBB ^ Q3 ====================================== AAAAABBBBB ^ Q3 ====================================== AAAAABBBBB ^ Q3 ====================================== AAAAABBBBB ^ Q3 ====================================== AAAAABBBBB ^ Q3 ====================================== AAAAABBBBB ^ Q3 ====================================== AAAAABBBBB^ Q3 ====================================== AAAAABBBBB_ ^ Q3 ====================================== AAAAABBBBB_ ^ Q4 ====================================== AAAAABBBBB_ ^ Q4 ====================================== AAAAABBBBB_ ^ Q4 ====================================== AAAAABBBBB_ ^ Q4 ====================================== AAAAABBBBB_ ^ Q4 ====================================== AAAAABBBBB_ ^ Q4 ====================================== AAAAABBBBB_ ^ Q4 ====================================== AAAAABBBBB_ ^ Q4 ====================================== AAAAABBBBB_ ^ Q4 ====================================== AAAAABBBBB_ ^ Q4 ====================================== _AAAAABBBBB_ ^ Q4 ====================================== _AAAAABBBBB_ ^ Q5 ====================================== *** Halt in a termnial state *** ====================================== NIL >