e_do_kiriko

圏論、関数プログラミング、計算理論、オートマトン、始代数、自由モノイド、二項関係、文字列、モナド、クライスリ圏 …このあたりの記事を書きたいと思ってます。