このチュートリアルめっちゃ重要だった。thm と verify コマンドと expand ヒントの使い方を覚えたぞ。https://www.cs.utexas.edu/users/kaufmann/tutorial/rev3.html#top
Conversation
Notices
-
きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 23-Jan-2021 08:50:40 JST きゅーけー -
きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 23-Jan-2021 09:27:12 JST きゅーけー expand のヒントの使い方を覚えたことで、11 以下のときは安全にヒットできることを示す定理がかけた。
https://gitlab.com/tojoqk/blackjack/-/commit/12733bfa51f3cc6c98d2b067bf3217f4e2a76145
-
きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 23-Jan-2021 09:28:16 JST きゅーけー 総当たりで解決しちゃっている感はある
-
きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 24-Jan-2021 03:32:18 JST きゅーけー
-