(19) 図式を用いたユーザインタフェイスを持つ 圏論証明支援システム

［特徴ある機能］

論おいて図式はよく利用される。図式は直感的にわかりやすく、
これを直接利用できれば、ユーザの助けになる。
そこで、形式的な証明支援にも、図式を利用しようと考えた。

このソフトウェアでは、図式によって、射の等式を表し、
それを「貼り付け」ることによって、射の等式の証明をすることができる。
また、図式は任意に変形可能である。

［必要な環境］

Java 言語を使って書いてあるので、
Java を実行できるブラウザーがあれば、実行可能です。

［ソースプログラムの分量とファイル構成］

ソースプログラムは約5000行です。

ファイル構成は以下のとおりです。

welcome.html    このソフトウェアのスタートファイル。
                Java の動くブラウザーでこのファイルを見てください。
                この HTML からソフトウェアの起動や、
                ソースファイル、使い方、例題を見ることができます。
example2.html   アプレット本体。
usage.html      このソフトウェアの使い方。
nougaki.html    このソフトウェアの目的
lists.html      ソースのリスト。
cell.gif, fuse1.gif, fuse2.gif 説明に必要な図。
Readme-E        ファイル構成の説明の英語版。
Readme-J        ファイル構成の説明。
specification   このソフトウェアの仕様書
*.java          ソースファイル
*.class         コンパイルされたファイル

［ＦＴＰ］

• README
• ソースプログラム、マニュアル [81K]