宣言型プログラミング loading ...