国際会議 2021年2月19日 実質的アーベル群の語の問題と制約オートマトン 論理・言語・代数系と計算機科学の周辺領域 湯山孝雄 開催年月日 2021年2月17日 - 2021年2月19日 記述言語 英語 会議種別 口頭発表(一般) 開催地 京都大学 数理解析研究所 国・地域 日本 リンク情報 共同研究・競争的資金等の研究課題一般のHilbertの第10問題と計算可能性理論