10周年のSPコンテンツ!
1
y. @waidotto
スライド完成しました.できたてほやほやです. 「Friedberg-Muchnikの定理と有限害優先論法」 iso.2022.jp/math/tsudoi/12… (アブスト: kansaimath.tenasaku.com/wp/wp-content/… ) #kansaimath
ペーパー @paper3510mm
楽しい✌('ω'✌ )三✌('ω')✌三( ✌'ω')✌ #kansaimath
関東すうがく徒のつどい @kantotsudoi
決定問題が決定可能⇔全ての入力に対して正しい答えを返す単一のアルゴリズムが存在 #kansaimath303
ぴあのん @piano2683
Kan拡張チャンス! D ↑ C→U 各点Kan拡張!!! 1ー→D ↑ ↑ f↓d→C→U ( ˘⊖˘) 。o(待てよ、Uは余極限を持つのか?) 1ー→D ↑ ↑ f↓d→C→U→Set^{U^op} _人人人人人人_ > 米田埋込 <  ̄^Y^Y^Y^Y^ ̄ #kansaimath #kansaimath303
ペーパー @paper3510mm
ぷりんさんのリツイートしたツイがスライドに流れてくる #kansaimath
ヌコ @nyannyan800
#kansaimath303 みんな話聞けよ() (とかいいながらツイート)
てけてけ坊主 @teke0139
講演中の画面に隣の実況も流れるから実質同時参加やったぜ #kansaimath303
残りを読む(130)

コメント

y. @waidotto 2019年10月29日
まとめにつどい3日目の様子を追加しました.
ログインして広告を非表示にする
ログインして広告を非表示にする