関数型言語
を解説する