数式処理による入試問題への挑戦 : ロボットは東大に入れるか (特集イノベーションを実現するビッグデータ活用) -- (ビッグデータ活用を支える最先端テクノロジー)