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

alg-d @alg_d

disったわけではないと弁明するy.氏 #kansaimath303

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

AがBにTuring還元可能なときA≦Bと書く(スライドでは≦_T)とき，次が成立：任意のc.e.集合Aについて∅≦A≦K_0 #kansaimath303 #kansaimath303

alg-d @alg_d

無理だわこれ #kansaimath303

alg-d @alg_d

ナイスまえ順序! #kansaimath303

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

Postの問題を正確に述べると次のようになる：∅<A<K_0となるc.e.集合Aは存在するか?? #kansaimath303

proper_TAJIRI @proper_TAJIRI

#kansaimath303 60分でやっぱり34枚は多いで。

alg-d @alg_d

急にツイートが多い #kansaimath303

てけてけ坊主 @teke0139

むちにくチャンス #kansaimath303

alg-d @alg_d

自然数を無限回投げるy.氏 #kansaimath303

alg-d @alg_d

要件(requirement) #kansaimath303

サクラ @1997_takahashi

困難を分割するy.氏 #kansaimath303

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

入ったものは取り出せない。 貯金箱？ #kansaimath303

alg-d @alg_d

ありがとうございました #kansaimath303

alg-d @alg_d

成立したヤッター! #kansaimath303

サクラ @1997_takahashi

R^1_0戦略の影響でR^0_0戦略が害されないようにしっかりと保護するy.氏 #kansaimath303

alg-d @alg_d

関西すうがく徒のつらいじゃん #kansaimath303

すずむし @Snmusi3

#kansaimath303 🍮🐈

alg-d @alg_d

復讐の連鎖 #kansaimath303

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

身分制度の方がよいってことか #kansaimath303

サクラ @1997_takahashi

しっかりとした身分制により復讐の連鎖を防ぐy.氏 #kansaimath303

ヌコ @nyannyan800

#kansaimath303 スライドで遊べなくなった()

ぴあのん @piano2683

座長なしで講演を終えた人 #人 #kansaimath #kansaimath303

てけてけ坊主 @teke0139

一コマだけつどって帰洛！ 運営の皆様、講演者の皆様ありがとうございました #kansaimath

てけてけ坊主 @teke0139

講演うますぎるy.が悪いんだよ(褒め言葉)

y. @waidotto

「【第12回関西すうがく徒のつどい2日目】Friedberg-Muchnikの定理と有限害優先論法 #kansaimath」をトゥギャりました。 togetter.com/li/1422402