読者です 読者をやめる 読者になる 読者になる

わかった?

small-stepは式→式の関数で、big-stepは式→値の関数なのか。