侍のボルツァーノ書きそこねたから入れました