KK System

労働者協同組合のために特別に設計された組合員および出資金管理プラットフォームです。アクティブな組合員の管理、出資金履歴の直感的な追跡、組織の財務データの完全な管理を実現します。

HLM (対話型ローカルAI学習)

間隔反復（SM-2学習アルゴリズム）とローカルAI自動現実チェックを組み合わせた、オフライン対応の没入型対話学習システムです。内蔵AIによる英文法のリアルタイム診断機能や安全な圧縮バックアップ、自動クラウド同期を備えています。

Toy Hauptsatz

数理論理学や証明論を視覚的に学べる対話型の論理証明プレイグラウンドです。命題論理式の自動検証、自然演繹証明木の可視化、そしてゲンツェンのカット除去定理（Hauptsatz）が保証する有限の探索空間をシミュレートします。

Ycom

サーバーレスかつ完全なクライアントサイドのデジタルカメラ兼リアルタイムGPS情報埋め込みツールです。ブラウザ上で写真を撮影するだけで、緯度・経度・高度などの高精度な位置情報を画像ファイルのEXIFヘッダーに直接書き込みます。

HealthMan

ローカルファーストで動作する安全な健診書提出・公開鍵暗号化システムです。提出する健診結果の個人情報（氏名・生年月日）領域を確実に黒塗り（隠蔽）し、ブラウザ上で非対称公開鍵暗号化（RSA-OAEP）を行ってから安全に転送します。

CareMetrics

介護事業所向けのインタラクティブな業績管理ダッシュボードです。各部門の収支、サービス提供責任者の稼働率、ケアマネジャーの担当件数、処遇改善加算バランスなどをExcelのように直接セル編集でき、リアルタイムに再計算されます。

MathBasics

圏論（カテゴリー論）の「随伴（Adjunction）」における「自由生成（Free Functor）」と「構造崩壊・忘却（Forgetful Functor）」のダイナミクスを直感的に学べる対話型ビジュアライザーです。