[logic-ml] RIMS共同研究（公開型）「証明論と証明活動」のご案内 仮プログラム公開

[Katsumi Sasaki]

みなさま

　標記の懇親会の件です．
　先程，参加希望されたかたに確認メールを発信しています．
次のようです．

Subject: RIMS共同研究（公開型）「証明論と証明活動」   懇親会参加者確認
Date: Mon, 13 Nov 2017 09:32:16 +0900

希望したけれど，メールがきていない方は，お手数ですが，11月19日までに
世話人までご連絡ください．

世話人　南山大学　佐々木克巳