算法表現論 - 岩波書店
www.iwanami.co.jp