0であるかを判断する関数,パターンマッチング