裁判所提出書面の公開は、著作権法第40条1項によって合法