国友　直人／編 -- 東京大学出版会 -- ２０１９．２ -- 350.1

竹村　彰通／著 -- 岩波書店 -- ２０１８．４ -- 007.609

国友　直人／監修 -- 東京大学出版会 -- ２００８．８ -- 350.1

甘利　俊一／〔ほか〕編 -- 岩波書店 -- ２００３．１ -- 417.08

東京大学工学部計数工学科数理情報工学コース／編 -- 日本評論社 -- ２００２．９ -- 410

竹内　啓／編 -- 東京大学出版会 -- １９９４．７ -- 417

-- 岩波書店 -- １９９３．４ -- 308