ゲーム脳を考える

ゲーム脳はゲームによって作られる。すなわち、"ゲーム"関数を脳に適用することを意味しているのだ。

ゲーム 脳 = ゲーム脳

したがって、ゲームという関数の型は、

脳 -> ゲーム脳

であることが用意に推論できる。しかしここでよく考えてみると、ゲーム脳というのはやはり脳であると思われる。であれば、むしろこのゲームというのはモナドであると考えるのが自然ではなかろうか。
IO 脳というのと同じようにゲーム 脳が存在しているのだ。現実世界からゲーム世界へのマッピング。まさしくモナドそのものである。