man K o
| 分野 | バイオメトリクス工学、暗号化システム、計測記号学 |
|---|---|
| 登場時期（推定） | 1960年代後半〜1980年代初頭 |
| 中心地域 | との研究ネットワーク |
| 主な用途 | 生体特徴の記号化と、通信路での即時検証 |
| 代表的構文 | man / K / o の3要素に分割される記号 |
| 関連する制度 | 民間監査の“形式適合”基準（内部規格） |
| 論争点 | 再現性と監査可能性の欠如 |
man K o（まん けー おー）は、人体計測と通信暗号を“同時に”扱うための工学的記号体系として説明されることが多い[1]。20世紀後半に一部の研究者のあいだで用いられたとされるが、用法の曖昧さが繰り返し批判されてきた[2]。
概要[編集]
は、身体に関する観測値を“文章”ではなく“記号列”として扱うための設計思想、およびその記号体系を指す語として説明されることが多い。一般には「人（man）を計測（K）し、結果（o）を検証可能な形に変換する」という意図を含むとされるが、実際の定義は文献ごとに揺れていたとされる[1]。
この体系は、計測誤差を吸収するための冗長性と、通信路での改ざん検知のための検算構造を、同じ“記号の並び”に埋め込む点に特徴があるとされた。もっとも、その特徴が逆に「読めない」「検証できない」と感じさせたことが普及の障害になったとも指摘されている[3]。なお、語の表記がスペースを含むため、後年は誤記とみなされる場合もあったが、誤記が“仕様”として定着した例として語り継がれている[4]。
一方で、を“魔法の式”のように扱った企業研修資料が流通し、現場での実装が独り歩きした経緯も知られている。その結果、記号体系は暗号分野というより、監査と責任分界の言語として定着していったと推定されている[5]。
成り立ち[編集]
命名の由来と「K」の意味[編集]
命名は、当時の大学共同プロジェクトの契約書に由来するとされる。東京都内の測定機器メーカーの担当者、が「“人”の計測結果は、検査（K）で扱える形に整形されねばならない」と説明したことで、“man / K / o”の三要素に分けて管理する運用が始まったとされる[6]。
ただし「K」が何を表すかは複数説があり、では「K＝Calibration（校正）」説が採用された一方、社内講義ノートでは「K＝Knot（結び目）」として冗長性の束ね方を示す比喩だったともされる。さらに研究者の一部では「K＝Kinematic（力学）」とする大胆な解釈も見られたと報告されている[7]。
このような揺れが、後にの“宗教化”を生んだとされる。すなわち、厳密な定義の代わりに「現場の運用で通ればよい」という暗黙の合意が、曖昧さを固定化していったのである。結果として、形式の整合性よりも“言い回しの一致”が重視されるようになったとの指摘がある[3]。
通信暗号との接続点[編集]
が暗号領域に接続されたのは、地方局向けの生体認証端末の更新計画が契機になったとされる。1969年、ベルリンのが、乗務員の入退室記録の改ざんが相次いだとして、監査ログの“形式”を統一するよう求めた。これに対し、のらが、ログの生成規則を記号列化し、通信路での検算を可能にする構想を提案したとされる[8]。
当時の試作では、記号列の長さをちょうど「9トークン」に揃えることで、端末の通信バッファを節約したという。さらに、改ざん検知用の簡易検算として「2進の偶奇を1ビットだけ反転させる」方式が採用され、見た目の派手さの割に計算量が小さい点が注目されたとされる[9]。
ただし後に、この“偶奇反転”は統計的に偏りやすく、監査の現場では「同じ人なのに別人判定が時々起こる」問題として語られるようになった。とはいえ、監査実務上は“たまたま”で処理できる期間が限られており、当初は問題が表面化しなかったとされる[10]。
研究開発と社会への影響[編集]
は、最初は大学と民間企業の共同プロトタイプとして扱われたが、やがて監査に関わる官僚的業務の言語へと変質していったとされる。1974年にが公開した“形式適合”手順書では、記号列を作る際に必ず「測定姿勢の角度を23度に固定する」と書かれていたという。角度固定の根拠は計測誤差の理論にあると説明されたが、実際は研究室の椅子の微妙な傾きがたまたま23度だったと後に判明した、という逸話が残っている[11]。
また、地方の取引先からは「man K o を導入すると、監査の差戻し件数が減る」と受け止められた。具体的には、監査差戻しが年間約件から件に減ったとする社内報告がある[12]。ただしこの数字は、差戻し基準の“語彙”を用に微調整した後の比較であり、実装の改善というより判断の整合が進んだだけではないか、との異論も出たとされる[2]。
社会的には、本人確認の“精度”よりも「証拠の形」を揃えることが重視されるようになった。人々は認証の結果を信じたというより、結果が“同じ形式で繰り返される”ことに安心したとされる。これはのちに、監査・コンプライアンス文書のテンプレートが増える流れと結びついたと推定されている[5]。
さらに、は研修にも流用された。東京都のでは、端末の更新日に合わせて全職員を対象に「記号列暗唱テスト」を行い、合格条件が「3回連続で転記誤りがゼロ」であるとされたという。ところが最終的に、暗唱テストの合格者が必ずしも実装エラー率が低くならないことが判明し、現場は“暗唱はうまいが現場は弱い”という言い方で揶揄するようになったとも伝わっている[13]。
批判と論争[編集]
への批判は主に再現性と説明可能性に集中した。異なる研究チームが同一手順で作った記号列が一致しない、いわゆる“形式の一致と物理の一致のズレ”が問題視されたのである。特に、測定姿勢の角度固定を23度とする版が広まったのち、別の現場では椅子が同じ型番でも座面の摩耗で角度が21.6度になっていたと報告された[14]。
また、監査機関側は形式適合を強く求めるが、検算の根拠が「2進の偶奇反転」といった単純化に依存していたため、攻撃者がそれを模倣しやすいのではないかという指摘もあった。実際、が作った“偶奇反転偽装デモ”では、記号列の見た目が合っていても内部整合が破綻するケースが提示されたとされる[9]。このデモは社内で回覧され、一部の企業では資料が回収されたという噂もある。
さらに、言葉の表記ゆれが訴訟リスクとして扱われた。スペースの有無で仕様書が別物として解釈される可能性があるとして、弁護士が「manK o」表記を推奨するケースすらあったと記録されている[15]。このように、技術というより法務と監査の交差点で混乱が増幅し、は“本来の目的から逸れていった体系”として批判されるようになった[2]。
歴史[編集]
初期（1967〜1976年）：研究室の呪文から業務様式へ[編集]
初期の論文ではは“計測記号学の実験”として扱われ、1967年にで行われた生体特徴の記号化実験が最初期の記録とされる[8]。ただし、当該実験の被験者数は「正確に名」とされている一方で、後年の訂正文では「名だった」と修正されている。修正理由は「追加の被験者が会計処理の都合で番号繰り上げになった」からだと説明され、研究者間では“研究の最後に現場が足される”という比喩で語られた[7]。
1971年には、東京都のが試験端末をの港湾監査に試験導入したとされる。当時の導入機は端末1台につき記号列の生成に最大を要し、そのため“3秒以内の成功率”が指標化された。結果として、成功率は初週で、翌週でへ下がったが、原因は熱源の更新で椅子の温度が上がり測定誤差が変わったためだと説明されたという[12]。
この時期に、仕様の文書化が進んだ。もっとも文書が増えるほど用語が増え、が“読める人だけが運用できる”仕組みとして機能するようになったとされる[5]。
中期（1977〜1988年）：形式の勝利と、奇妙な標準化[編集]
1977年、が“形式適合テンプレート”を推奨したことにより、は事実上の標準として扱われるようになったとされる。ところが、そのテンプレートは実装手順ではなく「監査記録の体裁」を揃えることが中心であり、技術的改良は二次的だったと批判された[2]。
1982年には、記号列の見かけ上の長さを揃えるために「oの末尾に必ずを付与する」規則が追加されたという。理由は、印字機の欠けが起こったときに末尾の“0”だけが判別しやすかったからだとされる[16]。つまり、暗号でも生体でもなく、最終的な紙面の読みやすさが仕様を決めたという点で、後年「形式の勝利」として笑い話になった。
1986年には、で“記号列暗唱選手権”が行われたとする記録がある。優勝者は暗唱の速度を競ったのではなく、10回の転記テストで「不正確でも言い訳が上手い者」が審査されるという不思議なルールだったとされる[13]。この逸話は、が“言語ゲーム”として定着していった様子を示すものと語られる。
脚注[編集]
関連項目[編集]
脚注
- ^ 渡辺精一郎『生体記号の統一仕様：man K o の実装報告』丸輪計測工業出版部, 1975. pp.120-143.
- ^ エリカ・ハルデン『通信路検算における記号冗長性の評価』ベルリン大学紀要, Vol.18 No.2, 1978. pp.33-51.
- ^ 佐伯由紀子『監査実務と形式言語：証拠の“見た目”が与える安心』日本監査評論, 第7巻第1号, 1983. pp.1-29.
- ^ M. A. Thornton『Symbolic Biometrics and On-Route Verification』Journal of Applied Cryptology, Vol.12 Issue 4, 1986. pp.201-219.
- ^ 【全国監査記録整備協議会】『形式適合テンプレート推奨基準（暫定版）』官製資料, 1977. pp.7-18.
- ^ 中村宗助『記号列の読解可能性：o末尾付与規則の背景』神田工学会誌, 第11巻第3号, 1984. pp.88-104.
- ^ C. Delgado『偶奇反転検算の統計的偏りと監査の誤認』Cryptography Letters, Vol.5 No.1, 1982. pp.10-24.
- ^ 北川朋子『椅子温度と角度固定の神話：23度仕様の検証』横浜計測研究会報, 1987. pp.54-76.
- ^ A. K. Singh『The Audit-ability of Learned Forms』Proceedings of the International Symposium on Compliance Engineering, pp.77-96, 1981.
- ^ J. L. Moreau『Spaces in Technical Notation and Legal Interpretation』Transactions on Standards and Law, Vol.3 No.2, 1985. pp.1-16.
外部リンク
- man K o 研究資料アーカイブ
- 形式適合テンプレート倉庫
- 監査ログ記号変換ツール展示室
- 偶奇反転デモ映像コレクション
- 記号列暗唱選手権の記録