純粋ラムダ計算・カリー＝ハワード同型対応ビジュアルリデューサー
Pure Lambda Calculus & Curry-Howard Isomorphism Visual Reducer
システム概要・課題解決のアプローチ
α変換、β簡約のステップを抽象構文木や項グラフの幾何学的変形として視覚化し、命題論理と直観主義論理の対応関係をステップ実行できる学習環境。
English Overview
An animated term reducer and type checker visualizing lambda abstractions, beta-reductions, and the Curry-Howard isomorphism between natural deduction and typed lambda calculi.
このアイデアを形にしませんか？
TNGワーカーズコープでは、協同組合の理念に共鳴する連携メンバー・専門家とともに、キャパシティや専門性が合致するプロジェクトについて受託・共同開発のご相談を承ります。
💬 このシステムの開発・導入を相談する同カテゴリの関連ソリューション・アイデア (Pure Mathematics & Education)
Pure Mathematics & Education
代数系ケイリーグラフ・束構造インタラクティブ可視化基盤
Interactive Cayley Graph & Lattice Structure Visualizer for Abstract Algebra
有限群のケイリーグラフ、準同型写像の核、イデアル束構造をブラウザ上のWebGL GPU計算で双方向に回転・展開・操作できるオープンソース学習ツール。...
Pure Mathematics & Educationポアンカレ円板・球面幾何インタラクティブ作図キャンバス
Interactive Hyperbolic & Spherical Geometry Drawing & Tiling Canvas
ポアンカレ円板模型、クライン模型、リーマン球面上で直線（測地線）描画や双曲タイリングの生成・幾何学的変換を直感的に行える作図環境。...
Pure Mathematics & Educationε-δ論法・位相連続性ダイナミック論理検証アシスタント
Dynamic Epsilon-Delta & Topological Continuity Logic Assistant
極限や関数の連続性、一様連続性における「任意のεに対してδを見つける」ゲーム形式の対話的アニメーションで直観的論理構造の理解を支援するシステム。...
Pure Mathematics & Education圏論可換図式双方向エディタ兼コホモロジー追跡ソルバー
Category Theory Commutative Diagram Interactive Editor & Diagram Chasing Solver
モノイダル圏、随伴関手、自然変換などの可換図式を直感的にGUI作図し、図式追跡（Diagram Chasing）や普遍性の証明ステップを自動検証・LaTeX出力するツール。...