大学入試における数列の問題を解くための自動推論とその実装について