Conversation

Notices

1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Monday, 23-Aug-2021 02:01:09 JST きゅーけー

   ACL2で破壊的変更をする関数を書けるようになって最強になれそう。まずはライフゲームとか作ろうかな。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Monday, 23-Aug-2021 02:02:18 JST きゅーけー

     in reply to

     破壊的変更をするだけじゃなくて操作の性質の証明までできるからな。論理的には副作用はなく書けるから強すぎる。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Monday, 23-Aug-2021 02:03:39 JST きゅーけー

     in reply to

     stobj を学べただけだけでおおきな進捗といって良さそう。