キーワード
数式処理システム
種類
紀要論文
発行年
2015 - 2019
1
2020 - 2024
2
キーワード
数式処理システム
3
Mathematica
2
QE
2
e-learning
1
教育の情報化
1
種類
紀要論文
3
部局
教育学部
3
検索結果 3 件
登録番号 (降順)
表示順
なし
登録番号(昇順)
登録番号(降順)
更新日 (昇順)
更新日 (降順)
公開日 (昇順)
公開日 (降順)
発行年月日 (昇順)
発行年月日 (降順)
山口大学学術機関リポジトリYUNOCA
大学入試問題（求積）の解法へのQuantifier Eliminationの応用について
山口大学教育学部研究論叢 70 巻
作成者
: 傍田 裕子 | 北本 卓也
出版者
: 山口大学教育学部
発行日
: 2021-01-31
山口大学学術機関リポジトリYUNOCA
大学入試問題（実数解の個数判定）の解法へのQuantifier Eliminationの応用について
山口大学教育学部研究論叢 70 巻
作成者
: 傍田 裕子 | 北本 卓也
出版者
: 山口大学教育学部
発行日
: 2021-01-31
山口大学学術機関リポジトリYUNOCA
数式処理システムを活用したe-learning教材について
教育実践総合センター研究紀要 43 巻
作成者
: 木原 宏佳 | 北本 卓也
出版者
: 山口大学教育学部附属教育実践総合センター
発行日
: 2017-03-25
関連作成者
北本 卓也
3
木原 宏佳
1
関連雑誌
山口大学教育学部研究論叢 70 巻
2
教育実践総合センター研究紀要 43 巻
1
