2026年7月7日（火曜日）～10日（金曜日）、タイ・バンコクで開催される国際会議「41st International Technical Conference on Circuits/Systems, Computers and Communications（ITC-CSCC） 2026」において、情報学部 情報学科 岡崎秀晃教授が基調講演（Plenary Talk）を行います。
同会議は、回路・システム、コンピュータ、通信技術分野における主要な国際会議で、日本、韓国、タイの3カ国が中心となり、アジア各国のの研究者や学生が研究成果を発表する場として毎年開催されています。
■講演題目
「A Mathematical Model Including a Typed Higher-Order Logic Model for Updating Prompts of Generative AI, Its Applications, and an Academic Patent Strategy」
■講演概要
本講演では、生成AIのプロンプト更新を最適化するための数学的アプローチについて解説します。具体的には、型付き高階論理（Typed HOL）モデルを用いた数理モデルの構築、その具体的な応用例、さらには学術分野における特許戦略（Academic Patent Strategy）までを統合した、極めて先進的な知見を紹介します。
ITC-CSCC 2026
ITC-CSCC | 2026 plenary Talks
岡崎秀晃教授
同会議は、回路・システム、コンピュータ、通信技術分野における主要な国際会議で、日本、韓国、タイの3カ国が中心となり、アジア各国のの研究者や学生が研究成果を発表する場として毎年開催されています。
■講演題目
「A Mathematical Model Including a Typed Higher-Order Logic Model for Updating Prompts of Generative AI, Its Applications, and an Academic Patent Strategy」
■講演概要
本講演では、生成AIのプロンプト更新を最適化するための数学的アプローチについて解説します。具体的には、型付き高階論理（Typed HOL）モデルを用いた数理モデルの構築、その具体的な応用例、さらには学術分野における特許戦略（Academic Patent Strategy）までを統合した、極めて先進的な知見を紹介します。
ITC-CSCC 2026
ITC-CSCC | 2026 plenary Talks
岡崎秀晃教授
