Products
交換子ノルム理論を共通基盤とする、5 大特許群とそれに連なる製品ライン。
SlimeDSP
特願 2026-046614
交換子ノルムに基づく決定論的並列化。Bötcher–Wenzel 不等式から導かれる SNR 下界保証付き。 レーダー / ソナー / 産業 DSP の信号処理を、形式検証可能な形でリアルタイム並列化します。
SlimeNENC
特願 2026-046620
COBOL / MUMPS 等のレガシー資産を bit-exact (1 円も狂わない) で Java / Rust / Go / C# / Kotlin 等の現代言語へ近代化。Round-trip 完全性付き、 金融 / 年金 / 医療等の監査要件に耐えるレガシー移行の基盤。
SlimeCodec
特願 2026-046609
NormMAP に基づく映像符号化。巡視船 / 航空機搭載カメラの低帯域映像伝送に最適化、 衛星リンクの帯域を有意に節約します。
SlimeDSP-Tag
出願準備中
共役不変量タグによる物理層なりすまし検出。 AIS (海事識別) / 警察無線 / ADS-B (航空監視) 等で発信局を代数的に同定します。
音響緊急検知
出願準備中
交換子ノルム時系列の非定常性を用いて、海難救助無線・港湾不審音・侵入音響を 高精度に分類。学習データに依存しない代数的判定が監査適合を担保します。
PSDP
特願 2026-046625
位相同期決定論的並列計算。SlimeNENC のサブセット B として、 同一言語内 bit-exact 並列化を実現します。