Home | Notifications | New Note | Local | Federated | Search | Logout
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-01-05 22:15:48) ACL2は一見一回論理に限定されている分簡単そうに見えて、実際のところはバリバリ古典AIの究極成果みたいな感じで、ヒューリスティック探索のコツを掴んでいくことこそが大切だったりすることが難しい。Reply
あと、ガードの話は書かないと静的型付け全盛期の今の時代いけない気がするものの、ガードがACL2のロジックに影響しせず、ガードはほかのガードとのみ影響し合うといったところは明らかに簡単に説明できるものではなく公式ドキュメントを読もうとなってしまうあたり大変…