マス・フォア・インダストリ研究所

セミナー



リスト 全て(掲示受付分)(1730) 今日・明日のセミナー(0)

第16回 論理と計算セミナー


開催時期 2018-09-03 16:30~2018-09-03 18:00

場所 福岡工業大学 FITセミナーハウス (大分県由布市湯布院町)

受講対象  

講師 溝口 佳寛 (九大IMI・数理・データサイエンス教育センター), 井口 修一 (福岡工業大学 情報工学部)

講演:
1.Brett McLean (University College London, 学振特別研究員(サマープログラム)):Algebraic reasoning for functions
2.溝口 佳寛 (九大IMI・数理・データサイエンス教育センター):九州大学数理・データサイエンス教育研究センターと AIMaP 事業について
3.井口 修一 (福岡工業大学 情報工学部):1次元CAで実現する奇偶ソートについて


今回の論理と計算セミナーは,論理と計算サマースクールの一部として開催する計画です.論理と計算サマースクールは,学部生を中心とした超若手研究者に
研究発表・議論の場を設け,研究活動への意欲向上を狙ったものです.こちらも参加を検討いただけると幸いです.
リンク