序論 このメモは、自分自身に対して書いている。読者はラムダ計算の初歩的な知識がある者を想定しているが、それは私自身がそうだからである。 数学の話をする前に、日常で出てくるたとえ話から始めよう。そのほうが圏論を理解しやすい。 「東京」から「広島…

ダイクストラの構造化プログラミングについて ダイクストラ・メッセージ 1965年に提唱されたダイクストラ・メッセージとは、抽象 (abstract) 概念上の機械同士が「お先にどうぞ」というメッセージをやり取りして、互いに現実上の並列 (parallel) 機械をゆず…