隧道の覆工についての一考察