ダウンロード数: 177
このアイテムのファイル:
| ファイル | 記述 | サイズ | フォーマット | |
|---|---|---|---|---|
| 2022-11.pdf | 1.15 MB | Adobe PDF | 見る/開く |
| タイトル: | 大学入試における数列の問題を解くための自動推論とその実装について (数学ソフトウェアとその効果的教育利用に関する研究) |
| その他のタイトル: | An automated deduction and its implementation for solving problems of sequence at university entrance examination (Study of Mathematical Software and Its Effective Use for Mathematics Education) |
| 著者: | 和田, 優未  松崎, 拓也 照井, 章 新井, 紀子 |
| 著者名の別形: | Wada, Yumi Matsuzaki, Takuya Terui, Akira Arai, Noriko H. |
| 発行日: | Apr-2017 |
| 出版者: | 京都大学数理解析研究所 |
| 誌名: | 数理解析研究所講究録 |
| 巻: | 2022 |
| 開始ページ: | 100 |
| 終了ページ: | 111 |
| 抄録: | Todai Robot Project is a project of artificial intelligence launched by National Institute of Informatics for re-unifying the artificial intelligence field subdivided in 1980 and afterwards. We focus towards attaining a high score in National Center Test for University Admissions, and use quantifier elimination over the real closed fields as a main tool for solving problems in mathematics. However, it is not applicable for problems with sequence of numbers. In this paper, we propose an algorithm for solving problems of sequences at the National Center Test for University Admissions. |
| URI: | http://hdl.handle.net/2433/231770 |
| 出現コレクション: | 2022 数学ソフトウェアとその効果的教育利用に関する研究 |
このリポジトリに保管されているアイテムはすべて著作権により保護されています。