3年前に理解しようとして惨敗した*1HaskellのStateモナドの解説に、リベンジしようと思います。圏論をちょっとはかじったので、今度こそまともな解説ができるはず。 と言うことで、今回は前編です。圏論の知識は前提とはしてないですが、集合と写像にアレルギーがあるときついかもしれません。 *1:3年前の敗因は、圏をSetsだと思い込んでた上に関手を「写像を写像に移す写像」だと誤解してたことでしょうか。

結城さんのところから どうしたら、自分で考える習慣が身につくだろうか。…はい、ここがチャンス。まず最初に、「どうしたら自分で考える習慣がつくだろうか」の答えを自分で考えるところからはじめればよいのではないだろうか。 今の世の中,答えはググれば簡単に調べられるし,情報が刺激的かつ多すぎるので,他人の考えに流されることなく,自分で考える習慣を身につけるのはなかなか難しいなぁと思う. 私はそこそこ自分で考える習慣がある気がするんだけど,それは何でだろうと考えたところ,それはきっと父から教えてもらったヘボ将棋が影響してるんだろうという結論に至った. 私の父は全く普通の人で,特に取り立てて何かがある人ではなかった.そんな父は私が小学校に入る前後くらいに将棋を教えてくれた.ただ父自身も将棋を覚えながらの指導だったため,最初はただ単に2人してヘボ将棋をしてるだけだった. そんな中,父はどこからか「棒銀」