企画を公表したエントリー「『技術者／プログラマのためのラムダ計算、論理、圏』ならどう？」が随分と下に沈んでしまったので、告知は新しいエントリーとします。同じことを重複して記述していますがご容赦ください。 日時：2009年1月24日(土曜日) 15:00 よ…

「モノイドと圏はやっぱり似ているね」に、一部イイカゲンなことを書いてしまったので、このエントリーで修正します。グラフの道Gを有向グラフだとします。話を簡単にするために、単純グラフだけを扱います。つまり、Gにループや多重辺はありません。頂点a, …