Conversation

Notices

1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Friday, 22-Jan-2021 12:17:13 JST きゅーけー

   ACL2 でブラックジャックの勝敗判定を実装してみた。Lisp だけど全ての関数が停止することを証明しているし、重要な関数の戻り値が期待したものになることも証明している。静的型付けとは異なる証明への道へ歩み始めた。

   https://gitlab.com/tojoqk/blackjack/

   • hiromi_mi and sumiyaki like this.
   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Friday, 22-Jan-2021 12:57:07 JST きゅーけー

     in reply to

     lambda のない Lisp を Lisp と呼んでいいのか謎

   • 杉田匠 (tacumi@misskey.io)'s status on Tuesday, 26-Jan-2021 12:27:56 JST 杉田匠

     in reply to

     @tojoqk@mastodon.tojo.tokyo LISPはいいぞっ

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

     in reply to

     • 杉田匠

     @tacumi LISP 最高ですね！