social.senooken.jp
  • Login
social.senooken.jpはsenookenの専用分散SNSです。
  • Public

    • Network
    • Groups

Conversation

Notices

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

    ACL2 で書いたブラックジャック、任意の枚数のカードで、score が 11 以下のときにもう一回カードを引いても BUST しない定理の証明に成功したのでだいたい満足した。 https://gitlab.com/tojoqk/blackjack/-/commit/60143c0e574d00a1571bd0750ca7186cdc4d04dc

    In conversation about a month ago from mastodon.tojo.tokyo permalink

    Attachments

    1. Could not write downloaded file to disk.
      Rewrite `safe-hit` theorem. (60143c0e) · Commits · Masaya Tojo / Blackjack
      A blackJack game implemented in ACL2.
    • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 24-Jan-2021 03:35:18 JST きゅーけー きゅーけー
      in reply to

      シャワーを浴びているときに、ace のスコア計算で無駄に再帰しているせいで証明が大変になっていることに気づいた。https://gitlab.com/tojoqk/blackjack/-/commit/4bf52294c02c89c5cbd44689fcf573bb29cf1204

      In conversation about a month ago permalink

Feeds

  • Activity Streams
  • RSS 2.0
  • Atom
  • Help
  • About
  • FAQ
  • TOS
  • Privacy
  • Source
  • Version
  • Contact

social.senooken.jp is a social network, courtesy of senooken. It runs on GNU social, version 2.0.0-alpha0, available under the GNU Affero General Public License.

Creative Commons Attribution 3.0 All social.senooken.jp content and data are available under the Creative Commons Attribution 3.0 license.

Switch to mobile site layout.