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

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

結論から言うと、構造化プログラミングには、大学教授ですら理解できないようなコードが存在する。しかも、それはたったの数十行である。 今回はそのコードを紹介するとともに、「ソフトウェアの専門家を育てること」の重要性を訴えていきたい。読者はこの記…