記述式問題は自動採点が困難であり，人手による採点が必要であることから，記述式問題がCBT（Computer Based Testing）で出題されることが少ない．そこで，本研究では，数学的帰納法の証明問題に対する採点コスト（人的負担）の削減を目的とし，オープンソースライブラリであるSymPyとgensimを用いた自動採点手法を考案した．本手法では，解答文を形態素解析して式と文章に分割したあと，式と文章それぞれを適した手法で評価する．本手法を実装したプロトタイプシステムを利用して数学的帰納法の解答を採点した結果，採点コストを削減できることが示唆された．