Agrius Millerの日記「飛空艇/潜水艦をはじめから進めるときの最適解を考えてみる」ページです。