新書 情報科学 プログラムのからくりを解く ルート探索や サイエンス・アイ新書 022