このアイテムのアクセス数: 242
このアイテムのファイル:
| ファイル | 記述 | サイズ | フォーマット | |
|---|---|---|---|---|
| 2022-11.pdf | 1.15 MB | Adobe PDF | 見る/開く |
完全メタデータレコード
| DCフィールド | 値 | 言語 |
|---|---|---|
| dc.contributor.author | 和田, 優未 | ja |
| dc.contributor.author | 松崎, 拓也 | ja |
| dc.contributor.author | 照井, 章 | ja |
| dc.contributor.author | 新井, 紀子 | ja |
| dc.contributor.alternative | Wada, Yumi | en |
| dc.contributor.alternative | Matsuzaki, Takuya | en |
| dc.contributor.alternative | Terui, Akira | en |
| dc.contributor.alternative | Arai, Noriko H. | en |
| dc.contributor.transcription | ワダ, ユミ | - |
| dc.contributor.transcription | マツザキ, タクヤ | - |
| dc.contributor.transcription | テルイ, アキラ | - |
| dc.contributor.transcription | アライ, ノリコ | - |
| dc.date.accessioned | 2018-06-11T02:39:04Z | - |
| dc.date.available | 2018-06-11T02:39:04Z | - |
| dc.date.issued | 2017-04 | - |
| dc.identifier.issn | 1880-2818 | - |
| dc.identifier.uri | http://hdl.handle.net/2433/231770 | - |
| dc.description.abstract | 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. | en |
| dc.format.mimetype | application/pdf | - |
| dc.language.iso | jpn | - |
| dc.publisher | 京都大学数理解析研究所 | ja |
| dc.subject.ndc | 410 | - |
| dc.title | 大学入試における数列の問題を解くための自動推論とその実装について (数学ソフトウェアとその効果的教育利用に関する研究) | ja |
| dc.title.alternative | 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) | en |
| dc.title.transcription | ダイガク ニュウシ ニオケル スウレツ ノ モンダイ オ トク タメ ノ ジドウ スイロン ト ソノ ジッソウ ニツイテ スウガク ソフトウェア ト ソノ コウカテキ キョウイク リヨウ ニ カンスル ケンキュウ | ja-Kana |
| dc.type | departmental bulletin paper | - |
| dc.type.niitype | Departmental Bulletin Paper | - |
| dc.identifier.ncid | AN00061013 | - |
| dc.identifier.jtitle | 数理解析研究所講究録 | ja |
| dc.identifier.volume | 2022 | - |
| dc.identifier.spage | 100 | - |
| dc.identifier.epage | 111 | - |
| dc.textversion | publisher | - |
| dc.sortkey | 11 | - |
| dc.address | 株式会社アトラス | ja |
| dc.address | 名古屋大学大学院工学研究科 | ja |
| dc.address | 筑波大学数理物質系 | ja |
| dc.address | 国立情報学研究所情報社会相関研究系 | ja |
| dc.address.alternative | Atlas Co., Ltd. | en |
| dc.address.alternative | Graduate School of Engineering, Nagoya University | en |
| dc.address.alternative | Faculty of Pure and Applied Sciences, University of Tsukuba | en |
| dc.address.alternative | Information and Society Research Division, National Institute of Informatics | en |
| dcterms.accessRights | open access | - |
| 出現コレクション: | 2022 数学ソフトウェアとその効果的教育利用に関する研究 | |
このリポジトリに保管されているアイテムはすべて著作権により保護されています。