| title | ISBN-13 (ISBN-10) | year of publication |
|---|---|---|
| 形式言語とオートマトン (Information Science & Engineering) keishikigengotohーtomaton (Information Science & Engineering) | 978-4-7819-0990-5 (4-7819-0990-6) | 2001 |
| 離散数学入門 (情報系のための数学) risansuugakunyuumon (jouhoukeinotamenosuugaku) | 978-4-7819-1131-1 (4-7819-1131-5) | 2006 |