舩本昇竜
『プロテクト技術解剖学』(すばる舎 2002年)ISBN 4883992179
『コンピュータはどれほど賢いのか—知の可能性を広げるコンピュータ数学への招待』(すばる舎 2003年) ISBN 4883992926