Bulletin of the Faculty of Education, Yamaguchi University

PISSN : 2433-3670
NCID : AA12810513

Back to Top

Bulletin of the Faculty of Education, Yamaguchi University Volume 70
published_at 2021-01-31

Application of quantifier elimination to university entrance examination (quadrature)

大学入試問題(求積)の解法へのQuantifier Eliminationの応用について
Sobata Yuko
fulltext
7.85 MB
D580070000024.pdf
Descriptions
計算機の急速な発展に伴い,その計算能力を活用する試みが様々な分野で行われている。教育分野においても数学の問題作成及び検証に数式処理を活用する実践及び検証がおこなわれつつある。本稿では,大学入試問題,特に「通過領域の問題」と呼ばれる問題を数式処理システムのQEツールを用いて解く方法について述べる。数式処理システムはMathematica,QEツールはMathematicaの組み込みシンボルであるReduceを用いる。
Creator Keywords
数式処理システム
QE
Mathematica