Products

A patent portfolio anchored in commutator-norm theory, and the product lines that realize it.

SlimeDSP

JP Patent App. 2026-046614

Deterministic parallelization of DSP filter chains, with formal SNR lower bounds derived from the Böttcher–Wenzel inequality. Aimed at radar, sonar, and industrial DSP pipelines that require formally verifiable real-time behaviour.

SlimeNENC

JP Patent App. 2026-046620

Bit-exact (down to the cent) modernization of legacy COBOL and MUMPS into Java, Rust, Go, C#, and Kotlin, with provable round-trip integrity. The foundation for legacy migration in finance, pension, and healthcare systems where audit fidelity is non-negotiable.

SlimeCodec

JP Patent App. 2026-046609

Norm-MAP-driven video codec, optimized for low-bandwidth video transmission from shipboard and airborne cameras over satellite links.

SlimeDSP-Tag

Patent application in preparation

Conjugate-invariant algebraic tagging for physical-layer transmitter identification. Applicable to AIS (maritime), police radio, and ADS-B (aviation) transmitter authentication.

Acoustic emergency detection

Patent application in preparation

Algebraic, training-data-free classification of distress signals, intrusion sounds, and unusual acoustic events using the non-stationarity of commutator-norm time series.

PSDP

JP Patent App. 2026-046625

Phase-Synchronized Deterministic Parallelism. As Subset B of SlimeNENC, provides bit-exact within-language parallelization.