Home | Notifications | New Note | Local | Federated | Search | Logout
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-01-05 22:12:04) ACL2の記事執筆、あまりにも難産すぎて苦しくなってきたので一旦置いておくことにした。。。そもそもむずすぎるし、書いていると無限に改善点が見つかる。。。