宣言型プログラミング
en :
declarative programming
関数型プログラミング