多様なHaskell-IO運動タスクを生成するためのフレームワーク【JST・京大機械翻訳】

Westphal Oliver

プレプリント

J-GLOBAL ID：202202201776669598 整理番号：22P0185858

多様なHaskell-IO運動タスクを生成するためのフレームワーク【JST・京大機械翻訳】

A Framework for Generating Diverse Haskell-IO Exercise Tasks

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

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

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

Haskell-I/Oプログラミングにおいて,広範囲の異なる運動タスクを自動的に生成するフレームワークの設計を示した。自動タスク生成は多くの異なる方法で有用である。手作業は,時間消費プロセスであり,それにより,それは,教育者のために貴重な時間を節約した。自動評価システム自動タスク生成と共に,学生は必要なように多くの運動タスクとして学生を実践することを可能にする。さらに,各学生は,eラーニング環境において自然に発生するプラギスムに関する問題を低減するタスクのわずかに異なるバージョンを与えることができる。著者らのタスク生成は,以前の研究で開発したI/O挙動のための仕様言語の周りに集中している。HaskellにおけるEDSLであるタスク生成フレームワークは,仕様からプログラムコードを含む様々なアーチファクトの創造のための強力なプリミティブを提供する。著者らは,これらのプリミティブの技術的実現について,詳細にはならない。代わりに,そのようなアーチファクトとフレームワークが全体としてどのように使われるかを,次に,(ランダム)瞬時にできる運動タスクテンプレートを構築するのに使用できることを示した。【JST・京大機械翻訳】

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

ロボットの運動・制御

, , ,

前のページに戻る