ショーケース
ブラウザ上の WebAssembly でローカル動作する対話型 Playground、実務スケジューリングアプリ、数理最適化パズルゲームを体験できます。
⚡ Playground
HiGHS · Z3 · GLPK
LP・MIP・凸QP・SMT モデルを TypeScript / JavaScript で記述し、ブラウザ内の HiGHS・Z3・GLPK で即座に求解できる対話型オンライン環境。プリセット問題、LP/SMT-LIB 出力確認、感度分析、Z3 unsatCore による矛盾診断に対応しています。
🏥 実務アプリケーション
Gemini Nano × HiGHS MILP
自然な日本語チャット指示からブラウザ内蔵 AI（Gemini Nano）が勤務条件を抽出し、WaSHI × HiGHS が30名×1ヶ月の3交代シフト表をローカルで最適化・矛盾診断する実務コパイロット。
Gemini Nano × HiGHS MILP
「非常勤の小林先生は火・木の午後しか来られない」「SW設計演習は同日連続時限で」などの複雑な教務条件を Gemini Nano で構造化し、WaSHI (HiGHS) で4学年×7教室×10教員の時間割を一発編成・矛盾診断。
🎮 パズルゲーム
拠点防衛シフトパズル
昼夜を問わず進軍してくる勇者軍から、参謀リリスと共に魔王城を守り抜くシフト編成パズル。各メンバーの得意な時間帯と休息を守りながらシフトを組んで城を守り抜きます。
まきばの柵パズル
限られた本数の木の柵だけで腹ペコオオカミの侵入ルートを遮断しつつ、ヒツジのモコたちが歩ける「安全なまきば」の野いちごを最大化し、穴ぼこを埋めたり避けたりする囲い込みパズル。
2次元パッキング MILP
最先端チタン工場で、検査ドローン「チタノ助」と共に注文パーツを母材に隙間なく敷き詰める2次元パッキングパズル。断層（fault line）を一切残さず、端材ロス0%の完全一括切断を目指します。