Garrigue-lecture-2018_AW. ガリグ先生 2018年度後期・数理解析・計算機数学 II (同 概論II)
sfja. ソフトウェアの基礎 http://proofcafe.org/sf/toc.html
