>>959
添え字無しのαを導入したかったので前段階として導入しました
一番気になっているのは>>958です