SlimeNENC — レガシー近代化トランスパイラ ファミリー
1 円も狂わない、監査に耐える、レガシーから現代言語への決定論的近代化。
SlimeNENC は 9 製品からなる傘ブランドです。 金融・年金・医療・公的システムが抱える 数十年前のレガシー資産 を、 bit-exact + 監査チェーン付き で現代基盤へ移行します。
移行先言語上での 同一言語並列化 は、対等な関連製品 PSDP として独立提供します (SlimeNENC のサブセットではありません)。
サービスとして試す (異言語変換) → 資料請求 / お問い合わせ
SlimeNENC 本体の 8 wasm モジュール (S1-S8) すべてを Rust 1.93 + wasm32-wasip1 に再移植 (no unsafe、panic=abort、strip=symbols、wasm-opt -Oz)。
合計 637 KB ( C 版 2.16 MB の 29% )。
NIST 459 + Portfolio 42 + 14 expansion clones 915 + ACAS 3.01.07 (UK 1976 起源、GPL) 268 + 米連邦 CMS Medicare Pricer 7 系統 114 + baseline 20 = 1,818 unique COBOL files × 8 stages = 14,544 比較を sha256 byte-exact 100.000% PASS (regression 0、C 版との完全互換維持)。Rust の境界チェック + monomorphization + symbol strip で逆コンパイル耐性も向上、原設計の Lisp → Rust 系譜への回帰。
2026-05-19 更新 — 外部 10 コーパス WASI ベンチで 3,910 / 3,910 byte-exact = 100.000%
ファミリー筆頭の SlimeCOBOL (Subset A) を 127.0.0.1 専用 WASI service 経由で外部 10 コーパス 782 ファイル × 5 言語 = 3,910 件に通し、 HTTP response が ELF binary 直接実行と SHA-256 byte-exact 完全一致 することを確認しました (2026-05-19、wasmtime 40.0.0)。 内訳: NIST CCVS85 (FIPS 21-3) 459 + AWS CardDemo 44 + IBM CBSA 29 + Rocket BankDemo 81 + sentientsergio 42 + defects-suite 53 + DOGECICS (EXEC CICS / pseudo-conv / commarea / VSAM) 5 + writ3it / neopragma / michelou 69 = 計 782 ファイル。 Apr 23 確立の dialect-verify 18/18 × 5 言語 = 90/90 cells bit-exact も同時維持 (regression 0)。 SlimeCOBOL 詳細ページの計測表を見る →
9 製品の構成
すべて同一の Slot IR (中間表現) + S2-S5 / S7-S9 言語非依存パイプライン を共有し、 S1 (front-end) と S6 (emitter) の差し替えで対応領域を増やしています。
SlimeCOBOL
SlimeJCL 2026-Q3 提供開始予定
SlimeMUMPS
SlimePL/I
SlimeRPG
SlimeFORTRAN
SlimeNatural
SlimeASM
SlimeASM-rev
共通基盤(全製品で共有)
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)。 |
| Rollback | tombstone 方式で過去状態復元、chain 切らず append-only。 |
| 決定論 | 並列実行・GPU 環境でも結果がブレない (Hilbert ordering + 索引化)。 |
| Hallucination 検出 | trigram + bigram で誤訳 95% 検出、silent-pass < 1.1%。 |
| Build-time LLM | LLM は変換規則の構築段階のみ。ランタイムは決定論ルールベース、100.000% 主張の根拠。 |
典型ユースケース別の入口
| 金融バッチ移行 | 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% 保証。 |
| Software AG Natural + ADABAS 抱える銀行・保険・年金・自治体・防衛 | SlimeNatural で Natural 言語と ADABAS データの両方を Java + PostgreSQL へ bit-exact 移行。Software AG per-CPU 数百万 USD ライセンスから完全離脱、MU/PE/SUPER/HYPER descriptor 全対応で意味保存。CONNX / ADABAS-to-RDB が DB 側のみだったところを 言語+DB 同時 lossless 移行。 |
| 銀行 IBM z/OS ASM hot-loop / 防衛 x64 MASM | SlimeASM で HLASM (packed decimal / HFP / SIMD / EX / TR/TRT / ED / DCB EODAD ファイル I/O) と Windows x64 MASM (ml64) を Java へ bit-exact 変換。SlimeCOBOL の land-and-expand 仕上げ、Heirloom / Modern Systems の per-LOC 課金から離脱。 |
| source 喪失 Linux ELF / 組込 daemon / 医療機器 binary | SlimeASM-rev で Linux ELF x86_64 native binary を NASM + C 逆変換。2 系統の native ELF を再生成 + 実行 + 原 binary と stdout 完全一致を S9 で自動回帰。Ghidra / IDA Pro / Hex-Rays / RetDec 領域を決定論 + 監査 chain で代替。 |
| 同一言語内並列化 | PSDP (独立製品) で既存 Java バッチを bit-exact 並列化。Java 8 → 17 → 21 のバージョン跨ぎも対応。SlimeNENC 顧客はバンドル価格—詳細は PSDP 価格表。 |
| 公的セクター | SlimeCOBOL + SlimeMUMPS の純国産トランスパイラ、20 年保守、量子耐性、形式保証。 |
Land-and-expand 戦略
SlimeNENC ファミリーは、顧客の負担を段階的に下げる導入動線を持っています:
- Phase 1: 移行ツールとして導入 — SlimeCOBOL / SlimeMUMPS で「変換できる」事実を bit-exact + 監査 chain で証明
- Phase 2: バッチ随伴 JCL も同エンジン — SlimeJCL を追加、移行プロジェクト 1 ツール完結
- Phase 3: 移行先言語上で並列化 — 独立製品 PSDP で既存 Java/Rust バッチを並列に、結果不変。SlimeNENC 顧客はバンドル価格—詳細は PSDP 価格表
各製品は独立 SKUとして購入可能、抱き合わせなし。
License モデル
| 価格 | US$ 9.95 / LOC (変換対象ソース 1 行あたり、買い切り) |
|---|---|
| ソース方針 | ソースフリー — 変換結果ソースコードは顧客資産、永久デプロイ無償、ロイヤリティなし |
| 方式 | Ed25519 署名 license + 3-hop air-gap activation (金融機関向け) |
| edition | Trial / Individual / Corporate / OEM の 4 段 |
| license server | license.javatel.jp (AWS Lightsail、HSTS / OCSP stapling) |
関連製品
PSDP — 同一言語並列化
SlimeNENC で Java 化された顧客資産に、決定論的並列化を注入。bit-exact 出力、ランタイム課金型。
独立 SKU、SlimeNENC 顧客はバンドル価格—詳細は PSDP 価格表。 PSDP は SlimeNENC のサブ製品ではなく、対等な独立製品です。
関連資料
サービスとして試す (異言語変換) → 資料請求 / お問い合わせ SlimeCOBOL SlimeMUMPS SlimePL/I SlimeRPG SlimeFORTRAN SlimeNatural SlimeJCL SlimeASM SlimeASM-rev PSDP (独立製品)