理論計算機科学スレ

理論計算機科学スレ at MATH

1:１３２人目の素数さん
04/12/04 08:54:00
ま、この宇宙の現象はすべて計算現象なんだけどね。
宇宙も、素粒子も、人間もみんな計算機なんだよ。

2:１３２人目の素数さん
04/12/04 08:56:25
ペニス

3:１３２人目の素数さん
04/12/04 08:58:36
>>1 が計算機なのは確定

4:関連スレ（適当だけど）
04/12/04 09:04:53
なぜ２ｃｈに「情報科学・工学板（仮）」がないのか
ｽﾚﾘﾝｸ(rikei板)l50

【論理】情報理工学総合スレッド【ｱﾝﾁ?】
ｽﾚﾘﾝｸ(rikei板)l50

人間も計算機の一種ですが,ﾏﾀﾞ何か文句あるの～？
ｽﾚﾘﾝｸ(philo板)

5:関連スレ（適当だけど）
04/12/04 09:06:46
P=NP問題について真面目に語るスレ
ｽﾚﾘﾝｸ(math板)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つに大別されるんだよ。

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

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田先生(電通大卒、日大教授）、ゲーデル賞とったじゃん。

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）の研究ではもらえないのかな？

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
格子に関する手ごろな参考書は殆どありません。
（英語なら分厚いのあるが）
束なら
ｽﾚﾘﾝｸ(math板)
参照

39:１３２人目の素数さん
04/12/12 13:44:10
束と格子って違うもの、同じもの？
同じものならそっちみてみる。

この人のノート字汚いし図はﾜｹﾜｶﾒだし意味不明すぎるから...
（借りといて、文句言うのも気が引けますが・・・）
あああああ”－－－－－
格子の簡単な入門資料とかweb上にころがってない？

40:１３２人目の素数さん
04/12/12 13:45:57
URLﾘﾝｸ(mathworld.wolfram.com)
こんなんはどうよ

41:１３２人目の素数さん
04/12/12 13:57:16
>>40 thk とりあえずのイメージができまひた。
でもなんで

a_1*v_1 + .... + a_n*v_n

で（v_1...v_n）が一時独立じゃないといけないの？
v_1は係数成分って感じだから一次独立じゃなくてもいいじゃん？

それともラティスってそんなイメージじゃないの？

42:１３２人目の素数さん
04/12/12 14:04:27
>>41 あ、そか。
わかった。

係数はa_i のほふだ！。　
てきとーなﾍﾞｸもってきてその整数倍のみの空間ってこほね。

43:１３２人目の素数さん
04/12/12 14:14:17
とりあえず、
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
>>33
数学者や理論計算機科学者が、金になるかならないか、
を問題にするとも思えない。。。

46:１３２人目の素数さん
04/12/12 22:52:19
代数束なら岩村つらねとかどうなの
物理・微分幾何のラティスはしらん

47:１３２人目の素数さん
04/12/13 02:25:54
>>46
岩村の本は古いし計算機科学向けっていうわけでもないしなあ．
やっぱIntroduction to lattices and ordersでよくないか？

48:１３２人目の素数さん
04/12/13 02:32:45
URLﾘﾝｸ(www.kyoritsu-pub.co.jp)

49:１３２人目の素数さん
04/12/13 06:54:19
>>45
計算機科学って、なんだかんだで市場のニーズひいては
企業の顔色を伺いながらやる分野なんじゃないの？
数学とは違うと思う。

50:１３２人目の素数さん
04/12/13 08:27:54
全然違うだろ
ニーズとか企業とかまったく関係ないところで
役に立つか立たないかわからない研究する分野

51:１３２人目の素数さん
04/12/13 08:50:31
>>49
一般の計算機科学は、そういう面が多いかもしれないけど、
理論計算機科学は違うでしょ。
ネバリンナ賞もゲーデル賞も評価するのは数学者や
それに近い理論計算機科学者だから。
たとえば、P=NP?問題が解決したところで、
市場や企業には全く関係ないけれど、
賞をもらえるのは間違いない。

52:１３２人目の素数さん
04/12/14 11:33:31
一般の物理学も企業の顔色みながら材料開発してますがｗ

53:１３２人目の素数さん
04/12/14 11:39:18
一般の数学も企業の顔色伺いながら、
役に立ってるって主張してますがｗ

54:１３２人目の素数さん
04/12/14 11:58:01
>>51
＞理論計算機科学は違うでしょ。
だから廃れたんだよね。

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使うとか却下ね）

59:１３２人目の素数さん
04/12/18 02:48:27
>>49
新しく、重要であるかのごとく見せかけ
企業や一般人を騙す、ってことのが実際は多い。

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と同じくらいに関係ありません。
数学者はよく、コンピューター音痴が理系で一番多いのは数学科だという。

67:１３２人目の素数さん
04/12/18 09:58:50
計算機科学と実際のコンピュータは
天文学と望遠鏡以上に関係ない
っていうファインマンの言葉思い出すなｗ

68:１３２人目の素数さん
04/12/18 11:18:39
>>67
でも昔の天文学者は自分で望遠鏡作ったり、
レンズ磨いてたりしたよな。つまり、ただ分業が
進んで関係なくなっただけで、元々は自分の作業範囲
だったってこと。

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 に決まってんだろ

もってねーけど

79:１３２人目の素数さん
04/12/24 03:34:59
言語系は当分の間は金にもならないだろうし、無理じゃないの？

80:１３２人目の素数さん
04/12/24 03:50:27
真似したり、関係の無い事言ったり、適当な事書いたり、無茶苦茶書くな　

荒らしは
　～～～終了～～～
　
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のテーゼ

86:１３２人目の素数さん
04/12/29 05:43:08
ｽﾚﾘﾝｸ(math板)
参照

87:１３２人目の素数さん
04/12/31 07:25:22
>>70
物理や天文学は研究の対象がよくわからないから実験や観測をする。
計算機科学の場合、今そこにあるコンピュータのことはよくわかってるので
いじってみてどうなるということはない。

88:韋駄天はふと考えた
04/12/31 11:13:28
>>1に偉そうな人がいそうなスレなので、さっそく質問しますね
この質問はアインシュタインかノーベル学者達に質問したかった項目ですが
彼らも東大教授や他の教授達と同じく知ったかぶりな奴らなので多分答えられないでしょう

質問１：分子と分子とか原子と電子はどういう仕組みで結合したり分離したりしているのですか？
質問２：化学教科書によると分子・電子間には一定の決まったスペース(距離)がありますが、
そのスペースを一定にしている力は何ですか？
質問３：スペースを一定にしている力が引力だとすれば、外部から引力より強い力を与え続ければ
物質を形成しているはずの分子や電子の結合はバラバラになるのでは？
質問４：化学方程式ではいったん分離した分子や電子が、別の力を加えると元の一定のスペースが
ある状態に戻れる仕組みは何ですか？
分離していった電子が元々いた場所に寸分の狂いもなく正確に戻って収まる仕組みを教えてください
質問５：化学では原子の周りを電子が回っていると説明していますが、原子と電子との間の空間には
外部からの強い圧縮の力によって空間が狭まったり、電子の周回の動きが妨害されて電子の動きが
悪くなったりしないのですか？
質問６：化学方程式では原子、分子、電子の関係は常に規則的で一定であり、外部からの強い力を受けても
原子、分子、電子の関係が絶対に変形もしないし圧縮もされず、規則性は失われないと定められていますが、
その規則性を支えている力は何ですか？
質問７：電子は外部からの力によって自由に分離したり元の位置に戻れると、化学では定義していますが
一度分離して自由になった電子が、再び元の場所にピッタリと収まる仕組みを教科書では教えていませんね
一番大事な部分は無視しているのに、さも化学や化学方程式が正しいとする教授や科学者の根拠は何ですか？

後ですね、数学の歴史を教えてくださいな
数学の基本となっている数字という概念は、元々は数字は数を数えるためだけに生まれた概念でしょう？
数を数えるための概念の数字で、どうして力の大きさまで正確に測れる概念が出来上がるのでしょうか？
数学者や数学を学んでいる者はこの矛盾に気づいたりしてませんか？

私は数字が力の大きさを表す概念としては欠陥であることに気づきましたけどね

89:１３２人目の素数さん
04/12/31 11:23:48
＞韋駄天はふと考えた
自説を主張するなら他でやってくれ

90:韋駄天はふと考えた
04/12/31 11:34:51
>>89
「スミマセン、私とこのスレにいる住人はバカですから質問には答えられません」と
素直に言えば立ち去るものを

91:韋駄天はふと考えた
04/12/31 11:35:38
数字というのは数を数える概念として生まれたので、数を数えるのに使う分には
何も矛盾や欠陥が生じないが、力の大きさを数字で表そうとすると、そこに
矛盾や欠陥が生じている

そのことに気づきました？おたくら

凡人たちが天才だと言うアインシュタインだってそのことに気づかずに、数字を使って
宇宙を必死に表現しようとしてましたね
アインシュタインも私から見れば凡人だということですよ

92:１３２人目の素数さん
04/12/31 11:42:09
板違い早く消えろ

93:韋駄天はふと考えた
04/12/31 11:47:05
>>92
数字の概念も知らずに数学を学ぶとはこれいかに？

数学をかじっている者たちだから数字の概念（特徴・欠点）ぐらいは
知っていると思ってはいたが・・・・この程度とは

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
どんな矛盾や欠陥が生じているの？
そう訊かれても説明できないんでしょ？

100:韋駄天はふと考えた
05/01/01 09:52:11

>>99
このスレにコピペ貼りましたので見てください
ｽﾚﾘﾝｸ(math板)l50

101:１３２人目の素数さん
05/01/01 11:05:25
>>88
スミマセン、私とこのスレにいる住人はバカですから質問には答えられません
お願いですから早く立ち去ってください。

102:１３２人目の素数さん
05/01/18 14:51:29
>>29
そうなんだよ、もったいない話だ。
（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
>>111
オートマトンとかラムダ計算とか領域理論とかはどこに入るの？

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
>>122
まあここなんじゃないの？俺もそうだし。
あとはプログラム板とか。

124:１３２人目の素数さん
05/03/09 03:46:47
375

125:１３２人目の素数さん
05/03/09 12:55:26
俺は実験家なので、計算幾何学ようわからんので
教えてほしいんですが、
２Dモンテカルロでホッピングのシミュレーションを
やれたらええなあと思ってます。
そこら辺に転がっているPEN４マシンでもそういうのが
できるようなモンテカルトソフトちゅーのはありませんか？

126:１３２人目の素数さん
05/03/09 13:01:14
>>119
まあ、別にオートマトンにこだわることはない。
モノイドとかつかってみるのもいいだろう。

ん、モノイド知らない？単位元をもつ半群だよ。
群の定義から逆元の存在をとったやつでもあるな。

127:１３２人目の素数さん
05/03/09 13:06:56
モノイドの例

加法のみを演算とする自然数（０を含む）

128:１３２人目の素数さん
05/03/09 13:10:39
>>125
> できるようなモンテカルトソフトちゅーのはありませんか？
「実験家」ならそれくらい自分で書けよ……

129:１３２人目の素数さん
05/03/09 14:06:27
sorry. An experimentalist cannot understand
even the Fourier transform.

130:１３２人目の素数さん
05/03/19 13:47:42
690

131:１３２人目の素数さん
05/03/19 16:44:31
Computer 計算する時空量子情報科学 Black Hole
ｽﾚﾘﾝｸ(sci板)

計算する時空量子情報科学から見た宇宙

　最新の量子情報理論によれば，半導体のチップだけでなく，あらゆる物体が計算している。
石ころも，人間も，水爆も，宇宙も─。
物体はそれ自身を構成する基本粒子の位置と速度によって情報を記録し，
粒子が相互作用するたびにその情報を書き変える。時間がたつにつれて物体が変化するというのは，
その物体が自らの構造を計算するプロセスだ。物体は何でもコンピューターなのだ。

URLﾘﾝｸ(www.nikkei-bookdirect.com)
URLﾘﾝｸ(www.nikkei-bookdirect.com)
URLﾘﾝｸ(www.nikkei-bookdirect.com)

33 名前：ご冗談でしょう？名無しさん[sage] 投稿日：05/02/07 01:28:10 ID:???
・宇宙のエネルギー密度：1m^3あたり10^-9ジュール
・宇宙全体のエネルギー：10^72ジュール
・宇宙（全エネルギー）の演算速度：毎秒10^106回
・宇宙が存在している間に実行できた演算回数の合計：10^123回

・マーゴラス・レヴィティンの定理

132:１３２人目の素数さん
05/03/31 23:39:00
351

133:１３２人目の素数さん
05/04/17 11:32:46
173

134:１３２人目の素数さん
05/05/05 09:46:22
650

135:１３２人目の素数さん
05/05/22 06:30:19
722

136:１３２人目の素数さん
05/06/20 19:35:09
653

137:１３２人目の素数さん
05/06/21 15:20:15
まったくの専門外なんだけど
「領域理論」とか「領域方程式」とか言うときの「領域」ってなんなの？

138:１３２人目の素数さん
05/06/22 00:05:55
>>137
最小元を持ち、任意の有向部分集合が最小上界を持ち、任意の空でない部分集合が最大下界を持つ順序集合LでLの任意の元aが、a以下の有限的な元の集合の最小上界になっているような集合L

139:１３２人目の素数さん
05/06/26 01:43:52
complete partial order set とどう違うの？

140:１３２人目の素数さん
05/06/26 06:43:25
微妙に違うだろ

141:１３２人目の素数さん
05/06/26 12:43:37
Id: #b20050626113652　 (reply, thread)
Date: Sun Jun 26 11:36:52 2005
Name: 夫馬
Subject: 鴨さんの研究会議（情報提供）

夫馬です。

鴨さんが研究会議を開催します。

CCA 2005：第2回解析学における計算可能性と計算複雑度に関する国際会議
URLﾘﾝｸ(www.i.h.kyoto-u.ac.jp)

鴨さんが委員だなんて、この会議のレベルが知れますね～。ｗｗｗ

------------

アホが委員の国際会議。
こんなことに税金が使われてるんだね。死ね！！！

142:１３２人目の素数さん
05/06/26 12:44:29
>>141
東北大学・数学専攻の黒木玄先生の掲示板より

あほカモ！あほカモ！あほカモ！
クロキの表現論だけじゃなくて、
基礎論も税金の無駄使いな訳ね。

143:１３２人目の素数さん
05/06/26 12:44:55

圏論て役に立ちますか？

144:１３２人目の素数さん
05/06/26 12:48:55
>>143
鴨先生に訊きなさい！

145:１３２人目の素数さん
05/06/26 16:42:57
人を匿名でけなすなよ．
マジ最低だな．

146:１３２人目の素数さん
05/06/26 17:32:50
数学板は個人叩きが多いね

147:１３２人目の素数さん
05/06/26 17:44:55
数名変なのが居るだけなんだろうけどね．
人の掲示板まで出張に行ったり，
物理学者にメール出したり（りゃ

148:１４３
05/06/26 18:26:22

鴨先生って誰ですか？

149:１３２人目の素数さん
05/06/26 18:42:18
これだけレスがあればわかるはず．

150:１３２人目の素数さん
05/07/16 16:21:06
ﾏｸﾚﾝの圏論の本がやくされたね

151:１３２人目の素数さん
05/08/05 18:26:51
607

152:学部生(数学科)
05/08/27 06:34:12
パソコン苦手です。
どうしたらいいですか?

153:１３２人目の素数さん
05/08/27 10:03:00
苦手って具体的にどういうことなのよ。

154:GiantLeaves ◆6fN.Sojv5w
05/08/27 12:48:17
talk:>>152 画面を明るくしすぎないこと、同じ姿勢を長時間とりつづけないこと。

155:１３２人目の素数さん
05/08/28 00:02:00
ファインマンの本ってどうよ

156:
05/08/31 07:27:01
>>155
　我も未読なり。

157:１３２人目の素数さん
05/09/09 09:34:53
>>152
立派な論文書いて学者になってパソコンが得意な部下を持つ

158:名無しさん＠そうだ選挙に行こう
05/09/11 22:28:05
>>152
ペゾルドの読み物「CODE」
とか読むといいんでない？

159:１３２人目の素数さん
05/09/16 03:05:03
age

160:１３２人目の素数さん
05/09/29 15:39:30
302 ：１３２人目の素数さん：2005/09/29(木) 15:16:20
>>301
ポモ的なのに叩かないのは、そういう理由だったんだね！

土建屋＝宇沢＝長谷川＝黒木 ← 隠れポモ野郎
禿藁＝Ｕ健爾 ← 隠れポモ野郎
あほ鴨＝中村 ← 隠れポモ野郎

303 ：１３２人目の素数さん：2005/09/29(木) 15:26:53
>>302 >>295
こいつらって、結局
ポモと同じでしょ。

＞そして、別の場所で、極端なことを言っているのではないかと非難された場合には、
＞3 (a) に近い穏健だが当たり前の主張を述べて批判をかわします。
URLﾘﾝｸ(www.math.tohoku.ac.jp)

161:１３２人目の素数さん
05/10/26 01:41:31
コンパイラを数学の教科書みたいに説明した本ない？
どの本もごちゃごちゃしていてよみにくい。

162:１３２人目の素数さん
05/10/26 14:26:30
そのごちゃごちゃ具合も計算機科学の対象だよ

なんて言ってみる

163:１３２人目の素数さん
05/10/27 16:12:06
具体的な言語のコンパイラの実装だったらごちゃごちゃするのは当たり前。

164:１３２人目の素数さん
05/11/18 10:50:00
524

165:１３２人目の素数さん
05/11/25 20:03:10
京大の数理解析研究所のコンピュータ・サイエンス研究部門ってどうなの？
この分野の研究者になるなら、ここ出とけって感じ？

166:１３２人目の素数さん
05/11/25 21:17:51
計算機の勉強をしてたら、そもそも入れないわなｗ

167:１３２人目の素数さん
05/11/25 21:32:51
絶対値を表す記号・符号が
パソコンにないのはなぜだろう?
原点からの距離を表すのに
それが絶対値であることを表す縦棒数字縦棒はどうやって
造るのか教えて欲しい。

168:１３２人目の素数さん
05/11/25 21:33:24
|x|じゃダメなのか？

169:１３２人目の素数さん
05/11/26 01:39:41
んなこたーない。
基礎科目では解析や線形代数ができないとだめだけど、専門のほうでは
計算機科学の問題を選択して受験できるようになってる。
つっても、そんじょそこらの情報系大学院より難しいことに異論はない。

170:１３２人目の素数さん
05/11/26 01:40:38
cosθ×√3≦sinθ

となるθの範囲を求めなさい。
ただし0度≦θ≦360度　とする。

どなたかぉ願いします。

171:１３２人目の素数さん
05/11/26 12:17:19
>>169
俺は二流私大の情報系で、この分野に興味があるんですけど、
入った後のことも考えて、ここに入ることを考えるのはやめた方がいいですかね？

172:１３２人目の素数さん
05/11/29 14:34:54
>>171
後のことって何よ？興味あるなら受けたらいいやん。
不安があったら面接の時とかに聞いたらいいし。
↓このHPは見た？
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)

173:愛也
05/11/29 16:03:19
大学で電子・電気工学の勉強をしている者ですが分らない問題がありますので頭脳明晰な方、教えていただけないでしょうか？？＞＜

(1)
特定のデータを指定するにはアドレス信号を用いる。どれだけのアドレス信号が発行できるかはアドレスバスの本数による。
アドレスバスの本数が８本のときは(　　１　　)個、１２本の時は(　　２　　)個のアドレスを発行する事ができる。

(2)
容量３２ＫＢのメモリがある、このメモリにバイト単位でアドレスをつけた場合（アドレス幅は８ビット）、全アドレスを指定するには、最低(　　３　　)本のアドレスバスが必要である。
同時に２５６ＭＢの場合は(　　　４　　　)本必要である。

上の問題をどなたかお時間がある方がいらっしゃれば教えていただけないでしょうかぁ？？

何卒よろしくお願い致します。

174:１３２人目の素数さん
05/11/29 17:22:05
>>173
ここは「理論」計算機科学スレだからね。スレ違い。
ってか板違い。

175:１３２人目の素数さん
05/11/29 21:35:54
そういや、昔院生の時に交通事故にあった。
病院で「大学でコンピュータの理論をやっている」って言ったら、
医者に「ああ、二進数ね」とか言われた。

176:１３２人目の素数さん
05/11/29 21:44:19
>>171
二流私大とか、そんなこと気にしなくていいよ。
もし入れたらそれなりの見込みはあると思う。何事もやってみないとわかんないしね。
研究と勉強は別物というけれど、数研の院試に通るぐらい勉強で努力できたら、研究
の方でもがんばれる可能性はある。
京大内部では、情報学と数研の計算機分野を両方通ったら、数研を蹴飛ばすケースも
見うけられるが。

177:１３２人目の素数さん
05/11/29 22:21:32
>>173
(1) 1. 2^8=256 , 2. 2^12=4096
(2) 3. 32*1024 バイト =2^15 　15本
4. 256*1024^2 バイト　=2^28 　28本

178:１３２人目の素数さん
05/11/30 05:44:06
>>176
そもそも情報学と数理研では方向性が結構違うと思う。
数理研は計算機系とか分野別ではなく募集してるが、
計算機分野ってどういうこと？裏で区別があるの？

179:愛也
05/11/30 14:56:32
１７７さん。

どうも解答ありがとうございました。

良ければ、どのように計算したかよければより詳しく教えていただけませんか？
特に2^15と2^28という数字はどのように出したのか分りません（；；）

馬鹿で申し訳ありません（＞＜）

180:１３２人目の素数さん
05/11/30 20:23:08
情報学と数研の方向性が違うのは「情報学だから」とか「数研だから」じゃない。
どの分野の先生が在籍してるかが問題であって、情報学だから応用とかいうわけ
でもない。
数研に計算機分野というコースがあるわけではなく、単純に師事する先生なんか
が計算機分野を名乗ってるだけだったと思う。だから、授業は普通の数学修士の
分野で単位を取る必要があるはず。これがかなり大変だろうね。

181:171
05/11/30 21:10:57
皆さん、アドバイス有り難うございます。
ロンダした後に研究に付いていけない、という話をよくネット上で見るので、
かなり心配していたんですが、心配が少し減りました。
数学の単位を取らなければいけないという心配が増えましたが…。

182:１３２人目の素数さん
05/12/02 17:01:14
>>181
数学の単位については数学教室の計算機関連の授業も合わせて取れば問題ない。
更に特別講義も組んでくれて卒業単位はほぼ揃うようになっている。
思う存分研究出来るよ。

183:１３２人目の素数さん
05/12/13 22:55:27
この分野で、日本で一番すごい人って誰よ？
上のほうで出てたT田先生？

184:１３２人目の素数さん
06/01/02 02:53:46
852

185:１３２人目の素数さん
06/01/10 00:37:11
数学者と計算機科学者はどちらが偉いのでしょうか？

186:１３２人目の素数さん
06/01/10 01:36:32
役に立つ方

187:１３２人目の素数さん
06/01/10 02:40:48
数学者は計算機科学者なんて眼中にないだろ。

188:１３２人目の素数さん
06/01/11 21:02:33
>>186
やけに工学的な考え方だな

189:１３２人目の素数さん
06/01/12 15:22:13
じゃあ役に立たない方

190:１３２人目の素数さん
06/01/13 00:15:10
やけに理学的な考え方だな

191:１３２人目の素数さん
06/01/13 08:31:04
じゃあ威張っている方

192:１３２人目の素数さん
06/01/20 05:11:20
すいません、スレがここしか見当たらなくて…
もし誰か出来る方いらっしゃったら
これ解いてもらえませんでしょうか（;´Д｀）

URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)

お願いします！

193:１３２人目の素数さん
06/01/20 07:35:25
数解研の学部向け授業ですね。
例年教科書読んでれば解けるレベルばかりだったと思うので
（今はもう解けないけど）、
自分で解けないなら単位は諦めましょう。

194:１３２人目の素数さん
06/01/20 09:50:32
昔より難しくなってるな・・・
と思ったら全学共通じゃなくて三回生向けの計算機の授業か
確かにそれならこれぐらい自分で解けって感じだ。

195:１３２人目の素数さん
06/01/23 09:33:50
λ計算の基本的な問題ジャン。

196:１３２人目の素数さん
06/01/24 01:30:32
やっぱ長谷川センセは優しいね。

197:１３２人目の素数さん
06/01/27 08:48:28
ＩＢＭ科学賞記念上げ。

198:１３２人目の素数さん
06/02/05 07:12:11
772

199:１３２人目の素数さん
06/03/02 16:53:34
334

200:200
06/03/02 17:15:15
caltech

201:１３２人目の素数さん
06/03/26 13:38:33

202:１３２人目の素数さん
06/04/15 00:52:31
D

203:１３２人目の素数さん
06/04/15 01:34:51
age

204:１３２人目の素数さん
06/04/15 14:12:34
|226 名前： FOX ★ 投稿日： 04/11/11 03:17:08 ID:???
|保守する人は「くれくれ君」なんだな
|保守するまでも無く、自分で話題を振って
|それで他の人も書く込むならめでたしめでたしな訳で、
|
|他の人の面白い話題を待つ為に保守するなんて
|私は必要ないと思うな、
|
|２ちゃんねるの決まりにもあるように
|「他人から見て面白いことを書こう」ですから
|保守のレスみて誰が面白いと思うのか、

205:１３２人目の素数さん
06/04/16 02:08:12
言いたい事はコピペに頼らず自分の言葉を使いなさいな。カッコ悪い

206:１３２人目の素数さん
06/05/13 20:44:42
790

207:１３２人目の素数さん
06/05/16 04:37:49
すいません誰かこれの使い方教えてください
URLﾘﾝｸ(www.vcalc.net)

208:１３２人目の素数さん
06/05/26 14:13:34
123

209:１３２人目の素数さん
06/05/28 23:32:28
大好き

210:１３２人目の素数さん
06/06/06 03:43:07
age

211:１３２人目の素数さん
06/06/06 08:54:29
計算機科学・情報科学の本
ｽﾚﾘﾝｸ(rikei板)

212:１３２人目の素数さん
06/06/16 01:50:34
448

213:１３２人目の素数さん
06/06/25 15:06:02
計算機に理論なんか要らん。体力あるのみだ。

214:１３２人目の素数さん
06/06/27 14:16:05
日本サッカーはフィジカルへぼすぎてだめだってね。

215:１３２人目の素数さん
06/07/28 16:31:51
573

216:１３２人目の素数さん
06/08/22 08:36:45
新しい板ができたので宣伝しておきます。
情報学
URLﾘﾝｸ(science4.2ch.net)

217:１３２人目の素数さん
06/08/22 16:47:39
ニュートン法

218:１３２人目の素数さん
06/08/30 17:17:41
952

219:１３２人目の素数さん
06/10/03 00:26:00
566

220:１３２人目の素数さん
06/11/12 23:49:22
143

221:１３２人目の素数さん
06/11/14 19:18:12
計算量理論のお勧めの入門書を教えて下さい。

222:１３２人目の素数さん
06/11/14 21:05:57
そりゃ、「計算理論の基礎」でしょ。

223:１３２人目の素数さん
06/11/15 01:52:45
Hopcroft and Ullman

224:１３２人目の素数さん
06/12/04 08:54:00
二年。

225:１３２人目の素数さん
06/12/27 12:33:02
698

226:１３２人目の素数さん
07/02/05 14:20:05
400

227:１３２人目の素数さん
07/03/11 16:54:16
128

228:１３２人目の素数さん
07/03/11 16:58:07
age

229:１３２人目の素数さん
07/03/28 17:40:32
・チューリングマシン
・万能チューリングマシン
・非決定性チューリングマシン

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

230:１３２人目の素数さん
07/03/28 18:40:40
URLﾘﾝｸ(www.google.co.jp)

231:１３２人目の素数さん
07/03/28 18:43:52
>>230
哀号！！！
ﾋﾄﾞｽ！！！

232:１３２人目の素数さん
07/03/28 18:58:03
Wikipedia項目ﾘﾝｸ
URLﾘﾝｸ(en.wikipedia.org)
URLﾘﾝｸ(en.wikipedia.org)

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

233:１３２人目の素数さん
07/03/28 19:06:28
>>232
哀号!!!
英語が読めないニダ!!

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

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

234:１３２人目の素数さん
07/03/29 07:55:12
age

235:１３２人目の素数さん
07/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

236:１３２人目の素数さん
07/03/31 17:05:27
>>233
英語ぐらい読めないと困ると思うが。

237:１３２人目の素数さん
07/06/25 09:37:51
109

238:１３２人目の素数さん
07/08/31 13:31:01

239:１３２人目の素数さん
07/10/30 09:25:48
126

240:１３２人目の素数さん
07/11/15 14:49:49
茫然

241:１３２人目の素数さん
07/11/15 14:51:56
壺、?然、?然　?む

242:１３２人目の素数さん
07/11/15 14:52:51
なんで正字がダメなんだよバカ

243:１３２人目の素数さん
07/11/17 12:45:36
age

244:１３２人目の素数さん
07/12/04 21:54:00
三年十三時間。

245:１３２人目の素数さん
08/03/07 02:16:18
451

246:１３２人目の素数さん
08/04/10 11:20:40
232

247:１３２人目の素数さん
08/04/11 04:23:28
age

248:１３２人目の素数さん
08/06/01 10:37:00
602

249:１３２人目の素数さん
08/06/01 10:43:16
age

250:１３２人目の素数さん
08/07/12 00:33:41
全国大学図書館
URLﾘﾝｸ(www.jla.or.jp)

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

251:１３２人目の素数さん
08/08/29 08:28:55
005

252:１３２人目の素数さん
08/10/17 08:17:44
752

253:１３２人目の素数さん
08/11/19 22:22:43
555

254:１３２人目の素数さん
08/12/03 17:00:35
889

255:１３２人目の素数さん
08/12/04 09:54:00
四年一時間。

256:１３２人目の素数さん
09/01/11 09:44:51
690

257:１３２人目の素数さん
09/02/11 15:21:02
King氏ね

258:KingGold ◆3waIkAJWrg
09/02/11 16:18:21
Reply:>>257 お前に何がわかるというか。

259:１３２人目の素数さん
09/04/25 11:10:45
542

260:１３２人目の素数さん
09/05/09 02:19:18
●こんなところにもいるのか

261:１３２人目の素数さん
09/05/09 18:06:40
age

262:１３２人目の素数さん
09/06/04 20:29:41 BE:1406014496-2BP(1028)
>>131
２０年前にそれをレポ～トに書いたら、助教授に超バカにされたｗ

263:１３２人目の素数さん
09/07/10 09:08:03
972

264:１３２人目の素数さん
09/08/18 11:16:21
969

265:１３２人目の素数さん
09/10/04 23:37:42
440

266:１３２人目の素数さん
09/11/26 22:38:09
質問です。項書き換え系理論に置いて、二つの項書き換え系が同型だとか部分系になってるとかいう理論はあるのでしょうか？
あるのであればその定義について記述している本、または文献を教えてもらえないでしょうか？

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

267:１３２人目の素数さん
09/11/27 15:02:43
情報学板で聞いたほうが良いんじゃないか
URLﾘﾝｸ(science6.2ch.net)

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

268:１３２人目の素数さん
10/01/17 01:54:01
五年四十三日十七時間。