Transcript 講義のガイダンス(PPTファイル) - 形式化数学研究室(宮島研)