Bulletin of the Faculty of Education, Yamaguchi University

Faculty of Education, Yamaguchi University

PISSN : 2433-3670
NCID : AA12810513

Back to Top
Permalink : https://petit.lib.yamaguchi-u.ac.jp/29209
Bulletin of the Faculty of Education, Yamaguchi University Volume 72
published_at 2023-01-31

On exercises in propositional logic using computers

計算機を用いた命題論理の演習について
Kitamoto Takuya
fulltext
4.02 MB
山口大学教育学部研究論叢_72_023.pdf
About This Article
近年、数式処理の研究分野で注目されているQuantifier Eliminationは応用範囲が広く、様々な分野への応用が可能と言われている。実際、国立情報学研究所が中心となって実施された「ロボットは東大に入れるか」というプロジェクトでは、数学の問題解法にQuantifier Eliminationが活用され、その有効性が確認された。プログラミング教育が必修の小・中学校・高等学校ではIT技術の活用が求められており、小・中学校・高等学校の教員を目指す学生がこのQuantifier Eliminationについて学ぶことは意義が大きいと考えられる。そこで教員を目指す学生の授業の一部において、数学の大学入試問題をQuantifier Eliminationを用いて解くことにより命題論理の演習を実施したので、その経過と結果を報告する。
Other Article
表紙・目次ほか
PP. -
Effect of jump rope training on the Stretch-Shortening cycle ability in university track and field athletes and untrained students
PP. 1 - 11
A study of peripheral text volume and sentence readability
PP. 13 - 19
The influence of room purpose and structure on seat choice : focusing on the type of situation and the position of the doorway
PP. 21 - 28
The influence of personality traits on recognition of facial expression in face pareidolia : focusing on the Big Five personality traits and empathy
PP. 29 - 33
The effect of arousing anticipatory regret due to status quo bias on suppressing hindsight-bias. : an empirical experiment using the subjective risk to infect due to touring in COVID-19 pandemic
PP. 35 - 41
Practice and consideration on online PCAGIP
PP. 43 - 51
Distance learning as a means to deal with the recession caused by an epidemic/pandemic : focusing on the calvert school’s homeschool service and its first principal V.M. Hillyer
PP. 53 - 59
Effects of interdependent group contingency and token economy on childrens’ task submission in a regular classroom at an elementary school
PP. 61 - 66
Differences of discomfort feeling based on the other’s position and Intim
PP. 67 - 76
Development of perspectives that capture the quality of “Collaboration” in the period for integrated studies
PP. 77 - 93
The role of music at school in the modernization and the formation of national culture
PP. 95 - 105
A reflective study on the teacher’s support for learning history concerning the "Relation to the Present"
PP. 107 - 116
Practical studies of social studies teacher education in second year undergraduate students(II) : observation of junior high school history class
PP. 117 - 126
Systematicity of learning including “Seeing”(5) : the tale of the Genji“Suma”
PP. 127 - 137
A class practice and educational effect utilizing the knowledge constructive jigsaw method in social studies at elementary school
PP. 139 - 144
A study on the structure of classes in science regarding “Magnetism generated by electric currents” in the 5th grade of elementary school
PP. 145 - 154
Consideration on the globalization of Japanese art and art education after the Meiji Period
PP. 155 - 162
A study of teachers’ verbalization on early childhood care and education based on children in their classes
PP. 163 - 172
Behavioral consultation for a child with down syndrome at a public special needs elementary school : improvement of offensive behavior and support for appropriate verbal behavior
PP. 173 - 182
Effects of teaching payment skills to a child with intellectual disabilities and autism spectrum disorder
PP. 183 - 188
Effects of school training to teachers on composite learning at special schools for the mentally handicapped
PP. 189 - 197
What are parents’ expectations for the education of children with profound multiple disabilities enrolled in special needs schools?
PP. 199 - 206
On exercises in propositional logic using computers
PP. 207 - 211
The development of teaching materials to improve understanding of "RLC Series Resonant Circuits" in high school physics
PP. 213 - 221
Study on crystal nucleation mechanism of L-Histidine by kinetic analysis
PP. 223 - 226
On the identification of hand movements by deep learning using myoelectric potentials
PP. 227 - 235
Regional characteristics of Yamaguchi Prefecture local cuisine "Itoko-ni" : focusing on ingredients, Dashi and seasonings
PP. 337 - 346
Report and consideration of music promotion in Yamaguchi area : activities of Yamaguchi Opera Academy as an object of research
PP. 247 - 253
A study of accompaniment music used in music classes : examination of the circumstances and objective behind using accompaniment music
PP. 255 - 264
Research on “Deep Learning” and the absorption of choral singing : composition of scale models and analysis of survey results
PP. 265 - 274
What is SHONAN : 4.2
PP. 275 - 283
Pupils’ perception of communication and changes in their discourse construction
PP. 285 - 292
The Meaning of "Hitai ha Hareyaka"
PP. 293 - 298
On the Expression of Agree to Request “njanai”,“(p)pokunai and “kunai” Used by Young People in Yamaguchi Prefecture : Focusing on Usage in Context of “Discovery”
PP. 299 - 304
A syntactic analysis on ‘Repeating utterances’ between the speakers in natural Japanese conversation : focusing on case constituents
PP. 305 - 310
A rediscussion on tongue-clicking in the Chinese Language
PP. 311 - 316
Stimulating students’ awareness of intercultural communication issues within the context of local tourism in Yamaguchi prefecture
PP. 317 - 326
The identity and difference between ancient Japanese and Chinese comparative literature : focused on the discription and conception of "Snow"
PP. 327 - 332