【第3回関東すうがく徒のつどい2日目】2018年の決定不能問題ギャラリーを振り返る #kantomath

ゆうな @kawauSOgood

停止問題:プログラムが無限ループに陥るかどうかを自動的に判断することはできない #kantomath #kantomath1

RK @evindem

チューリングマシンにチューリングマシンを入力 #kantomath #kantomath1

V-alg-d（ZZ） @alg_d

決定不能問題ギャラリー解説RTAと化してきたな #kantomath #kantomath1

YukihiroODA @Yukihiro0036

私は来た #kantomath #kantomath1

YukihiroODA @Yukihiro0036

Post の問題をやっている #kantomath #kantomath1

V-alg-d（ZZ） @alg_d

ドミノのプロ→ @waidotto #kantomath #kantomath1

ひじてぃ @hijityeee

そっちのドミノではない #kantomath

YukihiroODA @Yukihiro0036

ドミノでチューリング機械の停止性を判定しよう！ (できるけどできない) #kantomath #kantomath1

RK @evindem

ドミノでチューリングマシンの構成頭良すぎる #kantomath #kantomath1

λx.x @lambda_x_x

ある問題が決定不能なことを示すには、その問題を解くアルゴリズムが存在すると、それを利用して決定不能問題が解けてしまうことを示す（背理法）。 ある問題（のある状況）をTMでの計算状況のようにみなすことを考えれば良い。 #kantomath #kantomath1

V-alg-d（ZZ） @alg_d

ウケる #kantomath #kantomath1 pic.twitter.com/qN3QvaZjxn

拡大

ゆうな @kawauSOgood

ドミノでコンピュータが作れます (マジ) #kantomath #kantomath1

YukihiroODA @Yukihiro0036

ドミノでプログラミングをやっている #kantomath #kantomath1

V-alg-d（ZZ） @alg_d

ディアスポラを読め #kantomath #kantomath1

flag3 @flag3833753

「色」は自然数 #kantomath #kantomath1

V-alg-d（ZZ） @alg_d

TikZのプロ→ @waidotto #kantomath #kantomath1

V-alg-d（ZZ） @alg_d

言わなかったか? #kantomath #kantomath1

でぃぐにゃん @fujidig

ポストの対応問題において、マッチが存在しないにも関わらず、そのことをZFCから証明できないようなドミノの有限集合が存在する #kantomath #kantomath1

ゆうな @kawauSOgood

登壇者のTeXテクが恐ろしい #kantomath #kantomath1

flag3 @flag3833753

めっちゃ図を頑張った結果LaTeXのコンパイルに1分かかるらしい #kantomath #kantomath1

V-alg-d（ZZ） @alg_d

は? #kantomath #kantomath1 pic.twitter.com/KsIzf6BHBM

拡大

ゆうな @kawauSOgood

「図を頑張りすぎて、TeXのコンパイルに1分かかります」 聴衆「wwwwww」 #kantomath #kantomath1

はた @hata1021hata

文字って便利 #kantomath #kantomath1

ゆうな @kawauSOgood

ポリオミノの充填問題の決定不能性について パズル界隈のみなさん、みてますかー？ #kantomath #kantomath1

V-alg-d（ZZ） @alg_d

Wangのタイルが元ネタの「ワンの絨毯」が出てくるSF小説『ディアスポラ』を皆さん読んでください #kantomath #kantomath1