PRINCIPIA
ProductsSeminarAbout Us

Isabelleチュートリアル

定理証明支援ツール Isabelle のチュートリアルです.数学や計算機科学の教科書に出てくる証明を確かめたり,プログラムの正しさを証明したりできるようになることを目指します.

率直にいって文書を読んで自力で使えるようになる人は参加する必要はありません.しかし新しいツールの使い方を学ぶのはそれなりに苦労があります.定理証明支援ツールのように複雑なツールではなおさらです.大量の文書を読まなければなりません.うまく動かないときには何が悪いのかわかりません.些細なことで多くの時間を失います.使い方に慣れた人に手ほどきを受けた方が効率よく学ぶことができます.疑問があれば質問できます.自分で調べて解決するのはたいへんです.そう考える人に参加してもらえればいいと思います.

プログラム

セミナー参加の前提条件

前提知識

高校数学程度の知識を前提とします.

必要なもの