Products
交換子ノルム理論を共通基盤とする、3 大ファミリー (SlimeCodec / SlimeNENC / SlimeDSP) と独立 SKU。映像符号化・レガシー言語近代化・音響/DSP の各領域で bit-exact + 監査チェーン + 改ざん検出を提供します。
SlimeDSP
特願 2026-046614
交換子ノルムに基づく決定論的並列化。Bötcher–Wenzel 不等式から導かれる SNR 下界保証付き。 レーダー / ソナー / 産業 DSP の信号処理を、形式検証可能な形でリアルタイム並列化します。
SlimeNENC 傘ブランド (8 製品)
特願 2026-046620 / 046625
レガシー近代化トランスパイラ ファミリー。 SlimeCOBOL / SlimeJCL / SlimeMUMPS / SlimePL/I / SlimeRPG / SlimeFORTRAN / SlimeNatural / PSDP の 8 製品で、 金融 / 年金 / 医療 / 公共 / HPC / Software AG Natural+ADABAS 等の監査要件に耐える bit-exact 移行を実現します。
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 に基づく映像符号化。巡視船 / 航空機搭載カメラの低帯域映像伝送に最適化、 衛星リンクの帯域を有意に節約します。
SlimeDSP-Tag
出願準備中
共役不変量タグによる物理層なりすまし検出。 AIS (海事識別) / 警察無線 / ADS-B (航空監視) 等で発信局を代数的に同定します。
音響緊急検知
出願準備中
交換子ノルム時系列の非定常性を用いて、海難救助無線・港湾不審音・侵入音響を 高精度に分類。学習データに依存しない代数的判定が監査適合を担保します。
PSDP
特願 2026-046625 (SlimeNENC Subset B)
位相同期決定論的並列計算。SlimeNENC のサブセット B として、 同一言語内 bit-exact 並列化を実現します。
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 向け。