制約除去理論（TRC）の提案――架空技術を用いた反実仮想的システム分析による潜在的制約と内生的要求の導出――

Theory of Removal of Constraints (TRC): A Counterfactual Systems Approach to Uncovering Latent Constraints and Endogenous Requirements

分野： システム科学・システム工学・技術哲学・設計方法論

論文種別： 理論・方法論提案

研究段階： 概念的検討および例証。実証研究は未実施。

キーワード： Theory of Removal of Constraints、TRC、制約理論、システム思考、反実仮想、架空技術、Design Fiction、要求工学、システム安全性

1. 序論

1.1 技術発展と制約の除去

技術の発展は、従来の活動を制限していた条件の緩和として捉えることができる。

輸送技術の発達は距離と所要時間による制限を緩和し、通信技術は情報伝達に伴う空間的・時間的制限を緩和してきた。計算機技術は情報処理に要する時間や労力を削減し、自動化技術は人間の継続的な操作を必要とする範囲を縮小してきた。

このような技術発展は、多くの場合、従来の要求をより効率的に実現するものとして評価される。

しかし、技術によって制約が緩和されると、従来は実行できなかった行為が可能になるだけではない。それまでの制約を前提として成立していた行動、制度、取引関係、リスク管理なども変化し得る。

例えば、遠隔地への瞬間移動が可能となった場合、単に輸送時間がゼロに近づくのではない。物理的な通行経路を前提とした交通管理、国境管理、配送網、立地選択、救急医療なども再検討を迫られる。

したがって、技術発展の影響を理解するためには、既存の制約が除去された場合に、その制約に依存していたシステムの構造がどのように変化するかを分析する必要がある。

1.2 問題の所在

制約理論（Theory of Constraints: TOC）は、システム全体の目標達成を制限する要因に着目し、その制約を管理・改善するための方法を提供してきた（Goldratt & Cox, 2004 [goldratt2004]）。

また、システムダイナミクスは、フィードバック構造や時間遅れを含むシステムの動的挙動を分析する枠組みを発展させてきた（Sterman, 2000 [sterman2000]）。

一方、Design FictionおよびSpeculative Designは、架空の技術や製品を通じて、現実とは異なる社会的・技術的状況を探索する方法を提示している（Bleecker, 2009 [bleecker2009]; Dunne & Raby, 2013 [dunne2013]）。

これらの方法論には、本稿で扱う問題と重複する部分がある。

しかし、本稿が対象とするのは、特定の制約を仮想的に除去することを分析の出発点とし、その制約が担っていた複数の機能と、除去後に発生する二次的なシステム変化を、一貫した手続きによって導出することである。

特に、本稿は、現実には除去不可能な制約を仮想的に除去することで、通常の技術予測では顕在化しにくい依存関係を分析できる可能性に着目する。

1.3 研究目的

本稿の目的は、次の三点である。

第一に、制約の除去をシステム分析のための反実仮想的介入として定義すること。

第二に、制約の除去によって生じる新たな行為可能性、構造変化、危険事象および要求を導出する分析手続きを提示すること。

第三に、その手続きが現実のシステム設計や技術評価において有用であるかを検証するための研究課題を明確化すること。

本稿は方法論の提案を主目的とするものであり、TRCの実証的な有効性を主張するものではない。

2. 関連研究

2.1 制約理論（TOC）

TOCは、システム全体の目標達成能力を規定する制約に着目し、その改善を通じてシステム全体の成果を高める方法論である。

TOCの代表的な五段階の継続的改善手順には、制約の特定、活用、他の活動の従属、制約能力の向上、制約が変化した場合の再評価が含まれる。

この意味で、制約を取り除いた後に別の制約が顕在化するという問題は、既にTOCの枠組みに含まれている。

したがって、制約除去後に別の制約が現れるという命題自体を、TRC独自の発見として主張することはできない。

両者の主たる相違は分析目的にある。

TOCがシステムの目標達成能力の改善を重視するのに対し、TRCは、制約が除去された場合に生じるシステム構造の変化自体を研究対象とする。

また、TRCにおける制約除去は、必ずしも現実的な改善策である必要がない。

現実には実現困難な技術や、物理法則の変更を含む仮想的条件を用いて、システムの依存関係を探索することも許容する。

2.2 設計における制約の役割

制約は創造性や設計に対して、単純な阻害要因として作用するとは限らない。

Onarheim（2012） [onarheim2012]は、工学設計において制約が創造性を制限すると同時に、その前提条件としても機能することを論じ、制約の除去、導入、修正などの操作を創造的設計活動として分析している。

さらに、Acar, Tarakci and van Knippenberg（2019） [acar2019]は、制約と創造性・イノベーションの関係を学際的に整理し、その作用が一様ではないことを示している。

これらの研究は、制約の緩和が常に望ましい結果をもたらすとは限らないという本稿の問題意識を支持する。

一方、TRCでは個々の設計者の創造性だけでなく、技術、組織、制度、利用者などを含む社会技術システム全体に対する影響を主な分析対象とする。

2.3 システム思考およびシステムダイナミクス

システムダイナミクスは、構成要素間の因果関係、フィードバック、時間遅れなどを用いて、複雑なシステムの振る舞いを理解する方法論である（Sterman, 2000 [sterman2000]）。

TRCはこれらを利用して、制約除去後の主体の行動変化やシステムの再構成を分析する。

ただし、TRCはシステムダイナミクスの代替ではない。

TRCが「どの制約を除去した世界を分析するか」という反実仮想的な問題設定と探索手続きを与えるのに対し、システムダイナミクスは、その世界における動的挙動を分析するための手段の一つとなる。

2.4 Design Fictionおよび反実仮想分析

Design Fictionは、架空の技術的人工物や状況を用いて、可能な未来についての議論を促す方法論である。

Bleecker（2009） [bleecker2009]およびDunne and Raby（2013） [dunne2013]は、架空の技術や製品を通じた社会的・技術的な思考の可能性を示している。

TRCはこうした架空技術の利用を認めるが、架空世界の提示そのものを最終目的とはしない。

その目的は、特定の制約を除去する介入を明示し、その結果を因果的・構造的に分析することである。

また、反実仮想的因果分析（Pearl, 2009 [pearl2009]）や、組織が暗黙に置いている前提の失効を検討するAssumption-Based Planning（Dewar et al., 1993 [dewar1993]）とも関連する。

TRCは、これらの先行研究を基礎としつつ、制約の仮想的除去から潜在的な問題と要求を導出する探索手続きを提案するものである。

2.5 システム安全工学

Leveson（2012） [leveson2012]は、事故を個々の構成要素の故障だけではなく、不適切な制御や構成要素間の相互作用によっても説明するシステム理論的な安全性の枠組みを提示している。

これはTRCの分析にとって重要である。

制約の除去によって新たな機能が実現した場合、構成要素がすべて正常に動作していても、システム全体として危険な状態が発生することがある。

TRCは、制約除去によって顕在化する危険状態を探索し、STAMPやSTPAなどの既存の安全工学的方法によって詳細に検討するための前段階として利用できる可能性がある。

3. 制約除去理論の定義と形式的枠組み

3.1 TRCの定義

本稿では、Theory of Removal of Constraints（TRC）を次のように定義する。

定義1（制約除去理論）

TRCとは、対象システムにおける特定の制約を反実仮想的に除去または緩和し、それによって生じる行為可能性、システム構造、主体の行動、危険事象および要求の変化を体系的に分析する方法論である。

ここでいう制約とは、システムの状態、振る舞い、構成、または主体が取り得る選択肢を限定する条件を指す。

制約には、物理的制約、技術的制約、資源制約、制度的制約、認知的制約などを含む。

3.2 制約の多機能性

TRCでは、制約が複数の機能を同時に果たし得ることを前提とする。

本稿では、説明のために次の四種類の機能を区別する。

これらは排他的な分類ではない。

同一の制約が複数の機能を担う場合がある。

例えば、物理的距離は移動や接触を制限する一方、他者による直接的な身体的作用を妨げる条件としても機能する。

重要なのは、制約の除去が、それを障害とみなしていた活動だけでなく、制約によって保護・調整されていた活動にも影響することである。

3.3 制約集合と実現可能領域

システムの状態空間を \mathcal X、制約集合を

C=\{c_1,c_2,\ldots,c_n\}

とする。

各制約を、状態 x\in\mathcal X が満たすべき条件として表現する。

このとき、実現可能な状態集合は、

\mathcal F(C) = \{x\in\mathcal X\mid c_i(x)=\mathrm{true},\ \forall c_i\in C\}

で与えられる。

制約 c_k を除去した場合、

C'=C\setminus\{c_k\}

となる。

ほかの制約および状態空間が変化しない静的モデルでは、

\boxed{\mathcal F(C)\subseteq\mathcal F(C')}

が成立する。

すなわち、ある制約を単に取り除けば、実現可能な状態集合は縮小せず、同じか拡大する。

これは集合論上の直接的な帰結であり、TRC固有の発見ではない。

しかし、実現可能な状態集合の拡大は、実際に望ましい結果が増加することを意味しない。

3.4 制約除去後のシステム再構成

実際の社会技術システムでは、制約の変化に伴って構成要素や主体の行動も変化する。

そこで、システムを次の組として表現する。

M=(\mathcal X,C,\Phi,\Pi,G,H,R)

各要素は次を表す。

• \mathcal X：状態空間
• C：制約集合
• \Phi：状態遷移規則
• \Pi：主体の行動方策の集合
• G：システムの目標および評価基準
• H：危険事象の集合
• R：要求集合

制約除去操作を \rho_k とすると、

M'=\rho_k(M)

となる。

ここで重要なのは、一般には、

M' \neq (\mathcal X,C\setminus\{c_k\},\Phi,\Pi,G,H,R)

であることだ。

制約が除去されると、主体の行動方策や状態遷移、目標、危険事象、要求まで変化し得るためである。

例えば、新しい技術によって遠隔感覚共有が可能になると、利用者はそれまで存在しなかった行為を試みるようになるかもしれない。

また、第三者がその技術に干渉する可能性や、製造者が新しい安全制御を実装する必要性も発生する。

したがって、TRCにおける制約除去は、制約集合の機械的な差分だけでなく、除去後のシステムの再適応を含む分析として位置づけられる。

3.5 命題1：行為可能性の拡大と望ましさの非単調性

命題1

制約除去によって実現可能な状態集合が拡大しても、主体の行動変化を考慮したシステム全体の望ましさが単調に改善するとは限らない。

説明

ある主体が二つの行為 a と b を選択できるとする。

当初、制約によって行為 b は禁止されており、主体は a を選択する。

行為 a による社会的損失をゼロとする。

制約の除去により b が実行可能となり、主体は私的利益の大きい b を選択する。

しかし、行為 b が第三者への危害を発生させるなら、社会的損失は増加する。

この場合、実現可能な行為集合は拡大しているが、実際に選択された行為の結果は悪化している。

したがって、制約の除去による行為可能性の拡大は、システム全体の改善を保証しない。

なお、これはTRCの独自定理ではなく、TRCが分析上区別すべき二つの性質を示す簡単な反例である。

3.6 命題2：潜在的制約の顕在化

命題2

ある制約を除去することで、従来はシステムの振る舞いを実質的に制限していなかった別の制約が、主要な制約として顕在化する場合がある。

これはTOCにおける制約の移動に相当する現象を含む。

ただし、TRCでは次の二つを区別する。

潜在的制約の顕在化： 以前から存在していた制約が、別の制約の除去によって初めて問題となること。

新規制約の発生： 制約除去後の新しい活動や制度的対応によって、従来は存在しなかった制約が生成されること。

前者と後者を区別しなければ、既存の制約が表面化した現象と、システム再構成によって新しい制約が発生した現象を混同することになる。

3.7 命題3：内生的要求の発生

命題3

制約の除去が主体の行動や目標を変化させる場合、従来の要求を維持したまま性能を向上させるだけでは、新しいシステムの要求を十分に定義できないことがある。

例えば、遠隔感覚共有技術が存在しない状況では、遠隔感覚伝送の同意撤回機能を製品要求として定義する必要はない。

しかし、遠隔伝送が実現すれば、伝送対象者の識別、認可、同意撤回、刺激の制限などが新たな要求となり得る。

このような要求は、単に既存の要求を満たす能力が拡大したことでは説明できない。

技術的な能力の拡大によって、要求そのものが変化するのである。

本稿では、この現象を内生的要求発生と呼ぶ。

ただし、内生的要求が実際に成立するかは、利害関係者の価値判断、利用行動、法制度などに依存する。制約の除去から、特定の規範的要求が自動的に導出されるわけではない。

4. TRCの分析手順

本稿では、TRCの実践方法として七段階の分析手順を提案する。

第1段階：対象システムの定義

最初に、対象システムの境界、構成要素、利害関係者、目標、主要な状態遷移を定義する。

システム全体の挙動を説明するうえで、何を分析対象に含め、何を外部環境として扱うかを明示する。

特に、技術装置だけでなく、利用者、運用者、管理者、制度的主体を含める必要がある。

第2段階：制約の同定

対象システムに作用している制約を列挙する。

その際、制約を能力制限としてのみ評価しない。

当該制約が保護機能、調整機能、認識上の機能を担っている可能性も検討する。

また、制約が物理法則、技術水準、経済条件、制度、社会的慣習のどれに由来するかを分類する。

第3段階：制約除去の反実仮想的設定

一つの制約を選択し、それを取り除いた状況を定義する。

このとき、制約の除去を実現する技術が現実に開発可能であることは必須としない。

ただし、仮想的な介入は明確でなければならない。

例えば「瞬間移動できる」とする場合、移動する対象、移動先の指定方法、移動に要する時間、移動能力の利用条件などを定める必要がある。

また、除去した制約と無関係な条件まで恣意的に変更してはならない。

架空技術の導入によって何が変化し、何が変化しないかを明確にすることが重要である。

第4段階：一次的な行為可能性の導出

制約除去によって新たに実行可能となった行為を列挙する。

ここでは、主体の行動変化を考慮する前に、技術的・物理的に可能となった状態を検討する。

これはTRCにおける静的な分析に相当する。

第5段階：主体の行動変化とシステム再構成

次に、制約除去によって主体の行動がどのように変化するかを検討する。

例えば、輸送コストが消滅した場合、企業の立地選択や消費者の購買行動は従来と同じとは限らない。

ここでは、主体ごとの目標、利益、情報、選択肢を明示し、複数の行動シナリオを導出する。

特定の均衡や行動結果が一意に定まらない場合は、複数の可能性を併記する。

第6段階：新たな制約・危険事象・要求の導出

制約除去後のシステムに対して、次を分析する。

• 従来は問題とならなかった潜在的制約
• システム再構成によって新たに発生する制約
• 除去された制約が担っていた保護機能の喪失
• 新しい行為によって生じる危険事象
• 新しい目標や利用方法から発生する要求
• 既存制度との不整合

ここでは、単に予想される問題を列挙するのではなく、どの制約の除去から、どの因果関係を経て、その問題が生じるのかを説明しなければならない。

第7段階：一般化と検証可能な仮説の抽出

最後に、架空技術に固有の条件と、ほかのシステムにも適用可能な構造を区別する。

その上で、現実の技術や制度に適用できる命題と、検証可能な仮説を抽出する。

また、導出された仮説が既存研究で提案されていないかを確認する。

既存の理論と同じ結論に到達した場合には、TRCによる独立の新規発見として扱うのではなく、既存理論の再導出または適用例として位置づける。

5. 架空技術による例証

本章では、TRCを用いた分析の可能性を三つの仮想事例によって示す。

これらは方法論の適用を説明するための例証であり、実証的な結果ではない。

5.1 事例1：感覚共有型魔導具

5.1.1 制約除去の設定

人間の身体感覚は、通常、対応する感覚器官や神経系への刺激を通じて生じる。

ここでは、架空の魔法技術によって、ある装置に加えられた物理的刺激を遠隔地の人物の感覚系に直接伝送できると仮定する。

本稿では、この装置を感覚共有型魔導具と呼ぶ。

具体例として、使用者間の感覚共有機能を有する成人向け魔導具を想定する。

この技術は、身体的刺激と感覚経験の空間的な結び付きという制約を部分的に除去する。

5.1.2 一次的な行為可能性

制約の除去により、装置に直接触れていない人物も、装置に生じた刺激を知覚できるようになる。

これは従来不可能であった感覚共有を実現する。

しかし、同時に、装置に生じる望ましくない刺激も遠隔地に伝送され得る。

例えば、装置の使用終了後に煮沸消毒を行った場合、感覚伝送の接続が維持されていれば、清掃時の熱刺激が遠隔地の使用者に伝送される可能性がある。

5.1.3 潜在的な保護機能の喪失

従来の物理的な隔離は、遠隔地の人物が装置の刺激を知覚することを妨げていた。

この制約は、感覚共有という機能を阻害する一方、無許可の感覚入力を防ぐ保護機能も担っていた。

制約除去によって、その保護機能が失われる。

したがって、従来は不要であった伝送許可や安全遮断の機構が必要となる。

5.1.4 新たな要求の導出

この問題への初期対策として、特定の身体的接触が成立している場合だけ感覚伝送を許可する方式が考えられる。

しかし、接触が成立していることと、その時点で入力された刺激を伝送してよいことは論理的に同値ではない。

接触状態を C、伝送許可を A、安全条件を S、感覚伝送を T とすれば、望ましい安全制約の候補は、

\mathbf G(T\rightarrow C\land A\land S)

と表現できる。

ここで \mathbf G は「常に」を意味する線形時相論理の演算子である。

接触認証の成立のみでは、許可の有効性や刺激の安全性まで保証されない。

さらに、送信時点と受信時点の間に遅延が存在する場合には、許可が失効した後に刺激が到達する可能性も検討する必要がある。

これらは、感覚の空間的分離を実現したことによって新たに必要となった要求である。

5.1.5 一般化

この事例から、次の問題構造が抽出できる。

従来の物理的制約が、機能制限と安全機能を同時に担っていた場合、その制約の除去は新たな保護機構を必要とすることがある。

これは架空の感覚共有装置に限られない。

遠隔操作、身体拡張、ブレイン・コンピュータ・インターフェースなど、身体と情報システムの境界を変更する技術に対して、同様の問題設定を適用できる可能性がある。

ただし、この一般化の妥当性は各技術の実際の構成と利用状況に依存する。

5.2 事例2：瞬間移動技術

5.2.1 制約除去の設定

任意の地点から別の地点へ、人または物体を移動させられる技術を仮定する。

移動時間および輸送距離による費用は、分析上無視できる程度に小さいとする。

ただし、移動先の物理的容量、物体の質量、利用者の意思、所有権など、明示的に除去していない条件は維持する。

5.2.2 一次的な行為可能性

瞬間移動技術によって、従来は長時間の輸送を必要としていた物資を、ほぼ即時に移動させることが可能となる。

遠隔地の物資を直ちに入手することや、緊急時に必要な資源を短時間で供給することが可能になる。

5.2.3 新たな制約の顕在化

輸送時間による制約が除去されても、移動先の処理能力や保管容量が無限になるわけではない。

大量の物資が短時間で到着するようになれば、荷受け、検品、仕分け、保管などの処理能力が新たな主要制約として顕在化し得る。

この部分は、TOCにおける制約の移動として説明可能である。

5.2.4 保護機能と調整機能の喪失

一方、物理的な移動経路には、単に輸送を遅くするだけでなく、人や物資の移動を管理する機能がある。

空港、港湾、国境検問所、入退場ゲートなどは、通過経路を制御することで、移動の監視や管理を実現している。

瞬間移動技術によって物理的な経路を経ずに目的地へ到達できるとすれば、これらの管理機能の一部は有効性を失う可能性がある。

その結果、移動先の認証、到着許可、危険物の管理など、新たな制御機構が必要となる。

5.2.5 一般化

この事例は、次の構造を示している。

ある制約を除去すると、その制約に依存して実現されていた調整・管理機能まで失われる場合がある。

したがって、制約除去後の設計では、除去前の制約が担っていた機能のうち、維持すべきものを別の手段で再実装する必要が生じる。

5.3 事例3：完全な合成メディア生成技術

5.3.1 制約除去の設定

任意の映像・音声を、真正な記録と知覚上区別できない品質で、ほぼ無制限に生成できる技術を仮定する。

この技術は、現実的な映像や音声を制作するために必要であった設備、技能、時間、費用などの制約を大幅に緩和する。

5.3.2 一次的な行為可能性

従来は高い制作費を必要としていた表現が、より少ない資源で実現できる。

また、現実には存在しない場面についても、実写に近い映像を生成できる。

これは創作活動の選択肢を拡大する。

5.3.3 新たな疑念の発生

一方、真正な記録と合成された記録を知覚上区別できなくなる場合、映像が存在するという事実だけでは、その出来事が実際に発生したと判断しにくくなる。

ここでは、技術の進歩が単に新しい行為を可能にするだけでなく、従来は十分に考慮する必要がなかった疑念を生み出している。

5.3.4 新たな要求の導出

その結果、コンテンツの制作・流通において、出所、生成過程、改変履歴、真正性などを証明する仕組みへの要求が増大する可能性がある。

これは従来の「より高品質な映像を制作したい」という要求の単純な延長ではない。

映像の品質が向上したことによって、映像が真正であることの証明が新たな要求となるのである。

5.3.5 一般化

この事例は、次の仮説を示唆する。

技術による行為可能性の拡大は、従来の情報の信頼性評価を変化させ、新たな検証要求を内生的に発生させる場合がある。

これはTRCによる新規の実証的発見ではないが、制約除去から要求変化を導出する一つの例証となる。

5.4 制約除去前後の因果グラフと要求差分の導出

5.4.1 分析目的

TRCによる反実仮想的分析では、制約の除去によって新たな行為可能性が生じることを示すだけでは不十分である。その行為可能性が、どのような因果経路を通じてシステムの振る舞い、危険事象および要求の変化につながるかを明示する必要がある。

そこで本節では、制約除去前後のシステムを因果グラフによって表現し、両者の構造的差分から、新たに顕在化する危険事象および要求を導出する手続きを検討する。

この分析では、次の三つを区別する。

• 因果構造の変化： 従来は存在しなかった、または有効でなかった因果経路が成立すること。
• 危険事象の変化： 因果構造の変化によって、新しい危険状態への到達可能性が生じること。
• 要求の変化： 新たな危険事象や利害関係者の目標の変化に対応するため、システムに求められる性質が変化すること。

特に、因果構造の変化それ自体から、特定の要求が一意に導出されるわけではない。要求の導出には、安全目標、許容可能なリスク、利用者の価値判断などを含む規範的な評価が必要である。

5.4.2 因果グラフの形式的定義

制約除去前のシステムを、構造的因果モデル M_0 として表現する。

その因果グラフを、

G_0=(V_0,E_0)

と定義する。

ここで、V_0 はシステムの状態および振る舞いを表す変数集合、E_0 は変数間の直接的な因果関係を表す有向辺集合である。

制約 c_k を反実仮想的に除去し、その後の主体の行動変化や制度的対応を含めたシステムを M_1 とすれば、対応する因果グラフは、

G_1=(V_1,E_1)

となる。

TRCでは、制約除去を少なくとも二段階の操作として扱う。

\boxed{ M_1=\mathcal A(\mathcal I_{c_k}(M_0)) }

ここで、

• \mathcal I_{c_k}：制約 c_k を除去または緩和する反実仮想的介入
• \mathcal A：介入後の主体の行動、構成要素、制度などの再適応を表す操作

である。

第一段階の介入は、構造的因果モデルにおける介入演算と類似する。しかし、TRCでは新しい技術的能力の導入によって変数や因果機構そのものが追加される場合を含むため、必ずしも既存変数に対する通常の do 演算だけで表現できるとは限らない。

また、第二段階の再適応については、その結果を既知の事実として仮定するのではなく、行動仮説や制度的条件を明示する必要がある。

制約除去前後の因果グラフの差分を、次のように定義する。

\Delta G= (\Delta V^+,\Delta V^-, \Delta E^+,\Delta E^-,\Delta f)

ここで、

\Delta E^+=E_1\setminus E_0

\Delta E^-=E_0\setminus E_1

は、それぞれ新たに成立した因果関係と失われた因果関係を表す。

\Delta V^+ および \Delta V^- は変数集合の追加と消失、\Delta f は既存の因果関係を実現する構造方程式の変化を表す。

因果グラフの辺が変わらなくても、伝達の強度、遅延、閾値などが変化する場合があるため、辺集合の差分だけでは構造変化を十分に把握できない。

なお、フィードバックを含むシステムでは、時刻を明示して展開した動的因果グラフを用いることにより、有向非巡回グラフとして表現できる場合がある。

5.4.3 例証：感覚共有型魔導具の因果構造

第5.1節の感覚共有型魔導具を対象として、制約除去前後の因果グラフを比較する。

制約除去前

身体感覚が物理的接触に依存するシステムでは、装置に入力された刺激が遠隔地の使用者の感覚を直接形成する経路は存在しない。

図1(a)では、清掃による熱刺激が装置に加わっても、それが遠隔地の人物の感覚に到達する因果経路は存在しない。

制約除去後

遠隔感覚伝送が可能になると、装置に入力された刺激が伝送機構を介して遠隔地の使用者に到達する。

図1(b)では、従来存在しなかった「刺激の発生から遠隔地の感覚知覚まで」の因果経路が成立する。

特に、接続維持機構が使用者の許可状態と独立して動作する場合、使用終了後も感覚伝送が継続する可能性がある。

この構造変化によって、清掃中の熱刺激が使用者に伝送されるという新たな危険事象が成立する。

重要なのは、この事例において個々の装置が故障する必要はないことである。

感覚検出、信号伝送および接続維持がすべて正常に機能していても、システム全体では望ましくない結果が発生し得る。

構造的差分

制約除去後に成立する主要な因果経路は、次のように表現できる。

\text{外部刺激} \rightarrow \text{感覚信号} \rightarrow \text{遠隔伝送} \rightarrow \text{遠隔感覚}

また、接続維持が伝送許可と独立している場合には、

\text{接続維持} \rightarrow \text{伝送継続}

という経路が、使用終了後の危険事象を成立させる条件となる。

ここで、遠隔地での感覚提示を Y_r(t)、当該時点での有効な伝送許可を A(t) とする。

無許可の感覚提示という危険状態は、

H_{\mathrm{unauth}}(t) = \mathbf 1[ Y_r(t)\neq 0 \land \neg A(t) ]

と定義できる。

この式は危険状態の判定条件であり、危害の重大性や発生確率を直接表すものではない。

本来は物理的な距離によって防止されていた遠隔感覚入力が可能になったため、許可状態を監視する新たな安全制約が必要になる。

5.4.4 危険経路から要求へのトレーサビリティ

次に、因果グラフの構造変化から要求仕様の変化を導出する。

ここでは、要求集合を制約除去前の R_0、制約除去後の R_1 とする。

新規に追加された要求の集合を、

\Delta R^+=R_1\setminus R_0

不要となった要求の集合を、

\Delta R^-=R_0\setminus R_1

と定義する。

ただし、既存の要求の記述や適用範囲が変わる場合もあるため、追加と削除だけでは十分ではない。本稿では、要求の変更を \Delta R^\sim として別途記録する。

第5.1節の事例から、次の要求差分が導出できる。

この要求集合について、さらに因果経路との対応関係を明示する。

この対応関係を明示することで、各要求がどのような構造変化と危険事象に対応しているかを追跡できる。

例えば、REQ-03は単に「二重認証を導入すべき」という恣意的な要求ではない。

感覚信号の送信から受信までに時間差が存在し、その間に許可状態が変化し得るという因果・時相構造から導出された安全要求である。

もっとも、その具体的な実装方法として受信時の再認可を用いるか、取り消し可能な短期トークンを用いるかなどは、別途設計上の比較評価を要する。

本稿が提案するTRCは、このような実装解を一意に決定するものではなく、新たな要求が発生する根拠を明らかにするものである。

5.4.5 他の仮想事例への適用

同様の手続きを、第5.2節および第5.3節の事例にも適用できる。

瞬間移動技術の場合

制約除去前には、人や物資が目的地へ移動する際に物理的な通行経路を経由する必要がある。

通行経路上の検問所や入退場ゲートは、移動を監視・制御する機構として機能する。

瞬間移動技術によって経路の通過が不要となった場合、次の新しい因果経路が成立し得る。

\text{瞬間移動} \rightarrow \text{経路上の管理機構を経ない到着} \rightarrow \text{無許可の立入り}

この構造から、移動先における到着許可、到着地点の安全性確認、到着容量の管理などの要求が導出される。

これは、従来の輸送時間短縮要求の単なる延長ではない。

完全合成メディア生成技術の場合

制約除去前には、高品質な映像を制作するために一定の設備、技術、時間を要する。

制約除去後には、真正な記録と知覚上区別困難な映像を容易に生成できると仮定する。

この場合、次の因果経路が成立し得る。

\text{高品質な合成の容易化} \rightarrow \text{合成映像の供給拡大} \rightarrow \text{映像の外観による真正性判断の困難化}

ここから、コンテンツの出所確認、生成・改変履歴の記録、真正性の検証などに対する要求が増大する可能性が導出される。

ただし、この因果経路が実際に成立するかは、合成技術の普及、利用者の行動、既存の検証技術などに依存する。

したがって、当該経路は普遍的な技術法則ではなく、明示された仮定の下での条件付き仮説として扱う必要がある。

5.4.6 TRCの分析成果物

以上の検討から、TRCによる分析の成果物を、次の組として表現できる。

\boxed{ \mathcal O_{\mathrm{TRC}} = (G_0,G_1,\Delta G, \Delta H,\Delta R,\mathcal T) }

ここで、

• G_0：制約除去前の因果グラフ
• G_1：制約除去後の因果グラフ
• \Delta G：因果構造の差分
• \Delta H：危険事象の差分
• \Delta R：要求仕様の差分
• \mathcal T：構造変化、危険事象、要求を結び付けるトレーサビリティ

とする。

この表現により、単なる架空技術のシナリオ記述とTRCによる分析を区別するための基準を提示できる。

ただし、因果グラフは分析者が設定したモデルであり、実証的な裏付けが存在しない限り、現実の因果構造を証明するものではない。

また、要求の導出には安全性や利用者の利益に関する規範的判断が必要であり、因果グラフの差分から要求集合が数学的に一意に決定されるわけではない。

それでも、制約除去前後の因果構造と要求仕様を明示的に比較することには、分析上の意義がある。

第一に、ある要求が何を根拠として導出されたのかを追跡できる。

第二に、制約除去によって失われた保護機能や調整機能を、具体的な因果経路として把握できる。

第三に、導出された要求や危険事象について、既存の安全工学や要求工学の方法による検証が可能になる。

第四に、異なる架空技術の間でも、因果構造の差分という共通の形式によって比較できる。

以上から、因果グラフと要求差分の対応付けは、TRCを反実仮想的な物語の提示にとどめず、再現可能性と検証可能性を備えたシステム分析手続きへ発展させるための有力な構成要素となる。

6. 三つの事例に共通する構造

前章の例証を整理すると、次のようになる。

三つの事例は、それぞれ異なる技術領域に属している。

しかし、制約除去によって既存のシステム構造が変化し、従来の制約が担っていた機能や、これまで顕在化していなかった要求が問題となる点で共通する。

この共通性が、TRCによって一般化可能な問題構造を探索できる可能性を示している。

ただし、本稿の例証は、TRCが実際に既存手法より多くの問題を発見できることを示すものではない。

7. TRCの評価と実証研究の設計

7.1 検証すべき研究課題

本稿の主張を実証的に評価するため、次の研究課題を設定する。

RQ1： TRCは、従来の自由なブレインストーミングやシナリオ分析と比較して、制約除去後の潜在的な問題を体系的に発見することに寄与するか。

RQ2： 制約の保護機能・調整機能を明示的に分析することによって、従来の機能中心の分析では見落とされる危険事象を発見できるか。

RQ3： 主体の行動変化を含めた分析は、静的な制約除去モデルと比較して、新たな要求の発見に寄与するか。

RQ4： 架空技術を用いた分析から導出された命題は、実在する技術や制度にも適用可能か。

7.2 仮説

以上に基づき、次の仮説を提案する。

H1： 制約の複数の機能を明示的に分析する手続きは、能力制限機能のみを分析する手続きと比較して、制約除去後の危険事象の発見に寄与する。

H2： 制約除去後の主体の行動変化を明示的に分析することで、新たな要求の発見数および妥当性が向上する。

H3： 制約除去の介入条件を明示した反実仮想的分析は、自由形式の架空技術シナリオ分析と比較して、導出された問題の因果的な追跡可能性を高める。

これらの仮説は本稿では未検証である。

7.3 実証研究の方法

実証方法として、TRCを使用する分析群と、既存のシナリオ分析または通常の問題発見手法を使用する対照群を比較する実験が考えられる。

参加者には共通の技術シナリオを提示し、制約の緩和によって生じる問題、危険事象、新たな要求を導出させる。

評価には、発見項目の数だけでなく、技術的・論理的な妥当性、新規性、因果関係の明確さ、既存研究との重複を含める必要がある。

評価者には分析手法の割当てを知らせず、独立に成果を評価させることが望ましい。

また、TRCに有利な架空事例ばかりを選択すると評価が偏るため、複数の技術領域と異なる性質の制約を含む課題を用意する必要がある。

7.4 過去の技術発展による検証

別の方法として、過去に実際に発生した技術的制約の緩和を対象とする研究も考えられる。

例えば、ある時点以前の情報だけを分析者に与え、その後に実際に顕在化した問題をどの程度導出できるかを評価する。

ただし、この場合には事後的な知識の混入を避けなければならない。

分析者がすでにその技術の発展経緯を知っていれば、過去の時点で未知だった問題を予測できたとはいえないからである。

また、予測された問題が実際に発生しなかったとしても、技術的介入や制度的対応によって防止された可能性がある。

したがって、TRCによる問題発見の能力を評価するには、反例や未発生事象の取扱いについても慎重な設計が必要である。

8. 考察

8.1 TOCとの関係

TRCはTOCの名称を意識しているが、TOCを否定するものではない。

TOCが主としてシステムの目標達成能力の改善に着目するのに対して、TRCは制約の除去によって生じる構造変化を探索する。

特にTRCでは、制約が本来の機能を阻害する一方、別の機能を成立させている可能性を検討する。

ただし、制約の複数の役割や除去後の影響を検討する研究は既に存在するため、TRCは既存研究から完全に独立した理論体系ではない。

その貢献は、反実仮想的な制約除去を出発点とし、システム再構成、新たな危険事象、内生的要求の導出を一連の分析手続きとして整理する点に求められる。

8.2 TRCと要求工学

要求工学では、システムが満たすべき要求を利害関係者の目的や制約から導出する。

TRCは、既存の要求を満たすための技術が導入された際に、要求そのものが変化する可能性に着目する。

すなわち、技術によって既存要求が実現されると、それまで存在しなかった行為や問題が現れ、新しい要求が発生する場合がある。

この点で、TRCは要求の内生的変化を探索する補助的方法となり得る。

8.3 TRCと安全工学

制約の除去によって、新たな危険な状態遷移が可能になる場合がある。

特に、従来の物理的制約が安全上の防護として機能していた場合、その除去によって新たな安全制御が必要となる。

TRCは、こうした危険事象を先行的に探索する方法として利用できる可能性がある。

ただし、TRCそのものが安全性を保証するわけではない。

実際の安全要求の妥当性や安全機構の有効性については、STPAなどの安全解析および実証的検証が必要となる。

8.4 架空技術を用いる方法論的意義

架空技術を利用する利点は、現実の技術開発可能性によって思考実験の範囲が制約されない点にある。

特に、物理的制約を取り除いた状況を仮定することで、現実には常に成立している条件が、社会制度や技術システムの構造にどのような影響を与えているかを検討できる。

ただし、架空技術の設定には論理的一貫性が必要である。

制約を除去したとする一方で、その制約が存在することを前提とした効果を恣意的に維持することはできない。

また、仮想的に実現可能な状態と、実際の社会において発生する可能性の高い状態を混同してはならない。

架空技術は、現実を予測するための証拠ではなく、反実仮想的な条件を明確にするための分析上の装置である。

8.5 制約除去の順序と相互作用

本稿では主として単一の制約除去を扱ったが、現実のシステムには複数の制約が存在する。

複数の制約を同時に除去した場合、各制約を個別に除去した場合の効果を単純に加算できるとは限らない。

さらに、制約Aの除去後に制約Bを除去する場合と、制約Bの除去後に制約Aを除去する場合とで、主体の行動や制度形成の過程が異なる可能性がある。

このような経路依存性については、動的モデルに基づく分析が必要である。

複数の制約除去の相互作用は、TRCの今後の理論的拡張における重要な研究課題となる。

9. 限界

本稿には、少なくとも五つの限界がある。

第一に、TRCの有効性を検証する実証データが存在しない。

本稿で提示した事例は、方法論の適用可能性を説明するための例証である。

第二に、制約の除去によって生じる結果の導出は、モデルの構造と仮定に依存する。

架空技術の仕様を恣意的に設定すれば、望む結論を導くことも可能である。

第三に、制約除去によって生じる問題を網羅的に発見できる保証はない。

分析者の知識や専門性、想定する利害関係者の範囲などによって、導出される結果は変化する。

第四に、導出された問題の一般化可能性は未検証である。

架空技術において成立した問題構造が、現実の技術や制度においても成立するとは限らない。

第五に、TRCを構成する個々の考え方は、TOC、システム思考、反実仮想分析、Design Fiction、安全工学などの先行研究と重複する。

したがって、TRCを独立した理論として評価するためには、既存の分析手法では得られなかった知見をTRCによって得られるかを、今後検証する必要がある。

10. 結論

本稿では、架空技術を用いた反実仮想的システム分析の方法論として、制約除去理論（Theory of Removal of Constraints: TRC）を提案した。

TRCは、対象システムにおける特定の制約を仮想的に除去し、その結果生じる行為可能性、システム構造、主体の行動、危険事象および要求の変化を分析する方法である。

本稿では、制約の除去による実現可能な状態集合の拡大が、システム全体の望ましさの改善を保証しないことを整理した。

また、制約が能力制限だけでなく、保護機能、調整機能および認識上の機能を担い得ることを論じた。

さらに、架空技術を用いた三つの例証を通じて、制約除去によって潜在的制約が顕在化し、新たな危険事象や要求が発生する可能性を示した。

これらの例証は、TRCの実証的有効性を証明するものではない。しかし、制約の除去を反実仮想的な介入として明示し、その後のシステム再構成を追跡することによって、既存の技術や制度に関する新たな分析課題を導出できる可能性がある。

今後は、実在する技術発展に関する事例研究および他の分析手法との比較実験を通じて、TRCの適用可能性と有効性を検証する必要がある。

最後に、本稿の基本的な問題意識を次のように要約する。

制約は単にシステムの可能性を狭めているのではない。システムが現在の形で成立するための条件にもなっている。したがって、ある制約を除去することは、単に可能な行為を増やすだけでなく、システムを成立させていた条件そのものを変更することでもある。

TRCは、この変化を反実仮想的に分析することによって、未だ顕在化していない問題構造を探索しようとする試みである。

参考文献

1. [acar2019] Acar, O. A., Tarakci, M., & van Knippenberg, D. (2019). Creativity and Innovation Under Constraints: A Cross-Disciplinary Integrative Review. Journal of Management, 45(1), 96–121. https://doi.org/10.1177/0149206318805832

2. [bleecker2009] Bleecker, J. (2009). Design Fiction: A Short Essay on Design, Science, Fact and Fiction. Near Future Laboratory. https://nearfuturelaboratory.com/essays/

3. [dewar1993] Dewar, J. A., Builder, C. H., Hix, W. M., & Levin, M. H. (1993). A Planning Tool for Very Uncertain Times. RAND Corporation. https://doi.org/10.7249/MR114

4. [dunne2013] Dunne, A., & Raby, F. (2013). Speculative Everything: Design, Fiction, and Social Dreaming. MIT Press. https://mitpress.mit.edu/9780262019842/speculative-everything/

5. [goldratt2004] Goldratt, E. M., & Cox, J. (2004). The Goal: A Process of Ongoing Improvement (3rd revised ed.). North River Press.

6. [leveson2012] Leveson, N. G. (2012). Engineering a Safer World: Systems Thinking Applied to Safety. MIT Press. https://mitpress.mit.edu/9780262016629/engineering-a-safer-world/

7. [onarheim2012] Onarheim, B. (2012). Creativity from Constraints in Engineering Design: Lessons Learned at Coloplast. Journal of Engineering Design, 23(4), 323–336. https://doi.org/10.1080/09544828.2011.631904

8. [pearl2009] Pearl, J. (2009). Causality: Models, Reasoning, and Inference (2nd ed.). Cambridge University Press. https://doi.org/10.1017/CBO9780511803161

9. [sterman2000] Sterman, J. D. (2000). Business Dynamics: Systems Thinking and Modeling for a Complex World. Irwin/McGraw-Hill.

利益相反： 申告すべき利益相反なし。

研究データ： 本稿では実証データを収集していない。

研究倫理： 本稿に記載された架空技術に関する事例は思考実験であり、実際に発生した事故や技術的事実を報告するものではない。