【新機能】作り忘れたまとめはありませんか?31日前まで期間指定してまとめが作れる高度な検索ができました。有料APIだからツイートの漏れはありません!
1
ログインして広告を非表示にする
使用したスライド
y. @waidotto 2017-09-16 20:15:19
今日の講演で使ったスライドを修正して公開しました. iso.2022.jp #kansaimath
y. @waidotto 2017-09-17 13:46:44
講演中で使用したTuring機械のシミュレーションはこれです turingmachinesimulator.com/shared/djexnjj… #kansaimath
講演の実況
ディレイボムC @alg_d 2017-09-16 14:36:25
実況的には明らかにBだが内容的にA聞いてみたい感 #kansaimath
ぴあのん@さよ朝宣伝bot @piano2683 2017-09-16 14:50:59
「自己紹介しようと思ったが紹介するほどの自己がない」 #kansaimath #kansaimath108
(☝ ՞ਊ ՞)☝イイイィネ!!!bot @iiiiiiiiine_bot 2017-09-16 14:51:32
突然ですが問題です。整数が素数かどうかを判定するにはどうすればよいか? #kansaimath #kansaimath108
(☝ ՞ਊ ՞)☝イイイィネ!!!bot @iiiiiiiiine_bot 2017-09-16 14:53:10
あくまで「特定の数にたいしての判定法ではなく、統一的な判定法を与えよ」 という問題。 #kansaimath #kansaimath108
ぴあのん@さよ朝宣伝bot @piano2683 2017-09-16 14:54:09
与えられた文字列に対して、Yes/Noで答える問題を決定問題という #kansaimath #kansaimath108
(☝ ՞ਊ ՞)☝イイイィネ!!!bot @iiiiiiiiine_bot 2017-09-16 14:55:24
文字の集合(有限集合)をfixして、文字列(文字の限の有限列全体)を考えてる #kansaimath #kansaimath108
(☝ ՞ਊ ՞)☝イイイィネ!!!bot @iiiiiiiiine_bot 2017-09-16 14:57:33
入力が有限の場合は、有限の場合分けを考えれば終わってしまうので、決定問題を考えるときは入力が無限にある場合を考えないと意味がない! #kansaimath #kansaimath108
ぴあのん@さよ朝宣伝bot @piano2683 2017-09-16 14:58:19
「決定不能問題」はアルゴリズムが存在しないような決定問題を探せば良い。これには「アルゴリズム」の数学的定義が不可欠 #kansaimath #kansaimath108
(☝ ՞ਊ ՞)☝イイイィネ!!!bot @iiiiiiiiine_bot 2017-09-16 14:58:36
決定問題のうち、それを解くアルゴリズムが存在しないようなものを探せばよいので「アルゴリズム」の数学的な定義を考える。 #kansaimath #kansaimath108
でぃぐ @fujidig 2017-09-16 15:06:21
チューリング機械説明するの大変だよね #kansaimath #kansaimath108
ぴあのん@さよ朝宣伝bot @piano2683 2017-09-16 15:06:56
使える文字をa,bとしたときに「与えられた文字列がa…ab…bの形をしているかどうか」を判定するTuring機械 #kansaimath #kansaimath108
残りを読む(95)

ブックマークしたタグ

あなたの好きなタグをブックマークしておこう!話題のまとめを見逃さなくなります。

コメント

y. @waidotto 2017-09-17 13:48:14
Turing machine simulatorへのリンクを追加しました
ログインして広告を非表示にする
ログインして広告を非表示にする