研究課題
挑戦的萌芽研究
帰納関数プログラミング、すなわち、入出力例からの自動プログラミングという課題に対して、理論、システム実装の両面から研究を積み重ねた成果として、以前より公開していた帰納関数プログラミングライブラリであるMagicHaskellerを改良したことに加え、新たに自動プログラミングサーバーである"MagicHaskeller on the Web"を開発し公開した。特に後者は、関数プログラミングの初心者が関数型言語を学び実際のプログラムを書く上で極めて有用なものとなっている。
すべて 2012 2011 2010 2009 その他
すべて 雑誌論文 (4件) (うち査読あり 4件) 学会発表 (5件) 備考 (1件)
Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation
ページ: 43-52
LNCS
巻: 5812 ページ: 174-193
Proceedings of the ACM SIGPLAN International Workshop on Approaches and Applications of Inductive Programming
ページ: 85-86
ページ: 87-88
http://nautilus.cs.miyazaki-u.ac.jp/~skata/MagicHaskeller.html