[Agate 001] 抽象 数 プログラミング