Michael Sipser／著 -- 共立出版 -- 2023.5 -- 007.1 -- 計算可能性の理論

Michael Sipser／著 -- 共立出版 -- 2023.5 -- 007.1 -- 複雑さの理論

Michael Sipser／著 -- 共立出版 -- 2023.4 -- 007.1 -- オートマトンと言語

丸岡 章／著 -- サイエンス社 -- 2021.11 -- 007.1 --

John MacCormick／著 -- オライリー・ジャパン -- 2020.12 -- 007.1 --

阿部 彩芽／共著 -- 技術評論社 -- 2018.5 -- 007.1 --

川添 愛／著 -- 東京大学出版会 -- 2016.10 -- 007.1 --

川添 愛／著 -- 東京大学出版会 -- 2016.10 -- 007.1 --

高岡 詠子／著 -- 講談社 -- 2014.2 -- 007.1 --

富田 悦次／共著 -- 森北出版 -- 2013.12 -- 007.1 --