Lanczosも付けちゃいましたか。ハンガリーの人だから仕方ないよね。

綺麗さは環境によって異なるので重い順に並べよう

どれ選べばいいのかわからないし！