Bulletin of the Faculty of Education, Yamaguchi University

PISSN : 2433-3670
NCID : AA12810513

Back to Top
Permalink : https://petit.lib.yamaguchi-u.ac.jp/28448
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
Kitamoto Takuya
fulltext
7.85 MB
D580070000024.pdf
About This Article
Descriptions
計算機の急速な発展に伴い，その計算能力を活用する試みが様々な分野で行われている。教育分野においても数学の問題作成及び検証に数式処理を活用する実践及び検証がおこなわれつつある。本稿では，大学入試問題，特に「通過領域の問題」と呼ばれる問題を数式処理システムのQEツールを用いて解く方法について述べる。数式処理システムはMathematica，QEツールはMathematicaの組み込みシンボルであるReduceを用いる。
Creator Keywords
数式処理システム
QE
Mathematica
Other Article
Effects of achievement goals and resilience on performance and states of emotion after the experience of failure : an experimental approach based on achievement goal theory
PP. 1 - 6
Liu-Xiang (劉向)’s dependance on Fen-Ye-Shuo (分野説) in interpretation of natural desasters and his San-Tong-Shuo (三統説)
PP. 7 - 16
Understanding the loneliness of university students who are facing graduation : compared with that of freshmen
PP. 17 - 26
Positive and negative characteristics on discomfort feeling to another’s gaze
PP. 27 - 33
A process study of reflexive PCAGIP with experiencing scale
PP. 35 - 44
Construction of a test question system and the verification of answer results using Web Cgi
PP. 45 - 50
What is SHONAN : 0.1
PP. 51 - 59
Sir Ernest Satow’s acculturation to Bakumatsu Japan as related in A Diplomat in Japan
PP. 61 - 67
The problem of “The tragedy of the commons” in relation to tourism
PP. 69 - 77
A case study of encouraging in local development through art in the north district of Ube City in Yamaguchi Prefecture
PP. 79 - 90
A new math class in collaboration with companies, universities and schools
PP. 91 - 100
Balinese university students’ perception of Indonesian music
PP. 101 - 108
Globalization and localization of art education in China
PP. 109 - 115
Deepening of questions in social studies teaching
PP. 117 - 126
Systematicity of learning including “Seeing”(3) : “The tale of the　Taketori -Heavenly Hagoromo-”
PP. 127 - 136
A study on the systematic system of standard literature teaching materials for elementary, middle and high school
PP. 137 - 146
Nakahara Chuya memorial museum workshop and Covid-19 disasters : cooperation with the Nakahara Chuya memorial museum and the usefulness of its distance learning portal
PP. 147 - 156
Self-directed teacher education in the Netherlands : an analysis of interviews with student teachers and their coaches
PP. 157 - 168
Utilizing digital fabrication at school through making and using face shields
PP. 169 - 174
Development of a picture book for improving the neighborhood noise conflict in families with young children
PP. 175 - 180
Development of a web GIS application for historical records of 19th century Yamaguchi II
PP. 181 - 185
Analysis of grain and potato products in the early Meiji Period
PP. 187 - 196
Application of quantifier elimination to university entrance examination (counting real roots)
PP. 197 - 206
Application of quantifier elimination to university entrance examination (quadrature)
PP. 207 - 216
Handling of “internal resistance of a cell” in elementary and junior high school science and high school physics V : illuminance of rotation frequency of a motor connected to cells connected in parallel
PP. 217 - 227
Mordanting effect of milled-stones for “Kusaki-zome” : focusing on color tones
PP. 229 - 232
A study of the statue of sitting Binzuru in Nanmyouji by Fujita Chouemon : restoration of a cultural asset in Yamaguchi Prefecture
PP. 233 - 244
Research on “constructive activity” of music education : Dewey's occupation and “reconstruction of the artistic experience”
PP. 245 - 254
Research on online lessons for choral singing : analysis of learning attitudes and use-consciousness of Zoom
PP. 255 - 264
The Meaning of ‘Yuuki’
PP. 265 - 272
On the “kunai” used by speakers of western Japanese dialect
PP. 273 - 282
Why is it possible to have natural coversation without silent pauses? :　a preliminary study
PP. 283 - 289