@techreport{oai:ipsj.ixsq.nii.ac.jp:00182263,
 author = {中島, 震},
 issue = {1},
 month = {Jun},
 note = {大学院修士課程相当向け形式手法コースのカリキュラム立案と講義実施経験を報告する．形式手法の全体像として何を学ぶべきかは標準的な内容が整理されていない．そこで，試行錯誤で教材を開発した．一方，2009 年に最初の講義を行って以来，形式手法を取り巻く環境も大きく変化している．研究者との議論や受講生の意見を参考に，本コースのカリキュラムを改訂してきた．特徴的な教材の紹介を含めてコースの概要を紹介し，同様なカリキュラム立案の参考とすべく，当初の内容から最新版 （2016 年） への変更点と理由を説明する．},
 title = {形式手法通論カリキュラム：立案と実施の経験},
 year = {2017}
}