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

alg-d @alg_d

これもうTwitterが実質私語じゃん #kansaimath303

ぴあのん @piano2683

計算が停止するの↓は落ち着く気持ちを表している（？？？） #kansaimath #kansaimath303

てけてけ坊主 @teke0139

枠線使った注釈とても見やすい(y.さんのスライド) #kansaimath303 pic.twitter.com/LY8vVqsht2

拡大

サクラ @1997_takahashi

←それな，どう記述しているんだろう #kansaimath303

alg-d @alg_d

スライド上で会話するな💢 #kansaimath303

ぴあのん @piano2683

対角線籠包 #kansaimath #kansaimath303

Oddie @math_elliptic

対角線論法 #kansaimath #kansaimath303 pic.twitter.com/NQIO75WQPs

拡大

𝔼𝕠 v.s. だめじゃ〜ん @MathematicsSho

y.さんただただ講演うますぎる #kansaimath303 #kansaimath

ぴあのん @piano2683

ちゃんと空集合の場合を別にしてる #kansaimath #kansaimath303

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

[Listing thm.]A⊂ωについて，Aがc.e.集合であることとA=∅∨Aはある計算可能関数fの像であることとは同値 #kansaimath303

alg-d @alg_d

定理などを実況するとスライドとツイートで二重に表示されて冗長なのおもろい #kansaimath303

ぴあのん @piano2683

Σ_1集合みを感じるやつ #kansaimath #kansaimath303

ぴあのん @piano2683

神託が降りてきた #kansaimath #kansaimath303

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

Postの問題を正確に述べるため，神託計算の話をする #kansaimath303

サクラ @1997_takahashi

関東つどいの中の人，間違えるなよ #kansaimath303

alg-d @alg_d

カンニング #kansaimath303

でぃぐにゃん @fujidig

信託つき計算はカンニングペーパー #kansaimath303

alg-d @alg_d

#関東つどいの中の人 #kansaimath303

ぴあのん @piano2683

関東つどいの中の人、一体誰なんだ？ #kansaimath #kansaimath303

alg-d @alg_d

またスライド完成してる… #kansaimath303

ぴあのん @piano2683

BをオラクルとしたプログラムAとは、Aの計算途中に「必要に応じて何度でもBに値を投げてその計算結果を利用できる」ようなプログラムのこと #kansaimath #kansaimath303

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

AはBにTuring還元可能:⇔次を満たすオラクルプログラムΦ_eが存在する：χ_A=Φ_e^B #kansaimath303

でぃぐにゃん @fujidig

空集合オラクルはYahoo知恵袋　#kansaimath303

𝔼𝕠 v.s. だめじゃ〜ん @MathematicsSho

クソ回答しか返さないyahoo知恵袋 #kansaimath303

サクラ @1997_takahashi

yahoo知恵袋を揶揄するy.氏 #kansaimath303