Conversation

Notices

1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 23-Jan-2021 08:50:40 JST きゅーけー

   このチュートリアルめっちゃ重要だった。thm と verify コマンドと expand ヒントの使い方を覚えたぞ。https://www.cs.utexas.edu/users/kaufmann/tutorial/rev3.html#top

   #ACL2

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 23-Jan-2021 09:27:12 JST きゅーけー

     in reply to

     expand のヒントの使い方を覚えたことで、11 以下のときは安全にヒットできることを示す定理がかけた。

     https://gitlab.com/tojoqk/blackjack/-/commit/12733bfa51f3cc6c98d2b067bf3217f4e2a76145

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 23-Jan-2021 09:28:16 JST きゅーけー

     in reply to

     総当たりで解決しちゃっている感はある

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 24-Jan-2021 03:32:18 JST きゅーけー

     in reply to

     https://mastodon.tojo.tokyo/@tojoqk/105606459763642932