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

サクラ @1997_takahashi

@waidotto お疲れさまでした．#kansaimath

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

関西つどい3日目(非公式)まで参加いたしました．皆様ありがとうございました．またどこかでお会いしましょう!! #kansaimath

alg-d @alg_d

y.さんの講演　スライド上にツイートが流れてくるのが面白すぎて講演に集中できない (音なしです) #kansaimath #kansaimath303 pic.twitter.com/dPSGq2czeL

ただまご = 永島孝 @tadamago

@piano2683 その辺の話から優先法まで進んだのですか？ 楽しそうだけれど，本一冊分ぐらいの内容かな．

ぴあのん @piano2683

@tadamago 講演自体は極めて初歩的な計算論から始めて、優先法のアイディアまでやりました。 講演スライド→twitter.com/waidotto/statu… このツイートはつどい3日目（非公式）の深夜セミナーのときで、Friedberg-Muchnikの定理よりも簡単な優先法の例としてlow simple setの構成を話してもらいました。

y. @waidotto

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

2019-10-27 14:18:40