【第11回関西すうがく徒のつどい2日目】有限オートマトンとPresburger算術 #kansaimath
2018/10/18
第11回関西すうがく徒のつどい(#kansaimath)2日目
307教室(#kansaimath307)
有限オートマトンとPresburger算術
y. (@waidotto)
Tomohiro Yamada@9/16-17つどい/10/10-10/13RIMS
@tyamada1093
先程のy.氏の講演に出ていた決定不能問題ギャラリー #kansaimath307 .@waidotto iso.2022.jp/math/undecidab…
2018-10-28 12:50:45