itさんのページ

理論物理出身のソフトウェア屋です。 プログラム言語の理解のために圏論を学ぶために本を探していました。 物理に関連ある分野と圏論が結びついているところがいいです。