理論計算機科学スレ
1 ：１３２人目の素数さん：
ま、この宇宙の現象はすべて計算現象なんだけどね。
宇宙も、素粒子も、人間もみんな計算機なんだよ。
宇宙も、素粒子も、人間もみんな計算機なんだよ。
|
|
|
2 ：１３２人目の素数さん：04/12/04 08:56:25
ペニス
3 ：１３２人目の素数さん：04/12/04 08:58:36
>>1 が計算機なのは確定
4 ：関連スレ（適当だけど）：04/12/04 09:04:53
なぜ２ｃｈに「情報科学・工学板（仮）」がないのか
http://science3.2ch.net/test/read.cgi/rikei/1099820522/l50
【論理】情報理工学総合スレッド【ｱﾝﾁ?】
http://science3.2ch.net/test/read.cgi/rikei/1065961472/l50
人間も計算機の一種ですが,ﾏﾀﾞ何か文句あるの〜？
http://academy3.2ch.net/test/read.cgi/philo/1100186075/
http://science3.2ch.net/test/read.cgi/rikei/1099820522/l50
【論理】情報理工学総合スレッド【ｱﾝﾁ?】
http://science3.2ch.net/test/read.cgi/rikei/1065961472/l50
人間も計算機の一種ですが,ﾏﾀﾞ何か文句あるの〜？
http://academy3.2ch.net/test/read.cgi/philo/1100186075/
5 ：関連スレ（適当だけど）：04/12/04 09:06:46
P=NP問題について真面目に語るスレ
http://science3.2ch.net/test/read.cgi/math/1058932949/l50
http://science3.2ch.net/test/read.cgi/math/1058932949/l50
6 ：１３２人目の素数さん：04/12/04 09:13:59
ばかがいるなｗ
7 ：１３２人目の素数さん：04/12/04 09:24:27
>>１ねた触れよｗ
8 ：１３２人目の素数さん：04/12/04 12:12:43
とりあえず項書き換え系でどうだ！
9 ：１３２人目の素数さん：04/12/04 12:45:13
項書き換え
計算量理論
圏論
型理論
言語理論
アルゴリズム論
これくらいか？
計算量理論
圏論
型理論
言語理論
アルゴリズム論
これくらいか？
10 ：１３２人目の素数さん：04/12/04 12:50:11
ばか？
理論計算機科学は
計算モデル、言語系
アルゴリズム、計算量系
の2つに大別されるんだよ。
理論計算機科学は
計算モデル、言語系
アルゴリズム、計算量系
の2つに大別されるんだよ。
11 ：１３２人目の素数さん：04/12/04 17:49:33
漏れも昔数学板に理論計算機のスレ立てたけど，全然盛り上がんなかった．
12 ：１３２人目の素数さん：04/12/04 18:02:31
ｗ
13 ：１３２人目の素数さん：04/12/04 21:54:07
いわゆる数学科の人は計算機について無知なんだよ完全に。
だからその理論的というか論理的な理論についてもかんしんがむかないんだよｗ
だからその理論的というか論理的な理論についてもかんしんがむかないんだよｗ
14 ：１３２人目の素数さん：04/12/05 12:24:13
じゃ新しい計算系でもつくれよλにまけないようなやつ
15 ：１３２人目の素数さん：04/12/05 13:41:56
チャーチがアメリカ人じゃなかったら、
λなんてこれほど有名にはならなかったかもよ。
λなんてこれほど有名にはならなかったかもよ。
16 ：１３２人目の素数さん：04/12/06 18:44:54
λなんてなにがおもしろいのかわからん。
17 ：BlackLightOfStar ◆ifsBJ/KedU ：04/12/06 19:15:45
Re:>16 君はfunctionを使ったことはあるか？
18 ：１３２人目の素数さん：04/12/06 19:57:52
関数を使ったことなんてそういえばないなＷ
関数ってか写像のいろんな性質を示そうとしたことはあるけどさ。
関数ってか写像のいろんな性質を示そうとしたことはあるけどさ。
19 ：１３２人目の素数さん：04/12/07 04:42:20
これからはDNA計算だろ？
標準的な定式化ってあるの？Λみたいに。
標準的な定式化ってあるの？Λみたいに。
20 ：１３２人目の素数さん：04/12/07 05:34:04
>>19
萩谷先生がいろいろやってるよね
萩谷先生がいろいろやってるよね
21 ：１３２人目の素数さん：04/12/08 08:36:06
ｼﾗね
22 ：NP=P 証明したよ：04/12/09 01:22:47
ｐクラス
DTMでO(x^n）
NPクラス
NTMでO(x^n) = DTMでO(2^(x^n))
よって、x^n = 2^(x^n') を満たす n, n' が存在すればいい、これは明らかに存在する。
実際logをとって
nlog(x) = (x^n') log2
よって、n=(x^n')log2/log(x) とすればいい。
よって、P=NP
DTMでO(x^n）
NPクラス
NTMでO(x^n) = DTMでO(2^(x^n))
よって、x^n = 2^(x^n') を満たす n, n' が存在すればいい、これは明らかに存在する。
実際logをとって
nlog(x) = (x^n') log2
よって、n=(x^n')log2/log(x) とすればいい。
よって、P=NP
23 ：１３２人目の素数さん：04/12/09 23:06:40
あたまわるいんだねｗ
24 ：計算太郎：04/12/10 00:51:45
なんかいい計算機あるか？
25 ：１３２人目の素数さん：04/12/10 00:57:15
ゲーデル賞・ネバリンナ賞取れそうな日本人研究者はいる？？
26 ：１３２人目の素数さん：04/12/10 01:12:14
NPとけばｹﾞｰ∂は確実。
日本人がんばれ！
日本人がんばれ！
27 ：１３２人目の素数さん：04/12/10 02:01:07
>>25
T田先生(電通大卒、日大教授）、ゲーデル賞とったじゃん。
T田先生(電通大卒、日大教授）、ゲーデル賞とったじゃん。
28 ：１３２人目の素数さん：04/12/10 09:55:12
よくやったよ。
29 ：１３２人目の素数さん：04/12/10 10:35:10
>>27
え、いまだに日大教授なの？！
え、いまだに日大教授なの？！
30 ：１３２人目の素数さん：04/12/10 23:19:19
とりそうな人ｷボン
31 ：１３２人目の素数さん：04/12/11 17:42:45
こういう賞って、受賞分野って、アルゴリズム理論や計算量理論、ばっかりで、
言語系（項書換、型理論、圏論、証明論、etc）の研究ではもらえないのかな？
言語系（項書換、型理論、圏論、証明論、etc）の研究ではもらえないのかな？
32 ：１３２人目の素数さん：04/12/11 18:05:21
ラプラスの魔が存在しない限り計算は出来ない
33 ：１３２人目の素数さん：04/12/11 23:38:01
>>31
言語系は当分の間は金にもならないだろうし、無理じゃないの？
言語系は当分の間は金にもならないだろうし、無理じゃないの？
34 ：１３２人目の素数さん：04/12/12 06:41:32
>>23 何処が間違ってるか指摘しろよ。
35 ：１３２人目の素数さん：04/12/12 12:13:53
latticeの入門書おしえて。
日本語か英語でも篤くないやつ。
そうきゅうに、レポートかけない。
こういうのって計算の人とくいでしょ。
だから早く。
日本語か英語でも篤くないやつ。
そうきゅうに、レポートかけない。
こういうのって計算の人とくいでしょ。
だから早く。
36 ：伊丹公理：04/12/12 12:25:42
>lattice
格子?
束?
格子?
束?
37 ：１３２人目の素数さん：04/12/12 12:55:15
（人から借りた、こぴった）講義ノーと見る限り
束なんて言葉はないけど格子って単語はあるのでそっちだとおもいまふ。
（ってか格子ってやくすんだｗ）
だから早くお願い、あまりこんなレポートに時間かけれないんだから、
早く手っ取り早くパぱっとわかる（判ったきになるやつでも、もういいよ）
おねがい。
束なんて言葉はないけど格子って単語はあるのでそっちだとおもいまふ。
（ってか格子ってやくすんだｗ）
だから早くお願い、あまりこんなレポートに時間かけれないんだから、
早く手っ取り早くパぱっとわかる（判ったきになるやつでも、もういいよ）
おねがい。
38 ：伊丹公理：04/12/12 13:36:12
39 ：１３２人目の素数さん：04/12/12 13:44:10
束と格子って違うもの、同じもの？
同じものならそっちみてみる。
この人のノート字汚いし図はﾜｹﾜｶﾒだし意味不明すぎるから...
（借りといて、文句言うのも気が引けますが・・・）
あああああ”−−−−−
格子の簡単な入門資料とかweb上にころがってない？
同じものならそっちみてみる。
この人のノート字汚いし図はﾜｹﾜｶﾒだし意味不明すぎるから...
（借りといて、文句言うのも気が引けますが・・・）
あああああ”−−−−−
格子の簡単な入門資料とかweb上にころがってない？
40 ：１３２人目の素数さん：04/12/12 13:45:57
41 ：１３２人目の素数さん：04/12/12 13:57:16
>>40 thk とりあえずのイメージができまひた。
でもなんで
a_1*v_1 + .... + a_n*v_n
で（v_1...v_n） が一時独立じゃないといけないの？
v_1は係数成分って感じだから一次独立じゃなくてもいいじゃん？
それともラティスってそんなイメージじゃないの？
でもなんで
a_1*v_1 + .... + a_n*v_n
で（v_1...v_n） が一時独立じゃないといけないの？
v_1は係数成分って感じだから一次独立じゃなくてもいいじゃん？
それともラティスってそんなイメージじゃないの？
42 ：１３２人目の素数さん：04/12/12 14:04:27
43 ：１３２人目の素数さん：04/12/12 14:14:17
とりあえず、
B. A. Davey & H. A. Priestley, _Introduction to Lattices and
Order_ (Cambridge U. P., 2002)
ゲットして、これネタ本にして、レポートまとめてみまふ。
B. A. Davey & H. A. Priestley, _Introduction to Lattices and
Order_ (Cambridge U. P., 2002)
ゲットして、これネタ本にして、レポートまとめてみまふ。
44 ：１３２人目の素数さん：04/12/12 14:58:12
結局幾何のほうのlatticeだったわけね。
45 ：１３２人目の素数さん：04/12/12 17:40:11
46 ：１３２人目の素数さん：04/12/12 22:52:19
代数束なら岩村つらねとかどうなの
物理・微分幾何のラティスはしらん
物理・微分幾何のラティスはしらん
47 ：１３２人目の素数さん：04/12/13 02:25:54
48 ：１３２人目の素数さん：04/12/13 02:32:45
49 ：１３２人目の素数さん：04/12/13 06:54:19
50 ：１３２人目の素数さん：04/12/13 08:27:54
全然違うだろ
ニーズとか企業とかまったく関係ないところで
役に立つか立たないかわからない研究する分野
ニーズとか企業とかまったく関係ないところで
役に立つか立たないかわからない研究する分野
51 ：１３２人目の素数さん：04/12/13 08:50:31
>>49
一般の計算機科学は、そういう面が多いかもしれないけど、
理論計算機科学は違うでしょ。
ネバリンナ賞もゲーデル賞も評価するのは数学者や
それに近い理論計算機科学者だから。
たとえば、P=NP?問題が解決したところで、
市場や企業には全く関係ないけれど、
賞をもらえるのは間違いない。
一般の計算機科学は、そういう面が多いかもしれないけど、
理論計算機科学は違うでしょ。
ネバリンナ賞もゲーデル賞も評価するのは数学者や
それに近い理論計算機科学者だから。
たとえば、P=NP?問題が解決したところで、
市場や企業には全く関係ないけれど、
賞をもらえるのは間違いない。
52 ：１３２人目の素数さん：04/12/14 11:33:31
一般の物理学も企業の顔色みながら材料開発してますがｗ
53 ：１３２人目の素数さん：04/12/14 11:39:18
一般の数学も企業の顔色伺いながら、
役に立ってるって主張してますがｗ
役に立ってるって主張してますがｗ
54 ：１３２人目の素数さん：04/12/14 11:58:01
55 ：１３２人目の素数さん：04/12/15 01:20:03
こんなに盛り上がってるのに...
56 ：１３２人目の素数さん：04/12/16 00:16:36
どこがどうもりあがってんだよ。
57 ：１３２人目の素数さん：04/12/18 02:12:08
将来の数学者がきますたよ。
おれもついにパソコン買いたいんだけど、
理論計算機やってる人のお勧めは何？
これもってればセンスいいってやつ。
おれもついにパソコン買いたいんだけど、
理論計算機やってる人のお勧めは何？
これもってればセンスいいってやつ。
58 ：１３２人目の素数さん：04/12/18 02:29:23
じゃあ論理回路ができるだけ原始的なブーリアンサーキットで
時間計算量/領域計算量が
できるだけ正確に計算できそうなのを選べ
OSはPrologとかLisp使って自分で組め
プログラミング言語から作るとなおbetter。
どうしても無理ならWindowsやMacよりもUnix
（Cygwin使うとか却下ね）
時間計算量/領域計算量が
できるだけ正確に計算できそうなのを選べ
OSはPrologとかLisp使って自分で組め
プログラミング言語から作るとなおbetter。
どうしても無理ならWindowsやMacよりもUnix
（Cygwin使うとか却下ね）
59 ：１３２人目の素数さん：04/12/18 02:48:27
60 ：１３２人目の素数さん：04/12/18 02:58:14
計算機科学もだけど数学もねｗｗｗｗｗｗｗｗｗｗｗｗ
まあ数学に関して国家公務員試験レベルの知識しかない官僚をだますわけだが
まあ数学に関して国家公務員試験レベルの知識しかない官僚をだますわけだが
61 ：１３２人目の素数さん：04/12/18 05:09:03
将来の数学者がまた来ますたよ。
って、マジレスおねがい。
これもってればセンスいいってやつ。
って、マジレスおねがい。
これもってればセンスいいってやつ。
62 ：１３２人目の素数さん：04/12/18 05:56:48
マジレスだけど、スレ違い
理論計算機科学は紙と鉛筆の学問
理論計算機科学は紙と鉛筆の学問
63 ：１３２人目の素数さん：04/12/18 06:05:32
将来の数学者がまたまた来ますたよ。
そんなことはわかってるよ。
でも数学者よりはパソコンに詳しいだろ？
だから聞いてんだよ！
そんなことはわかってるよ。
でも数学者よりはパソコンに詳しいだろ？
だから聞いてんだよ！
64 ：１３２人目の素数さん：04/12/18 06:14:39
> でも数学者よりはパソコンに詳しいだろ？
ワラタ。
数学者も理論計算機科学者も「パソコン」に詳しい人はあまりいないだろうよ。
プログラマ板とかそういう板行って訊いたほうがいいぞ。
ワラタ。
数学者も理論計算機科学者も「パソコン」に詳しい人はあまりいないだろうよ。
プログラマ板とかそういう板行って訊いたほうがいいぞ。
65 ：１３２人目の素数さん：04/12/18 06:23:04
ひとそれぞれ、数学やっててもやけに詳しい人いるし
計算機やっててもまるで詳しくない人いるし。
でも詳しい方がラボでは重宝がられるよ。
計算機やっててもまるで詳しくない人いるし。
でも詳しい方がラボでは重宝がられるよ。
66 ：１３２人目の素数さん：04/12/18 06:51:41
えっと、数学者でPCに詳しそうな人といえばTeXの仕事やってる人とかかな
計算機科学者には詳しい人も多いだろう。詳しくない人もいるだろうが。
ただ、一般的に数学とPCは、経済学とPCと同じくらいに関係ありません。
数学者はよく、コンピューター音痴が理系で一番多いのは数学科だという。
計算機科学者には詳しい人も多いだろう。詳しくない人もいるだろうが。
ただ、一般的に数学とPCは、経済学とPCと同じくらいに関係ありません。
数学者はよく、コンピューター音痴が理系で一番多いのは数学科だという。
67 ：１３２人目の素数さん：04/12/18 09:58:50
計算機科学と実際のコンピュータは
天文学と望遠鏡以上に関係ない
っていうファインマンの言葉思い出すなｗ
天文学と望遠鏡以上に関係ない
っていうファインマンの言葉思い出すなｗ
68 ：１３２人目の素数さん：04/12/18 11:18:39
69 ：１３２人目の素数さん：04/12/18 11:34:14
スピノザがレンズを磨いてた話は有名だが、
当時は光学的な技術は最先端のハイテクだったりして・・・
当時は光学的な技術は最先端のハイテクだったりして・・・
70 ：１３２人目の素数さん：04/12/18 19:43:37
理論物理でも理論天文でも同じだと思うけど、
実際の実験とか観測とか軽視したら理論もヘッタくれもないよ。
そう意味で理論計算機やってる人はもっと実際の計算機に詳しくてもいいと思う。
実験物理とかの人のほうが詳しいくらいだとおもうのだけれども。
実際の実験とか観測とか軽視したら理論もヘッタくれもないよ。
そう意味で理論計算機やってる人はもっと実際の計算機に詳しくてもいいと思う。
実験物理とかの人のほうが詳しいくらいだとおもうのだけれども。
71 ：１３２人目の素数さん：04/12/18 20:36:05
計算機の場合はまず実装があって、理論が進んだんじゃない。
まず理論的な計算機があって、実装が生まれたんだよ。
だから理論が先行することは伝統的によくあることだし、べつに
おかしなことじゃない。
そもそも仮想的なものを扱っているので理論先行でも、理論だけでもまったく問題なし。
その点、つまるところは実験結果や観測結果との整合性が要求される理論物理とかとはちがう。
まず理論的な計算機があって、実装が生まれたんだよ。
だから理論が先行することは伝統的によくあることだし、べつに
おかしなことじゃない。
そもそも仮想的なものを扱っているので理論先行でも、理論だけでもまったく問題なし。
その点、つまるところは実験結果や観測結果との整合性が要求される理論物理とかとはちがう。
72 ：１３２人目の素数さん：04/12/18 23:21:55
将来の数学者がまたまたまた来ますたよ。
だ〜か〜ら〜、
計算機科学者が好むパソコンってのを知りたいの？
プログラマじゃなくってさ。
そっちの方が数学者としてはセンスよさそうジャン。
だ〜か〜ら〜、
計算機科学者が好むパソコンってのを知りたいの？
プログラマじゃなくってさ。
そっちの方が数学者としてはセンスよさそうジャン。
73 ：１３２人目の素数さん：04/12/18 23:40:15
ノートＰＣは Let's Note が多いかな．
俺も愛用しているが結構研究者向けかも知れん．
俺も愛用しているが結構研究者向けかも知れん．
74 ：１３２人目の素数さん：04/12/19 01:18:45
将来税金で飯食うつもりが少しでもあるなら、
国産品カット毛
国産品カット毛
75 ：１３２人目の素数さん：04/12/19 01:42:17
ノートならTOSHIBAだろ？
76 ：１３２人目の素数さん：04/12/19 09:46:35
愛用品なんて人それぞれだろ
動けばいいって人もいるし、異常に拘る奴もいるし
俺はショップブランド品だぜ
動けばいいって人もいるし、異常に拘る奴もいるし
俺はショップブランド品だぜ
77 ：１３２人目の素数さん：04/12/19 09:49:54
ノーベル賞狙うならKOSHIBA
78 ：１３２人目の素数さん：04/12/19 11:51:21
おめーら馬鹿か？
Think Pad に決まってんだろ
もってねーけど
Think Pad に決まってんだろ
もってねーけど
79 ：１３２人目の素数さん：04/12/24 03:34:59
言語系は当分の間は金にもならないだろうし、無理じゃないの？
80 ：１３２人目の素数さん：04/12/24 03:50:27
真似したり、関係の無い事言ったり、適当な事書いたり、無茶苦茶書くな
荒らしは
〜〜〜終了〜〜〜
ageるな馬鹿タレ
お前が数学出来ないのはわかるが八つ当たりするな
荒らしは
〜〜〜終了〜〜〜
ageるな馬鹿タレ
お前が数学出来ないのはわかるが八つ当たりするな
81 ：１３２人目の素数さん：04/12/25 05:15:47
言語系はなんでもありだからな、ま、そこがｲｲとこでもあるんだろうがｗ
82 ：１３２人目の素数さん：04/12/25 15:13:39
言語系＝ハッタリ
83 ：１３２人目の素数さん：04/12/25 15:15:22
何処に行っても論理アンチがいるなｗ
84 ：１３２人目の素数さん：04/12/25 18:25:14
>>1 がいってることが理論計算機科学のテーゼなの？
85 ：１３２人目の素数さん：04/12/25 19:14:05
>>84
wolframのテーゼ
wolframのテーゼ
86 ：１３２人目の素数さん：04/12/29 05:43:08
87 ：１３２人目の素数さん：04/12/31 07:25:22
88 ：韋駄天はふと考えた：04/12/31 11:13:28
>>1に偉そうな人がいそうなスレなので、さっそく質問しますね
この質問はアインシュタインかノーベル学者達に質問したかった項目ですが
彼らも東大教授や他の教授達と同じく知ったかぶりな奴らなので多分答えられないでしょう
質問１：分子と分子とか原子と電子はどういう仕組みで結合したり分離したりしているのですか？
質問２：化学教科書によると分子・電子間には一定の決まったスペース(距離)がありますが、
そのスペースを一定にしている力は何ですか？
質問３：スペースを一定にしている力が引力だとすれば、外部から引力より強い力を与え続ければ
物質を形成しているはずの分子や電子の結合はバラバラになるのでは？
質問４：化学方程式ではいったん分離した分子や電子が、別の力を加えると元の一定のスペースが
ある状態に戻れる仕組みは何ですか？
分離していった電子が元々いた場所に寸分の狂いもなく正確に戻って収まる仕組みを教えてください
質問５：化学では原子の周りを電子が回っていると説明していますが、原子と電子との間の空間には
外部からの強い圧縮の力によって空間が狭まったり、電子の周回の動きが妨害されて電子の動きが
悪くなったりしないのですか？
質問６：化学方程式では原子、分子、電子の関係は常に規則的で一定であり、外部からの強い力を受けても
原子、分子、電子の関係が絶対に変形もしないし圧縮もされず、規則性は失われないと定められていますが、
その規則性を支えている力は何ですか？
質問７：電子は外部からの力によって自由に分離したり元の位置に戻れると、化学では定義していますが
一度分離して自由になった電子が、再び元の場所にピッタリと収まる仕組みを教科書では教えていませんね
一番大事な部分は無視しているのに、さも化学や化学方程式が正しいとする教授や科学者の根拠は何ですか？
後ですね、数学の歴史を教えてくださいな
数学の基本となっている数字という概念は、元々は数字は数を数えるためだけに生まれた概念でしょう？
数を数えるための概念の数字で、どうして力の大きさまで正確に測れる概念が出来上がるのでしょうか？
数学者や数学を学んでいる者はこの矛盾に気づいたりしてませんか？
私は数字が力の大きさを表す概念としては欠陥であることに気づきましたけどね
この質問はアインシュタインかノーベル学者達に質問したかった項目ですが
彼らも東大教授や他の教授達と同じく知ったかぶりな奴らなので多分答えられないでしょう
質問１：分子と分子とか原子と電子はどういう仕組みで結合したり分離したりしているのですか？
質問２：化学教科書によると分子・電子間には一定の決まったスペース(距離)がありますが、
そのスペースを一定にしている力は何ですか？
質問３：スペースを一定にしている力が引力だとすれば、外部から引力より強い力を与え続ければ
物質を形成しているはずの分子や電子の結合はバラバラになるのでは？
質問４：化学方程式ではいったん分離した分子や電子が、別の力を加えると元の一定のスペースが
ある状態に戻れる仕組みは何ですか？
分離していった電子が元々いた場所に寸分の狂いもなく正確に戻って収まる仕組みを教えてください
質問５：化学では原子の周りを電子が回っていると説明していますが、原子と電子との間の空間には
外部からの強い圧縮の力によって空間が狭まったり、電子の周回の動きが妨害されて電子の動きが
悪くなったりしないのですか？
質問６：化学方程式では原子、分子、電子の関係は常に規則的で一定であり、外部からの強い力を受けても
原子、分子、電子の関係が絶対に変形もしないし圧縮もされず、規則性は失われないと定められていますが、
その規則性を支えている力は何ですか？
質問７：電子は外部からの力によって自由に分離したり元の位置に戻れると、化学では定義していますが
一度分離して自由になった電子が、再び元の場所にピッタリと収まる仕組みを教科書では教えていませんね
一番大事な部分は無視しているのに、さも化学や化学方程式が正しいとする教授や科学者の根拠は何ですか？
後ですね、数学の歴史を教えてくださいな
数学の基本となっている数字という概念は、元々は数字は数を数えるためだけに生まれた概念でしょう？
数を数えるための概念の数字で、どうして力の大きさまで正確に測れる概念が出来上がるのでしょうか？
数学者や数学を学んでいる者はこの矛盾に気づいたりしてませんか？
私は数字が力の大きさを表す概念としては欠陥であることに気づきましたけどね
89 ：１３２人目の素数さん：04/12/31 11:23:48
＞韋駄天はふと考えた
自説を主張するなら他でやってくれ
自説を主張するなら他でやってくれ
90 ：韋駄天はふと考えた：04/12/31 11:34:51
91 ：韋駄天はふと考えた：04/12/31 11:35:38
数字というのは数を数える概念として生まれたので、数を数えるのに使う分には
何も矛盾や欠陥が生じないが、力の大きさを数字で表そうとすると、そこに
矛盾や欠陥が生じている
そのことに気づきました？おたくら
凡人たちが天才だと言うアインシュタインだってそのことに気づかずに、数字を使って
宇宙を必死に表現しようとしてましたね
アインシュタインも私から見れば凡人だということですよ
何も矛盾や欠陥が生じないが、力の大きさを数字で表そうとすると、そこに
矛盾や欠陥が生じている
そのことに気づきました？おたくら
凡人たちが天才だと言うアインシュタインだってそのことに気づかずに、数字を使って
宇宙を必死に表現しようとしてましたね
アインシュタインも私から見れば凡人だということですよ
92 ：１３２人目の素数さん：04/12/31 11:42:09
板違い早く消えろ
93 ：韋駄天はふと考えた：04/12/31 11:47:05
94 ：１３２人目の素数さん：05/01/01 02:04:53
この宇宙は巨大な計算機なんだよ。
95 ：１３２人目の素数さん：05/01/01 02:50:05
この宇宙は巨大な計算機として「も」見ることができる
96 ：１３２人目の素数さん：05/01/01 02:53:06
全ての物質は波動であり粒子なんだよ
97 ：１３２人目の素数さん：05/01/01 03:24:12
この宇宙こそ計算機そのものなんだよ。
98 ：１３２人目の素数さん：05/01/01 03:26:38
ばかがいるよ。
99 ：１３２人目の素数さん：05/01/01 03:32:59
>>88
> 数学の基本となっている数字という概念は、元々は数字は数を数えるためだけに生まれた概念でしょう？
「ため」に生まれたけど、「ためだけ」に生まれたなんてのは君のでっちあげ。
> 数を数えるための概念の数字で、どうして力の大きさまで正確に測れる概念が出来上がるのでしょうか？
数を使えば「大きさ」というものも表せるからですよ。
>>91
どんな矛盾や欠陥が生じているの？
そう訊かれても説明できないんでしょ？
> 数学の基本となっている数字という概念は、元々は数字は数を数えるためだけに生まれた概念でしょう？
「ため」に生まれたけど、「ためだけ」に生まれたなんてのは君のでっちあげ。
> 数を数えるための概念の数字で、どうして力の大きさまで正確に測れる概念が出来上がるのでしょうか？
数を使えば「大きさ」というものも表せるからですよ。
>>91
どんな矛盾や欠陥が生じているの？
そう訊かれても説明できないんでしょ？
100 ：韋駄天はふと考えた：05/01/01 09:52:11
101 ：１３２人目の素数さん：05/01/01 11:05:25
102 ：１３２人目の素数さん：05/01/18 14:51:29
>>29
そうなんだよ、もったいない話だ。
（T田先生にとってじゃなくて、日本にとって）
研究者志望の学生がより多い大学にいけば、将来有望な若手研究者
らにとって有益なのに。日本の人事システムは腐っている。
そうなんだよ、もったいない話だ。
（T田先生にとってじゃなくて、日本にとって）
研究者志望の学生がより多い大学にいけば、将来有望な若手研究者
らにとって有益なのに。日本の人事システムは腐っている。
103 ：１３２人目の素数さん：05/01/31 19:48:14
ずーと日大できたの？
だったらむずかしいね、どっかの宮廷で関係のあるポスト自体が増えないと
でも、たぶんに東京からははなれたくないだろうから・・・
だったらむずかしいね、どっかの宮廷で関係のあるポスト自体が増えないと
でも、たぶんに東京からははなれたくないだろうから・・・
104 ：１３２人目の素数さん：05/02/01 20:09:19
おい。てすと。てすfajka
んで、もう一回テス
テス
んで、もう一回テス
テス
105 ：１３２人目の素数さん：05/02/01 21:32:45
物質は作用素です
106 ：１３２人目の素数さん：05/02/01 21:39:28
物質は無限次元です
107 ：１３２人目の素数さん：05/02/11 22:38:34
物質は値です
108 ：１３２人目の素数さん：05/02/11 22:45:07
物質はとまらない計算です。
109 ：１３２人目の素数さん：05/02/12 16:39:18
意味不明ｗ
110 ：１３２人目の素数さん：05/02/12 22:46:24
組み合わせ理論って計算機科学にはいるの？
111 ：１３２人目の素数さん：05/02/12 23:56:56
計算機科学＝集合論＋代数学＋整数論＋位相幾何学＋統計学
112 ：１３２人目の素数さん：05/02/13 01:01:50
113 ：１３２人目の素数さん：05/02/13 05:44:11
代数だろ？
114 ：１３２人目の素数さん：05/02/14 02:00:33
確率論は？
115 ：１３２人目の素数さん：05/02/14 07:48:17
基礎論は？
116 ：１３２人目の素数さん：05/02/14 10:02:22
確率論∈統計学
基礎論∈集合論
基礎論∈集合論
117 ：１３２人目の素数さん：05/02/15 10:56:45
計算機科学悲惨だな
118 ：１３２人目の素数さん：05/02/15 11:29:34
計算機科学的な考え方というのがわかってないやつが多すぎるんだよ。
119 ：１３２人目の素数さん：05/02/15 11:40:36
オートマトンは代数的に記述されるのが一般的だけど
それは代数ではない。
物体の運動が微分方程式で記述されるからといって、
それが解析学でないのと同様。
ある種の計算現象をオートマトンという代数的なモデルを
使って考察しているということだから。
それは代数ではない。
物体の運動が微分方程式で記述されるからといって、
それが解析学でないのと同様。
ある種の計算現象をオートマトンという代数的なモデルを
使って考察しているということだから。
120 ：１３２人目の素数さん：05/02/19 12:20:00
797
121 ：１３２人目の素数さん：05/02/19 17:04:23
なんか量子計算のほんよんでたら、自然科学は世界の法則を調べるだけだが、
計算機科学は世界を作り出すみたいなことが書いてありました。
どゆこと？
計算機科学は世界を作り出すみたいなことが書いてありました。
どゆこと？
122 ：１３２人目の素数さん：05/02/27 03:07:59
理論計算機専門のひとが集まる板ってどこなんですか？ここ？
123 ：１３２人目の素数さん：05/02/27 05:05:18
124 ：１３２人目の素数さん：05/03/09 03:46:47
375
125 ：１３２人目の素数さん：05/03/09 12:55:26
俺は実験家なので、計算幾何学ようわからんので
教えてほしいんですが、
２Dモンテカルロでホッピングのシミュレーションを
やれたらええなあと思ってます。
そこら辺に転がっているPEN４マシンでもそういうのが
できるようなモンテカルトソフトちゅーのはありませんか？
教えてほしいんですが、
２Dモンテカルロでホッピングのシミュレーションを
やれたらええなあと思ってます。
そこら辺に転がっているPEN４マシンでもそういうのが
できるようなモンテカルトソフトちゅーのはありませんか？
126 ：１３２人目の素数さん：05/03/09 13:01:14
127 ：１３２人目の素数さん：05/03/09 13:06:56
モノイドの例
加法のみを演算とする自然数（０を含む）
加法のみを演算とする自然数（０を含む）
128 ：１３２人目の素数さん：05/03/09 13:10:39
129 ：１３２人目の素数さん：05/03/09 14:06:27
sorry. An experimentalist cannot understand
even the Fourier transform.
even the Fourier transform.
130 ：１３２人目の素数さん：05/03/19 13:47:42
690
131 ：１３２人目の素数さん：05/03/19 16:44:31
Computer 計算する時空 量子情報科学 Black Hole
http://science3.2ch.net/test/read.cgi/sci/1106309663/
計算する時空 量子情報科学から見た宇宙
最新の量子情報理論によれば，半導体のチップだけでなく，あらゆる物体が計算している。
石ころも，人間も，水爆も，宇宙も──。
物体はそれ自身を構成する基本粒子の位置と速度によって情報を記録し，
粒子が相互作用するたびにその情報を書き変える。時間がたつにつれて物体が変化するというのは，
その物体が自らの構造を計算するプロセスだ。物体は何でもコンピューターなのだ。
http://www.nikkei-bookdirect.com/science/page/magazine/0502/space.html
http://www.nikkei-bookdirect.com/science/page/magazine/0502/space.html#writer
http://www.nikkei-bookdirect.com/science/item.php?did=55502
33 名前：ご冗談でしょう？名無しさん[sage] 投稿日：05/02/07 01:28:10 ID:???
・宇宙のエネルギー密度：1m^3あたり10^-9ジュール
・宇宙全体のエネルギー：10^72ジュール
・宇宙（全エネルギー）の演算速度：毎秒10^106回
・宇宙が存在している間に実行できた演算回数の合計：10^123回
・マーゴラス・レヴィティンの定理
http://science3.2ch.net/test/read.cgi/sci/1106309663/
計算する時空 量子情報科学から見た宇宙
最新の量子情報理論によれば，半導体のチップだけでなく，あらゆる物体が計算している。
石ころも，人間も，水爆も，宇宙も──。
物体はそれ自身を構成する基本粒子の位置と速度によって情報を記録し，
粒子が相互作用するたびにその情報を書き変える。時間がたつにつれて物体が変化するというのは，
その物体が自らの構造を計算するプロセスだ。物体は何でもコンピューターなのだ。
http://www.nikkei-bookdirect.com/science/page/magazine/0502/space.html
http://www.nikkei-bookdirect.com/science/page/magazine/0502/space.html#writer
http://www.nikkei-bookdirect.com/science/item.php?did=55502
33 名前：ご冗談でしょう？名無しさん[sage] 投稿日：05/02/07 01:28:10 ID:???
・宇宙のエネルギー密度：1m^3あたり10^-9ジュール
・宇宙全体のエネルギー：10^72ジュール
・宇宙（全エネルギー）の演算速度：毎秒10^106回
・宇宙が存在している間に実行できた演算回数の合計：10^123回
・マーゴラス・レヴィティンの定理
132 ：１３２人目の素数さん：2005/03/31(木) 23:39:00
351
133 ：１３２人目の素数さん：2005/04/17(日) 11:32:46
173
134 ：１３２人目の素数さん：2005/05/05(木) 09:46:22
650
135 ：１３２人目の素数さん：2005/05/22(日) 06:30:19
722
136 ：１３２人目の素数さん：2005/06/20(月) 19:35:09
653
137 ：１３２人目の素数さん：2005/06/21(火) 15:20:15
まったくの専門外なんだけど
「領域理論」とか「領域方程式」とか言うときの「領域」ってなんなの？
「領域理論」とか「領域方程式」とか言うときの「領域」ってなんなの？
138 ：１３２人目の素数さん：2005/06/22(水) 00:05:55
139 ：１３２人目の素数さん：2005/06/26(日) 01:43:52
complete partial order set とどう違うの？
140 ：１３２人目の素数さん：2005/06/26(日) 06:43:25
微妙に違うだろ
141 ：１３２人目の素数さん：2005/06/26(日) 12:43:37
Id: #b20050626113652 (reply, thread)
Date: Sun Jun 26 11:36:52 2005
Name: 夫馬
Subject: 鴨さんの研究会議（情報提供）
夫馬です。
鴨さんが研究会議を開催します。
CCA 2005：第2回 解析学における計算可能性と計算複雑度に関する国際会議
http://www.i.h.kyoto-u.ac.jp/cca2005/jpn/
鴨さんが委員だなんて、この会議のレベルが知れますね〜。ｗｗｗ
------------
アホが委員の国際会議。
こんなことに税金が使われてるんだね。死ね！！！
Date: Sun Jun 26 11:36:52 2005
Name: 夫馬
Subject: 鴨さんの研究会議（情報提供）
夫馬です。
鴨さんが研究会議を開催します。
CCA 2005：第2回 解析学における計算可能性と計算複雑度に関する国際会議
http://www.i.h.kyoto-u.ac.jp/cca2005/jpn/
鴨さんが委員だなんて、この会議のレベルが知れますね〜。ｗｗｗ
------------
アホが委員の国際会議。
こんなことに税金が使われてるんだね。死ね！！！
142 ：１３２人目の素数さん：2005/06/26(日) 12:44:29
143 ：１３２人目の素数さん：2005/06/26(日) 12:44:55
圏論て役に立ちますか？
144 ：１３２人目の素数さん：2005/06/26(日) 12:48:55
>>143
鴨先生に訊きなさい！
鴨先生に訊きなさい！
145 ：１３２人目の素数さん：2005/06/26(日) 16:42:57
人を匿名でけなすなよ．
マジ最低だな．
マジ最低だな．
146 ：１３２人目の素数さん：2005/06/26(日) 17:32:50
数学板は個人叩きが多いね
147 ：１３２人目の素数さん：2005/06/26(日) 17:44:55
数名変なのが居るだけなんだろうけどね．
人の掲示板まで出張に行ったり，
物理学者にメール出したり（りゃ
人の掲示板まで出張に行ったり，
物理学者にメール出したり（りゃ
鴨先生って誰ですか？
149 ：１３２人目の素数さん：2005/06/26(日) 18:42:18
これだけレスがあればわかるはず．
150 ：１３２人目の素数さん：2005/07/16(土) 16:21:06
ﾏｸﾚﾝの圏論の本がやくされたね
151 ：１３２人目の素数さん：2005/08/05(金) 18:26:51
607
152 ：学部生(数学科)：2005/08/27(土) 06:34:12
パソコン苦手です。
どうしたらいいですか?
どうしたらいいですか?
153 ：１３２人目の素数さん：2005/08/27(土) 10:03:00
苦手って具体的にどういうことなのよ。
154 ：GiantLeaves ◆6fN.Sojv5w ：2005/08/27(土) 12:48:17
talk:>>152 画面を明るくしすぎないこと、同じ姿勢を長時間とりつづけないこと。
155 ：１３２人目の素数さん：2005/08/28(日) 00:02:00
ファインマンの本ってどうよ
156 ： ：2005/08/31(水) 07:27:01
>>155
我も未読なり。
我も未読なり。
157 ：１３２人目の素数さん：2005/09/09(金) 09:34:53
>>152
立派な論文書いて学者になってパソコンが得意な部下を持つ
立派な論文書いて学者になってパソコンが得意な部下を持つ
158 ：名無しさん＠そうだ選挙に行こう：2005/09/11(日) 22:28:05
159 ：１３２人目の素数さん：2005/09/16(金) 03:05:03
age
160 ：１３２人目の素数さん：2005/09/29(木) 15:39:30
302 ：１３２人目の素数さん ：2005/09/29(木) 15:16:20
>>301
ポモ的なのに叩かないのは、そういう理由だったんだね！
土建屋＝宇沢＝長谷川＝黒木 ← 隠れポモ野郎
禿藁＝Ｕ健爾 ← 隠れポモ野郎
あほ鴨＝中村 ← 隠れポモ野郎
303 ：１３２人目の素数さん ：2005/09/29(木) 15:26:53
>>302 >>295
こいつらって、結局
ポモと同じでしょ。
＞そして、別の場所で、極端なことを言っているのではないかと非難された場合には、
＞3 (a) に近い穏健だが当たり前の主張を述べて批判をかわします。
http://www.math.tohoku.ac.jp/~kuroki/FN/relativism.htm
>>301
ポモ的なのに叩かないのは、そういう理由だったんだね！
土建屋＝宇沢＝長谷川＝黒木 ← 隠れポモ野郎
禿藁＝Ｕ健爾 ← 隠れポモ野郎
あほ鴨＝中村 ← 隠れポモ野郎
303 ：１３２人目の素数さん ：2005/09/29(木) 15:26:53
>>302 >>295
こいつらって、結局
ポモと同じでしょ。
＞そして、別の場所で、極端なことを言っているのではないかと非難された場合には、
＞3 (a) に近い穏健だが当たり前の主張を述べて批判をかわします。
http://www.math.tohoku.ac.jp/~kuroki/FN/relativism.htm
161 ：１３２人目の素数さん：2005/10/26(水) 01:41:31
コンパイラを数学の教科書みたいに説明した本ない？
どの本もごちゃごちゃしていてよみにくい。
どの本もごちゃごちゃしていてよみにくい。
162 ：１３２人目の素数さん：2005/10/26(水) 14:26:30
そのごちゃごちゃ具合も計算機科学の対象だよ
なんて言ってみる
なんて言ってみる
163 ：１３２人目の素数さん：2005/10/27(木) 16:12:06
具体的な言語のコンパイラの実装だったらごちゃごちゃするのは当たり前。
164 ：１３２人目の素数さん：2005/11/18(金) 10:50:00
524
165 ：１３２人目の素数さん：2005/11/25(金) 20:03:10
京大の数理解析研究所のコンピュータ・サイエンス研究部門ってどうなの？
この分野の研究者になるなら、ここ出とけって感じ？
この分野の研究者になるなら、ここ出とけって感じ？
166 ：１３２人目の素数さん：2005/11/25(金) 21:17:51
計算機の勉強をしてたら、そもそも入れないわなｗ
167 ：１３２人目の素数さん：2005/11/25(金) 21:32:51
絶対値を表す記号・符号が
パソコンにないのはなぜだろう?
原点からの距離を表すのに
それが絶対値であることを表す縦棒数字縦棒はどうやって
造るのか教えて欲しい。
パソコンにないのはなぜだろう?
原点からの距離を表すのに
それが絶対値であることを表す縦棒数字縦棒はどうやって
造るのか教えて欲しい。
168 ：１３２人目の素数さん：2005/11/25(金) 21:33:24
|x|じゃダメなのか？
169 ：１３２人目の素数さん：2005/11/26(土) 01:39:41
んなこたーない。
基礎科目では解析や線形代数ができないとだめだけど、専門のほうでは
計算機科学の問題を選択して受験できるようになってる。
つっても、そんじょそこらの情報系大学院より難しいことに異論はない。
基礎科目では解析や線形代数ができないとだめだけど、専門のほうでは
計算機科学の問題を選択して受験できるようになってる。
つっても、そんじょそこらの情報系大学院より難しいことに異論はない。
170 ：１３２人目の素数さん：2005/11/26(土) 01:40:38
cosθ×√3≦sinθ
となるθの範囲を求めなさい。
ただし0度≦θ≦360度 とする。
どなたかぉ願いします。
となるθの範囲を求めなさい。
ただし0度≦θ≦360度 とする。
どなたかぉ願いします。
171 ：１３２人目の素数さん：2005/11/26(土) 12:17:19
172 ：１３２人目の素数さん：2005/11/29(火) 14:34:54
>>171
後のことって何よ？興味あるなら受けたらいいやん。
不安があったら面接の時とかに聞いたらいいし。
↓このHPは見た？
http://www.kurims.kyoto-u.ac.jp/~cs/
後のことって何よ？興味あるなら受けたらいいやん。
不安があったら面接の時とかに聞いたらいいし。
↓このHPは見た？
http://www.kurims.kyoto-u.ac.jp/~cs/
173 ：愛也：2005/11/29(火) 16:03:19
大学で電子・電気工学の勉強をしている者ですが分らない問題がありますので頭脳明晰な方、教えていただけないでしょうか？？＞＜
(1)
特定のデータを指定するにはアドレス信号を用いる。どれだけのアドレス信号が発行できるかはアドレスバスの本数による。
アドレスバスの本数が８本のときは( １ )個、１２本の時は( ２ )個のアドレスを発行する事ができる。
(2)
容量３２ＫＢのメモリがある、このメモリにバイト単位でアドレスをつけた場合（アドレス幅は８ビット）、全アドレスを指定するには、最低( ３ )本のアドレスバスが必要である。
同時に２５６ＭＢの場合は( ４ )本必要である。
上の問題をどなたかお時間がある方がいらっしゃれば教えていただけないでしょうかぁ？？
何卒よろしくお願い致します。
(1)
特定のデータを指定するにはアドレス信号を用いる。どれだけのアドレス信号が発行できるかはアドレスバスの本数による。
アドレスバスの本数が８本のときは( １ )個、１２本の時は( ２ )個のアドレスを発行する事ができる。
(2)
容量３２ＫＢのメモリがある、このメモリにバイト単位でアドレスをつけた場合（アドレス幅は８ビット）、全アドレスを指定するには、最低( ３ )本のアドレスバスが必要である。
同時に２５６ＭＢの場合は( ４ )本必要である。
上の問題をどなたかお時間がある方がいらっしゃれば教えていただけないでしょうかぁ？？
何卒よろしくお願い致します。
174 ：１３２人目の素数さん：2005/11/29(火) 17:22:05
175 ：１３２人目の素数さん：2005/11/29(火) 21:35:54
そういや、昔院生の時に交通事故にあった。
病院で「大学でコンピュータの理論をやっている」って言ったら、
医者に「ああ、二進数ね」とか言われた。
病院で「大学でコンピュータの理論をやっている」って言ったら、
医者に「ああ、二進数ね」とか言われた。
176 ：１３２人目の素数さん：2005/11/29(火) 21:44:19
>>171
二流私大とか、そんなこと気にしなくていいよ。
もし入れたらそれなりの見込みはあると思う。何事もやってみないとわかんないしね。
研究と勉強は別物というけれど、数研の院試に通るぐらい勉強で努力できたら、研究
の方でもがんばれる可能性はある。
京大内部では、情報学と数研の計算機分野を両方通ったら、数研を蹴飛ばすケースも
見うけられるが。
二流私大とか、そんなこと気にしなくていいよ。
もし入れたらそれなりの見込みはあると思う。何事もやってみないとわかんないしね。
研究と勉強は別物というけれど、数研の院試に通るぐらい勉強で努力できたら、研究
の方でもがんばれる可能性はある。
京大内部では、情報学と数研の計算機分野を両方通ったら、数研を蹴飛ばすケースも
見うけられるが。
177 ：１３２人目の素数さん：2005/11/29(火) 22:21:32
178 ：１３２人目の素数さん：2005/11/30(水) 05:44:06
179 ：愛也：2005/11/30(水) 14:56:32
１７７さん。
どうも解答ありがとうございました。
良ければ、どのように計算したかよければより詳しく教えていただけませんか？
特に2^15と2^28という数字はどのように出したのか分りません（；；）
馬鹿で申し訳ありません（＞＜）
どうも解答ありがとうございました。
良ければ、どのように計算したかよければより詳しく教えていただけませんか？
特に2^15と2^28という数字はどのように出したのか分りません（；；）
馬鹿で申し訳ありません（＞＜）
180 ：１３２人目の素数さん：2005/11/30(水) 20:23:08
情報学と数研の方向性が違うのは「情報学だから」とか「数研だから」じゃない。
どの分野の先生が在籍してるかが問題であって、情報学だから応用とかいうわけ
でもない。
数研に計算機分野というコースがあるわけではなく、単純に師事する先生なんか
が計算機分野を名乗ってるだけだったと思う。だから、授業は普通の数学修士の
分野で単位を取る必要があるはず。これがかなり大変だろうね。
どの分野の先生が在籍してるかが問題であって、情報学だから応用とかいうわけ
でもない。
数研に計算機分野というコースがあるわけではなく、単純に師事する先生なんか
が計算機分野を名乗ってるだけだったと思う。だから、授業は普通の数学修士の
分野で単位を取る必要があるはず。これがかなり大変だろうね。
181 ：171：2005/11/30(水) 21:10:57
皆さん、アドバイス有り難うございます。
ロンダした後に研究に付いていけない、という話をよくネット上で見るので、
かなり心配していたんですが、心配が少し減りました。
数学の単位を取らなければいけないという心配が増えましたが…。
ロンダした後に研究に付いていけない、という話をよくネット上で見るので、
かなり心配していたんですが、心配が少し減りました。
数学の単位を取らなければいけないという心配が増えましたが…。
182 ：１３２人目の素数さん：2005/12/02(金) 17:01:14
183 ：１３２人目の素数さん：2005/12/13(火) 22:55:27
この分野で、日本で一番すごい人って誰よ？
上のほうで出てたT田先生？
上のほうで出てたT田先生？
184 ：１３２人目の素数さん：2006/01/02(月) 02:53:46
852
185 ：１３２人目の素数さん：2006/01/10(火) 00:37:11
数学者と計算機科学者はどちらが偉いのでしょうか？
186 ：１３２人目の素数さん：2006/01/10(火) 01:36:32
役に立つ方
187 ：１３２人目の素数さん：2006/01/10(火) 02:40:48
数学者は計算機科学者なんて眼中にないだろ。
188 ：１３２人目の素数さん：2006/01/11(水) 21:02:33
>>186
やけに工学的な考え方だな
やけに工学的な考え方だな
189 ：１３２人目の素数さん：2006/01/12(木) 15:22:13
じゃあ役に立たない方
190 ：１３２人目の素数さん：2006/01/13(金) 00:15:10
やけに理学的な考え方だな
191 ：１３２人目の素数さん：2006/01/13(金) 08:31:04
じゃあ威張っている方
192 ：１３２人目の素数さん：2006/01/20(金) 05:11:20
すいません、スレがここしか見当たらなくて…
もし誰か出来る方いらっしゃったら
これ解いてもらえませんでしょうか（;´Д｀）
http://www.kurims.kyoto-u.ac.jp/~hassei/cs2005/problems.pdf
お願いします！
もし誰か出来る方いらっしゃったら
これ解いてもらえませんでしょうか（;´Д｀）
http://www.kurims.kyoto-u.ac.jp/~hassei/cs2005/problems.pdf
お願いします！
193 ：１３２人目の素数さん：2006/01/20(金) 07:35:25
数解研の学部向け授業ですね。
例年教科書読んでれば解けるレベルばかりだったと思うので
（今はもう解けないけど）、
自分で解けないなら単位は諦めましょう。
例年教科書読んでれば解けるレベルばかりだったと思うので
（今はもう解けないけど）、
自分で解けないなら単位は諦めましょう。
194 ：１３２人目の素数さん：2006/01/20(金) 09:50:32
昔より難しくなってるな・・・
と思ったら全学共通じゃなくて三回生向けの計算機の授業か
確かにそれならこれぐらい自分で解けって感じだ。
と思ったら全学共通じゃなくて三回生向けの計算機の授業か
確かにそれならこれぐらい自分で解けって感じだ。
195 ：１３２人目の素数さん：2006/01/23(月) 09:33:50
λ計算の基本的な問題ジャン。
196 ：１３２人目の素数さん：2006/01/24(火) 01:30:32
やっぱ長谷川センセは優しいね。
197 ：１３２人目の素数さん：2006/01/27(金) 08:48:28
ＩＢＭ科学賞記念上げ。
198 ：１３２人目の素数さん：2006/02/05(日) 07:12:11
772
199 ：１３２人目の素数さん：2006/03/02(木) 16:53:34
334
caltech
201 ：１３２人目の素数さん：2006/03/26(日) 13:38:33
202 ：１３２人目の素数さん：2006/04/15(土) 00:52:31
D
203 ：１３２人目の素数さん：2006/04/15(土) 01:34:51
age
204 ：１３２人目の素数さん：2006/04/15(土) 14:12:34
|226 名前： FOX ★ 投稿日： 04/11/11 03:17:08 ID:???
|保守する人は「くれくれ君」なんだな
|保守するまでも無く、自分で話題を振って
|それで他の人も書く込むならめでたしめでたしな訳で、
|
|他の人の面白い話題を待つ為に保守するなんて
|私は必要ないと思うな、
|
|２ちゃんねるの決まりにもあるように
|「他人から見て面白いことを書こう」ですから
|保守のレスみて誰が面白いと思うのか、
|保守する人は「くれくれ君」なんだな
|保守するまでも無く、自分で話題を振って
|それで他の人も書く込むならめでたしめでたしな訳で、
|
|他の人の面白い話題を待つ為に保守するなんて
|私は必要ないと思うな、
|
|２ちゃんねるの決まりにもあるように
|「他人から見て面白いことを書こう」ですから
|保守のレスみて誰が面白いと思うのか、
205 ：１３２人目の素数さん：2006/04/16(日) 02:08:12
言いたい事はコピペに頼らず自分の言葉を使いなさいな。カッコ悪い
206 ：１３２人目の素数さん：2006/05/13(土) 20:44:42
790
207 ：１３２人目の素数さん：2006/05/16(火) 04:37:49
すいません誰かこれの使い方教えてください
ttp://www.vcalc.net/curta_simulator_en.htm
ttp://www.vcalc.net/curta_simulator_en.htm
208 ：１３２人目の素数さん：2006/05/26(金) 14:13:34
123
209 ：１３２人目の素数さん：2006/05/28(日) 23:32:28
大好き
210 ：１３２人目の素数さん：2006/06/06(火) 03:43:07
age
211 ：１３２人目の素数さん：2006/06/06(火) 08:54:29
212 ：１３２人目の素数さん：2006/06/16(金) 01:50:34
448
213 ：１３２人目の素数さん：2006/06/25(日) 15:06:02
計算機に理論なんか要らん。体力あるのみだ。
214 ：１３２人目の素数さん：2006/06/27(火) 14:16:05
日本サッカーはフィジカルへぼすぎてだめだってね。
215 ：１３２人目の素数さん：2006/07/28(金) 16:31:51
573
216 ：１３２人目の素数さん：2006/08/22(火) 08:36:45
217 ：１３２人目の素数さん：2006/08/22(火) 16:47:39
ニュートン法
218 ：１３２人目の素数さん：2006/08/30(水) 17:17:41
952
219 ：１３２人目の素数さん：2006/10/03(火) 00:26:00
566
220 ：１３２人目の素数さん：2006/11/12(日) 23:49:22
143
221 ：１３２人目の素数さん：2006/11/14(火) 19:18:12
計算量理論のお勧めの入門書を教えて下さい。
222 ：１３２人目の素数さん：2006/11/14(火) 21:05:57
そりゃ、「計算理論の基礎」でしょ。
223 ：１３２人目の素数さん：2006/11/15(水) 01:52:45
Hopcroft and Ullman
224 ：１３２人目の素数さん：2006/12/04(月) 08:54:00
二年。
225 ：１３２人目の素数さん：2006/12/27(水) 12:33:02
698
226 ：１３２人目の素数さん：2007/02/05(月) 14:20:05
400
227 ：１３２人目の素数さん：2007/03/11(日) 16:54:16
128
228 ：１３２人目の素数さん：2007/03/11(日) 16:58:07
age
229 ：１３２人目の素数さん：2007/03/28(水) 17:40:32
・チューリングマシン
・万能チューリングマシン
・非決定性チューリングマシン
これらの違いを詳しく教えてほしいでつ。
おながいしまつ。
URLなんかもあったらキボンヌ。
・万能チューリングマシン
・非決定性チューリングマシン
これらの違いを詳しく教えてほしいでつ。
おながいしまつ。
URLなんかもあったらキボンヌ。
230 ：１３２人目の素数さん：2007/03/28(水) 18:40:40
231 ：１３２人目の素数さん：2007/03/28(水) 18:43:52
232 ：１３２人目の素数さん：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
チューリングマシンと非決定性チューリングマシンの違いは
遷移函数が一価か多価も許すかの違い。
ttp://en.wikipedia.org/wiki/Turing_machine
ttp://en.wikipedia.org/wiki/Non-deterministic_Turing_machine
チューリングマシンと非決定性チューリングマシンの違いは
遷移函数が一価か多価も許すかの違い。
233 ：１３２人目の素数さん：2007/03/28(水) 19:06:28
>>232
哀号!!!
英語が読めないニダ!!
>チューリングマシンと非決定性チューリングマシンの違いは
>遷移函数が一価か多価も許すかの違い。
というのは、
非決定性チューリングマシンの場合は同時に複数の状態に遷移することができるということ？
哀号!!!
英語が読めないニダ!!
>チューリングマシンと非決定性チューリングマシンの違いは
>遷移函数が一価か多価も許すかの違い。
というのは、
非決定性チューリングマシンの場合は同時に複数の状態に遷移することができるということ？
234 ：１３２人目の素数さん：2007/03/29(木) 07:55:12
age
235 ：１３２人目の素数さん：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
_,,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
236 ：１３２人目の素数さん：2007/03/31(土) 17:05:27
>>233
英語ぐらい読めないと困ると思うが。
英語ぐらい読めないと困ると思うが。
237 ：１３２人目の素数さん：2007/06/25(月) 09:37:51
109
238 ：１３２人目の素数さん：2007/08/31(金) 13:31:01
239 ：１３２人目の素数さん：2007/10/30(火) 09:25:48
126
240 ：１３２人目の素数さん：2007/11/15(木) 14:49:49
茫然
241 ：１３２人目の素数さん：2007/11/15(木) 14:51:56
壺、?然、?然 ?む
242 ：１３２人目の素数さん：2007/11/15(木) 14:52:51
なんで正字がダメなんだよバカ
243 ：１３２人目の素数さん：2007/11/17(土) 12:45:36
age
244 ：１３２人目の素数さん：2007/12/04(火) 21:54:00
三年十三時間。
245 ：１３２人目の素数さん：2008/03/07(金) 02:16:18
451
246 ：１３２人目の素数さん：2008/04/10(木) 11:20:40
232
247 ：１３２人目の素数さん：2008/04/11(金) 04:23:28
age
248 ：１３２人目の素数さん：2008/06/01(日) 10:37:00
602
249 ：１３２人目の素数さん：2008/06/01(日) 10:43:16
age
250 ：１３２人目の素数さん：2008/07/12(土) 00:33:41
251 ：１３２人目の素数さん：2008/08/29(金) 08:28:55
005
252 ：１３２人目の素数さん：2008/10/17(金) 08:17:44
752
253 ：１３２人目の素数さん：2008/11/19(水) 22:22:43
555
254 ：１３２人目の素数さん：2008/12/03(水) 17:00:35
889
255 ：１３２人目の素数さん：2008/12/04(木) 09:54:00
四年一時間。
256 ：１３２人目の素数さん：2009/01/11(日) 09:44:51
690
257 ：１３２人目の素数さん：2009/02/11(水) 15:21:02
King氏ね
258 ：KingGold ◆3waIkAJWrg ：2009/02/11(水) 16:18:21
Reply:>>257 お前に何がわかるというか。
259 ：１３２人目の素数さん：2009/04/25(土) 11:10:45
542
260 ：１３２人目の素数さん：2009/05/09(土) 02:19:18
●こんなところにもいるのか
261 ：１３２人目の素数さん：2009/05/09(土) 18:06:40
age
262 ：１３２人目の素数さん：2009/06/04(木) 20:29:41 BE:1406014496-2BP(1028)
>>131
２０年前にそれをレポ〜トに書いたら、助教授に超バカにされたｗ
２０年前にそれをレポ〜トに書いたら、助教授に超バカにされたｗ
263 ：１３２人目の素数さん：2009/07/10(金) 09:08:03
972
264 ：１３２人目の素数さん：2009/08/18(火) 11:16:21
969
265 ：１３２人目の素数さん：2009/10/04(日) 23:37:42
440
266 ：１３２人目の素数さん：2009/11/26(木) 22:38:09
質問です。項書き換え系理論に置いて、二つの項書き換え系が同型だとか部分系になってるとかいう理論はあるのでしょうか？
あるのであればその定義について記述している本、または文献を教えてもらえないでしょうか？
項書き換えに興味はあるのですが、近くにわかる人が少なくて困っているのです。助けていただければ幸いです。
あるのであればその定義について記述している本、または文献を教えてもらえないでしょうか？
項書き換えに興味はあるのですが、近くにわかる人が少なくて困っているのです。助けていただければ幸いです。
267 ：１３２人目の素数さん：2009/11/27(金) 15:02:43
268 ：１３２人目の素数さん：2010/01/17(日) 01:54:01
五年四十三日十七時間。
269 ：１３２人目の素数さん：2010/03/10(水) 05:47:01
407
270 ：１３２人目の素数さん：2010/03/27(土) 04:27:27
hage
271 ：１３２人目の素数さん：2010/06/27(日) 11:17:09
805
458