271コメント60KB

理論計算機科学スレ

■ このスレッドは過去ログ倉庫に格納されています

0001１３２人目の素数さん

NGNG

ま、この宇宙の現象はすべて計算現象なんだけどね。
宇宙も、素粒子も、人間もみんな計算機なんだよ。

0221１３２人目の素数さん

2006/11/14(火) 19:18:12

計算量理論のお勧めの入門書を教えて下さい。

0222１３２人目の素数さん

2006/11/14(火) 21:05:57

そりゃ、「計算理論の基礎」でしょ。

0223１３２人目の素数さん

2006/11/15(水) 01:52:45

Hopcroft and Ullman

0224１３２人目の素数さん

2006/12/04(月) 08:54:00

二年。

0225１３２人目の素数さん

2006/12/27(水) 12:33:02

698

0226１３２人目の素数さん

2007/02/05(月) 14:20:05

400

0227１３２人目の素数さん

2007/03/11(日) 16:54:16

128

0228１３２人目の素数さん

2007/03/11(日) 16:58:07

age

0229１３２人目の素数さん

2007/03/28(水) 17:40:32

・チューリングマシン
・万能チューリングマシン
・非決定性チューリングマシン

これらの違いを詳しく教えてほしいでつ。
おながいしまつ。
URLなんかもあったらキボンヌ。

0230１３２人目の素数さん

2007/03/28(水) 18:40:40

http://www.google.co.jp/

0231１３２人目の素数さん

2007/03/28(水) 18:43:52

>>230
哀号！！！
ﾋﾄﾞｽ！！！

0232１３２人目の素数さん

2007/03/28(水) 18:58:03

ttp://ja.wikipedia.org/wiki/%E3%83%81%E3%83%A5%E3%83%BC%E3%83%AA%E3%83%B3%E3%82%B0%E3%83%9E%E3%82%B7%E3%83%B3
ttp://en.wikipedia.org/wiki/Turing_machine
ttp://en.wikipedia.org/wiki/Non-deterministic_Turing_machine

チューリングマシンと非決定性チューリングマシンの違いは
遷移函数が一価か多価も許すかの違い。

0233１３２人目の素数さん

2007/03/28(水) 19:06:28

>>232
哀号!!!
英語が読めないニダ!!

>チューリングマシンと非決定性チューリングマシンの違いは
>遷移函数が一価か多価も許すかの違い。

というのは、
非決定性チューリングマシンの場合は同時に複数の状態に遷移することができるということ？

0234１３２人目の素数さん

2007/03/29(木) 07:55:12

age

0235１３２人目の素数さん

2007/03/29(木) 10:48:00

.　　　　　　　　　　　　　　　　　　　 ,ｲ/〃　　　　　　　　ヾ= 、
　　　　　　　　　_,,r-‐''"´　＾　｀N /l/　　　　　　　　　　　　　　｀ヽ
　　　　　　　　彡　　法学部　 N! l　　　　　　　　　　　　　　　　　　｀､
　　　,, -‐- ,,-彡　　　　　　　l ヽ　　　　　　　　　医学部　　　　　　 l｀ ´ ｀`‐ ､
　彡´　　　　　　|　　　　,,w,,wヽヽ　　　　　　　　　　　　　　,,　　　　 |　薬学部　｀ヽ
_彡　政経部　|　 //ﾚ/ﾊl/ﾊ＼ヾｰ　　　　　　　　_,,　,,r,,/lヾ　　　　|　　　　　　 }
ﾊl/　　 ,/ﾊlヾヾ,l､ /三f､,,_　　 _,ヾニ＿＿＿＿_彡ﾉノﾉノﾉ_ヾヾ　　 | ,l､､　　　　 l＿＿_
/ﾚ　 /l,,_/＿_ヽ lヾ　ヽﾓ-ヽl ´fﾓﾁ7ヽ={　r‐ｨｯヾヽ-r'´〒fデF｀lｪr‐､ﾊlヽヽヽ　　　哲学＼_
　l｀=l　fﾓﾁ）_{´ヽl!l　　　　 :l　　　 l ll !l　 `┴ｰ/ｿl⌒ｯ`┴┴'　}//l l､ ,,､ｧtｯﾋヽ､rｩ　／　＼　　
　ヾ}弋＿シl弋　ヽl　　　　ヽ-　　ヽl　lゝ＿＿,ノ |　ゞ_＿＿ノl/l /　l　｀~ﾞ´　 lｧﾉ　（●
）　＼
　　ヾl　　　`'　 `''´lヽ　　──　　 /l＼l　　　　 l､,　　　　　　l_ノ　〈 _　　　　 l!ﾉ_人__）　　　 |　
　　　}＼　￣￣　,ｨl　＼　￣　／　l　 l　　　　＿＿＿　　　　/　　──　　　丿　⌒´　　　 ,／　
　　,/＼＼＿_／/ ＼　＼___／　,,-''＼|＼　　　　＿　　　 /|＼　 -　　　／ |､　　　　／ ,|､
-‐'　　　＼_,,-‐'＼　　｀ヽ､　　,,r'　　　/|　＼　　　　　　　／　.|　＼＿_／　 ,,rヽ‐-‐ ''　／ l｀ヽ
　　　,,-‐'' 　　　＼　　/＼/＼　／　＼.　＼＿＿__／　　／＼　　　 ,,-‐''　　/＼ ,／　　l　　ヽ
-‐''´　　　　　　　　　＼/　 }ﾞ　_,,,‐''＼　　＼　　　　　　　／　　 /l＼‐''　　　／　　｀ヽ､_　l

0236１３２人目の素数さん

2007/03/31(土) 17:05:27

>>233
英語ぐらい読めないと困ると思うが。

0237１３２人目の素数さん

2007/06/25(月) 09:37:51

109

0238１３２人目の素数さん

2007/08/31(金) 13:31:01

0239１３２人目の素数さん

2007/10/30(火) 09:25:48

126

0240１３２人目の素数さん

2007/11/15(木) 14:49:49

茫然

0241１３２人目の素数さん

2007/11/15(木) 14:51:56

壺、?然、?然　?む

0242１３２人目の素数さん

2007/11/15(木) 14:52:51

なんで正字がダメなんだよバカ

0243１３２人目の素数さん

2007/11/17(土) 12:45:36

age

0244１３２人目の素数さん

2007/12/04(火) 21:54:00

三年十三時間。

0245１３２人目の素数さん

2008/03/07(金) 02:16:18

451

0246１３２人目の素数さん

2008/04/10(木) 11:20:40

232

0247１３２人目の素数さん

2008/04/11(金) 04:23:28

age

0248１３２人目の素数さん

2008/06/01(日) 10:37:00

602

0249１３２人目の素数さん

2008/06/01(日) 10:43:16

age

0250１３２人目の素数さん

2008/07/12(土) 00:33:41

全国大学図書館
ttp://www.jla.or.jp/link/univ.html

他大学生ではなく一般人として行った方が利用しやすい場合アリ

0251１３２人目の素数さん

2008/08/29(金) 08:28:55

005

0252１３２人目の素数さん

2008/10/17(金) 08:17:44

752

0253１３２人目の素数さん

2008/11/19(水) 22:22:43

555

0254１３２人目の素数さん

2008/12/03(水) 17:00:35

889

0255１３２人目の素数さん

2008/12/04(木) 09:54:00

四年一時間。

0256１３２人目の素数さん

2009/01/11(日) 09:44:51

690

0257１３２人目の素数さん

2009/02/11(水) 15:21:02

King氏ね

0258KingGold ◆3waIkAJWrg

2009/02/11(水) 16:18:21

Reply:>>257 お前に何がわかるというか。

0259１３２人目の素数さん

2009/04/25(土) 11:10:45

542

0260１３２人目の素数さん

2009/05/09(土) 02:19:18

●こんなところにもいるのか

0261１３２人目の素数さん

2009/05/09(土) 18:06:40

age

0262１３２人目の素数さん

NGNG?2BP(1028)

>>131
２０年前にそれをレポ～トに書いたら、助教授に超バカにされたｗ

0263１３２人目の素数さん

2009/07/10(金) 09:08:03

972

0264１３２人目の素数さん

2009/08/18(火) 11:16:21

969

0265１３２人目の素数さん

2009/10/04(日) 23:37:42

440

0266１３２人目の素数さん

2009/11/26(木) 22:38:09

質問です。項書き換え系理論に置いて、二つの項書き換え系が同型だとか部分系になってるとかいう理論はあるのでしょうか？
あるのであればその定義について記述している本、または文献を教えてもらえないでしょうか？

項書き換えに興味はあるのですが、近くにわかる人が少なくて困っているのです。助けていただければ幸いです。

0267１３２人目の素数さん

2009/11/27(金) 15:02:43

情報学板で聞いたほうが良いんじゃないか
http://science6.2ch.net/informatics/

過疎であることには変わりないけど

0268１３２人目の素数さん

2010/01/17(日) 01:54:01

五年四十三日十七時間。

0269１３２人目の素数さん

2010/03/10(水) 05:47:01

407

0270１３２人目の素数さん

2010/03/27(土) 04:27:27

hage

0271１３２人目の素数さん

2010/06/27(日) 11:17:09

805

■ このスレッドは過去ログ倉庫に格納されています