このブログの更新は Twitterアカウント @m_hiyama で通知されます。 Follow @m_hiyama
メールでのご連絡は hiyama{at}chimaira{dot}org まで。
はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。
企画を公表したエントリー「『技術者/プログラマのためのラムダ計算、論理、圏』ならどう?」が随分と下に沈んでしまったので、告知は新しいエントリーとします。同じことを重複して記述していますがご容赦ください。 日時:2009年1月24日(土曜日) 15:00 よ…
「モノイドと圏はやっぱり似ているね」に、一部イイカゲンなことを書いてしまったので、このエントリーで修正します。グラフの道Gを有向グラフだとします。話を簡単にするために、単純グラフだけを扱います。つまり、Gにループや多重辺はありません。頂点a, …
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。