【第11回関西すうがく徒のつどい2日目】有限オートマトンとPresburger算術 #kansaimath

サクラ @1997_takahashi

文脈自由言語だが正規言語でない例が挙げられた #kansaimath #kansaimath307

proper_TAJIRI @proper_TAJIRI

#kansaimath307 凄く面白かった。

Tomohiro Yamada@9/16-17つどい／10/10-10/13RIMS @tyamada1093

掛け算だけなら完全な公理系が存在する #kansaimath307

サクラ @1997_takahashi

かけ算の理論は足し算の理論の無限直和みたいなもの #kansaimath #kansaimath307

オタクたろう🌖 @__ukun

足し算と掛け算を一緒にするとヤバい #kansaimath307

ちょーさん @kyo_math1729

掛け算の理論は足し算の理論の可算直和 #kansaimath #kansaimath307

Tomohiro Yamada@9/16-17つどい／10/10-10/13RIMS @tyamada1093

まあ実際数論の未解決問題ってどれも足し算と掛け算が混ざってるところに難しさがあるからの #kansaimath307

Tomohiro Yamada@9/16-17つどい／10/10-10/13RIMS @tyamada1093

足し算と掛け算を両方入れた結果→abc予想 #kansaimath307

ぶく @buku_t

足し算と掛け算を混ぜるのは危険 #kansaimath #kansaimath307

でぃぐにゃん @fujidig

足し算を抜いたTh(ℕ+, 1, ×)も決定可能 ∵ (ℕ+, ×) ≅ ⊕_n (ℕ, +) #kansaimath #kansaimath307

つきたん @yuki9_boc23

足し算と掛け算は「混ぜるな危険」 #kansaimath

Tomohiro Yamada@9/16-17つどい／10/10-10/13RIMS @tyamada1093

再帰的関数はΔ1で表せる #kansaimath307

proper_TAJIRI @proper_TAJIRI

#kansaimath307 これか iso.2022.jp/math/undecidab…

サクラ @1997_takahashi

表現定理の証明は構成的なので，a=x^nみたいな述語はちゃんと書き下される． #kansaimath #kansaimath307

Tomohiro Yamada@9/16-17つどい／10/10-10/13RIMS @tyamada1093

#kansaimath307 が終わって #kansaimath303 に来たらラングランズプログラムの話になってた

もなりず @monariz_thmap

今日もハンバーグを追加しにいった集団がいました #kansaimath

V-alg-d（ZZ） @alg_d

0回受付をしているので既に受付済のt_uda #kansaimath

V-alg-d（ZZ） @alg_d

【悲報】 @ark184 、来てない #kansaimath

あーく @ark184

どうせ起きられないなら開き直って昨夜も遊んだ方が良かったのでは説。 #kansaimath

V-alg-d（ZZ） @alg_d

ハンバーグ追加できなくなってるんだが?!?! #kansaimath

V-alg-d（ZZ） @alg_d

2016年に来たときはハンバーグ追加できたのに…… #kansaimath

ミルクティー @pold_bloq

お腹減りすぎてパンルヴェをハンバーグに空目した #kansaimath

V-alg-d（ZZ） @alg_d

コーン難民救済 #kansaimath pic.twitter.com/FIHXDkJ4c3

拡大

ぶく @buku_t

追加しに来た #kansaimath pic.twitter.com/oPQkJ9Y9h2

拡大

賀茂次郎 @kamojiro24e

伸びるのでどうぞ、が浸透してる #kansaimath