Foundations of computation theory door Akeo Adachi