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

SlimeNENC — レガシー近代化トランスパイラ ファミリー

1 円も狂わない、監査に耐える、レガシーから現代言語への決定論的近代化。

SlimeNENC は 4 製品からなる傘ブランドです。 金融・年金・医療・公的システムが抱える 数十年前のレガシー資産 を、 bit-exact + 監査チェーン付き で現代基盤へ移行します。

資料請求 / お問い合わせ →

4 製品の構成

すべて同一の Slot IR (中間表現) + S2-S5 / S7-S9 言語非依存パイプライン を共有し、 S1 (front-end) と S6 (emitter) の差し替えで対応領域を増やしています。

変換 (Subset A)

SlimeCOBOL

14 方言検出 NIST 501 99.9995% 5 言語 emitter
COBOL → Java / Rust / C# / Kotlin / Go の bit-exact 変換。 14 方言を自動検出 (IBM / Burroughs / Unisys / Hitachi OpenTP1 等)、 NIST CCVS85 501 プログラムで実証。 地銀 / 保険 / 年金システムの本番移行ライン。
SlimeCOBOL 詳細 →
変換 + 制御

SlimeJCL 2026-Q3 提供開始予定

4 大方言 Spring Batch SlimeNENC 連携
JCL → Spring Batch トランスパイラ。 IBM z/OS / Fujitsu / Hitachi / NEC の 4 大方言を fingerprint、 COBOL バッチに必須随伴する JCL を bit-exact で Spring Batch 化。 SlimeNENC ユーザー限定供給、移行プロジェクト 1 ツール完結。
SlimeJCL 詳細 →
変換 (医療)

SlimeMUMPS

9 方言検出 S9 73/73 Java + Clojure HIPAA 監査
MUMPS → Java / Clojure の bit-exact 変換。 GT.M / Caché / IRIS / YottaDB / FreeM / MiniM / MV1 / ANSI-95 の 9 方言検出。 医療 EHR (VistA / Epic / Meditech) 移行の中核、 SlimeTree-RLM B-Tree 永続層 + 監査 chain 付き。
SlimeMUMPS 詳細 →
変換 (保険・銀行・航空)

SlimePL/I

5 方言検出 S9 60/60 byte-exact 60/60 ファイル I/O 完備
PL/I → Java の bit-exact 変換。 IBM Classic / Enterprise / Open PL/I / Iron Spring / GnuPLi の 5 方言検出。 保険・銀行・航空 (SABRE / Amadeus 系) の PL/I 資産を Java へ。 配列構造体 + 内部 PROC + RETURNS + 再帰 + stdin/ファイル I/O 完備。
SlimePL/I 詳細 →
変換 (IBM iSeries / AS400)

SlimeRPG

RPG IV free S9 35/35 byte-exact 35/35 ファイル I/O 完備
RPG → Java の bit-exact 変換。 IBM Power Systems / iSeries / AS/400 native の RPG IV (free-format) を主軸。 銀行・製造・流通・保険の RPG 資産を Java へ。 配列 + DCL-DS + 内部 PROC + 再帰 + 17 種 BIF + ファイル I/O (DCL-F/READ/WRITE/%EOF) 完備。
SlimeRPG 詳細 →
変換 (HPC / 数値計算)

SlimeFORTRAN

F77 fixed → F2018 free S9 25/25 byte-exact 25/25 gfortran compile 25/25
FORTRAN 77 (固定形式 col 1-72) → modern FORTRAN (F2018 free-form) bit-exact 変換。 NASA / ECMWF / 気象庁 / JAEA / 大学研究室の F77 数値計算資産を modern FORTRAN へ。 IMPLICIT NONE 自動付与 + DO/CONTINUE 構造化 + SUBROUTINE/typed FUNCTION/COMMON/SAVE/EXTERNAL/関数引数渡し/算術 IF/計算 GOTO/OPEN/REWIND/READ/CLOSE 完備。
SlimeFORTRAN 詳細 →
並列化 (Subset B)

PSDP

位相同期並列 bit-exact 11 安全機構
Phase-Synchronized Deterministic Parallelism。 同一言語内で逐次バッチを並列バッチに、結果を変えずに変換。 Java×Java / Rust×Rust 等のバージョン跨ぎ含む。 SlimeCOBOL / SlimeMUMPS とは独立 SKU。
PSDP 詳細 →

共通基盤(全製品で共有)

1 つの Slot IR + 9 ステージ言語非依存パイプライン

  • S1 FST (front-end) — 各言語/方言ごと、S2-S9 へトークン化
  • S2 Slot 符号化 — Core64 + Ext32 固定 bit 表現
  • S3 Π_R 正規化 — 冪等 + 不変量保持
  • S4 SOLOT — 4 軸の意味距離 E_D 算出
  • S5 受理 f — 64 次元 encoder + dφ 判定
  • S6 emitter (back-end) — 各 target 言語、S6 のみ追加で言語対応拡張
  • S7 監査 chain — 改ざん検知付き SHA-256 チェーン
  • S8 Mini-PSV — bigram 言語モデルで halluc 検出
  • S9 bench — 3 軸 correctness (Axis 1: 受理, 2: hallucination, 3: 決定論)

結果: COBOL の S2-S9 を MUMPS でも 100% 再利用、新規開発は S1 (front-end) と S6 (emitter) のみ。

共通の安全機構

Bit-exact変換後コードが元コードと 1 ビットも違わず一致。同一入力 → 同一 sha256。
Round-trip変換 → 逆変換でトークン列完全一致 (情報損失ゼロの形式的証明)。
Audit chain変換ステップごとに SHA-256 monotonic chain。改ざん 1 byte で検出 (DETECTED)。
Rollbacktombstone 方式で過去状態復元、chain 切らず append-only。
決定論並列実行・GPU 環境でも結果がブレない (Hilbert ordering + 索引化)。
Hallucination 検出trigram + bigram で誤訳 95% 検出、silent-pass < 1.1%。
Build-time LLMLLM は変換規則の構築段階のみ。ランタイムは決定論ルールベース、99.9995% 主張の根拠。

典型ユースケース別の入口

金融バッチ移行SlimeCOBOL + SlimeJCL ペアで COBOL + JCL を Java + Spring Batch へ。
医療 EHR 近代化SlimeMUMPS で VistA / Epic / Meditech 系を Java / Clojure へ。HIPAA 監査要件対応。
保険・航空計算系SlimePL/I で IBM Enterprise PL/I 計算ロジック・SABRE/Amadeus 系予約 batch を Java へ。金融 audit + 業界初の PL/I 決定論変換。
IBM iSeries / AS/400 製造業SlimeRPG で銀行・製造・流通・保険の RPG IV free-format 資産を Java へ。Modern Systems / Fresche Solutions / ARCAD 等 per-LOC 課金の現実的代替。
HPC / 数値計算 / 気象・原子力SlimeFORTRAN で NASA / ECMWF / 気象庁 / JAEA / 大学研究室の F77 数値計算資産を modern FORTRAN (F2018 free-form) へ。NAG Fortran Modernization Tool 等 per-LOC 課金の現実的代替、IMPLICIT NONE 自動 + DO/CONTINUE 構造化 + gfortran compile 100% 保証。
同一言語内並列化PSDP で既存 Java バッチを bit-exact 並列化。Java 8 → 17 → 21 のバージョン跨ぎも。
公的セクターSlimeCOBOL + SlimeMUMPS の純国産トランスパイラ、20 年保守、量子耐性、形式保証。

Land-and-expand 戦略

SlimeNENC ファミリーは、顧客の負担を段階的に下げる導入動線を持っています:

  1. Phase 1: 移行ツールとして導入 — SlimeCOBOL / SlimeMUMPS で「変換できる」事実を bit-exact + 監査 chain で証明
  2. Phase 2: バッチ随伴 JCL も同エンジン — SlimeJCL を追加、移行プロジェクト 1 ツール完結
  3. Phase 3: 移行先言語上で並列化 — PSDP で既存 Java/Rust バッチを並列に、結果不変

各製品は独立 SKUとして購入可能、抱き合わせなし。

License モデル

課金対象WASM/WASI converter ツール (開発者側)
非課金変換結果のソースコード (顧客資産、永久無償デプロイ)
方式Ed25519 署名 license + 3-hop air-gap activation (金融機関向け)
editionTrial / Individual / Corporate / OEM の 4 段
license serverlicense.javatel.jp (AWS Lightsail、HSTS / OCSP stapling)

関連資料

資料請求 / お問い合わせ SlimeCOBOL SlimeMUMPS SlimePL/I SlimeRPG SlimeFORTRAN SlimeJCL PSDP