• 7
    いいね
  • 0
    コメント

今年の1月頃、Twitterでこのようなツイートをしました。


このツイートは界隈で広まり、(2016/12/18現在)133favをいただきました。しかしまだ56個しかツイートできていません。終わりが見えないのじゃ…(トホホ)


この記事では、このモナドtipsツイートに書いた知見をまとめていきたいと思います。

1月(卒論)

卒論でStone dualityについて調べていた。当然モナドについての知見が得られることとなった。((7)から(20)まで)




11月

ラボでcall-by-push-valueについての発表をすることとなり、それについての知識を得ることになった。


これから

まだ取り扱っていないテーマ(bialgebra, free monadの具体的な構成方法)などはやっていないはずなので、これから勉強してツイートしていきたい。

この投稿は 数学 Advent Calendar 201619日目の記事です。