C++テンプレートによって発生するエラーは読みにくく，エラーの量も膨大に
なりやすい．そこで，C++ではコンセプトという機能を導入した．コンセプト
を用いることでテンプレートを正しく使うための要件を記述でき，その要件に
基づいたチェックを行える．この機能により，要件に基づいた分かりやすいエ
ラーメッセージを出力するようになるが，現状要件の記述は手動で行う必要が
ある．そこで，本研究ではこれらの要件を自動生成することによって，出力さ
れるエラーメッセージの改善を図る．本研究により，コンセプトを用いていな
いテンプレートがコンセプトによるチェックの恩恵を受けられるようになるこ
とが期待される．