宣言的プログラミング
→
宣言型プログラミング