Conversation

Notices

1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 27-Jan-2021 10:32:41 JST きゅーけー

   リストの最後の要素を取得する関数とリストを逆順に並びかえてから先頭を取り出すのが同じであることの証明をした。key checkpoint を見て、「これは解けないのでは…」とか思ってしまったけどしばらくしたら car-rev-cdr を定義すれば証明できることに気づいた。勉強と経験を重なれば一瞬で証明できるようになるんだろうか…。

   https://gitlab.com/-/snippets/2066838

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 27-Jan-2021 10:49:48 JST きゅーけー

     in reply to

     用意された例題ではなくて、自分が適当に証明しようとしたものも証明できるのは結構嬉しいな。