Pragmatic Inductive Functional Programming by Systematic Search
Project/Area Number |
21650032
|
Research Category |
Grant-in-Aid for Challenging Exploratory Research
|
Allocation Type | Single-year Grants |
Research Field |
Intelligent informatics
|
Research Institution | University of Miyazaki |
Principal Investigator |
|
Project Period (FY) |
2009 – 2011
|
Project Status |
Completed (Fiscal Year 2011)
|
Budget Amount *help |
¥3,410,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥210,000)
Fiscal Year 2011: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2010: ¥1,100,000 (Direct Cost: ¥1,100,000)
Fiscal Year 2009: ¥1,400,000 (Direct Cost: ¥1,400,000)
|
Keywords | 探索 / 論理 / 推論アルゴリズム / 帰納プログラミング / 関数プログラミング / 自動プログラミング / 帰納推論 / 機械学習 / 人工知能 / ソフトウェア科学 |
Research Abstract |
The project leader has done research on inductive functional programming, namely automatic programming from input/output example pairs, on both sides of theory and real system implementation. As a result, in addition to improving MagicHaskeller, which is the exemplary inductive functional programming system based on systematic search, he developed the first automatic programming server "MagicHaskeller on the Web" and made it public. The server, equipped with the functionality of generating links to documentation, is quite useful especially for beginning programmers to learn functional programming and writing real-world applications.
|
Report
(4 results)
Research Products
(17 results)