研究課題/領域番号 |
21650032
|
研究種目 |
挑戦的萌芽研究
|
配分区分 | 補助金 |
研究分野 |
知能情報学
|
研究機関 | 宮崎大学 |
研究代表者 |
片山 晋 宮崎大学, 工学部, 助教 (80363571)
|
研究期間 (年度) |
2009 – 2011
|
研究課題ステータス |
完了 (2011年度)
|
配分額 *注記 |
3,410千円 (直接経費: 3,200千円、間接経費: 210千円)
2011年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2010年度: 1,100千円 (直接経費: 1,100千円)
2009年度: 1,400千円 (直接経費: 1,400千円)
|
キーワード | 探索 / 論理 / 推論アルゴリズム / 帰納プログラミング / 関数プログラミング / 自動プログラミング / 帰納推論 / 機械学習 / 人工知能 / ソフトウェア科学 |
研究概要 |
帰納関数プログラミング、すなわち、入出力例からの自動プログラミングという課題に対して、理論、システム実装の両面から研究を積み重ねた成果として、以前より公開していた帰納関数プログラミングライブラリであるMagicHaskellerを改良したことに加え、新たに自動プログラミングサーバーである"MagicHaskeller on the Web"を開発し公開した。特に後者は、関数プログラミングの初心者が関数型言語を学び実際のプログラムを書く上で極めて有用なものとなっている。
|