技術のグローバルな新しい波にフォーカスして、丸山が重要と考えるトピックについて、ベンダー・フリーな立場から、出来るだけ新しい情報を、出来るだけわかりやすく、出来るだけ多くの人に、伝えていくことを目標にしています。継続的に投稿がなされています。このセミナーは、ソフトウェア・エンジニアリングの「形式手法」やCoqを理解する上で必要な論理学の基礎を学ぶことを目的としています。NOTを使って、命題の真偽の値を計算するやり方は、多くのプログラマは知っています。それは掛け算・足し算の九九を覚えているのと同じです。教科の名前が「算数」から「数学」に変わると、具体的な計算とは別に、xやyといった記号を含んだ式を、移項や代入や因数分解で変形できることを学んでいきます。同じように、論理的な式も、その値を計算するだけでなく、式の形を変形することができます。今回のセミナーでは、ある論理式から別の論理式を導くことができるという、演繹ルールを学びます。Reductionという演繹システムの命題論理版を学びます。お申し込みは、次のサイトからお願いします。