等しいという定理も必要です。LEN-APPENDこの状態で再度定理を証明してみましょう。使用されていないようです。状況に合わせた定理を書いてみます。違うことを示してみましょう。SANDWICH-EQUAL-LEMMA証明できました。あることに注意してください。は長さが違うリストは等しくないという定理を利用して証明してくれました。ルールでそんなことができるのかはよく分かっていません......。期待してやってみたらうまくいっちゃったって感じです。いつかしっかり勉強してなぜ上手くいくのか調べたいと思います。SANDWICH-EQUAL証明に成功しました。これで、元の定理も証明できそうですね。PALINDROME-SANDWICH証明成功です。おわりにリストの回文に関する性質を証明しました。必要性とかを発見するのに時間がかかって簡単ではなかったと記憶しています。挟まれたものが回文であること)については簡単に証明できたような気がしています。すると標準の定理ライブラリを使えばもっと簡単に証明できたかもしれません。そこらへんは各自試してみてください。記事を投稿していきたいと思ってます。ユーザーが表出してくれることを願うばかりです。購読するトップページに戻る。