木製FOL述語論理ブロック＆充足可能性検証エンジン
Tactile FOL Wooden Logic Blocks & SAT Verification Engine
システム概要・課題解決のアプローチ
変数・述語・量化子（∀, ∃）が彫刻された木製ブロックを物理的に嵌め合わせることで論理式を構築し、台座のNFCセンサ経由でオープンソースの自動定理証明系（Lean/Z3）とリアルタイム連携して充足可能性や恒真性を検証・視覚化する協同組合型教育キット。
English Overview
An open educational kit where learners assemble laser-cut wooden blocks engraved with variables, predicates, and quantifiers (∀, ∃) on a sensor-embedded tray, instantly verifying satisfiability and tautology via open-source automated theorem provers (Lean/Z3).
このアイデアを形にしませんか？
TNGワーカーズコープでは、協同組合の理念に共鳴する連携メンバー・専門家とともに、キャパシティや専門性が合致するプロジェクトについて受託・共同開発のご相談を承ります。
💬 このシステムの開発・導入を相談する同カテゴリの関連ソリューション・アイデア (Tactile Math & Logic Toys)
Tactile Math & Logic Toys
点字幾何学・触知微分多様体インタラクティブピンアレイ
Braille Geometry & Tactile Differential Manifold Pin Array
視覚障害者や触覚学習者向けに、微分幾何学の曲面（ガウス曲率、測地線、鞍点）や点字幾何図形を昇降式リフレッシャブル触覚ピンアレイと音声ガイドで動的に提示するオープンソース・アクセシビ...
Tactile Math & Logic Toysオープンソース機械式歯車計算機CAD＆機構デジタルツイン
Open Mechanical Gear Calculator CAD & Digital Twin Simulator
パスカルの計算機やバベッジの階差機関の原理を木工加工・3Dプリントで再現可能なオープンハードウェア設計データセットと、歯車の噛み合い物理挙動・桁上げ（キャリー）伝播をWeb上でリア...
Tactile Math & Logic Toysトポロジー折り紙展開図ジェネレータ＆触知折り線加工支援
Origami Topology Crease Pattern Generator & Tactile Folding Assist
多面体や結び目構造、非ユークリッド曲面の平坦折りアルゴリズムを解析し、レーザーカッター用スリットや触覚エンボス加工用の触知展開図データを自動生成する協同組合製Webアプリケーション...
Tactile Math & Logic Toys触知結び目・ブレイド群インタラクティブ解析展示ボード
Tactile Knot & Braid Theory Interactive Exhibition Board
物理的な木製ペグと導電性ロープで組まれた結び目や三次元組みひも（Braid）の幾何構造を台座の磁気センサで検知し、ジョーンズ多項式や結び目不変量を即時計算して解説投影する科学館・展...