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 (counting real roots)

大学入試問題(実数解の個数判定)の解法へのQuantifier Eliminationの応用について
Sobata Yuko
fulltext
7.81 MB
D580070000023.pdf
Descriptions
計算機の急速な発展と普及に伴い, 計算機を教育や学習に活用する様々な試みが行われている。数式処理システムについても価格・使い勝手の両面で個人でも気軽に利用できるものになり, その活用方法が模索されている。本稿では, 方程式の実数解の個数に関する大学入試問題を数式処理システムのQEツールを用いて解く方法について述べる。数式処理システムはMathematica, QEツールはMathematicaの組み込みシンボルであるReduceを用いる。
Creator Keywords
数式処理システム
QE
Mathematica