文献

J-GLOBAL ID：202002289698002953   整理番号：20A0332750

動的計画法の説明【JST・京大機械翻訳】

Explanations for Dynamic Programming

著者 (3件)： Erwig Martin (Oregon State University, Corvallis, USA) ,  Kumar Prashant (Oregon State University, Corvallis, USA) ,  Fern Alan (Oregon State University, Corvallis, USA)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 12007  ページ： 179-195  発行年： 2020年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： ここでは,プログラム実行中に典型的に集約される値の粒状表現による計算に基づく動的プログラミングを説明するためのアプローチを提示した。著者らは,そのような表現からのプログラム挙動のより詳細で意味のある説明を,そうでないものよりも導出する方法を示した。このアプローチの実用性を示すために,著者らはまた,粒状表現で実行でき,説明を行うことができる実装を導き出す再帰関係によってプログラムを指定することを可能にする動的プログラミングのためのHaskellライブラリを提示した。この説明は,もう一つの結果がなぜ得られたかの疑問に答えた。通常,代替案はユーザによって提供されなければならないが,著者らのアプローチによって,そのような代替案がいくつかの場合に予想され,対応する説明が自動的に生成できることを示した。Copyright Springer Nature Switzerland AG 2020 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *動的計画法 ,  プログラム実行
準シソーラス用語： Haskell ,  実用性 , 【Automatic Indexing@JST】

分類 (1件)： 人工知能  (JE08000Z)

タイトルに関連する用語 (2件)： 動的計画法 ,  説明