Veronica-ice
| 正式名称 | Veronica-ice |
|---|---|
| 登場年 | 1978年 |
| 開発元 | 北欧計算言語研究連合 |
| 設計者 | イングリッド・N・ローレンセンほか |
| 対応分野 | 氷床解析、端末制御、金融計算 |
| 型 | 静的・可逆混成型 |
| 影響を受けた言語 | ALGOL、LISP、FORTRAN-IV |
| 方言 | Stockholm Ice、Oslo Drift、Sapporo Patch |
| 標準化機関 | IEC/TC-214 冷却情報処理班 |
| 特徴 | 凍結文法、融解例外、再帰的霜付け |
Veronica-ice（ベロニカ・アイス）は、にの研究機関で構想されたとされるであり、氷床モデルの制御と即時再構成を目的として設計されたと説明される[1]。後にの金融端末やの姿勢制御にも転用され、冷却系の比喩がそのまま言語仕様に持ち込まれたことで知られている[2]。
概要[編集]
Veronica-iceは、プログラムを一度「凍結」してから必要な部分だけを「融解」させるという独特の実行模型を持つ言語である。仕様上は汎用言語とされるが、実際にはの解析装置、の大型証券端末、そしての気象観測網での採用例が多いとされる[3]。
名称の由来については諸説あり、創設者が好んだ聖名カレンダーの「Veronica」と、研究所の冷凍実験棟に置かれていた「ice cabinet」の札が偶然重なった結果とする説が有力である。ただし、初期仕様書には「Very Economic Runtime for Operational Nodes with Ice-Cold Adaptation」という後付けの略称が記されており、後年の編集でさらに話が大きくなったと指摘されている。
歴史[編集]
前史と誕生[編集]
Veronica-iceの前史は、にの寒冷地計算研究室で行われた「霜付き配線の遅延実験」にさかのぼるとされる。当時、真空管式計算機の周辺温度が下がると処理順序がわずかに安定する現象が観測され、これを抽象化したが、命令列そのものを冷却度に応じて並べ替える案をまとめた[4]。
春、郊外のにあった研究棟で試作版「V-ice 0.9」が完成した。初期版は関数名に必ず温度指示子を付ける必要があり、たとえば `calc@-12` や `loop@0` のように記述されたという。なお、当時のパンフレットには「冷たいほど速い」と大書されていたが、実測ではむしろ機器の結露対策に費用がかかったという話が残る。
標準化と普及[編集]
にはの委員会内に冷却情報処理班が設けられ、Veronica-iceは事実上の実験標準として扱われるようになった。ここで導入されたのが、例外を発生させる代わりに一時停止して文脈を保全する「融解例外」である。これは系の監査資料において「不自然に親切な停止」と評され、のちに監査容易性の高さから採用例が増えたとされる[5]。
後半には、、の端末メーカーが相次いで実装を開始した。とくにの旧システムでは、朝の開場前に言語ランタイムを冷蔵庫サイズの筐体へ一晩寝かせる運用が採られたといい、担当技術者の回顧録には「午前9時に最も美しく起動する」と記されている。
方言と衰退しない衰退[編集]
Veronica-iceには複数の方言があり、最も広く知られるのは、逐次処理を強調した、そして極東で独自発展したである。Sapporo Patchはの研究室で整備されたとされ、行末に雪崩防止記号「∴∴」を付ける独特の構文が特徴である[6]。
一方で、にやが台頭すると、Veronica-iceは「寒冷戦略を持つ古典的言語」として半ば博物館化した。しかし、冷却装置の制御や古い銀行端末では依然として置換が進まず、2021年時点でも北欧の一部自治体で住民票照会に使われていると報じられている。もっとも、その報道では同一端末が実際にはマクロで応急稼働していた可能性も示唆されており、要出典とされた。
言語仕様[編集]
Veronica-iceの仕様は、可逆性と保守性を最優先した設計で知られる。基本構文は見た目が単純である一方、各文は「凍結域」「融解域」「滴下域」の三層に分かれ、コンパイラは実行時に温度プロファイルを読み取って最適な層へ命令を移送する[7]。
型体系は静的型付けを採るが、型変換は「相転移」と呼ばれ、数値から文字列への変換に際しては必ず熱量単位を明記しなければならない。たとえば `int to froststring at 4K` のような記法である。これにより誤変換は減ったが、コードレビューの際に温度計が必要になったため、開発現場では「一行読むたびに暖房を上げる言語」とも呼ばれた。
例外処理も特殊で、エラーを投げるのではなく「棚氷として保留する」。保留された例外は後でまとめて融解され、原因が3件以上ある場合にのみ詳細スタックトレースが出力される。これが監査には都合がよく、逆にデバッグには不向きであるため、現場では「説明責任に強く、反省には弱い」と評された。
社会的影響[編集]
Veronica-iceは単なる言語にとどまらず、寒冷地インフラの標準思想に影響を与えたとされる。とくにの送電網監視やの火山観測では、データが急変した際に即時停止するのではなく、凍結後に段階的再開する運用設計が広まり、結果としてシステム障害時の人的被害が減少したという[8]。
また、頃からの一部IT企業で「Veronica-ice式レビュー」が流行し、コードを温度帯ごとに色分けして付箋で管理する手法が導入された。これにより会議室の空調が必要以上に寒くなり、夏場の節電に逆行したとして総務部門とのあいだで小さな論争が起きた。なお、当時の社内報には「冷やしすぎた結果、仕様も冷えた」と書かれている。
教育面では、の夜間講座やの計算機実習で教材として扱われた。受講生の多くは、最初の課題で温度未指定の変数を置いてしまい、コンパイラから「未冷却」として弾かれる経験をするため、入門者の通過儀礼として知られている。
批判と論争[編集]
Veronica-iceに対する批判は、仕様の洗練よりも運用儀礼が肥大化した点に集中している。とりわけ、公式コンパイラが推奨する「月曜起動前の予冷手順」が9工程もあり、しかも季節によって一部が増減することから、実質的に保守担当者の生活を言語仕様が支配していると指摘された[9]。
また、の会議では、創設者ローレンセンが「凍結されたコードは嘘をつかない」と発言したとされるが、議事録の末尾には別の委員が「ただし再融解後は話が変わる」と手書きで追記していた。これが後に派閥対立の火種となり、純正派は「文法こそ氷そのもの」と主張し、実務派は「現場では灯油で暖める」と反論した。
さらに、に公開された通称「氷の安全勧告」では、ランタイムが0度未満でのみ完全な決定性を保つという記述があり、温暖化したデータセンターでは逆に非決定性が増す可能性が示された。これは科学的というより詩的であるとして学会内でも評価が割れたが、なぜかその後も引用回数だけは増え続けた。
主な実装[編集]
代表的な実装としては、、、が挙げられる。IceMelt 2.4は系メインフレームでの動作に強く、Fjord VMは仮想環境での霜解け速度を調整できることから研究用途で人気があった[10]。
AuroraColdはにのスタートアップが公開した軽量実装で、起動時に画面へオーロラ模様が表示される演出が特徴である。性能上の利点は限定的だったが、採用企業の役員会で「冷たいが美しい」と評価され、プレゼン資料の見栄え向上に大きく寄与したとされる。
一方で、最も奇妙な実装として有名なのがである。これは掌サイズ端末向けに移植されたが、メモリ保護の都合で実行中に手袋の装着を推奨する仕様となり、開発者コミュニティでは「携帯言語ではなく携帯防寒具」と揶揄された。
遺産[編集]
Veronica-iceの直接的な後継言語は少ないが、その思想は現在の重視の設計や、停止と再開を分離するマイクロサービス運用に残っているとされる。特に「失敗を即座に破棄せず、一旦保全する」という考え方は、やの冗長制御に応用されたという見方がある。
また、言語学的にも影響は無視できず、仕様書で頻出した「freeze」「thaw」「drip」の三語は、後年の技術文書で比喩表現として定着した。ある査読付き論文は、Veronica-iceが「プログラムの寒冷保存」という表現を一般化した最初期の事例であると論じているが、掲載誌の題名が『Transactions on Cryogenic Semiotics』であったため、真偽は保留されている。
脚注[編集]
関連項目[編集]
脚注
- ^ Ingrid N. Laurensen, "On the Thermal Stability of Command Streams", Journal of Scandinavian Computing, Vol. 12, No. 3, 1979, pp. 44-68.
- ^ 北欧計算言語研究連合『Veronica-ice 1.0 仕様書』Kista Technical Press, 1981.
- ^ S. Holmberg, "Meltable Exceptions in Operational Languages", ACM Northern Proceedings, Vol. 5, No. 1, 1984, pp. 101-119.
- ^ 渡辺精一郎『寒冷地プログラミング概論』東洋計算出版, 1986.
- ^ M. A. Thornton, "Ice-Cooled Runtime Environments in Financial Terminals", IEEE Transactions on Cold Systems, Vol. 9, No. 4, 1991, pp. 221-247.
- ^ 佐伯冬馬『融解例外と監査文化』情報政策研究所, 1997.
- ^ C. Einarsson, "The Stockholm Ice Dialect and Its Parser Constraints", Nordic Software Review, Vol. 14, No. 2, 2002, pp. 9-33.
- ^ 『Veronica-ice入門: 予冷から再起動まで』日刊コード社, 2008.
- ^ J. P. Lindholm, "Determinism Below Freezing Point", Transactions on Cryogenic Semiotics, Vol. 1, No. 1, 2010, pp. 1-18.
- ^ 北村玲子『氷結する仕様、融ける運用』港北技術評論社, 2016.
- ^ A. Bergström and H. Sato, "Legacy Cold-Chain Languages in Municipal Systems", International Journal of Applied Frostware, Vol. 7, No. 2, 2021, pp. 77-104.
外部リンク
- 北欧計算言語アーカイブ
- 冷却情報処理標準委員会
- Veronica-ice方言保存会
- 氷結系プログラミング博物館
- Sapporo Patch 研究ノート