順調に場合分けの記法が定まってる