Conversation

Notices

1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 25-May-2022 21:01:26 JST きゅーけー

   次は自分で作った定理証明支援系である vikalpa の動画投稿しようかな。ただあれはコードがごちゃごちゃしてるところあるし、リファクタリングしたい気持ちあるんだよな。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 25-May-2022 21:02:01 JST きゅーけー

     in reply to

     J-Bob よりもインターフェースが優れてると思うので、定理証明手習いの障壁が下がると思うんだよな。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 25-May-2022 21:04:15 JST きゅーけー

     in reply to

     現実的に考えると GNU Guile よりも Racket の方がインストールしやすいので、とりあえず vikalpa を Racket に移植する感じになるかな。マクロには syntax-case 使ってるしたぶん簡単だと思ってる。