さて、S教授は、私が非常勤先で教えている授業（最小論理の自然演繹）の教科書の作者です。懇親会から帰る時に、授業について聞かれました。 (S)最近、授業はどうかね？ (ytb)ええ、生徒はみんな熱心です。でも、最小論理の意味論は難しいので、意味を教える…

最小論理(minimal logic)を実装した interactive proof system MINLOG上で、bioinformaticsの定理の自動証明に挑戦する話。 最小論理とは、直観主義論理から矛盾律を除去した体系であり、最小論理における命題の証明は*1λ項によって完全に対応づけられ*2、従…

雨は止んだが、蒸し暑い日。コーディングと会議。某会議で自分の論文の対外発表許可申請についてプレゼンするが、自分のプレゼン下手に落胆する。しかし、なんとか申請が許可されたので一安心。後は、実際に論文を書いてacceptされるだけ（って、そこが最大…