IFS Lecture

　平成７年１２月１４日、東京理科大学の野田キャンパスにおいて平成７年度２回目のIFS講習会が開催されました。AITECニュースの記事もあわせてご覧下さい。

理工学部経営工学科の溝口文雄先生および大和田勇人先生の御協力により、当日は約３０名の参加があり、講義が行なわれました。内容は以下のとおりです。

　講師は、東京大学の近山先生、日本電信電話(株)の平田さん、三菱総合研究所の藤瀬さんと白井さんにお願いし、先端情報技術研究所からは相場が講師の一人として出席しました。

講習会の後、溝口先生の研究室で、並列定理証明器MGTPのデモを行ないました。