2009-06-24 夕方、ビア・パーティーの余りのビールをみんなで飲んでいると… S教授曰く「日本の論理学者は皆、証明論を研究しているんだよね」 ... 。それは竹内外史およびA教授の印象が強すぎるから、そう思うのです。