Bulletin of the Faculty of Education, Yamaguchi University

PISSN : 2433-3670
NCID : AA12810513

Back to Top
Permalink : https://petit.lib.yamaguchi-u.ac.jp/28447
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
Kitamoto Takuya
fulltext
7.81 MB
D580070000023.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