理論計算機科学スレ
■ このスレッドは過去ログ倉庫に格納されています
0001１３２人目の素数さん
NGNG宇宙も、素粒子も、人間もみんな計算機なんだよ。
0002１３２人目の素数さん
NGNG0003１３２人目の素数さん
NGNG0004関連スレ（適当だけど）
NGNGhttp://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/
0005関連スレ（適当だけど）
NGNGhttp://science3.2ch.net/test/read.cgi/math/1058932949/l50
0006１３２人目の素数さん
NGNG0007１３２人目の素数さん
NGNG0008１３２人目の素数さん
NGNG0009１３２人目の素数さん
NGNG計算量理論
圏論
型理論
言語理論
アルゴリズム論
これくらいか？
0010１３２人目の素数さん
NGNG理論計算機科学は
計算モデル、言語系
アルゴリズム、計算量系
の2つに大別されるんだよ。
0011１３２人目の素数さん
NGNG0012１３２人目の素数さん
NGNG0013１３２人目の素数さん
NGNGだからその理論的というか論理的な理論についてもかんしんがむかないんだよｗ
0014１３２人目の素数さん
NGNG0015１３２人目の素数さん
NGNGλなんてこれほど有名にはならなかったかもよ。
0016１３２人目の素数さん
NGNG0017BlackLightOfStar ◆ifsBJ/KedU
NGNG0018１３２人目の素数さん
NGNG関数ってか写像のいろんな性質を示そうとしたことはあるけどさ。
0019１３２人目の素数さん
NGNG標準的な定式化ってあるの？Λみたいに。
0020１３２人目の素数さん
NGNG萩谷先生がいろいろやってるよね
0021１３２人目の素数さん
NGNG0022NP=P 証明したよ
NGNGDTMで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
0023１３２人目の素数さん
NGNG0024計算太郎
NGNG0025１３２人目の素数さん
NGNG0026１３２人目の素数さん
NGNG日本人がんばれ！
0027１３２人目の素数さん
NGNGT田先生(電通大卒、日大教授）、ゲーデル賞とったじゃん。
0028１３２人目の素数さん
NGNG0029１３２人目の素数さん
NGNGえ、いまだに日大教授なの？！
0030１３２人目の素数さん
NGNG0031１３２人目の素数さん
NGNG言語系（項書換、型理論、圏論、証明論、etc）の研究ではもらえないのかな？
0032１３２人目の素数さん
NGNG0033１３２人目の素数さん
NGNG言語系は当分の間は金にもならないだろうし、無理じゃないの？
0034１３２人目の素数さん
NGNG0035１３２人目の素数さん
NGNG日本語か英語でも篤くないやつ。
そうきゅうに、レポートかけない。
こういうのって計算の人とくいでしょ。
だから早く。
0036伊丹公理
NGNG格子?
束?
0037１３２人目の素数さん
NGNG束なんて言葉はないけど格子って単語はあるのでそっちだとおもいまふ。
（ってか格子ってやくすんだｗ）
だから早くお願い、あまりこんなレポートに時間かけれないんだから、
早く手っ取り早くパぱっとわかる（判ったきになるやつでも、もういいよ）
おねがい。
0038伊丹公理
NGNG（英語なら分厚いのあるが）
束なら
http://science3.2ch.net/test/read.cgi/math/1067963074/
参照
0039１３２人目の素数さん
NGNG同じものならそっちみてみる。
この人のノート字汚いし図はﾜｹﾜｶﾒだし意味不明すぎるから...
（借りといて、文句言うのも気が引けますが・・・）
あああああ”−−−−−
格子の簡単な入門資料とかweb上にころがってない？
0040１３２人目の素数さん
NGNGこんなんはどうよ
0041１３２人目の素数さん
NGNGでもなんで
a_1*v_1 + .... + a_n*v_n
で（v_1...v_n） が一時独立じゃないといけないの？
v_1は係数成分って感じだから一次独立じゃなくてもいいじゃん？
それともラティスってそんなイメージじゃないの？
0042１３２人目の素数さん
NGNGわかった。
係数はa_i のほふだ！。
てきとーなﾍﾞｸもってきてその整数倍のみの空間ってこほね。
0043１３２人目の素数さん
NGNGB. A. Davey & H. A. Priestley, _Introduction to Lattices and
Order_ (Cambridge U. P., 2002)
ゲットして、これネタ本にして、レポートまとめてみまふ。
0044１３２人目の素数さん
NGNG0045１３２人目の素数さん
NGNG数学者や理論計算機科学者が、金になるかならないか、
を問題にするとも思えない。。。
0046１３２人目の素数さん
NGNG物理・微分幾何のラティスはしらん
0047１３２人目の素数さん
NGNG岩村の本は古いし計算機科学向けっていうわけでもないしなあ．
やっぱIntroduction to lattices and ordersでよくないか？
0049１３２人目の素数さん
NGNG計算機科学って、なんだかんだで市場のニーズひいては
企業の顔色を伺いながらやる分野なんじゃないの？
数学とは違うと思う。
0050１３２人目の素数さん
NGNGニーズとか企業とかまったく関係ないところで
役に立つか立たないかわからない研究する分野
0051１３２人目の素数さん
NGNG一般の計算機科学は、そういう面が多いかもしれないけど、
理論計算機科学は違うでしょ。
ネバリンナ賞もゲーデル賞も評価するのは数学者や
それに近い理論計算機科学者だから。
たとえば、P=NP?問題が解決したところで、
市場や企業には全く関係ないけれど、
賞をもらえるのは間違いない。
0052１３２人目の素数さん
NGNG0053１３２人目の素数さん
NGNG役に立ってるって主張してますがｗ
0054１３２人目の素数さん
NGNG＞理論計算機科学は違うでしょ。
だから廃れたんだよね。
0055１３２人目の素数さん
NGNG0056１３２人目の素数さん
NGNG0057１３２人目の素数さん
NGNGおれもついにパソコン買いたいんだけど、
理論計算機やってる人のお勧めは何？
これもってればセンスいいってやつ。
0058１３２人目の素数さん
NGNG時間計算量/領域計算量が
できるだけ正確に計算できそうなのを選べ
OSはPrologとかLisp使って自分で組め
プログラミング言語から作るとなおbetter。
どうしても無理ならWindowsやMacよりもUnix
（Cygwin使うとか却下ね）
0059１３２人目の素数さん
NGNG新しく、重要であるかのごとく見せかけ
企業や一般人を騙す、ってことのが実際は多い。
0060１３２人目の素数さん
NGNGまあ数学に関して国家公務員試験レベルの知識しかない官僚をだますわけだが
0061１３２人目の素数さん
NGNGって、マジレスおねがい。
これもってればセンスいいってやつ。
0062１３２人目の素数さん
NGNG理論計算機科学は紙と鉛筆の学問
0063１３２人目の素数さん
NGNGそんなことはわかってるよ。
でも数学者よりはパソコンに詳しいだろ？
だから聞いてんだよ！
0064１３２人目の素数さん
NGNGワラタ。
数学者も理論計算機科学者も「パソコン」に詳しい人はあまりいないだろうよ。
プログラマ板とかそういう板行って訊いたほうがいいぞ。
0065１３２人目の素数さん
NGNG計算機やっててもまるで詳しくない人いるし。
でも詳しい方がラボでは重宝がられるよ。
0066１３２人目の素数さん
NGNG計算機科学者には詳しい人も多いだろう。詳しくない人もいるだろうが。
ただ、一般的に数学とPCは、経済学とPCと同じくらいに関係ありません。
数学者はよく、コンピューター音痴が理系で一番多いのは数学科だという。
0067１３２人目の素数さん
NGNG天文学と望遠鏡以上に関係ない
っていうファインマンの言葉思い出すなｗ
0068１３２人目の素数さん
NGNGでも昔の天文学者は自分で望遠鏡作ったり、
レンズ磨いてたりしたよな。つまり、ただ分業が
進んで関係なくなっただけで、元々は自分の作業範囲
だったってこと。
0069１３２人目の素数さん
NGNG当時は光学的な技術は最先端のハイテクだったりして・・・
0070１３２人目の素数さん
NGNG実際の実験とか観測とか軽視したら理論もヘッタくれもないよ。
そう意味で理論計算機やってる人はもっと実際の計算機に詳しくてもいいと思う。
実験物理とかの人のほうが詳しいくらいだとおもうのだけれども。
0071１３２人目の素数さん
NGNGまず理論的な計算機があって、実装が生まれたんだよ。
だから理論が先行することは伝統的によくあることだし、べつに
おかしなことじゃない。
そもそも仮想的なものを扱っているので理論先行でも、理論だけでもまったく問題なし。
その点、つまるところは実験結果や観測結果との整合性が要求される理論物理とかとはちがう。
0072１３２人目の素数さん
NGNGだ〜か〜ら〜、
計算機科学者が好むパソコンってのを知りたいの？
プログラマじゃなくってさ。
そっちの方が数学者としてはセンスよさそうジャン。
0073１３２人目の素数さん
NGNG俺も愛用しているが結構研究者向けかも知れん．
0074１３２人目の素数さん
NGNG国産品カット毛
0075１３２人目の素数さん
NGNG0076１３２人目の素数さん
NGNG動けばいいって人もいるし、異常に拘る奴もいるし
俺はショップブランド品だぜ
0077１３２人目の素数さん
NGNG0078１３２人目の素数さん
NGNGThink Pad に決まってんだろ
もってねーけど
0079１３２人目の素数さん
NGNG0080１３２人目の素数さん
NGNG荒らしは
〜〜〜終了〜〜〜
ageるな馬鹿タレ
お前が数学出来ないのはわかるが八つ当たりするな
0081１３２人目の素数さん
NGNG0082１３２人目の素数さん
NGNG0083１３２人目の素数さん
NGNG0084１３２人目の素数さん
NGNG0085１３２人目の素数さん
NGNGwolframのテーゼ
0087１３２人目の素数さん
NGNG物理や天文学は研究の対象がよくわからないから実験や観測をする。
計算機科学の場合、今そこにあるコンピュータのことはよくわかってるので
いじってみてどうなるということはない。
0088韋駄天はふと考えた
NGNGこの質問はアインシュタインかノーベル学者達に質問したかった項目ですが
彼らも東大教授や他の教授達と同じく知ったかぶりな奴らなので多分答えられないでしょう
質問１：分子と分子とか原子と電子はどういう仕組みで結合したり分離したりしているのですか？
質問２：化学教科書によると分子・電子間には一定の決まったスペース(距離)がありますが、
そのスペースを一定にしている力は何ですか？
質問３：スペースを一定にしている力が引力だとすれば、外部から引力より強い力を与え続ければ
物質を形成しているはずの分子や電子の結合はバラバラになるのでは？
質問４：化学方程式ではいったん分離した分子や電子が、別の力を加えると元の一定のスペースが
ある状態に戻れる仕組みは何ですか？
分離していった電子が元々いた場所に寸分の狂いもなく正確に戻って収まる仕組みを教えてください
質問５：化学では原子の周りを電子が回っていると説明していますが、原子と電子との間の空間には
外部からの強い圧縮の力によって空間が狭まったり、電子の周回の動きが妨害されて電子の動きが
悪くなったりしないのですか？
質問６：化学方程式では原子、分子、電子の関係は常に規則的で一定であり、外部からの強い力を受けても
原子、分子、電子の関係が絶対に変形もしないし圧縮もされず、規則性は失われないと定められていますが、
その規則性を支えている力は何ですか？
質問７：電子は外部からの力によって自由に分離したり元の位置に戻れると、化学では定義していますが
一度分離して自由になった電子が、再び元の場所にピッタリと収まる仕組みを教科書では教えていませんね
一番大事な部分は無視しているのに、さも化学や化学方程式が正しいとする教授や科学者の根拠は何ですか？
後ですね、数学の歴史を教えてくださいな
数学の基本となっている数字という概念は、元々は数字は数を数えるためだけに生まれた概念でしょう？
数を数えるための概念の数字で、どうして力の大きさまで正確に測れる概念が出来上がるのでしょうか？
数学者や数学を学んでいる者はこの矛盾に気づいたりしてませんか？
私は数字が力の大きさを表す概念としては欠陥であることに気づきましたけどね
0089１３２人目の素数さん
NGNG自説を主張するなら他でやってくれ
0090韋駄天はふと考えた
NGNG「スミマセン、私とこのスレにいる住人はバカですから質問には答えられません」と
素直に言えば立ち去るものを
0091韋駄天はふと考えた
NGNG何も矛盾や欠陥が生じないが、力の大きさを数字で表そうとすると、そこに
矛盾や欠陥が生じている
そのことに気づきました？おたくら
凡人たちが天才だと言うアインシュタインだってそのことに気づかずに、数字を使って
宇宙を必死に表現しようとしてましたね
アインシュタインも私から見れば凡人だということですよ
0092１３２人目の素数さん
NGNG0093韋駄天はふと考えた
NGNG数字の概念も知らずに数学を学ぶとはこれいかに？
数学をかじっている者たちだから数字の概念（特徴・欠点）ぐらいは
知っていると思ってはいたが・・・・この程度とは
0094１３２人目の素数さん
NGNG0095１３２人目の素数さん
NGNG0096１３２人目の素数さん
NGNG0097１３２人目の素数さん
NGNG0098１３２人目の素数さん
NGNG0099１３２人目の素数さん
NGNG> 数学の基本となっている数字という概念は、元々は数字は数を数えるためだけに生まれた概念でしょう？
「ため」に生まれたけど、「ためだけ」に生まれたなんてのは君のでっちあげ。
> 数を数えるための概念の数字で、どうして力の大きさまで正確に測れる概念が出来上がるのでしょうか？
数を使えば「大きさ」というものも表せるからですよ。
>>91
どんな矛盾や欠陥が生じているの？
そう訊かれても説明できないんでしょ？
0100韋駄天はふと考えた
NGNG>>99
このスレにコピペ貼りましたので見てください
http://science3.2ch.net/test/read.cgi/math/1103437028/l50
0101１３２人目の素数さん
NGNGスミマセン、私とこのスレにいる住人はバカですから質問には答えられません
お願いですから早く立ち去ってください。
0102１３２人目の素数さん
05/01/18 14:51:29そうなんだよ、もったいない話だ。
（T田先生にとってじゃなくて、日本にとって）
研究者志望の学生がより多い大学にいけば、将来有望な若手研究者
らにとって有益なのに。日本の人事システムは腐っている。
0103１３２人目の素数さん
05/01/31 19:48:14だったらむずかしいね、どっかの宮廷で関係のあるポスト自体が増えないと
でも、たぶんに東京からははなれたくないだろうから・・・
0104１３２人目の素数さん
05/02/01 20:09:19んで、もう一回テス
テス
0105１３２人目の素数さん
05/02/01 21:32:450106１３２人目の素数さん
05/02/01 21:39:280107１３２人目の素数さん
05/02/11 22:38:340108１３２人目の素数さん
05/02/11 22:45:070109１３２人目の素数さん
05/02/12 16:39:180110１３２人目の素数さん
05/02/12 22:46:240111１３２人目の素数さん
05/02/12 23:56:560112１３２人目の素数さん
05/02/13 01:01:50オートマトンとかラムダ計算とか領域理論とかはどこに入るの？
0113１３２人目の素数さん
05/02/13 05:44:110114１３２人目の素数さん
05/02/14 02:00:330115１３２人目の素数さん
05/02/14 07:48:170116１３２人目の素数さん
05/02/14 10:02:22基礎論∈集合論
0117１３２人目の素数さん
05/02/15 10:56:450118１３２人目の素数さん
05/02/15 11:29:340119１３２人目の素数さん
05/02/15 11:40:36それは代数ではない。
物体の運動が微分方程式で記述されるからといって、
それが解析学でないのと同様。
ある種の計算現象をオートマトンという代数的なモデルを
使って考察しているということだから。
0120１３２人目の素数さん
05/02/19 12:20:000121１３２人目の素数さん
05/02/19 17:04:23計算機科学は世界を作り出すみたいなことが書いてありました。
どゆこと？
0122１３２人目の素数さん
05/02/27 03:07:590123１３２人目の素数さん
05/02/27 05:05:18まあここなんじゃないの？俺もそうだし。
あとはプログラム板とか。
0124１３２人目の素数さん
05/03/09 03:46:470125１３２人目の素数さん
05/03/09 12:55:26教えてほしいんですが、
２Dモンテカルロでホッピングのシミュレーションを
やれたらええなあと思ってます。
そこら辺に転がっているPEN４マシンでもそういうのが
できるようなモンテカルトソフトちゅーのはありませんか？
0126１３２人目の素数さん
05/03/09 13:01:14まあ、別にオートマトンにこだわることはない。
モノイドとかつかってみるのもいいだろう。
ん、モノイド知らない？単位元をもつ半群だよ。
群の定義から逆元の存在をとったやつでもあるな。
0127１３２人目の素数さん
05/03/09 13:06:56加法のみを演算とする自然数（０を含む）
0128１３２人目の素数さん
05/03/09 13:10:39> できるようなモンテカルトソフトちゅーのはありませんか？
「実験家」ならそれくらい自分で書けよ……
0129１３２人目の素数さん
05/03/09 14:06:27even the Fourier transform.
0130１３２人目の素数さん
05/03/19 13:47:420131１３２人目の素数さん
05/03/19 16:44:31http://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回
・マーゴラス・レヴィティンの定理
0132１３２人目の素数さん
2005/03/31(木) 23:39:000133１３２人目の素数さん
2005/04/17(日) 11:32:460134１３２人目の素数さん
2005/05/05(木) 09:46:220135１３２人目の素数さん
2005/05/22(日) 06:30:190136１３２人目の素数さん
2005/06/20(月) 19:35:090137１３２人目の素数さん
2005/06/21(火) 15:20:15「領域理論」とか「領域方程式」とか言うときの「領域」ってなんなの？
0138１３２人目の素数さん
2005/06/22(水) 00:05:55最小元を持ち、任意の有向部分集合が最小上界を持ち、任意の空でない部分集合が最大下界を持つ順序集合LでLの任意の元aが、a以下の有限的な元の集合の最小上界になっているような集合L
0139１３２人目の素数さん
2005/06/26(日) 01:43:520140１３２人目の素数さん
2005/06/26(日) 06:43:250141１３２人目の素数さん
2005/06/26(日) 12:43:37Date: Sun Jun 26 11:36:52 2005
Name: 夫馬
Subject: 鴨さんの研究会議（情報提供）
夫馬です。
鴨さんが研究会議を開催します。
CCA 2005：第2回 解析学における計算可能性と計算複雑度に関する国際会議
http://www.i.h.kyoto-u.ac.jp/cca2005/jpn/
鴨さんが委員だなんて、この会議のレベルが知れますね〜。ｗｗｗ
------------
アホが委員の国際会議。
こんなことに税金が使われてるんだね。死ね！！！
0142１３２人目の素数さん
2005/06/26(日) 12:44:29東北大学・数学専攻の黒木玄先生の掲示板より
あほカモ！あほカモ！あほカモ！
クロキの表現論だけじゃなくて、
基礎論も税金の無駄使いな訳ね。
0143１３２人目の素数さん
2005/06/26(日) 12:44:55圏論て役に立ちますか？
0144１３２人目の素数さん
2005/06/26(日) 12:48:55鴨先生に訊きなさい！
0145１３２人目の素数さん
2005/06/26(日) 16:42:57マジ最低だな．
0146１３２人目の素数さん
2005/06/26(日) 17:32:500147１３２人目の素数さん
2005/06/26(日) 17:44:55人の掲示板まで出張に行ったり，
物理学者にメール出したり（りゃ
0148１４３
2005/06/26(日) 18:26:22鴨先生って誰ですか？
0149１３２人目の素数さん
2005/06/26(日) 18:42:180150１３２人目の素数さん
2005/07/16(土) 16:21:060151１３２人目の素数さん
2005/08/05(金) 18:26:510152学部生(数学科)
2005/08/27(土) 06:34:12どうしたらいいですか?
0153１３２人目の素数さん
2005/08/27(土) 10:03:000154GiantLeaves ◆6fN.Sojv5w
2005/08/27(土) 12:48:170155１３２人目の素数さん
2005/08/28(日) 00:02:000156
2005/08/31(水) 07:27:01我も未読なり。
0157１３２人目の素数さん
2005/09/09(金) 09:34:53立派な論文書いて学者になってパソコンが得意な部下を持つ
0158名無しさん＠そうだ選挙に行こう
2005/09/11(日) 22:28:05ペゾルドの読み物「CODE」
とか読むといいんでない？
0159１３２人目の素数さん
2005/09/16(金) 03:05:030160１３２人目の素数さん
2005/09/29(木) 15:39:30>>301
ポモ的なのに叩かないのは、そういう理由だったんだね！
土建屋＝宇沢＝長谷川＝黒木 ← 隠れポモ野郎
禿藁＝Ｕ健爾 ← 隠れポモ野郎
あほ鴨＝中村 ← 隠れポモ野郎
303 ：１３２人目の素数さん ：2005/09/29(木) 15:26:53
>>302 >>295
こいつらって、結局
ポモと同じでしょ。
＞そして、別の場所で、極端なことを言っているのではないかと非難された場合には、
＞3 (a) に近い穏健だが当たり前の主張を述べて批判をかわします。
http://www.math.tohoku.ac.jp/~kuroki/FN/relativism.htm
0161１３２人目の素数さん
2005/10/26(水) 01:41:31どの本もごちゃごちゃしていてよみにくい。
0162１３２人目の素数さん
2005/10/26(水) 14:26:30なんて言ってみる
0163１３２人目の素数さん
2005/10/27(木) 16:12:060164１３２人目の素数さん
2005/11/18(金) 10:50:000165１３２人目の素数さん
2005/11/25(金) 20:03:10この分野の研究者になるなら、ここ出とけって感じ？
0166１３２人目の素数さん
2005/11/25(金) 21:17:510167１３２人目の素数さん
2005/11/25(金) 21:32:51パソコンにないのはなぜだろう?
原点からの距離を表すのに
それが絶対値であることを表す縦棒数字縦棒はどうやって
造るのか教えて欲しい。
0168１３２人目の素数さん
2005/11/25(金) 21:33:240169１３２人目の素数さん
2005/11/26(土) 01:39:41基礎科目では解析や線形代数ができないとだめだけど、専門のほうでは
計算機科学の問題を選択して受験できるようになってる。
つっても、そんじょそこらの情報系大学院より難しいことに異論はない。
0170１３２人目の素数さん
2005/11/26(土) 01:40:38となるθの範囲を求めなさい。
ただし0度≦θ≦360度 とする。
どなたかぉ願いします。
0171１３２人目の素数さん
2005/11/26(土) 12:17:19俺は二流私大の情報系で、この分野に興味があるんですけど、
入った後のことも考えて、ここに入ることを考えるのはやめた方がいいですかね？
0172１３２人目の素数さん
2005/11/29(火) 14:34:54後のことって何よ？興味あるなら受けたらいいやん。
不安があったら面接の時とかに聞いたらいいし。
↓このHPは見た？
http://www.kurims.kyoto-u.ac.jp/~cs/
0173愛也
2005/11/29(火) 16:03:19(1)
特定のデータを指定するにはアドレス信号を用いる。どれだけのアドレス信号が発行できるかはアドレスバスの本数による。
アドレスバスの本数が８本のときは( １ )個、１２本の時は( ２ )個のアドレスを発行する事ができる。
(2)
容量３２ＫＢのメモリがある、このメモリにバイト単位でアドレスをつけた場合（アドレス幅は８ビット）、全アドレスを指定するには、最低( ３ )本のアドレスバスが必要である。
同時に２５６ＭＢの場合は( ４ )本必要である。
上の問題をどなたかお時間がある方がいらっしゃれば教えていただけないでしょうかぁ？？
何卒よろしくお願い致します。
0174１３２人目の素数さん
2005/11/29(火) 17:22:05ここは「理論」計算機科学スレだからね。スレ違い。
ってか板違い。
0175１３２人目の素数さん
2005/11/29(火) 21:35:54病院で「大学でコンピュータの理論をやっている」って言ったら、
医者に「ああ、二進数ね」とか言われた。
0176１３２人目の素数さん
2005/11/29(火) 21:44:19二流私大とか、そんなこと気にしなくていいよ。
もし入れたらそれなりの見込みはあると思う。何事もやってみないとわかんないしね。
研究と勉強は別物というけれど、数研の院試に通るぐらい勉強で努力できたら、研究
の方でもがんばれる可能性はある。
京大内部では、情報学と数研の計算機分野を両方通ったら、数研を蹴飛ばすケースも
見うけられるが。
0177１３２人目の素数さん
2005/11/29(火) 22:21:32(1) 1. 2^8=256 , 2. 2^12=4096
(2) 3. 32*1024 バイト =2^15 15本
4. 256*1024^2 バイト =2^28 28本
0178１３２人目の素数さん
2005/11/30(水) 05:44:06そもそも情報学と数理研では方向性が結構違うと思う。
数理研は計算機系とか分野別ではなく募集してるが、
計算機分野ってどういうこと？裏で区別があるの？
0179愛也
2005/11/30(水) 14:56:32どうも解答ありがとうございました。
良ければ、どのように計算したかよければより詳しく教えていただけませんか？
特に2^15と2^28という数字はどのように出したのか分りません（；；）
馬鹿で申し訳ありません（＞＜）
0180１３２人目の素数さん
2005/11/30(水) 20:23:08どの分野の先生が在籍してるかが問題であって、情報学だから応用とかいうわけ
でもない。
数研に計算機分野というコースがあるわけではなく、単純に師事する先生なんか
が計算機分野を名乗ってるだけだったと思う。だから、授業は普通の数学修士の
分野で単位を取る必要があるはず。これがかなり大変だろうね。
0181171
2005/11/30(水) 21:10:57ロンダした後に研究に付いていけない、という話をよくネット上で見るので、
かなり心配していたんですが、心配が少し減りました。
数学の単位を取らなければいけないという心配が増えましたが…。
0182１３２人目の素数さん
2005/12/02(金) 17:01:14数学の単位については数学教室の計算機関連の授業も合わせて取れば問題ない。
更に特別講義も組んでくれて卒業単位はほぼ揃うようになっている。
思う存分研究出来るよ。
0183１３２人目の素数さん
2005/12/13(火) 22:55:27上のほうで出てたT田先生？
0184１３２人目の素数さん
2006/01/02(月) 02:53:460185１３２人目の素数さん
2006/01/10(火) 00:37:110186１３２人目の素数さん
2006/01/10(火) 01:36:320187１３２人目の素数さん
2006/01/10(火) 02:40:480188１３２人目の素数さん
2006/01/11(水) 21:02:33やけに工学的な考え方だな
0189１３２人目の素数さん
2006/01/12(木) 15:22:130190１３２人目の素数さん
2006/01/13(金) 00:15:100191１３２人目の素数さん
2006/01/13(金) 08:31:040192１３２人目の素数さん
2006/01/20(金) 05:11:20もし誰か出来る方いらっしゃったら
これ解いてもらえませんでしょうか（;´Д｀）
http://www.kurims.kyoto-u.ac.jp/~hassei/cs2005/problems.pdf
お願いします！
0193１３２人目の素数さん
2006/01/20(金) 07:35:25例年教科書読んでれば解けるレベルばかりだったと思うので
（今はもう解けないけど）、
自分で解けないなら単位は諦めましょう。
0194１３２人目の素数さん
2006/01/20(金) 09:50:32と思ったら全学共通じゃなくて三回生向けの計算機の授業か
確かにそれならこれぐらい自分で解けって感じだ。
0195１３２人目の素数さん
2006/01/23(月) 09:33:500196１３２人目の素数さん
2006/01/24(火) 01:30:320197１３２人目の素数さん
2006/01/27(金) 08:48:280198１３２人目の素数さん
2006/02/05(日) 07:12:110199１３２人目の素数さん
2006/03/02(木) 16:53:340200200
2006/03/02(木) 17:15:150201１３２人目の素数さん
2006/03/26(日) 13:38:330202１３２人目の素数さん
2006/04/15(土) 00:52:310203１３２人目の素数さん
2006/04/15(土) 01:34:510204１３２人目の素数さん
2006/04/15(土) 14:12:34|保守する人は「くれくれ君」なんだな
|保守するまでも無く、自分で話題を振って
|それで他の人も書く込むならめでたしめでたしな訳で、
|
|他の人の面白い話題を待つ為に保守するなんて
|私は必要ないと思うな、
|
|２ちゃんねるの決まりにもあるように
|「他人から見て面白いことを書こう」ですから
|保守のレスみて誰が面白いと思うのか、
0205１３２人目の素数さん
2006/04/16(日) 02:08:120206１３２人目の素数さん
2006/05/13(土) 20:44:420207１３２人目の素数さん
2006/05/16(火) 04:37:49ttp://www.vcalc.net/curta_simulator_en.htm
0208１３２人目の素数さん
2006/05/26(金) 14:13:340209１３２人目の素数さん
2006/05/28(日) 23:32:280210１３２人目の素数さん
2006/06/06(火) 03:43:070211１３２人目の素数さん
2006/06/06(火) 08:54:29http://science4.2ch.net/test/read.cgi/rikei/1147865901/
0212１３２人目の素数さん
2006/06/16(金) 01:50:340213１３２人目の素数さん
2006/06/25(日) 15:06:020214１３２人目の素数さん
2006/06/27(火) 14:16:050215１３２人目の素数さん
2006/07/28(金) 16:31:510216１３２人目の素数さん
2006/08/22(火) 08:36:45情報学
http://science4.2ch.net/informatics/
0217１３２人目の素数さん
2006/08/22(火) 16:47:390218１３２人目の素数さん
2006/08/30(水) 17:17:410219１３２人目の素数さん
2006/10/03(火) 00:26:000220１３２人目の素数さん
2006/11/12(日) 23:49:220221１３２人目の素数さん
2006/11/14(火) 19:18:120222１３２人目の素数さん
2006/11/14(火) 21:05:570223１３２人目の素数さん
2006/11/15(水) 01:52:450224１３２人目の素数さん
2006/12/04(月) 08:54:000225１３２人目の素数さん
2006/12/27(水) 12:33:020226１３２人目の素数さん
2007/02/05(月) 14:20:050227１３２人目の素数さん
2007/03/11(日) 16:54:160228１３２人目の素数さん
2007/03/11(日) 16:58:070229１３２人目の素数さん
2007/03/28(水) 17:40:32・万能チューリングマシン
・非決定性チューリングマシン
これらの違いを詳しく教えてほしいでつ。
おながいしまつ。
URLなんかもあったらキボンヌ。
0230１３２人目の素数さん
2007/03/28(水) 18:40:400231１３２人目の素数さん
2007/03/28(水) 18:43:52哀号！！！
ﾋﾄﾞｽ！！！
0232１３２人目の素数さん
2007/03/28(水) 18:58:03ttp://en.wikipedia.org/wiki/Turing_machine
ttp://en.wikipedia.org/wiki/Non-deterministic_Turing_machine
チューリングマシンと非決定性チューリングマシンの違いは
遷移函数が一価か多価も許すかの違い。
0233１３２人目の素数さん
2007/03/28(水) 19:06:28哀号!!!
英語が読めないニダ!!
>チューリングマシンと非決定性チューリングマシンの違いは
>遷移函数が一価か多価も許すかの違い。
というのは、
非決定性チューリングマシンの場合は同時に複数の状態に遷移することができるということ？
0234１３２人目の素数さん
2007/03/29(木) 07:55:120235１３２人目の素数さん
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英語ぐらい読めないと困ると思うが。
0237１３２人目の素数さん
2007/06/25(月) 09:37:510238１３２人目の素数さん
2007/08/31(金) 13:31:010239１３２人目の素数さん
2007/10/30(火) 09:25:480240１３２人目の素数さん
2007/11/15(木) 14:49:490241１３２人目の素数さん
2007/11/15(木) 14:51:560242１３２人目の素数さん
2007/11/15(木) 14:52:510243１３２人目の素数さん
2007/11/17(土) 12:45:360244１３２人目の素数さん
2007/12/04(火) 21:54:000245１３２人目の素数さん
2008/03/07(金) 02:16:180246１３２人目の素数さん
2008/04/10(木) 11:20:400247１３２人目の素数さん
2008/04/11(金) 04:23:280248１３２人目の素数さん
2008/06/01(日) 10:37:000249１３２人目の素数さん
2008/06/01(日) 10:43:160250１３２人目の素数さん
2008/07/12(土) 00:33:41ttp://www.jla.or.jp/link/univ.html
他大学生ではなく一般人として行った方が利用しやすい場合アリ
0251１３２人目の素数さん
2008/08/29(金) 08:28:550252１３２人目の素数さん
2008/10/17(金) 08:17:440253１３２人目の素数さん
2008/11/19(水) 22:22:430254１３２人目の素数さん
2008/12/03(水) 17:00:350255１３２人目の素数さん
2008/12/04(木) 09:54:000256１３２人目の素数さん
2009/01/11(日) 09:44:510257１３２人目の素数さん
2009/02/11(水) 15:21:020258KingGold ◆3waIkAJWrg
2009/02/11(水) 16:18:210259１３２人目の素数さん
2009/04/25(土) 11:10:450260１３２人目の素数さん
2009/05/09(土) 02:19:180261１３２人目の素数さん
2009/05/09(土) 18:06:40２０年前にそれをレポ〜トに書いたら、助教授に超バカにされたｗ
0263１３２人目の素数さん
2009/07/10(金) 09:08:030264１３２人目の素数さん
2009/08/18(火) 11:16:210265１３２人目の素数さん
2009/10/04(日) 23:37:420266１３２人目の素数さん
2009/11/26(木) 22:38:09あるのであればその定義について記述している本、または文献を教えてもらえないでしょうか？
項書き換えに興味はあるのですが、近くにわかる人が少なくて困っているのです。助けていただければ幸いです。
0267１３２人目の素数さん
2009/11/27(金) 15:02:43http://science6.2ch.net/informatics/
過疎であることには変わりないけど
0268１３２人目の素数さん
2010/01/17(日) 01:54:010269１３２人目の素数さん
2010/03/10(水) 05:47:010270１３２人目の素数さん
2010/03/27(土) 04:27:270271１３２人目の素数さん
2010/06/27(日) 11:17:09■ このスレッドは過去ログ倉庫に格納されています