I. 関数型プログラミングの基本