"Workshop on Algebra and Logic"

本日は講演者が私を含めて6人、論文で名前を聞いたことがあるがお会いするのは初めてな方が多い。話題はバラエティに富んでいたが、強いて言えば証明論的性質に関する代数的な特徴付けの話が多かったか。私はこの辺の話に（限らず）全くの初心者なのですが、とても楽しかったです。特にCiさんのTakeuti-Titani流ファジイ論理についてのdensity argumentをうまく処理する話にはとても関心を引かれました。