Ariadne

アリアドネは、精神モデルを構築することによって、形式主義を使用せずに、経路のホモトピーを学習するためのタッチベースのプログラムです。 Ariadneを使用すると、ユーザーはポイント、ポイントをドラッグしてパス、パスをドラッグしてホモトピーを作成したり、タッチジェスチャを使用してさまざまなサーフェス上にあるパスの曲がりくねった数を計算したりできます。アリアドネは二次元と三次元の表面と任意の数のパンクチャを提供します。

この環境では、数学的に有効な操作のみが許可されるため、ユーザーはパスによる点の等価性またはホモトピーによるパスの等価性に関する質問に取り組むことができます。すなわち、経路およびホモトピーは表面のパンクチャを通過することはできません。

アリアドネは、すべての年齢と以前の知識の学生が、パス接続点の構築からパンクチャード平面上のホモトピーまでのすべてのパスの分類に至るまでの問題にアプローチできるように設計されています。