是遊戲還是學習？

最近的事情，真的很多很多。看到自己的愛人還是每天堅持學日語，自己心裡總是略有緊張的，不能不學些什麼的想法一直纏著我，遊戲、電視劇都不敢碰太多。雖然略近迂腐，但是，遊戲還是學習的困擾總是需要考慮的。也許，當然，只是也許，要是能在睡覺的時候玩遊戲也是不錯的想法吧？可惜這還只是幻想。

然後，前幾天，看到這了這個幾個遊戲，蠢動的心又有點兒活絡，請明白，是蠢動，不是萌動。

1、 http://codecombat.com/ 一邊遊戲、一邊學習的好東西。學的雖然是編程語言，但好歹也算是學習。和Duolingo不一樣，不是學在前，而是玩在前的遊戲，這樣真的很讓人有興趣，嘗試了Python的部分，真的是蠻興趣盎然的玩了好久。心裡想到這樣一個問題，是什麼在支持著我把這個單調的遊戲玩下去呢？玩遊戲的成就感，還是貌似學到什麼的成就感呢？如果有一個小遊戲，讓我把最新的論文讀完就好了，這樣又能遊戲又能完成事情的感覺，不是應該更爽嗎？不過，這種通過遊戲的方式學到什麼的模式，似乎更適用于技能獲得型的能力上。編程是一個技能獲得型的能力，還有也是這個類型的呢？說不準是小學以前的數學、識字、外語發音入門、背單詞，似乎都可以算作這個類型裡的吧？但是這樣的遊戲，似乎很少見到。

2、 https://habitrpg.com/ 習慣似乎也是一個很有趣的東西，它也是一點點建立的，確實一朝消滅的。悔恨感是阻力，有的時候，也是毀掉習慣的助力。然後看到這個遊戲，頓時感覺沉迷就是一種習慣，所以遊戲給予的肯定不僅僅是一種能力，還有一種習慣，就像我現在玩TwoDots每天都會找時間玩一把。所以，當HabitRPG出現的時候，我還是很激動的。我要養成什麼習慣！好吧，看書的習慣和運動的習慣好了~如果把習慣看成是自我改變的一個加速度，那又是什麼在推動我們使用習慣來改變呢？行為如果是有動量的，那麼，阻止一個行為需要多大的能量，這種能量和我們熟悉的能量又有什麼不同呢？這是迷思的、唯心的，但是，也是一種反省吧？

3、 https://coq.inria.fr/ 要說純粹的學習，其實並不難，難的在於理解，更難的是讓別人理解。在自己理解和別人理解之間，有一個叫做形式化自己的理解的東西，這個存在我們每個人的腦袋裡，每個人的形式化不一樣，如果把這個不一樣的形式化統一呢？而又不是使用的習得。就是一種中間態，細分我們所有的知識層次。CoqIDE是一個有趣的東西，第一次知道這個”System”，還是在知乎上看到說有關機器證明的回答中介紹的。當時，那一大段的CoqIDE的程序證明，真的蠻讓人感覺新奇的，因為這個System就是我腦海里那個理解與讓別人理解之間的中間態。但是從另一個角度想，這個中間態不是沒有數學家想建立，但是，很多次都是失敗的，所以才更覺得，這樣的中間態，是需要漸進的，就和習慣一樣，CoqIDE如果變成遊戲一樣的環境，是不是更能吸引非數學人的關注，并改善它呢？誰知道呢，還有太多的未知可以讓我們的思維馳騁（腦洞大開）。

總之啊總之，不管怎麼說，學習也好，遊戲也好，最重要的不過是能生存為前提吧？遠目……至少現在的我還說不出，要遊戲的宣言。