下記内容にて講演会を開催いたします。

■日　時：2024年7月9日(火) 13:00～14:00
■会　場：九州大学 伊都キャンパス ウエスト2号館 10階 1019号室
■参加費：無料
■参加方法：現地参加（当日会場までお越しください）

秋田大学大学院理工学研究科　助教　新屋 良磨 先生

測度論的な概念を用いた形式言語理論への新たなアプローチ

「言語 L が正規可測」であるとは，L に”収束”する正規言語の対が存在することを言う．
可測性は測度論的なアイディアに基づく性質であり，原子語予想と呼ばれる形式言語の未解決問題に対するアプローチとして講演者が2021年に提案した概念である．
本講演では，可測性の定義や動機の説明からはじめ，色々な種類の可測性概念の決定可能性・計算量について解説する．
また、可測性の応用（正規表現マッチングの高速化など）の可能性についても議論する．

■主 催：電子情報通信学会九州支部

■問合せ先：末廣大貴（九州大学）　suehiro[ａ]ait.kyushu-u.ac.jp 　　※[ａ]は@に変換ください