ここで、"a" ("t" )は任意関数である。