関数型言語の組込みソフトウェア開発への適用に向けて