Conversation

Notices

1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Monday, 22-Feb-2021 20:39:41 JST きゅーけー

   ACL2 を効果的に使えるようになるまでの道は長く険しい道のりであることを理解し、少し落ち込んでたけど定理証明手習いの (D. 休んでなんていられない？) を読んでちょっとやる気が出てきた。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Monday, 22-Feb-2021 20:41:23 JST きゅーけー

     in reply to

     ACL2 の実行環境、定理証明手習いでは Dracula と ACL2 Sedan のみ紹介され、Emacs は紹介されていないことに気づいた。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Monday, 22-Feb-2021 20:46:00 JST きゅーけー

     in reply to

     ACL2 が難しいわけではなく、本当に難しいのは問題領域そのもの。