2013-05-28から1日間の記事一覧

圏論について

ムツカシイので、何が難しいのか考えてみました。プログラミング言語を数学として考える場合には、何もない状態からの数学的な体系を構築する事が必要になります。ゼロから構築するので、自由にどのように構築しても良い訳です。自由ではあるのだけど、一般…