Home | Notifications | New Note | Local | Federated | Search | Logout
Reply to @tojoqk@mastodon.tojo.tokyo きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-01-06 21:39:37) これは完全にトレードオフだな。危険だけど大連鎖の爽快感を楽しみたいなら ACL2 のほうがいいけど、緻密にかつ安全に進みたいなら Cubical Agda のほうが良いという感じ。Reply
---Reply--- きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-01-06 22:12:33) 等式を計算とみなす考え方を学ぶ前から既に体得してたの面白すぎるな。
---Replies---
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-01-06 22:21:28) ACL2は、ぷよぷよの連鎖がどこで止まったか教えてくれて連鎖を始める前に戻して何度でも盤面を調整してやり直せるイメージ