【第12回関西すうがく徒のつどい2日目】Friedberg-Muchnikの定理と有限害優先論法 #kansaimath

y. @waidotto

スライド完成しました．できたてほやほやです． 「Friedberg-Muchnikの定理と有限害優先論法」 iso.2022.jp/math/tsudoi/12… (アブスト: kansaimath.tenasaku.com/wp/wp-content/… ) #kansaimath

alg-d @alg_d

ナイス画面! #kansaimath303

alg-d @alg_d

d=(^o^)=b #kansaimath303

サクラ @1997_takahashi

隣の実況が流れると楽しい!! #kansaimath303

proper_TAJIRI @proper_TAJIRI

#kansaimath 改行 消えるかな

Oddie @math_elliptic

なんか楽しい #kansaimath #kansaimath303

ペーパー @paper3510mm

楽しい✌('ω'✌ )三✌('ω')✌三( ✌'ω')✌ #kansaimath

サクラ @1997_takahashi

配慮が行き届いている #kansaimath303

ヌコ @nyannyan800

#kansaimath303 流れてる〜すげ〜(￣∀￣)

alg-d @alg_d

d=(^o^)=b #kansaimath303 pic.twitter.com/EryeEnPnu1

拡大

でぃぐにゃん @fujidig

むちにく #kansaimath303

alg-d @alg_d

セルフ座長 #kansaimath303

Oddie @math_elliptic

ニコ生風？ #kansaimath #kansaimath303 pic.twitter.com/MiGx9KOPlQ

拡大

関東すうがく徒のつどい @kantotsudoi

決定不能問題とは #kansaimath303

Oddie @math_elliptic

20191027は素数！ #kansaimath #kansaimath303

alg-d @alg_d

20191027 #kansaimath303

関東すうがく徒のつどい @kantotsudoi

決定問題が決定可能⇔全ての入力に対して正しい答えを返す単一のアルゴリズムが存在 #kansaimath303

サクラ @1997_takahashi

鬱陶しいｗｗｗｗｗｗ #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

ぴあのん @piano2683

1行コメで流れてしまった #kansaimath #kansaimath303

alg-d @alg_d

@piano2683 @piano2683 荒らすな #kansaimath303

ぴあのん @piano2683

リツイオタじゃあないんだよ #kansaimath #kansaimath303