このページではJSPS科研費23650507及び26560089の助成により作成した講義資料を公開します。（内容は逐次更新しています。）

• BYOBによる計算論入門(pdf)
• BYOBで作るチューリング機械シミュレータ
• BYOBで計算可能な関数
• BYOBによるホーア論理入門(pdf)
• BYOBによるモデル検査入門(pdf)
• BYOBによる計算機数学入門(pdf)（上記の「BYOBによる計算論入門」「BYOBによるホーア論理入門」「BYOBによるモデル検査入門」をまとめたものです。）