Logic-ml 各位

米子高専の堀畑です。

今週末、８日（日）と９日（月）に米子で件名の研究会を開催いたします。

参加自由ですので、お気軽に御参加頂ければ幸いです。 懇親会もありますので、研究会に参加頂ける方は堀畑までご連絡ください。

詳細はホームページをご参照ください： https://sites.google.com/site/yonagonctmath/home/slas2017

参加者２６名。 発表者は以下１２名（敬称略）。

阿部 敏一　（茨城大学） 池上 大祐　（東京電機大） 石原 哉　　（ＪＡＩＳＴ） 薄葉 季路　（早稲田大学） 沖坂 祥平　（東北大学） 熊本 真一郎 （神戸大学） 鈴木 信行　（静岡大学） 冨樫 瑠美　（長岡高専） 根元 多佳子 （ＪＡＩＳＴ） 藤原 誠　（早稲田大学） 三浦 毅　（新潟大学） 横山 啓太　（ＪＡＩＳＴ）

以上です。よろしくお願いします。

堀畑 佳宏 -- 米子工業高等専門学校 教養教育科・数学 E-mail: horihata@yonago-k.ac.jp