Conversation

Notices

1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 22-Mar-2022 12:45:31 JST きゅーけー

   何やっているときに、ACL2 が消去されたのか思い出せんな。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 22-Mar-2022 12:46:37 JST きゅーけー

     in reply to

     ACL2 は簡単過ぎる問題をやってもなんか訓練にならないし、難しすぎる問題をやると詰むのでほどほどのやつがいいんだけどほどほどの問題が何なのか最初は分からん問題がある。