Products
市場最短リーチ順の 4 つの製品ピラー: PSDP (同一言語並列化、ソース書き換え不要) / SlimeCodec (交換子ノルム映像) / SlimeNENC ファミリー (レガシー近代化) / DMS (Docokame メディアストリーミング)。すべて交換子ノルム理論を基盤とし、bit-exact + 監査チェーン + 改ざん検出を提供します。
PSDP ― 同一言語並列化
用途: 金融取引、規制業界 (J-SOX / SEC)、クラウドコスト削減、HFT、科学計算、ML 推論。ハッシュ連鎖監査、378 runs 全て bit-exact (100% 決定論)、90/90 フォールトインジェクション ロールバック。特願 2026-046620 / 046625。
スライムくん: なんでソース書き換えないのに 4 倍速?信じられない... ▾
「ソース無変更で 4 倍速」って、本当?
- あなたの
OrderBatch.javaは 1 文字も変わらない (git diffゼロ) - ビルド時に PSDP が バイトコードを読んで並列版を裏で注入 (Java agent / .NET profiler / Rust proc-macro)
- 4 コアあれば並列実行、なければ逐次。切替コード不要
- PSDP 独自の 数学的同期メカニズムで「結果が変わる失敗モード」を理論的に排除 (詳細は特許・論文に記載、ここでは伏字)
- 本番で毎回 逐次/並列の出力 sha256 一致を bench が確認、違えば即 rollback
結果: コード 1 行も触らず / 再ビルドのみ / 1 ビットも結果は変わらず / 4 倍 (実測 2.97 〜 4.23 倍)。監査では「コード変更ゼロ」自体が武器になります。PSDP 詳細 →
PSDP の詳細 → サービスとして試す → SlimeNENC 顧客には PSDP ツール無料導入権。PSDP ランタイムは変換費用の 2%/年。
SlimeNENC 傘ブランド (7 製品)
特願 2026-046620
レガシー近代化トランスパイラ ファミリー。 SlimeCOBOL / SlimeJCL / SlimeMUMPS / SlimePL/I / SlimeRPG / SlimeFORTRAN / SlimeNatural の 7 製品で、 金融 / 年金 / 医療 / 公共 / HPC / Software AG Natural+ADABAS 等の監査要件に耐える bit-exact 移行を実現します。
同一言語並列化は独立製品 PSDP として別途提供 (SlimeNENC のサブセットではありません)。
SlimeCOBOL SlimeNENC 配下
14 方言 / NIST 501 / 99.9995%
COBOL → Java / Rust / C# / Kotlin / Go の bit-exact トランスパイラ。 14 方言を自動検出 (IBM / Burroughs / Unisys / Hitachi OpenTP1 等)、 NIST CCVS85 501 プログラムで実証済。地銀 / 保険 / 年金システムの本番移行ライン。
SlimeMUMPS SlimeNENC 配下
9 方言 / 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 + 監査チェーン付き。
SlimePL/I SlimeNENC 配下
5 方言 / 60 sample S9 5軸 100% / byte-exact 60/60
PL/I → Java の bit-exact トランスパイラ。 IBM Enterprise PL/I / Open PL/I / VAX PL/I / DEC / IBM mainframe legacy の 5 方言 fingerprint。 保険 / 銀行 / 航空 (SABRE/Amadeus 系予約 batch) のミッションクリティカル PL/I 資産を Java へ。 ファイル I/O + stdin + ON ENDFILE 完備。
SlimeRPG SlimeNENC 配下
35 sample S9 5軸 100% / byte-exact 35/35 / 17 BIF + ファイル I/O
RPG → Java の bit-exact トランスパイラ。RPG IV (free-format) を主軸、 IBM Power Systems / iSeries / AS/400 native の銀行・製造・流通・保険 RPG 資産を Java へ。 配列 + DCL-DS + 内部 PROC + 再帰 + 17 種 BIF + DCL-F/READ/WRITE/%EOF ファイル I/O 完備。 Modern Systems / Fresche Solutions / ARCAD 等 per-LOC 課金の現実的代替。
SlimeNatural SlimeNENC 配下 (★新)
Natural → Java + DDM → PostgreSQL / S9 75/75 / emit→javac→java→stdout 15/15
Software AG Natural / ADABAS の bit-exact 移行ツール (SlimeNENC 8 製品目)。 Natural 言語 (DEFINE DATA / FIND / READ / HISTOGRAM / STORE / UPDATE / DELETE / END-OF-TRANSACTION) を Java + JDBC + JPA に、 ADABAS DDM (MU / PE / SUPER / HYPER / SUB descriptor) を PostgreSQL DDL に同時 lossless 変換。 Software AG per-CPU 数百万 USD ライセンスから完全離脱。 銀行 / 保険 / 年金 / 自治体 / 防衛・海保案件向け。
SlimeCodec
特願 2026-046609
NormMAP に基づく映像符号化。巡視船 / 航空機搭載カメラの低帯域映像伝送に最適化、 衛星リンクの帯域を有意に節約します。
SlimeJCL SlimeNENC 配下
2026-Q3 提供開始予定 / SlimeNENC ユーザー限定
JCL → Spring Batch コンパニオン製品。COBOL バッチに必須随伴する JCL を bit-exact で Spring Batch 化、移行プロジェクト 1 ツール完結。 4 大方言 (IBM z/OS / Fujitsu / Hitachi / NEC) fingerprint 対応。
SlimeFORTRAN SlimeNENC 配下
25/25 byte-exact / gfortran compile 25/25 / Multi-target (C++ → C → Rust)
F77 fixed-form → modern FORTRAN (F2018 free-form) bit-exact トランスパイラ。
Phase 7 以降 C++23 std::mdspan による「配列地獄」言語標準解、続いて C / Rust ターゲット展開。
気象 / 原子力 / 量子化学 / HPC TOP500 60%+ の F77 install base 向け。