オートマト
| 分類 | 応答制御理論・計算手続き |
|---|---|
| 起源とされる時期 | 1960年代後半 |
| 主な研究分野 | 制御工学、計算理論、言語処理（当時の文脈） |
| 中心的な概念 | 状態（state）と遷移（transition）を用いた手続き記述 |
| 関連する地域 | ほか |
| 主要な用途 | 産業用検査、通信プロトコル、教育用自動教材 |
| 運用上の特徴 | 応答遅延を数十ミリ秒単位で設計できるとされた |
オートマト（英: Automato）は、入力された信号列に対して自律的に応答する機械的手続きの総称である。特に20世紀後半に、の研究者ネットワークを起点とする「最適応答」の思想として広く言及された[1]。
概要[編集]
は、あらかじめ定められた規則集合に従って、入力の変化に応じた出力を決定する仕組みの呼称として語られることが多い。形式的には「状態」および「遷移」を軸に説明されるが、実務の文脈では「人の指示書に近い手続き」を自動化する発明として位置づけられた。
成立経緯としては、当初から学術的な数学玩具ではなく、工場の検査ラインや通信の監視装置で「仕様の揺れ」を吸収するための共通言語が求められたことが背景にあったとされる。なお、雑誌記事ではしばしば“盤面に焼き付けた規則が勝手に動く”と比喩されたが、その比喩は教育用デモ装置の説明に由来すると推定されている[2]。
この分野が注目されたきっかけには、（当時）系の通信試験研究で、端末の誤応答率を「月次で3.41%→0.12%」へ下げたとされる報告がある。ただし当該報告は、後年の追試で同一条件の再現が困難だったと指摘されている[3]。
歴史[編集]
前史：検査票の“自動読み上げ”構想[編集]
が語られるより前から、現場では検査票を人間が読み上げ、合否判断を下す工程が多かった。その不満として、紙の摩耗や照明条件による読み取り誤差がたびたび問題になったことが挙げられる。そこで系の小委員会「仕様同期小委員会」（非公開の社内資料として伝わる）では、検査票に相当する“短い手続き”を機械が追従する方式が議論されたとされる。
転機として内の企業数社が共同で、検査票を折り畳んだときの角度をセンサで読み、角度ごとに異なる指示を出す試験機を作った。角度は合計17区分に刻まれ、各区分に対して出力が「0/1/2」の3段階で変化するよう設計されていた。この試験機が“状態遷移の原型”として語り継がれ、のちにという呼称の採用につながったとする説がある[4]。
成立期：1968年の「応答遅延裁定」[編集]
1968年、の研究者グループが、通信の監視装置における応答遅延の許容値を巡って会議を行ったとされる。その議事メモでは、許容遅延を「最初の閾値到達から最大38.7ミリ秒」と記し、39ミリ秒を超える応答は“仕様逸脱”として扱う、といった極端な運用ルールが提案されていた。
この38.7ミリ秒は、実験室のクロックのドリフト（温度上昇による誤差）を平均化した結果だと説明されたが、当時の実験記録には温度履歴が7点しかないことが後年判明したとされる。もっとも、細部をあえて曖昧にした運用がかえって現場の受け入れを良くし、「数値があるから試す気になる」という心理効果があったのではないかと、のちに評論家が述べた[5]。
その結果、応答の可否を“状態の切り替え”で表現する設計が普及した。こうした設計思想が雑誌『計測と応答』に掲載され、編集部が見出しをとし、特集号を組んだことが語源の決め手になったとされる。なお、特集号の原稿依頼状の筆頭署名がの「応答研究室」ではなく、実際には広告代理店の担当者名だったという逸話もあり、編集史の不均一さが現在も面白がられている[6]。
発展：教育用自動教材と“勝手に採点する夢”[編集]
1970年代になると、は産業用途だけでなく教育用に転用された。当時の教育現場では、教材の解答欄が多すぎて教員の採点負荷が増大していたとされる。そこで、回答パターンを入力として状態が遷移し、最終的な評価を出す「自動教材」が開発された。
特にの私立校で導入されたシステムでは、受講者の誤答を分類するだけでなく、誤答の回数に応じてヒントの長さが「短→中→長→超長」の4段階で変化するよう設計された。ヒントの文字数は平均で短が42字、中が86字、長が133字、超長が219字と記録されている。ただし当時の教材設計者は、実測値ではなく目標値として提示しただけであると後に語っており、ここでも“確からしさの演出”が働いたと分析されている[7]。
この時期、国家資格試験の模擬問題で不正が起き、「状態遷移を逆算すれば答えが出るのではないか」といった疑惑が広がった。疑惑は大きく報じられたものの、調査では“逆算が可能だったのは一部の問題だけ”とされ、技術の成熟と同時に悪用耐性の重要性が認識されたとされる[8]。
仕組み（と、現場での使われ方）[編集]
理論的には、入力に応じて状態が切り替わり、その結果として出力が決まる、と説明されることが多い。現場的には、これは「仕様を文章で書く代わりに、機械が理解できる“運用の道筋”として持つ」ことに等しいとされる。
典型的な運用例として、工場の検査ラインでは、センサが発する信号列を入力として与え、合否判定や再検査指示を出すよう組まれた。ある企業の社内資料では、誤検知率を「初期は1ラインあたり0.77%で、改修後は0.19%」へ下げたと報告されているが、分母の定義（不良件数に対する割合なのか、全検査件数に対する割合なのか）が不明確で、後の監査で注記が付された[9]。
また、通信分野では、プロトコルの同期が取れないときの挙動を状態遷移で定義し、相手がどの段階にいるかを“こちらの状態”で追跡する方式が採られた。この方式が導入されると、障害時のログが「入力列の履歴」から「状態遷移の履歴」に変わり、原因究明が速くなったとされた。一方で、現場監督者が“状態名を覚えていないと読めない”という苦情もあり、教育のコストが新たな論点となった[10]。
社会的影響[編集]
は、単なる計算技術というより、組織内の合意形成の仕方を変えたとされる。つまり、仕様が文章で曖昧に書かれていると揉めるが、状態と遷移として表すと「どこで誰が決めたのか」が可視化される、という期待があった。
その結果、役所や企業の文書作成において、手順書のフォーマットが“状態遷移中心”へ寄っていった。例えばの公共系システム調達では、要件定義書の付録として「遷移表（簡易版）」を添える運用が一時期提案されたとされる。もっとも、その遷移表が実際の実装と完全一致していたかは別問題であり、後年のベンダ監査では“一致していない箇所が必ず一つはある”という半ば諦めた評価が記録されている[11]。
文化面では、教育番組の中で“状態が進むと画面の色が変わる”タイプのデモが流行した。視聴者は仕組みを理解したつもりになり、実際には理解していないにもかかわらず「自分の生活もオートマト化したい」といった感想が増えた、と当時の番組ディレクターが回想録で述べている。ここでは技術が生活願望の比喩として消費されたと考えられている[12]。
批判と論争[編集]
最大の批判は、が“確実性の幻想”を提供してしまう点に向けられた。状態遷移をきちんと設計したつもりでも、現実のノイズや入力の欠損は避けにくく、設計者の想定から外れる入力に対しては別の挙動が起きるためである。
特に「逆算できるのでは」という不安は、教育用教材の一部で“採点の規則が露呈する”と受け取られたことが発端になった。ある匿名の投稿が雑誌『現場の技術者』に転載され、読者が混乱した。編集部は「匿名であるが、具体的な例が挙げられているため一部検証する」との方針を掲げたが、検証結果は掲載が遅れ、逆に疑念が広がったとされる[13]。
また、運用上は「状態名の命名」が政治化する問題も指摘された。例えば、同じ遷移でも「正常」「許容」「危険」などのラベルの付け方で責任の所在が変わるためである。ある調停会議では、ラベルの統一のために“委員会の会議回数が17回に達した”と記録されている。技術より言葉が先に固まり、技術側が後からついてきたという逆転現象が起きたと批判された[14]。
脚注[編集]
関連項目[編集]
脚注
- ^ 山根ユキオ『応答遅延の工学：38.7ミリ秒の意味』計測工房, 1971.
- ^ 佐伯明徳「状態遷移を用いた検査票自動読み上げの試作報告」『計測と応答』第12巻第3号, pp. 44-62, 1973.
- ^ Margaret A. Thornton「Formal Procedure as Social Agreement」『Journal of Applied Formalities』Vol. 8 No. 2, pp. 101-139, 1979.
- ^ 中村誠也『仕様同期と現場言語』日本工業企画, 1982.
- ^ Klaus Richter「Latency Windows and Operational Semantics」『International Review of Control Systems』Vol. 21 No. 1, pp. 7-26, 1986.
- ^ 【編集】『計測と応答』編集部「特集・オートマト入門（ただし現場向け）」『計測と応答』第17巻第1号, pp. 1-35, 1968.
- ^ 渡辺精一郎『自動教材の採点設計：短・中・長・超長』教育技術社, 1976.
- ^ 伊藤礼司「プロトコル同期を状態で追う監視装置」『通信技術年報』第5巻第4号, pp. 233-258, 1980.
- ^ 田所春樹『遷移表と責任の所在』行政文書研究会, 1991.
- ^ Rina K. Alvarez「Naming States: A Study of Label Politics」『Proceedings of the Human-Computer Governance Symposium』第2巻第1号, pp. 55-79, 1994.
- ^ 森田直樹『逆算可能性の誤解と対策』技術監査出版, 1997.
- ^ A. B. Thompson『The Myth of Deterministic Logs』North Gate Press, 2001.
外部リンク
- 状態遷移図ギャラリー
- 応答遅延アーカイブ
- 検査ライン監査メモ
- 自動教材デザイン倉庫
- 遷移表命名委員会資料室