実閉体上の限量子消去による数学入試問題の自動解答 ～ロボットは東大に入れるか～