2022年６月６日、L1号館31教室にて、第33回一般教育部セミナーが開催されました。

今回は、情報科学単位の高野保真講師により「プログラミング研究とAI?機械学習」という題目で、ご講演いただきました。まず、ご専門である「プログラミング」や「プログラミング言語」と、それを対象とした研究の広がりなどについて紹介され、次に、最近話題になっている意味でのAIの特徴、つまり、大量のデータに基づいて統計的な手法によって結論を推定する手法が用いられていることなどを解説されました。そのうえで、SMTソルバと呼ばれるプログラムの誤りを確認するのに利用可能な既存のツール群のうち、どのような状況でどのツールを使うのが良いかを機械学習の手法で推定する研究などについてご紹介されました。質疑応答では、研究の応用例や人工知能の社会的な側面、特許の出願などに関する幅広い活発な意見交換がおこなわれました。