アティヤあたりが言ってただろう
厳密性とは時間に依存する函数だと