文献

J-GLOBAL ID：201902284603310742   整理番号：19A0478084

証明問題解決支援システムにおけるダミーカード生成手法の検討

Proposal of Dummy Cards Generation Method in an Interactive Environment for Proof Questions

著者 (2件)： 倉山めぐみ (函館工高専) ,  渋谷勇気 (函館工高専)
資料名： 人工知能学会先進的学習科学と工学研究会資料  (人工知能学会研究会資料)
巻： 85th  ページ： 55-58  発行年： 2019年03月01日 
JST資料番号： L1424A  ISSN： 1349-4104  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

シソーラス用語： *問題解決 ,  *定理証明 ,  支援プログラム ,  *選択問題 ,  ゲーム ,  娯楽
準シソーラス用語： カードゲーム

分類 (3件)： 人工知能  (JE08000Z) ,  システム・制御理論一般  (IA02010H) ,  その他のオペレーションズリサーチの手法  (KA03070E)

タイトルに関連する用語 (6件)： 証明 ,  問題解決 ,  支援システム ,  ダミー ,  カード ,  手法