2006-11-13から1日間の記事一覧
会社賢人その1と加算合成関係の話していたら、どうも、圏論で一連の論理展開は整理できるそうです。 加算合成は、圏論でいうところのPushoutに相当するそうで*1、どうもプロセス代数は有名な例だそうです。圏論が本研究の何の役に立つのかよくわかりません…
会社賢人その1と加算合成関係の話していたら、どうも、圏論で一連の論理展開は整理できるそうです。 加算合成は、圏論でいうところのPushoutに相当するそうで*1、どうもプロセス代数は有名な例だそうです。圏論が本研究の何の役に立つのかよくわかりません…