door)FCFS10/12Description主に数学的な側面から定理証明支援系を勉強します。お気軽にご参加ください。一読者が私的に開催する会です。著者へのお問い合わせはご遠慮願います。主催者は定理証明支援系の専門家ではありません。凄いことは期待しないでください。会議室を借りるため、参加費にて分担をお願いします。本文を読みながら、出て来たトピックスについて議論します。事情により前後することがあります。