トップページ > プログラム > 2016年05月20日 > OCEBmLiZ

書き込み順位＆時間帯一覧

4 位/223 ID中時間01234567891011121314151617181920212223Total
書き込み数0000000000000000000014218



使用した名前一覧書き込んだスレッド一覧
１
1
デフォルトの名無しさん
すべての言語を判定する計算機構 [無断転載禁止]©2ch.net
【GPGPU】くだすれCUDAスレ part7【NVIDIA】 [転載禁止]©2ch.net
スレを勃てるまでもないC/C++の質問はここで 24 [転載禁止]©2ch.net

書き込みレス一覧

すべての言語を判定する計算機構 [無断転載禁止]©2ch.net
14 ：１[sage]：2016/05/20(金) 20:56:35.88 ID:OCEBmLiZ
拡張チューリングマシンが判定する言語に対して文字列を辞書順に並べ
言語に含まれるなら１含まれないなら０という風に数値を並べ実数を構成する。
ある実数aをオラクル・ストリングにもつ拡張チューリングマシンから生成できる実数の集合をL(a)とする。

Not(a∈L(b)) And Not(b∈(L(a))を満たすような実数の組(a,b)は存在するか？
すべての言語を判定する計算機構 [無断転載禁止]©2ch.net
15 ：１[sage]：2016/05/20(金) 21:00:17.50 ID:OCEBmLiZ
辞書順だとちょっとまずいかな。
まず文字列の長さでならべてそれぞれの長さに対して辞書順でならべたほうがいいかな。
すべての言語を判定する計算機構 [無断転載禁止]©2ch.net
16 ：1[sage]：2016/05/20(金) 21:09:01.15 ID:OCEBmLiZ
すべてのa∈Rに対してNot(b∈L(a))となるb∈Rが存在する。
濃度より明らか
ゆえに最強のオラクル・ストリングは存在しない。
すべての言語を判定する計算機構 [無断転載禁止]©2ch.net
17 ：１[sage]：2016/05/20(金) 21:11:28.28 ID:OCEBmLiZ
>>14も濃度から存在が言えるかな？
よくわからん。
【GPGPU】くだすれCUDAスレ part7【NVIDIA】 [転載禁止]©2ch.net
944 ：デフォルトの名無しさん[sage]：2016/05/20(金) 21:20:51.03 ID:OCEBmLiZ
グーグルがTensolFlow用のTPUとかいうの作ってたらしいがどうなの？
すべての言語を判定する計算機構 [無断転載禁止]©2ch.net
18 ：デフォルトの名無しさん[sage]：2016/05/20(金) 22:12:42.14 ID:OCEBmLiZ
ん？
>>16って正しい？
自信なくなってきたｗｗｗ
すべての言語を判定する計算機構 [無断転載禁止]©2ch.net
19 ：１[sage]：2016/05/20(金) 22:32:07.92 ID:OCEBmLiZ
なんだよレスがまったくねーな。
誰かツッコミ頼む。
スレを勃てるまでもないC/C++の質問はここで 24 [転載禁止]©2ch.net
785 ：デフォルトの名無しさん[sage]：2016/05/20(金) 23:27:57.07 ID:OCEBmLiZ
昔reserveつかって結構なパフォーマンス改善したことあってビビったわ。


※このページは、『２ちゃんねる』の書き込みを基に自動生成したものです。オリジナルはリンク先の２ちゃんねるの書き込みです。
※このサイトでオリジナルの書き込みについては対応できません。
※何か問題のある場合はメールをしてください。対応します。