ahmsアナザースカイとはラグランジュの恒等式