Application of quantifier elimination to university entrance examination (quadrature)
Bulletin of the Faculty of Education, Yamaguchi University Volume 70
Page 207-216
published_at 2021-01-31
Title
大学入試問題（求積）の解法へのQuantifier Eliminationの応用について
Application of quantifier elimination to university entrance examination (quadrature)
Creators
Sobata Yuko
Source Identifiers
[PISSN] 2433-3670
[NCID] AA12810513
Creator Keywords
数式処理システム
QE
Mathematica
計算機の急速な発展に伴い，その計算能力を活用する試みが様々な分野で行われている。教育分野においても数学の問題作成及び検証に数式処理を活用する実践及び検証がおこなわれつつある。本稿では，大学入試問題，特に「通過領域の問題」と呼ばれる問題を数式処理システムのQEツールを用いて解く方法について述べる。数式処理システムはMathematica，QEツールはMathematicaの組み込みシンボルであるReduceを用いる。
Languages
jpn
Resource Type
departmental bulletin paper
Publishers
山口大学教育学部
Date Issued
2021-01-31
File Version
Version of Record
Access Rights
open access
Relations
[ISSN]2433-3670
[NCID]AA12810513
Schools
教育学部