二人零和有限確定完全情報おちんちんギャル
| 英語名称 | Two-Person Zero-Sum Finite Determinate Perfect-Information O-tin-tin Gal Theory |
|---|---|
| 対象領域 | 二人零和・有限・確定・完全情報ゲーム、ならびに合意形成儀礼 |
| 上位学問 | 確定計算競技理論 |
| 主な下位分野 | 零和枝刈り論／確定合図文法／完全情報儀礼設計 |
| 創始者 | 相原ツヅキ（あいはら つづき） |
| 成立時期 | ごろ（学会誌初出） |
| 関連学問 | 社会的合図学、競技論理学、段階的決着学 |
二人零和有限確定完全情報おちんちんギャル学（よみ、英: Two-Person Zero-Sum Finite Determinate Perfect-Information O-tin-tin Gal Theory）とは、二人対戦の有限手数ゲームと、その理論をめぐる「確定的な合意形成儀礼」を同時に対象とする学問であり、計算学の一分野である[1]。
語源[編集]
「二人零和有限確定完全情報おちんちんギャル」は、長いが故に「短い略語では誤解が増える」という問題意識から、あえて要素を丸ごと並べた名称として整理されたとされる。
語の核は、数学寄りの条件列（・・・・）に、現場用語としての「おちんちんギャル」が後付けされた構造である。ここで「おちんちんギャル」とは、当該分野の創始者が「合図が揺れない当事者像」として定義した役割名であり、見た目の記述ではなく合意の安定性を比喩する概念として扱われていると説明される[2]。
なお、現代では「おちんちんギャル」を“俗称が定着した専門概念”として扱う立場と、“当初から研究対象そのものとして運用された語”として扱う立場とが並存しており、辞典編纂のたびに採録方針が揺れることが知られている[3]。
定義[編集]
本学は、二人零和のゲームから出発しつつ、そこに「確定的な合意形成儀礼」を組み込むことで、決着の説明可能性を高めることを目的とする学問である。
広義には、が交互に手を選び、手数がで、途中情報が他者に漏れないを前提とし、利得がゼロ和である対戦を対象とする。狭義には、追加条件として「勝敗結果が論理的に確定する構造」をと定義し、さらに“確定に至るまでの合図”を儀礼として設計する枠組みを指すとされる[4]。
また、本学は「決着の判定」だけでなく、「決着が当事者同士で納得されるまでの手順」を研究対象とすると定義した点が特徴である。相原ツヅキはそれを「儀礼的整合」と呼び、零和条件の理解が成立したとき初めて、相手にも理解が伝播すると論じたとされる[5]。
この際、「確定」は“数学的に一意であること”に寄せて扱われるが、儀礼側は“当事者が後から反証しにくい記録様式であること”に寄せて扱われる。したがって、本学は論理と社会的記録の境界を横断する理論体系として発展したと説明される[6]。
歴史[編集]
古代（文献の発掘期）[編集]
古代の起源は、学術団体ではなく競技場の記録断片として語られることが多い。たとえば内の「算盤札（さんばんふだ）」と称する木札群がに発見されたという逸話があり、そこでは二人の勝敗が「全手が数え上げられた時点で初めて確定」と書かれていたとされる[7]。
この記録には“合図”に相当する符丁が多数あり、後年の解釈者はそれを「おちんちんギャル型合図」と名付けた。もっとも、この呼称が当時に存在したかどうかは不明とされる一方で、合図が揺れない運用だけが強調されている点から、現代研究では「儀礼の萌芽」とみなされている[8]。
この時期の中心的な伝承者は、後に「札写しの巫女」と呼ばれる人物群だとされるが、個人名が残らないため、研究史では“集団的編集”として扱われることが多い。いずれにせよ、有限であることと、確定が記録に縛られることが同時に語られていた点が、後の学問の方向性につながったとする説がある[9]。
近代（形式化の加速期）[編集]
近代の転機は、の公的研究施設「計競記号研究所（けいきょうきごうけんきゅうじょ）」が開催した非公開ワークショップに求められるとされる。
から3年おきに続いたとされる「零和儀礼会議」では、二人ゲームの勝敗を、最終手の数で分類する試みがなされ、その分類が「有限確定表（ゆうげんかくていひょう）」と呼ばれた。ある参加者の私記によれば、表の初期案は全通りに分岐し、そこから枝刈りにより通りに整理されたと記録されている[10]。
さらに、完全情報の強調が「相手に見せた手順」へと読み替えられ、儀礼が“説明可能性の装置”として位置づけられるようになった。相原ツヅキはこの流れを受け、合図を言語化し、さらに言語を「反証可能性のない手続き」として再設計したとされる[11]。
ただし、この時期には、零和条件の厳密さを優先する立場と、儀礼の安定性を優先する立場とで対立があり、学会誌では「議論の目的が利得なのか納得なのか」という論点が繰り返し出たとされる[12]。
現代（制度化・応用拡張期）[編集]
現代では、の「日本競技情報庁（にほんきょうぎじょうほうちょう）」傘下で、対戦型研修や意思決定訓練への応用が制度化されたとされる。
の通達により、官民の研修では「確定的納得ログ」を一定期間保存することが求められ、そこで本学の“儀礼的整合”が引用されたと説明される。ある実施報告では、ログ保存率が初年度でに達し、当事者の訂正申し立てが従来より減少したとされる[13]。
また、学術面でも「確定合図文法」が体系化され、完全情報下での“合図の誤読”を統計的に抑える設計原理が提案された。さらに、ネットワーク対戦を想定した拡張では「有限」の解釈が計算資源に結びつけられ、有限確定が“計算可能性の上限”として扱われることもある[14]。
一方で、語の強い比喩性から、教育現場では名称の扱いが議論となり、略称（例: 二零有確完おちギャル学）が独自に乱立した。学会は統一見解を出したが、実務では依然として揺れが残るとされる[15]。
分野[編集]
本学は基礎として「零和枝刈り論」と「確定合図文法」を、応用として「完全情報儀礼設計」とを中心に体系化されたとされる。
基礎のうちは、二人の手列が有限であることを利用し、勝敗に影響しない分岐を排除する手法を研究対象とする。相原ツヅキは、枝刈りの尺度を「反証コストの増加」で測るべきだと主張し、これが後に確定の概念へ接続された[16]。
または、儀礼側の“合意が崩れない記録形式”を文法として定義する分野である。広義には、発話・身振り・記録媒体すべてが対象となるが、狭義には“確定に至るまでの合図列”の整形規則だけを扱うとされる[17]。
応用のは、完全情報を損なわない範囲で、当事者間の説明工程を最短化する設計論である。ここでは「勝ち負けを先に言うか」「手順を先に見せるか」といった運用選択が、合意の確定率に影響する要因として議論されている[18]。
方法論[編集]
本学の方法論は、(1)ゲーム木の有限化、(2)確定導出の記録化、(3)合図の検証手順の導入、の三段階で記述されることが多い。
まずゲーム木は、手数条件により局所的に展開される。次に、確定導出は“観測可能な合図列”に落とし込まれ、最後に、その合図列が当事者の解釈に揺らぎを生みにくいかが検証される。検証は実験室で行われるだけでなく、競技場の運用ログを用いた事後分析でも行われるとされる[19]。
相原流の特徴として、「確定の証明を、当事者が読める形にする」という規範が挙げられる。とくに「おちんちんギャル」の役割を“合図の読解が最小誤差になる当事者像”として扱うことで、証明の再現性が上がると主張された[20]。
さらに、統計処理では“反証申し立て率”が主要指標として採用された。ある講習の統計報告では、合図の語彙数を以内に制限すると反証申し立て率がへ低下したとされるが、同時に語彙制限は教育効果も下げうるとして注意が付されている[21]。なお、数値は研究集会ごとに微妙に差があり、統一手順が求められているという記録もある。
学際[編集]
本学は、計算理論だけでなく、社会的記録の研究とも接続する学際領域として整理されている。
一例としてとの連携が挙げられる。ここでは合図が意味を持つだけでなく、意味が“後からでも修正しにくい”形で伝達されることが重要とされる。したがって、儀礼設計は認知負荷や記憶保持とも関係するため、教育学的・心理学的観点が持ち込まれることが多い[22]。
またとの接続では、「零和」が倫理的配分の比喩としても読まれ、教育現場では公正さの議論と結びついたとされる。さらに、では、勝敗を一発で確定するのではなく、段階的に“確定感”を積み上げる運用が研究された。もっとも、その運用は「いつ確定と言い切ってよいか」という定義問題を誘発し、学会内で混乱を生んだと記録されている[23]。
このように学際的だがゆえに、用語の解釈が領域によってずれることがある。そこで学会は、共通の注釈書式として「確定ログの粒度表」を定めたとされるが、実務では参照率が低いとも報告されている[24]。
批判と論争[編集]
批判として最初に挙げられるのは、名称の強い比喩性が研究の中立性を損なう可能性である。「おちんちんギャル」という語が冗談として消費され、学問的議論が空中戦になるという指摘があるとされる。
また、零和条件と儀礼の設計が同一論理の中にあるかどうかについても論争が続いている。零和枝刈り論の側はゲーム木の厳密さを守るべきだと主張する一方で、確定合図文法の側は“厳密さの代替としての運用”を許容すべきだとする。この対立は、の公開討論会で「厳密さは確定を生むのか、それとも確定は厳密さを要請するのか」という形式で争点化した[25]。
さらに、実務応用への批判として、制度化が現場の自由度を奪うという懸念が示されたとされる。確定的納得ログの保存が義務化されたことで、記録作業が増え、現場では“ログが目的化する”問題が起きたとの声がある[26]。
ただし反論として、本学は勝敗の説明だけでなく、説明の受容を扱うとする立場から「制度化はむしろ透明性を高めた」との評価もある。なお、この論争は「反証申し立て率の減少」という定量指標と、「説明の疲労」という定性指標の衝突として継続しているとまとめられている[27]。
脚注[編集]
関連項目[編集]
脚注
- ^ 相原ツヅキ「二人零和有限確定完全情報おちんちんギャル学の素描」『確定計算競技研究』第1巻第2号, pp. 11-54, 1977年.
- ^ 田島モト「儀礼的整合と反証コスト」『記号と合意の計算史』Vol. 3, No. 1, pp. 77-102, 1982年.
- ^ M. A. Thornton「Perfect Information and Post-hoc Agreement: A Note on Determinacy」『Journal of Determinate Computation』Vol. 14, No. 4, pp. 201-239, 1986年.
- ^ 佐伯ユウ「有限の定義をめぐる社会的記録」『競技場メタデータ論叢』第5巻第1号, pp. 5-33, 1990年.
- ^ G. R. Holloway「Zero-sum Trees with Symbolic Signals」『Proceedings of the International Conference on Competitive Logic』Vol. 9, pp. 44-59, 1993年.
- ^ 山城ナオキ「確定ログの粒度表と教育効果」『教育競技学通信』第12巻第3号, pp. 130-158, 1999年.
- ^ 楠見ハル「確定的納得ログ保存率の統計的評価」『日本競技情報庁年報』第21号, pp. 1-26, 1998年.
- ^ K. Nakamori「A Short Lexicon Lowers Misreading: Grammar Constraints in Determinacy」『International Review of Game-Based Instruction』Vol. 6, No. 2, pp. 88-119, 2004年.
- ^ 相原ツヅキ「おちんちんギャル概念の再定義」『零和儀礼会議議事録』第2集, pp. 1-18, 1979年.
- ^ 配布資料「確定合図文法の暫定規程（暫定第0版）」日本競技情報庁, 1989年.
外部リンク
- 確定競技理論アーカイブ
- 儀礼ログ研究所
- 零和枝刈り可視化ギャラリー
- 日本競技情報庁 競技研修ポータル
- 合図文法コーパス