>>28
これ単位元で置き換えると確かに楽か?と思ったけどあんまり変わんねぇな