Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Fumiya, IWAMA"'
Autor:
Tadashi Takahashi, Fumiya Iwama
Publikováno v:
Journal of Computational Innovation and Analytics (JCIA). 1:45-69
Isabelle/HOL is a generic proof assistant. Using Isabelle/HOL requires insight into procedures as well as into the concepts involved. In addition, how a computer manages procedures can affect mathematical concepts. Use of Isabelle/HOL can correct a c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9ee24d1888a762cd23eb8b2fa57e8592
https://doi.org/10.32890/jcia2022.1.2.3
https://doi.org/10.32890/jcia2022.1.2.3
Autor:
Fumiya, IWAMA, Tadashi, TAKAHASHI
Publikováno v:
甲南大学教育学習支援センター紀要 = Memoirs of Learning Utility Center for Konan University Students. 5:1-16
ソフトウェアを用いて数学の定理の証明を行うことについては，多くのソフトウェアが開発されている。本研究では，定理証明ソフトウェアCoq とIsabelle を用いてユークリッド原論の定理
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=jairo_______::20313b7643fcc687281e86d38c82f22b
http://id.nii.ac.jp/1260/00003612/
http://id.nii.ac.jp/1260/00003612/
Autor:
Fumiya Iwama, Tadashi Takahashi
Publikováno v:
The 5th Innovation and Analytics Conference & Exhibition (IACE 2021).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dd42f8ff553fe0f5b08d92bdb3e9ca2a
https://doi.org/10.1063/5.0093175
https://doi.org/10.1063/5.0093175
Publikováno v:
Proceedings of the 2020 8th International Conference on Information and Education Technology.
In this paper, we examine the type of proof function that GeoGebra can provide and consider the significance and feasibility of using GeoGebra for Mathematical proving.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d6a06b64e6c250a228c1af73068e3b60
https://doi.org/10.1145/3395245.3396450
https://doi.org/10.1145/3395245.3396450
Autor:
Fumiya Iwama, Yuji Shinoda
Publikováno v:
مجلة البحث التربوي. 17:385-400
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0426fece8714604d9e23fd1b2f11a057
https://doi.org/10.21608/ncerd.2018.195624
https://doi.org/10.21608/ncerd.2018.195624
Publikováno v:
DEStech Transactions on Social Science, Education and Human Science.
In mathematics education, understanding the concepts of given domains in terms of conceptual and procedural knowledge is essential. We have developed a framework for case study of children studying mathematical logic and related concepts using the au
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::409fc12a9f96ca4d0441cae403826e3a
https://doi.org/10.12783/dtssehs/seme2016/5423
https://doi.org/10.12783/dtssehs/seme2016/5423
Autor:
Fumiya, IWAMA
自動定理証明（Automated theorem proving, ATP）は，自動推論 (AR) の中でも最も成功している研究分野であり，コンピュータプログラム（ソフトウェア）によって数学的定理に対する証明を発見
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=jairo_______::dfbe59d70ecd2f527ae995136e3ab303
http://id.nii.ac.jp/1260/00004570/
http://id.nii.ac.jp/1260/00004570/
