形式的に記述する