証明クラスの紹介における自然言語証明検査-Diprocheによる最初の経験【JST・京大機械翻訳】

Carl Merlin; Lorenzen Hinrich; Schmitz Michael

プレプリント

J-GLOBAL ID：202202211865654826 整理番号：22P0290743

証明クラスの紹介における自然言語証明検査-Diprocheによる最初の経験【JST・京大機械翻訳】

Natural Language Proof Checking in Introduction to Proof Classes -- First Experiences with Diproche

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (3件)： , ,
資料名：
発行年： 2022年02月07日プレプリントサーバーでの情報更新日： 2022年02月07日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

※このプレプリント論文は学術誌に掲載済みです。なお、学術誌掲載の際には一部内容が変更されている可能性があります。

著者らは,228人の参加者による1つのセマンティック数学初心者講義の中で,自然言語証明チェッカーであるDiprocheシステムの採用を提出し,分析する。このシステムを用いて,学生の解の試みをチェックし,Boole集合理論および基本数理論における運動を証明し,それらを即時フィードバックに与えた。システムの雇用の利点を,セメスターの最後にアンケートにより評価し,学生のサブグループの解決試みを分析することにより評価する。著者らの結果に基づいて,将来の改良のためのアプローチを開発した。【JST・京大機械翻訳】

, , , , , , ,
, 【Automatic Indexing@JST】

数理言語学 , 自然語処理 , CAI

, , , ,

前のページに戻る