みなさま 「記号論理と情報科学研究集会 （SLACS）」のプログラム(確定版)を http://www.seto.nanzan-u.ac.jp/~sasaki/SLACS2016.html におきました．事前連絡がなくとも参加できますので，興味のある方は お立ち寄りください． 世話人 南山大学 佐々木克巳 sasaki <sasaki at nanzan-u.ac.jp>