株式会社ジャバテルJAVATEL Inc.
製品  /  SlimeNENC  /  SlimeCOBOL
特願 2026-046620 (SlimeNENC family)

SlimeCOBOL — COBOL → Java/Rust 等 bit-exact 変換

監査に耐える、1 円も狂わない COBOL → Java / Rust トランスパイラ。

金融機関・年金・医療・公的システムが抱える 数十年前のレガシー資産 を、 bit-exact (1 ビットも違わず) で現代言語へ移植するツールです。

  • 変換後コードも Round-trip で完全に戻せる (トークン単位で可逆)
  • COBOL 14 方言を自動検出 (IBM / Burroughs / Unisys / Hitachi OpenTP1 など、識別子マーカー分類)
  • NIST CCVS85 501 プログラムで実証 → 変換 成功率 99.9995 %

「変換した結果が本当に同じ動作をするか」を 監査人が事後検証可能 にする、
bit-exact round-trip と hash-chain audit を併せ持つ決定論的レガシー近代化トランスパイラ (弊社調べ世界初) です。

今すぐデモ・資料請求 →

主要計測値

90 / 90
セル bit-exact
18 ケース × 5 言語 × 2 方言
90 / 90
Round-trip token-exact
変換後 → 元言語へ復元、トークン完全一致
14
COBOL 方言を自動検出 (dialect-detect)
IBM / Burroughs / Unisys / Hitachi OpenTP1 等。識別子マーカー分類。
※ dialect-transpile (実変換) coverage は GnuCOBOL/opensource-cobol 系統が主、Hitachi 等は fingerprint 段階
501
NIST CCVS85 プログラム
業界標準テストスイートで実証
99.9995 %
変換成功目標値
3 点セット (FULL / silent-pass / hallucination 検出) で証明
62 ms
8 ステージ中央値
1 プログラム当たり、p95 = 145 ms、O(N) スケーリング

検証コーパス規模 — 弊社調べ国内最大

注: 99.9995% bit-exact 主張の母数は NIST CCVS85 + Portfolio Mgmt の 501 プログラム / 35 万行 です。 下記 2,876 / 1.15M 行は 検証コーパス全体の規模を示し、 99.9995% を全数で計測したものではありません (追加分は dialect 検証 / 営業デモ / silent-pass 真値測定用)。

2,876
検証プログラム (合計コーパス規模)
NIST + AWS + IBM + 銀行系 4 系統 + Unisys + Burroughs 等
1.15 M
行 (LOC、合計コーパス規模)
公開検証規模で弊社調べ国内最大
18+
独立ソース
NIST / AWS / IBM CBSA / IBM db2-samples / Rocket / Defects Suite / UUSIG 等

主要ソース:

  • NIST CCVS85 459 prog / 346K 行 — 米国政府 公式 COBOL 適合検証スイート
  • AWS Mainframe Modernization carddemo 106 prog / 41K 行 — Apache 2.0、AWS 公式デモ
  • IBM CBSA (CICS Banking) 66 prog / 27K 行 — EPL 2.0、IBM 公式銀行サンプル
  • IBM db2-samples cobol_mf 22 prog / 3.5K 行 — Apache 2.0、DB2 EXEC SQL
  • Defects Suite (OpenCBS) 43 prog — MIT、real-world defects benchmark
  • Rocket BankDemo 164 prog / 35K 行 — 商用銀行 demo
  • VAULT-CBS 73 prog / 32K 行 — production-grade core banking
  • UUSIG Unisys Users Group Public Domain アーカイブ (Burroughs MCP)
  • Burroughs B5500-software 13 prog — 1960s 実機ソース

vanilla COBOL コンパイラとの比較

同じコーパスを GnuCOBOL 3.1.2 で syntax-check した受理率を比較すると、SlimeNENC の優位性が定量化できます:

対象 / 処理系 受理率
GnuCOBOL -std=cobol2014 (ISO 純準拠) on Defects Suite 35 %
GnuCOBOL -std=ibm / -std=mf on Defects Suite 75 %
GnuCOBOL on EXEC CICS / EXEC SQL 入りエンタープライズ COBOL (CBSA / db2-samples / carddemo) 0–6 % (preprocessor 不在で受理不可)
SlimeNENC (同コーパス、501 NIST + Portfolio で実測) 99.9995 %

観察: vanilla GnuCOBOL は EXEC CICS / EXEC SQL 入りエンタープライズ COBOL を 0–6 % しか受理できません (preprocessor 必要)。 SlimeNENC は同領域を 99.9995 % で処理し、bit-exact 変換まで完了します。 ISO 35% / IBM-MF 75% / SlimeNENC 99.9995% の 3 段階の価値階段 が実測で示せる稀少な実装です。

対応言語

同一の Slot IR (中間表現) から各言語の Stage 6 emitter が出力します。 S1-S5・S7-S8 は言語非依存で完全共有、S6 のみ言語ごとに 1 ファイル追加すれば対応言語が増えます (Rust / Go / C# / Kotlin の各 emitter は約 30 分で port 完了)。

Java 8 Java 17 Java 21 Rust C# Kotlin Go

Java については 8 ↔ 17 ↔ 21 のクロスバージョン変換 (bytecode major 52 / 61 / 65) も実証済。 13 年ギャップを跨ぐ JVM 互換性を物証として保有しています。

パイプライン構成 (9 ステージ)

各ステージは独立した請求項に対応し、決定論的に動作します。 失敗時は Mini-PSV (Stage 8) と監査チェーン (Stage 7) で根拠を残します。

FST 字句トークン列を決定論的に復元
Slot IRCore64 + Ext32 固定 bit 表現
Π_R 正規化冪等 + 不変量保持
SOLOT4 軸の意味距離 E_D 算出
Acceptor f64 次元 encoder + dφ 判定
Emitter対象言語のソースコード生成
(各言語 1 ファイル)
Audit chain6 行 chain で改竄検知可能な変換ログ
Mini-PSVbigram 言語モデル
shuffle 検出 100%
Bench501 件の検証フィードバック

監査適合性

  • Bit-exact同一入 力に対し、変換後コードの計算結果が元コードと 1 ビットも違わず一致。COBOL の COMP-3 / SIZE ERROR / GIVING / multi-target 等を方言別 (14 値検出、18/18 dialect-verify は主に IBM/Unisys/MF 系) にチューニング。
  • Round-trip変換 後コードを再変換して元言語に戻したとき、トークン列が完全一致 (90/90 ケース)。「変換が情報を捨てていない」ことの形式的証明であり、監査者が往復確認できる。
  • Audit chain各 変換ステップに改竄検知可能なハッシュチェーンを付与。事後に「誰が、いつ、どの規則で変換したか」を再現・検証可能 (FNV-1a-64 + struct 直 hash)。
  • Hallucination 検出trigram 言語モデル + Mini-PSV (bigram) で、誤訳・幻覚出力を 95.0% で検出。silent-pass (見過ごし) 率は CORE 集合で 1.1% 以下。
  • 決定論同一入力 + 同一バージョンで sha256 完全一致。並列実行・GPU 環境でも結果がブレないため、回帰テストの基盤になる。
  • Build-time LLMLLM は変換規則の構築段階のみで使用。ランタイム (実変換) は完全に決定論的なルールベース。「99.9995% は確率ではなく実測カウント」という主張の根拠。

典型ユースケース

金融 地銀 / 保険会社の COBOL バッチ (預金利息計算・満期通知 等) を、利息 1 円も狂わさず Java / Kotlin の現代基盤へ移行。14 方言自動検出により、IBM 系 / Unisys 系の古い実装も同一エンジンで処理。
年金 / 医療 長期保管が義務付けられる計算結果について、変換前後で同一数値を生成することを Round-trip + Audit chain で証明。「変換に伴う数値ズレが無い」ことを監査人が事後再現可能。
公的システム 20 年以上稼働してきた MUMPS / COBOL 資産を、純国産トランスパイラで段階移行。LLM 変換の不確定性を排除し、形式保証付きで近代化。
企業 IT 近代化 Java 8 → 17 → 21 のバージョン跨ぎ移行を、bytecode major 52 → 61 → 65 までチェーンで bit-exact 保証。「動作不変」が回帰テスト不要で示せる。

主要メインフレーム 5 ベンダ — fingerprint カバレッジ

SlimeNENC の dialect-detect engine は、日本国内 3 大ベンダ + 米国系 2 ベンダの主要メインフレーム方言を識別できるよう fingerprint 整備しています (識別子マーカーレベル分類)。海保・自治体・地方銀行等の公的セクター + 国際決済 / 中小製造業 ERP 案件で 「ベンダ問わず 1 つのエンジンで識別可能」を差別化軸にできます。

国内 3 大ベンダ

ベンダ 主要 marker 校正状態
Hitachi (OpenTP1 / VOS3) CBLEELOG / CBLEETRN / CBLEEMEM / CBLEERPC / CBLEEDBQ / CBLEETIM 等 CBLEE\* API ファミリー、ADDRESSED BY 句、KFSB*****-{E,I,W} MSG ID convention、P-1M64 製品番号 ✅ 実 sample (OpenTP1 manual UAP 8 本) で校正済
Fujitsu (NetCOBOL / GS21 / PowerCOBOL) PFD-V*L* 製品番号、AIM トランザクション基盤、Symfoware RDB、JEF 漢字コード、CALL 'PFM*' 性能 API △ 公開仕様ベース、PoC で校正中
NEC (ACOS-4 / ACOS-6) ACOS-4 / ACOS-6 OS、NCRP トランザクション、ADBS / RIQS II RDB、NX7700 / Express5800 ハード、S2900 / S3900 △ 公開仕様ベース、PoC で校正中

米国系 2 ベンダ (国際決済・中小製造業 ERP 射程)

ベンダ 主要 marker 校正状態
HP NonStop / Tandem (Visa / Mastercard 決済基幹) GUARDIAN OS、Enscribe ファイル、PATHWAY / PATHCOM トランザクション、IPCF プロセス間通信、ENTER TAL '...' 句、NOWAITED / WAITED I/O、S/H/J/NB-Series ハード、SQL/MP / SQL/MX △ 公開仕様ベース、米国 PoC で校正待ち
IBM i / AS/400 ILE (中小製造業 ERP / 公的セクター残存) CRTBNDCBL / CRTCBLPGM CL コマンド、DDS / DSPF 連携、CALL PROCEDURE、CALL 'Q*' system call、QGPL / QSYS library、RTNVAL 修飾子、`COBOL/400` 旧名 △ martinfx-cobol 28 file (GPL) で初期検証中

注: 上記は dialect-detect (識別子マーカー分類) の状況です。 dialect-transpile (実変換) coverage は GnuCOBOL / opensource-cobol / IBM zOS / MicroFocus / Burroughs 系統が主、 日本 MF 3 社 / NonStop / AS400 は fingerprint 段階 のため、実変換 PoC は顧客実コード持込検証で進めます。 詳細は 資料請求 でお問い合わせください。

Subset 構成

SlimeNENC は 2 つのサブセットからなります:

Subset A 他言語変換 (本ページ)
異種言語へ移植する際の bit-exact 変換。本ページの 90/90 実証はこちら。
Subset B PSDP (Phase-Synchronous Deterministic Parallelism)
同一言語内での bit-exact 並列化。Java の逐次バッチを Java の並列バッチに、結果を変えずに変換。PSDP 詳細ページ →
SlimeJCL (companion) JCL → Spring Batch 変換 (別プロダクト・別ライセンス)
SlimeNENC ユーザー限定供給、2026-Q3 提供開始予定。COBOL バッチに必須随伴する JCL を bit-exact で Spring Batch 化、移行プロジェクト 1 ツール完結。SlimeJCL 詳細ページ →
Land-and-expand 戦略: まず Subset A で「移行ツール」として導入し、移行先言語上で Subset B (PSDP) による並列化を後追い適用することで、レガシーから「監査に耐える並列現代システム」へ段階的に到達できます。

技術仕様

特許 特願 2026-046620 (Subset A) / 特願 2026-046625 (Subset B = PSDP)
請求項対応 Stage 1 (請求項 1f) / Stage 2-3 (請求項 3) / Stage 4 (請求項 6) / Stage 5 (請求項 2,7,8) / Stage 7 (請求項 9) / 方言別 Slot 14b/c/d
標準テスト NIST CCVS85 501 プログラム / 自社 18 ケース × 5 言語 × 2 方言 = 90 セル
性能 median 62 ms / p95 145 ms / WASM 化で 2x オーバーヘッド以内 / O(N) スケーリング
方言対応 dialect-detect (識別子マーカー分類): 14 値 (IBM Enterprise / Micro Focus / GnuCOBOL / Burroughs(Unisys) / Hitachi OpenTP1 等)、dialect-verify bit-exact 18/18 (主に IBM/Unisys/MF 系)。dialect-transpile (実変換) coverage は GnuCOBOL/opensource-cobol 系統が主、Hitachi 等は fingerprint 段階。
License model WASM converter 課金、生成物はライセンスフリー。Ed25519 3-hop activation。

関連資料

技術詳細は以下の資料群を参照ください (要請に応じて提供):

  • 技術解説SlimeNENC Technical Overview (A5 21 ページ、PDF/MD/HTML 三形式)
  • PSDP 論文PSDP Paper JP v5d (Subset B、910 KB PDF)
  • 出願明細特願 2026-046620 (Subset A) / 特願 2026-046625 (Subset B = PSDP)
  • 実装サンプルJava / Rust / C# / Kotlin / Go の 5 言語 × 23 converter 実装 (90/90 bit-exact 検証付き)
  • ベンチマーク501 プログラム × 8 ステージのパフォーマンスプロファイル (median/p95/scaling)

資料請求 / お問い合わせ PSDP (Subset B) を見る 他の製品を見る