COBOL から5言語への bit-exact 移植

1988年地方銀行バッチを題材とした決定論的コード変換の全記録

本書の主旨

本書は、1988年に稼働していた地方銀行の基幹系バッチプログラムを、現代の5つのプログラミング言語（Java, Rust, Go, C#, Kotlin）へ完全移植した技術資料です。AIによる確率的なコード生成とは一線を画し、数学的な「100%の決定論」に基づいた変換手法を確立しました。固定小数点演算や丸め処理を含め、1円の誤差も許さないビット完全（Bit-Exact）な検証プロセスを詳述しています。

主要技術諸元

対象方言	IBM Enterprise COBOL / Unisys MCP COBOL
出力言語	Java, Rust, Go, C#, Kotlin (WASM / PSDP 形式)
中核技術	Slot IR (中間表現) および位相同期並列実行 (PSDP)
検証実績	180セルの Bit-exact 検証マトリクス（18ケース × 5言語 × 2方言）

技術資料（PDF版）
全 284 頁 | 2026年4月発行

PDFをダウンロードする