自動プログラム生成

プログラミングは高度な知識とスキルを要する極めて知的な生産活動であると同時に、一種のゲームのような面白さを内包しています。対象とする問題を一般化し、データと処理の境界を見極め、ソースコードという曖昧性を一切許さない表現に落とし込む、この作業の楽しさは他に類するものを見ません。この知的生産活動の効率化を目的として、プログラミングやソフトウェアテストの研究に取り組んでいます。特に人手を介さない全自動でのプログラミングや、自動テスト生成などのテーマに挑戦しています。