Statistics for 関数型再帰的プログラム作成のための支援システム