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

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

9 位/223 ID中時間01234567891011121314151617181920212223Total
書き込み数1000000010000110101010108



使用した名前一覧書き込んだスレッド一覧
デフォルトの名無しさん

1
「コンパイラ・スクリプトエンジン」相談室16
すべての言語を判定する計算機構 [無断転載禁止]©2ch.net

書き込みレス一覧

「コンパイラ・スクリプトエンジン」相談室16
590 :デフォルトの名無しさん[sage]:2016/05/21(土) 00:37:18.20 ID:jbF82omc
デバッガってevalさえあれば簡単なものはできそうだが
高機能てなると難しいのかな
すべての言語を判定する計算機構 [無断転載禁止]©2ch.net
20 :[sage]:2016/05/21(土) 08:44:04.11 ID:jbF82omc
(a∈L(b))=>(L(a)⊂L(b))
かな
すべての言語を判定する計算機構 [無断転載禁止]©2ch.net
22 :[sage]:2016/05/21(土) 13:50:35.11 ID:jbF82omc
>>21
俺よりいいアイディア持ってるやつがひょっとしたらいるかと思ってな。
遅まきながら俺のアイディアは>>11で示した。
すべての言語を判定する計算機構 [無断転載禁止]©2ch.net
23 :デフォルトの名無しさん[sage]:2016/05/21(土) 14:34:44.04 ID:jbF82omc
任意の実数aに対してa∈L(a)
まあ当たり前かな。
すべての言語を判定する計算機構 [無断転載禁止]©2ch.net
24 :[sage]:2016/05/21(土) 16:17:11.21 ID:jbF82omc
L(a)=L(b)というaとbの同値関係によって実数を同値類に分類したらなにか出てくるかな?
すべての言語を判定する計算機構 [無断転載禁止]©2ch.net
25 :[sage]:2016/05/21(土) 18:44:10.86 ID:jbF82omc
キーワードはこの辺やな

相対計算可能性
チューリング次数
チューリング還元可能
すべての言語を判定する計算機構 [無断転載禁止]©2ch.net
27 :1[sage]:2016/05/21(土) 20:31:47.22 ID:jbF82omc
>>26
ただの趣味。
すべての言語を判定する計算機構 [無断転載禁止]©2ch.net
28 :[sage]:2016/05/21(土) 22:03:00.11 ID:jbF82omc
ネットだといまいち、いい情報が見つからないな。
本でも買うか…


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