新書 海洋工学・船舶工学 潜水艦の戦う技術 現代の「海の忍者」