generated at
2/21/2025, 8:11:27 PM
対角行列
diagonal matrix
正方行列
であって、その対角成分以外が全て0であるような行列