https://twitter.com/kinaba のログ (twilog の方が便利です。)
| RT @kohyatoh: v命題論理パズルはこれ -> http://cseweb.ucsd.edu/~lerner/proof-game/ | |
| https://t.co/vYeKPgX5uz "命題論理パズル"クリアしてた。これって、これは要するに＆でこれが→ねと理解して論理式に直さないと意味不明だし教育効果あるの…と思いながらやってたけど、すぐに形のパターンマッチで意味を全く考えず機械的に解けるようになって、(続 | |
| 続) 記号論理とは、たとえ「かつ」や「ならば」に一見見えるかもしれなくても定義上は単なる無味乾燥な記号変形規則ゲームなのだよふふふみたいな視点を学習するのには役立った気がするけどそれでいいんだろうか… | |
| @ikegami__ うーんどれでしょう（あんまりビデオからはそういう印象を受けなかった）。論文にはこのゲームでの経験を論理や証明の知識へtransferすることは必ずしも最大の目的ではない(多分hedgingした表現)とあったので確かに作者さんも印象は同じようでは確かにあります |