四元数 1+3i+4j+3^5k のノルム