二重連成振り子の微小振動における固有モードとハミルトニアンの正準対角化 | Gnit