株式会社ジャバテルJAVATEL Inc.
ホーム › 製品 › LANGUAGE › SlimeNENC ファミリ › SlimeCOBOL
特願 2026-046620 (SlimeNENC family)

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

SKU 構成 (2026-05-20 発表)

SlimeCOBOL は 5 SKU の umbrella に再編されました

COBOL は lineage (系統) ごとに dialect 数 / 構文 / preprocessor が大きく異なります。SlimeCOBOL は lineage 別 SKU で「狭く硬い」scope claim を提供し、front-end (S1 tokenizer) のみ lineage 特化、Slot IR + S2-S9 + 5 言語 emit は **完全共有** (共通 backend)。Slot IR Ext32 内 dialect 領域は 2026-05-20 に **8-bit 拡張 (max 256 dialect)** で全 SKU の余裕確保済。

★ RELEASED
SlimeCOBOL-MF
IBM Enterprise / z/OS + Burroughs (Unisys) + 11 派生 = 13 dialect。NIST CCVS85 501/501 + 10 corpora 3,910/3,910 = 100.000% 実測。
★ RELEASED
SlimeCOBOL-GnuCOBOL
GnuCOBOL + OpenCOBOL 系。>>source free + *> + COPY REPLACING フル対応。ACAS 3.01.07 production 10 万行 = 137/137 × 5 = 685/685 = 100.000% 実測 (2026-05-20)。
▷ ROADMAP
SlimeCOBOL-MicroFocus
Micro Focus COBOL / Visual COBOL / Net Express。$SET / $IF / $ELSE directive 対応予定。発表時期未定 ― 案件先行受付中。
▷ ROADMAP
SlimeCOBOL-RM
RM/COBOL (Liant 系)。発表時期未定 ― 案件先行受付中。
▷ ROADMAP
SlimeCOBOL-ACU
ACUCOBOL-GT。発表時期未定 ― 案件先行受付中。

「scope を縮めて claim を硬く」: 各 SKU が単独で実測値を持ち、scope を超える誇大訴求をしない設計。共通 backend のため、SKU 追加は新規 S1 front-end 1 つを追加するだけで実現します (SlimeELF-rev / SlimePE-rev の OS 分割と同型構造)。Patent 特願 2026-046620「Core64 + Ext32 固定 bit Slot IR」textual claim 無修正。

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

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

  • 変換後コードも Round-trip で完全に戻せる (トークン単位で可逆)
  • COBOL 14 方言を自動検出 (IBM / Burroughs / Unisys / Hitachi OpenTP1 など、識別子マーカー分類)
  • NIST CCVS85 + Portfolio Mgmt 501 プログラムで全数監査 → 501 / 501 = 100.000% プログラム単位 bit-exact (サンプリングなし)。さらに 2026-05-20 計測で外部 11 コーパス 919 ファイル × 5 言語 = 4,595 / 4,595 = 100.000% byte-exact (ACAS 3.01.07 production 10 万行 GnuCOBOL 含)。

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

今すぐデモ・資料請求 →

2026-05-19 達成 — 外部 10 コーパス WASI ベンチマーク

SlimeNENC v1.4 Subset A を 127.0.0.1 専用 WASI service 経由で、既存検証コーパスと独立した 10 外部 COBOL コーパスに通し、 HTTP response が ELF binary 直接実行と SHA-256 byte-exact 一致 することを実測した結果です (2026-05-19、wasmtime 40.0.0)。

コーパス 出典 ファイル数 5 言語 tests byte-exact PASS
NIST CCVS85 (FIPS 21-3) 米国連邦 COBOL コンパイラ認証 459 2,295 2,295 / 2,295 = 100.000%
AWS CardDemo aws-samples/aws-mainframe-modernization-carddemo (Apache 2.0、CICS/VSAM/JCL/RACF) 44 220 220 / 220 = 100.000%
IBM CICS Banking Sample (CBSA) cicsdev/cics-banking-sample-application-cbsa (EPL 2.0) 29 145 145 / 145 = 100.000%
Rocket Software BankDemo RocketSoftwareCOBOLandMainframe/BankDemo (商用デモ) 81 405 405 / 405 = 100.000%
sentientsergio 投資ポートフォリオ sentientsergio/COBOL-Legacy-Benchmark-Suite (CICS/DB2/VSAM/Report Writer) 42 210 210 / 210 = 100.000%
defects-suite (実世界バグ) PhaseChangeSoftware/cobol-defects-suite (MIT) 53 265 265 / 265 = 100.000%
DOGECICS (EXEC CICS + pseudo-conv + commarea + VSAM) mainframed/DOGECICS (Apache 2.0) 5 25 25 / 25 = 100.000%
writ3it / neopragma / michelou (OSS 教材集) REDEFINES / ODO / PERFORM / Rosetta Code 等 69 345 345 / 345 = 100.000%
★ ACAS 3.01.07 production (Applewood 会計、10 万行クラス GnuCOBOL) SourceForge GPL、UK 商用 1976 年起源、IRS/sales/purchase/general/stock 全モジュール 137 685 685 / 685 = 100.000%
合計 11 外部コーパス (うち 1 件は実業務システム単一 10 万行) 919 4,595 4,595 / 4,595 = 100.000%

第三者再現コマンド: wasmtime run --dir=. java_emit.wasm < input.cbl | sha256sum (Rust / C# / Kotlin / Go 版も同じ手順)。WASI sandbox 内で HTTP service 経由 emit と ELF binary 直接実行が SHA-256 完全一致 することを 4,595 件で確認 (うち ACAS は 2026-05-20 達成、`>>source free` directive 対応の S1 patch で GnuCOBOL lineage を新規カバー)。Apr 23 確立の dialect-verify 18/18 × 5 言語 = 90/90 cells bit-exact も同時維持 (regression 0)。

主要計測値

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 / 501
プログラム単位 bit-exact (100.000%)
NIST CCVS85 + Portfolio Mgmt、全数監査・サンプリングなし
4,595 / 4,595
外部 11 コーパス byte-exact (100.000%)
919 ファイル × 5 言語、うち ACAS 3.01.07 production 10 万行 = 137 standalone × 5 (2026-05-20 達成)
62 ms
8 ステージ中央値
1 プログラム当たり、p95 = 145 ms、O(N) スケーリング

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

注: bit-exact 主張の母数は NIST CCVS85 + Portfolio Mgmt の 501 プログラム です (プログラム単位 501 / 501 = 100.000%、全数監査・サンプリングなし)。 さらに 2026-05-19 計測で外部 10 コーパス 782 ファイル × 5 言語 = 3,910 / 3,910 byte-exact (100.000%)、 2026-05-20 計測で ACAS 3.01.07 production (10 万行) 137 / 137 standalone × 5 言語 = 685 / 685 byte-exact (100.000%) を追加達成。 下記 2,876 / 1.15M 行は 検証コーパス全体の規模を示し、 その全数を bit-exact 計測したものではありません (追加分は 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、全数監査) 100.000 % (501 / 501 プログラム単位)
+ 外部 11 コーパス 4,595 / 4,595 byte-exact (ACAS 含)

観察: vanilla GnuCOBOL は EXEC CICS / EXEC SQL 入りエンタープライズ COBOL を 0–6 % しか受理できません (preprocessor 必要)。 SlimeNENC は同領域を プログラム単位 501 / 501 = 100.000 % bit-exact で変換完了 (全数監査・ サンプリングなし)。さらに外部 11 コーパス 919 ファイル × 5 言語 = 4,595 / 4,595 byte-exact (100.000 %) で第三者再現可能 (ACAS 3.01.07 production 10 万行 含)。 ISO 35 % / IBM-MF 75 % / SlimeNENC 100.000 % の 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 は変換規則の構築段階のみで使用。ランタイム (実変換) は完全に決定論的なルールベース。「100.000% は確率ではなく 501 / 501 + 4,595 / 4,595 の実測カウント」という主張の根拠。

典型ユースケース

金融 地銀 / 保険会社の 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 (SlimeNENC family、Subset A 他言語変換 + 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 (SlimeNENC family、Subset A + Subset B PSDP を 包含する単一出願)
  • 実装サンプルJava / Rust / C# / Kotlin / Go の 5 言語 × 23 converter 実装 (90/90 bit-exact 検証付き)
  • ベンチマーク501 プログラム × 8 ステージのパフォーマンスプロファイル (median/p95/scaling)

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