Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
すべてのリスト xs と ys について、逆 (xs ++ ys) = (逆 ys) ++ (逆 xs) であることを xs に対するリスト帰納法によって示さなければなりません。