情報科学基礎論 (2016)

Sorry, this entry is only available in Japanese.