改訂版にあたって
今日の Mizar は,ますます多くの応用分野で使われるようになり,インターネットの WWW ホームページも持つようになりました.ユーザ達のサポートや Mizar の処理能力を上げるために,Mizar は頻繁にバージョンアップをしています.この講義録に,その改良をできるだけまとめていき,これからも Mizar を学ぶ人の助けになることを期待しています.
目次に戻る
次のページに進む