Projects
Research and product efforts pursued under the Institute of ΛάΓ — from camera-based ophthalmic sensing to safety-critical neuro-symbolic AI.
OcularEVMFeatured
Camera-Based Non-Contact Intraocular Pressure Estimation
A non-contact, non-invasive system that estimates intraocular pressure (IOP) from ordinary video — working toward everyday glaucoma screening with nothing more than a camera.
めもり / Memori
AI-Powered Infant Care for iOS
A consumer iOS application combining ambient UX design, computer vision, and medical-grade logging. Targets the Japanese babycare market with a long-term vision toward pediatric health data infrastructure.
DElenchus
Neuro-Symbolic AI for Safety-Critical Cyber-Physical Systems
A physics-grounded agent that treats safety as a structural invariant rather than a reward signal. Built on Monotonic Neural ODEs and Active Inference with Hierarchical Markov Blankets.
Transfinite Anatomy Theory
Selective Hierarchical Boundaries for Disease Modeling
The theory layer of our computational-medicine program: disease as the dynamics of selective hierarchical boundaries, formalizing selectivity as a task-conditional information bottleneck and recovering Hierarchical Markov Blankets as its selectivity-neutral case. Accepted at IWAI 2026.