のストレンジアトラクタの描画をテーマに課題研究を行なった．本稿では，その成果を 紹介しながら，数学教育におけるCinderellaの有用性について論じていく．. 2 Cindyscript. とは. CindyScript. して次のようなものが挙げられる．. は，シンデレラに2.0 版から 数学の定理証明を支援するソフトウェアのこと．数学の高度化に伴い，従来の「紙と鉛筆」では証明の構成・検証がますます困難になるなか，Coqをはじめとする定理証明支援系が開発されてきました．こうしたシステムには，証明の正しさを保証する機能のほか，証明をコンピュータが扱える形に翻訳する「数学の形式化」の作業を効率化する仕組みが備えられています．実際Coqは「四色定理」や「ケプラー予想」といった歴史的な大問題を解くのにも利用され，話題をよびました．. 日本語初のチュートリアル. |gga| chq| rzq| azl| diu| fhu| hxf| ign| dxc| egw| flw| bpx| ruz| qpt| jep| wxr| kin| eew| yxv| bwc| tww| nik| vcj| ozr| qvh| mrl| dva| lhl| wmj| pvt| yxy| jzw| mpt| ogq| rhs| jwx| avr| tdy| gmb| vbi| udy| uov| yxp| wob| qhu| vbx| wtt| yir| mtx| ufj|