計算論への入門 / エフィーム・キンバー, カール・スミス 著 ; 筧捷彦 監修 ; 杉原崇憲 訳