情報系総合質問スレ

**名無しさん＠お腹いっぱい。** · 2007/02/11(日) 14:58:47

情報系の学校に行ったけど行き詰ってしまった人たちの為の総合質問スレです。

情報系の科目であれば分野を問わず質問してかまいませんです。

情報系の学校に行っていなくても情報系の科目などでわからないことがあればどんどん質問してくださいです。

回答者は多少無知でも、答えられそうだと思ったらどんどん回答してあげてくださいです。
ですが、故意にふざけた回答はしないであげてくださいです。

質問者や第三者は多少回答者が間違った解答をしたとしてもあまり叩かないであげてくださいです。
回答者もがんばって回答したのです。
ですが、指摘は大いにOKです。

それではSTARTです。

**名無しさん＠お腹いっぱい。** · 2009/06/23(火) 22:49:41

>>762
突っ込みトンです。
BSLは検索してみたけど通販しか釣れなくてorz
頭文字から大体の想像はつくけど憶測でレス返しははばかられまして
わかるぞ～って神がおられましたら補足よろです

**名無しさん＠お腹いっぱい。** · 2009/06/23(火) 23:09:48

MBRに入ってるプログラムがBootstrap Loaderかと。
ttp://caspar.hazymoon.jp/OpenBSD/arch/i386/stand/mbr/mbr_structure.html

**名無しさん＠お腹いっぱい。** · 2009/06/23(火) 23:12:15

なんか知らんが、濃いめの情報が満載だ
ttp://caspar.hazymoon.jp/OpenBSD/

**名無しさん＠お腹いっぱい。** · 2009/06/24(水) 00:11:45

>>765＆>>766
懐かしいわぁ。DOS時代を思い出したよ。
乙です。

**名無しさん＠お腹いっぱい。** · 2009/06/26(金) 03:56:38

★翌日入金★3

★携帯1つで毎日3万稼ぐ★

★2009年最新在宅ワーク!★☆

http://keio1993.sakura.ne.jp/rlt/type/

**名無しさん＠お腹いっぱい。** · 2009/06/26(金) 10:45:29

>>768
スレ違い以前の問題だ…
最後まで読んだが「本書の無断転載禁止」だぜｗ

**名無しさん＠お腹いっぱい。** · 2009/06/29(月) 11:22:18

>>763
どうでもいいけど、あの先生レポートの文章適当に区切ってgoogleにかけて丸写しか調べるから、文章相当変えないと0点だよ
それでなくても、BIOS POST IPL ブートセクタパーティション MBR BSLで調べたら一番上に出てきたし

**名無しさん＠お腹いっぱい。** · 2009/06/30(火) 04:10:37

>>770
書くのが一日はえーよ

**xxx** · 2009/06/30(火) 23:50:12

インターンネットにおいて、データを効率的に転送するためにはどのようにパケットの転送経路を決定すればよいか？
また、なぜそれがいいのか理由もおしえてください。
おねがいします

**名無しさん＠お腹いっぱい。** · 2009/07/01(水) 02:20:32

情報系について詳しくなりたい（学びたい）！って人がまず読む本って何？
たぶん情報系とだけいわれてもどの分野かわかんねーよって言われるかもしれないけど、
どういう体系になってるかもさっぱりわかんないんだ。
とりあえずどう手をつけたらいいんだろう？

**名無しさん＠お腹いっぱい。** · 2009/07/01(水) 08:51:19

「計算機科学・情報科学の本」スレで個別の紹介ならあるけど、
情報系は学問体系としてまだはっきりしてなくて、
5領域に分けてカリキュラムの標準化をしてみたのがこれ。
ttp://www.ipsj.or.jp/12kyoiku/J07/J0720090407.html

これ読んどけば全領域の入口に立てるぜってのはないと思う。

**名無しさん＠お腹いっぱい。** · 2009/07/01(水) 10:04:06

なるほどありがとうー
ちなみにその5領域それぞれについてなら概説書とかはあったりする？
それともその区分も別に一般的なものってわけじゃない？

**名無しさん＠お腹いっぱい。** · 2009/07/01(水) 12:17:06

学会がわざわざワーキンググループを作って、カリキュラムを作ってみたり
しなければならない、という現実から推して察すべし。
情報系全域ではないけど、定評のある1冊としては「やさしいコンピュータ科学」。

**magunamu** · 2009/07/01(水) 19:12:59

大学の3年なのですが学校の課題がわかりません。
↓
応答時間パラメータ１パラメータ2
51.482443 12.5 5.35
80.703876 18 9.46
112.190067 23.5 13.57
142.663456 29 17.68
173.326031 34.5 21.79
205.829865 40 25.9
235.021401 45.5 30.01
266.60015 51 34.12
294.73042 56.5 38.23
327.168465 62 42.34

これは1行に3つの実数が入った10行からなるテキストファイルなので，
このファイルを読み込んで回帰分析を行う．
1行の3つの実数は，それぞれ応答時間，パラメータ1，パラメータ2の値
である．パラメータ1および2の値と応答時間の間には線形の関係がある
と仮定しなさい。
というものです。
お力をかしてください。。

**名無しさん＠お腹いっぱい。** · 2009/07/02(木) 13:50:18

>>777
切り番オメ。線形なら一次式で、回帰分析なら最小二乗法か？
応答時間＝パラメータ１×a＋パラメータ２×b＋c
のような式を仮定してやる。
ここで未知の係数a,b,cについて取りうる全ての値で答えを出し、答えと応答時間との誤差の二乗を求め、全サンプルに関しての総和をとる。
誤差の二乗和が最も小さいときの係数を覚えておいて、それで式を満たせばいい。
三重ループはとんでもない事になるから、最初はマイナス三万～プラス三万程度で百ずつ増えるようなループを組む。
候補が特定されたら、その候補マイナス百～プラス百までの範囲で１づつ増えるループを組む。
帰納的にして小数六桁までだせばまず問題ないかと。

**xxx** · 2009/07/03(金) 02:02:31

インターンネットにおいて、データを効率的に転送するためにはどのようにパケットの転送経路を決定すればよいか？
また、なぜそれがいいのか理由もおしえてください。
おねがいします

**名無しさん＠お腹いっぱい。** · 2009/07/03(金) 02:58:13

効率的に転送できるような転送経路を選べばいいんじゃね？

**名無しさん＠お腹いっぱい。** · 2009/07/03(金) 12:12:10

>>779
複数のサーバーから目的アドレスに対してパケットを送信して、転送完了のもっとも速いのを選択
理由、アプリケーションの動作速度や回線の混み具合によって実通信速度は変動するから、単に回線速度だけを見ても期待どおりの速度が得られるとは限らないから。
って、インターンネット？

**名無しさん＠お腹いっぱい。** · 2009/07/03(金) 12:59:54

>>781
釣られるなよ

**名無しさん＠お腹いっぱい。** · 2009/07/04(土) 00:25:33

Bluetoothの通信記録ってどこかに残るの？？？

**名無しさん＠お腹いっぱい。** · 2009/07/06(月) 18:05:42

>>770
あの先生って言ってもそんなに有名大学じゃないんだけど・・同じ課題でてる大学があるのかな

**名無しさん＠お腹いっぱい。** · 2009/07/06(月) 21:02:35

どの大学も似たような課題でてるしな

**名無しさん＠お腹いっぱい。** · 2009/07/07(火) 02:15:17

「情報系の学生なの？どんなこと学んでるの？」って言う大学生じゃない人からの問いに大して完璧な返事を教えてください

**名無しさん＠お腹いっぱい。** · 2009/07/07(火) 06:23:53

パソコン

**名無しさん＠お腹いっぱい。** · 2009/07/08(水) 13:53:32

携帯電話や組み込みなどの特殊用途に利用されているOSを一つあげ，
一般用途に利用されているOSとの相違点について述べよ．
という問題なんですが特殊用途に利用されているOSというのが見つかりません。この部分だけどなたか教えてもらえませんか？

**名無しさん＠お腹いっぱい。** · 2009/07/08(水) 14:11:28

ttp://ja.wikipedia.org/wiki/ITRON
ttp://ja.wikipedia.org/wiki/Symbian_OS

**名無しさん＠お腹いっぱい。** · 2009/07/08(水) 15:27:32

組み込みシステム
http://niwango.jp/mobile/search/niwango_wiki.php?wid=3189&b=03&f=hbv99b

**名無しさん＠お腹いっぱい。** · 2009/07/08(水) 20:09:55

VxWorks
pSOS
AXE XTAL

**名無しさん＠お腹いっぱい。** · 2009/07/08(水) 20:11:57

QNX を忘れた

**名無しさん＠お腹いっぱい。** · 2009/07/08(水) 21:46:18

Googleも携帯用OS開発してなかったっけ

**名無しさん＠お腹いっぱい。** · 2009/07/09(木) 10:14:22

Android はカーネルは Linux だから

**名無しさん＠お腹いっぱい。** · 2009/07/16(木) 00:37:12

応用情報技術者試験受かった記念カキコ!!☆

**名無しさん＠お腹いっぱい。** · 2009/07/16(木) 00:44:36

とりあえずオメ

**名無しさん＠お腹いっぱい。** · 2009/07/18(土) 18:16:37

>>795
学生ですか？
すごいですね

**名無しさん＠お腹いっぱい。** · 2009/07/18(土) 21:01:49

すみません、教えて下さい。

RFIDタグに、あるデータを書き込みたいのですが
仕様が理解できず困っています。

・RFIDタグの0ブロック目(1～4バイト目)に
　○○コードと××コードを書き込む
・○○コードは1byte固定のunsigned char型、データ範囲は64～99
・××コードは3byte固定のunsigned int型、データ範囲は1～999999

○○コードは64～99とありますが、これって1byteで収まるんでしょうか？
××コードも同じくです。

あと上の仕様とは関係なく、「00000a」というデータを書き込み、
リーダで読むと「0000a0」と書き込まれているのですが
なぜでしょうか？「00000a」と入って欲しいのに。

何を勉強すればよいかだけでも教えて頂けると助かります。

**名無しさん＠お腹いっぱい。** · 2009/07/18(土) 21:09:45

> ○○コードは64～99とありますが、これって1byteで収まるんでしょうか？
> ××コードも同じくです。

収まると思いますが、収まらないと思う理由はなんででしょう？

> あと上の仕様とは関係なく、「00000a」というデータを書き込み、
> リーダで読むと「0000a0」と書き込まれているのですが
> なぜでしょうか？「00000a」と入って欲しいのに。

わかりません。リーダ・ライタが変とか？

**名無しさん＠お腹いっぱい。** · 2009/07/18(土) 21:19:45

>799
お早いご回答ありがとうございます

無知でお恥ずかしいのですが、
半角数字1文字で1byte使用するという考えしか頭にないもので
「64」→16進数にして「40」を書き込む→二文字なので2byteでは？
という疑問点があります。
概念が違うのでしょうか？

**名無しさん＠お腹いっぱい。** · 2009/07/18(土) 22:29:59

unsigned char型とかunsigned int型という説明がわかるってことは、
C言語がわかってるものだと思うのですが、もしかしてわかってませんですか？

**名無しさん＠お腹いっぱい。** · 2009/07/18(土) 22:34:50

>801
あ、すみませんＣ言語わかってないです。

まずはそのあたりから勉強してみます！
ありがとうございます。

**名無しさん＠お腹いっぱい。** · 2009/07/19(日) 16:02:45

表 1の S1～S4 は，アジア人種と西洋人種の顔画像から得られたある２つの特徴量（F1
2）と画像に写っている実際の人種を示している．一方，ある顔画像 A と顔画像 B の F1
と F2 を計算した結果，それぞれ表 1（下 2 段）のように抽出された．S1～S4 をサンプル
データとして線形判別分析を行ったとき，画像 A と B はそれぞれどちらの人種として判別
されるか，理由を含めて答えよ．
さらに，表 2は，表 1の S1～S4 をサンプルデータとして，テストデータ T1～T5 を線
形判別分析した結果である．表 2において，「アジア人種の判別」に対する判別精度を適合
率と再現率で示せ．各率の分子・分母は何かも記載すること．

**名無しさん＠お腹いっぱい。** · 2009/07/19(日) 17:41:12

ｎ個のデータ(ｎ≧1)のヒープにおける深さh
と
ｎ個のデータに対するヒープソートの時間計算量
を解き方あわせて教えてください。

**名無しさん＠お腹いっぱい。** · 2009/07/20(月) 14:43:29

>>804お願いします

**名無しさん＠お腹いっぱい。** · 2009/07/21(火) 03:31:18

三角数（a=b(b+1)/2）を用いた難易度上昇機能を作りたいのですが、
aが変数で、bの値を求めるにはどのような式にすればいいのでしょうか？
逆ならば簡単なのですが…

例：（難易度=b、累計クリア回数=a、（a=b(b+1)/2））
難易度=1のとき、あと1回クリアで難易度=2に、
難易度=2のとき、あと2回（＝1＋2＝累計3回）クリアで難易度=3に、
難易度=3のとき、あと3回（＝1＋2＋3＝累計6回）クリアで難易度=4に、
・・・という流れを「難易度=b、累計クリア回数=a」の2つの変数のみで実行したいんです。
自分の頭では実際に紙に書かないと解けないのですが
プログラム上で機械的に求めることはできませんか？

**名無しさん＠お腹いっぱい。** · 2009/07/21(火) 04:33:17

>>806
b=の形にすればいいだけだろ。中学生からやり直したほうがいいぞ。

**名無しさん＠お腹いっぱい。** · 2009/07/21(火) 17:02:24

>>806
a=b*(b+1)/2
b*b+b-2*a=0
b=(-1±sqrt(1+8*a))/2

b=1のときa=1よりb=(-1-sqrt(1+8*a))/2は無縁解
∴b=(-1+sqrt(1+8*a))/2

ただ、ループするプログラムの中でsqrtのような時間のかかる関数は使いたくない。
if(a>b*(b+1)/2)b++;
とかの方がいいのでは?

**名無しさん＠お腹いっぱい。** · 2009/07/22(水) 10:12:26

>>804
完全平衡木なら木の高さはlog2(n)に納まる。
備考↓
http://niwango.jp/mobile/search/niwango_wiki.php?wid=251394&f=hbv99b

**名無しさん＠お腹いっぱい。** · 2009/07/23(木) 09:30:36

どうやったら深さlog2(n)というのが求まりますか？
あと計算量もO(nlogn)となるはずですが、これもどうしたら出てきますか？

**名無しさん＠お腹いっぱい。** · 2009/07/23(木) 10:05:06

ヒープが完全二分木あるいは平衡二分木だという知識は使ってもいいのか？
あるいはそれも証明するのか？

**名無しさん＠お腹いっぱい。** · 2009/07/23(木) 12:40:46

>>810
要素の追加、削除の仕方よりヒープ木は平衡。よって深さはlog n
ソートはヒープ木からルート要素の削除(O(log n))をn回行うだけ。
ヒープ木を作成するには追加(O(log n))をn回行えば良いからO(nlog n)。
よって時間計算量はO(nlog n)。

**名無しさん＠お腹いっぱい。** · 2009/07/24(金) 19:44:17

>>811
使っていいです。
>>812
ありがとうございます
平衡だったらlognになるんですか？

**名無しさん＠お腹いっぱい。** · 2009/07/24(金) 20:30:58

群についてどなたか教えて下さい。

(+,mod7)の部分群ってありますか？見つけられなかったのですが...

**名無しさん＠お腹いっぱい。** · 2009/07/25(土) 00:48:23

>>813
厳密にはdepth = ceil(log(n+1))だが。
ヒープ木に対する各操作で、木がどのように変化するか実際に手で書いてみること。
常に葉の最後尾にある要素をいじるのだから、常に木は隙間無く埋まっている。
よって木の深さは上記の通りになる。

**名無しさん＠お腹いっぱい。** · 2009/07/25(土) 18:48:58

>>814
Z/7Zのことなら部分群は{0}とZ/7Z以外にはないです。
ラグランジュの定理と7が素数であることからわかります。
記号を読み違えていたら申し訳ない。

**名無しさん＠お腹いっぱい。** · 2009/07/25(土) 23:39:59

ttp://www.ice.gunma-ct.ac.jp/~mame/kougi/network/shiken062.pdf

↑の問題２を解いてもらえませんか？

**名無しさん＠お腹いっぱい。** · 2009/07/26(日) 01:51:33

やだ

**名無しさん＠お腹いっぱい。** · 2009/07/26(日) 19:11:14

上のほうに今やってるレポート課題があってﾜﾛﾀ
使い回しかよ……しかも2年前

**名無しさん＠お腹いっぱい。** · 2009/07/26(日) 19:59:10

>>816
ありがとうございます。
助かりました。

**名無しさん＠お腹いっぱい。** · 2009/07/26(日) 23:46:11

論理回路の回路を設計せよ、とかNANDゲートのみで設計せよ、とかの問題が苦手だ・・・
特に後者。なんかコツみたいなのはある？

**名無しさん＠お腹いっぱい。** · 2009/07/27(月) 00:14:37

論理式いじり倒せ

**名無しさん＠お腹いっぱい。** · 2009/07/27(月) 01:38:50

上の人の論理回路繋がりで質問です。
4ビットジョンソンカウンタをクロック付D-フリップフロップで表せといった問題があるんですが、
これの現状態と次状態の状態遷移表？がわからないです。教えてください。

**名無しさん＠お腹いっぱい。** · 2009/07/27(月) 13:14:11

>>821
ゲート数の制限を無視するならシャノン展開で無理矢理回路作ればいいじゃん
NANDゲートだけにするにはAND，OR，NOTゲートをNANDゲートでシミュレートすればよし

**名無しさん＠お腹いっぱい。** · 2009/07/27(月) 17:14:35

>>823です。追加で質問させてください。
＿＿
ＡＢ+ＡＢ
の式は
ＡとＢの排他的論理和の否定と同じになりますか？

**名無しさん＠お腹いっぱい。** · 2009/07/27(月) 17:18:09

自分で真理値表書いて確認しなさい

**名無しさん＠お腹いっぱい。** · 2009/07/27(月) 17:42:20

一応やってみたけど不安で…
ググってもNEXOR？のこと書いてるとこなんて無かったので。

**名無しさん＠お腹いっぱい。** · 2009/07/27(月) 23:26:12

あげ
>>823 >>825おねがいします

**名無しさん＠お腹いっぱい。** · 2009/07/27(月) 23:36:26

自分がどう考えてるか、どうやってそういう結論になったか、ちゃんと書いた方がいい

**名無しさん＠お腹いっぱい。** · 2009/07/27(月) 23:48:07

質問があるのですがいいですか？
僕は今中学3年で情報科に行きたいと考えているのですが、基本的にどのような勉強をすればいいのですか？

**名無しさん＠お腹いっぱい。** · 2009/07/27(月) 23:51:54

>>829
>>825は自分の解いたのと問題の回答が合わなくて、もし>>825の通りなるなら合うんですよね。
>>823はまぁその通り。ジョンソンが1個ずつ動いていくことはわかるんだけど、4ビットだから0100とか1001etc…のときはどうなるのかわからなくて。

**名無しさん＠お腹いっぱい。** · 2009/07/28(火) 00:06:04

>>830学校で学んだことを復習
資格の本でも見ながら勉強

**名無しさん＠お腹いっぱい。** · 2009/07/28(火) 00:10:06

>>832
ありがとうございます。
もう1つ聞きたいのですが、数学はどの分野を勉強しないといけませんか？

**名無しさん＠お腹いっぱい。** · 2009/07/28(火) 00:32:32

>>830
俺は情報系の理論研究やっているのだが，数学は必須．
高校までの数学は基礎体力みたいなもんだから選り好みしないで
広くやっておくのが理想だ．

理論でなくとも情報系は数学が大きな武器になると思うので，
学ぶべきときにちゃんと学んでおくこと．数学だけではなくて
他の科目もしっかりやっておくと後々役立つことがたくさんある．

学校の勉強がちゃんと出来ているならば，趣味で簡単な
プログラミングを試して遊んでみるといいかも知れない．

**名無しさん＠お腹いっぱい。** · 2009/07/28(火) 00:33:12

>>831
A+A=A。(AB)+(AB)=ABだから「排他的論理和の否定」であるはずがない。

ジョンソンカウンタは、当然ありえないビットパターンがある。
ありえないビットパターンが現状態になるはずがないから次状態はドントケア。
どうなろうがおかまいなし。

**名無しさん＠お腹いっぱい。** · 2009/07/28(火) 00:34:48

>>834
わざわざありがとうございます。
とても参考になりました！

**名無しさん＠お腹いっぱい。** · 2009/07/28(火) 00:41:28

>>835
そうなのか、ありがとう。ジョンソンはじゃあドンとケアでいいんですね。
やはり排他的論理和じゃないですね。ミーリマシンの問題でD-FFを用いて設計の問題なんです。
状態遷移表が
Q　Q+　O
００１１０
１０１０１
となってるんですが、解答がO=IとQの排他的論理和の否定となってるんです。
しかしカルノー図書いてみたら>>825の通りなって・・・これのAがI、BがQとなりました。
どこが違うんですかね？

**名無しさん＠お腹いっぱい。** · 2009/07/28(火) 01:33:32

　　I=0 I=1
Q=0 O=1 O=0
Q=1 O=0 O=1
ってこと？どっから、O=IQ+IQになるんだ？

**名無しさん＠お腹いっぱい。** · 2009/07/28(火) 01:38:10

>>838
そうです。カルノー図は
Q＼I 01
0 10
1 01
となって、>>825のようになりませんか？

**名無しさん＠お腹いっぱい。** · 2009/07/28(火) 02:03:26

コンピュータアーキテクチャの過去問を解いていたらどうしてもわからない問題があったので教えて下さい。

32ビットの論理アドレス空間をバイト単位でアドレスを指定できる計算機システムの仮想記憶を考える。
この計算機が扱うことのできるメインメモリ容量の上限を求め、～MBの形であらわせ。
ページサイズを8KBとしたとき、ページ表のエントリ数を求めよ。

最初は仮想記憶＝メインメモリと考えて2^32=4096MB？とか考えたのですが、如何せん解答がないため正解かどうかが分かりません。
わかる方回答お願いします；；

**名無しさん＠お腹いっぱい。** · 2009/07/28(火) 07:28:11

>>839
> となって、>>825のようになりませんか？
ならねー

**名無しさん＠お腹いっぱい。** · 2009/07/28(火) 07:35:26

>>840
物理アドレスが何ビットか指定されていないので回答不能。
たぶん4096MBを意図してるんじゃないかと思うが、
先生につっこみにいけばいいと思うよ。

**名無しさん＠お腹いっぱい。** · 2009/07/28(火) 21:02:09

1万行近くあるデータをランダムにソートしたいとき、
トランプを切るときみたいに、ランダムに決めた位置で
上半分と下半分をひっくり返すというのを繰り返すのはどうでしょうか？
プログラムが簡単なんでどうかと思いますが、よくないでしょうか？

**名無しさん＠お腹いっぱい。** · 2009/07/28(火) 21:08:34

>>841
え？IもQも0のとき1、IもQも1のとき1だからそうなりません？
じゃあどうなりますか？

**名無しさん＠お腹いっぱい。** · 2009/07/28(火) 22:39:01

10
00
のときの論理式は？

00
01
のときの論理式は？

カルノー図が違うのに同じ論理関数なのか？

**名無しさん＠お腹いっぱい。** · 2009/07/28(火) 22:41:34

>>845
どういうこと？カルノー図同じじゃないんですか？
ていうか最初のIQには両方否定入ってますよ

**名無しさん＠お腹いっぱい。** · 2009/07/28(火) 22:56:44

10
00

00
01

10
01
のそれぞれの論理式を全部ちゃんと書け。話はそれから。

**名無しさん＠お腹いっぱい。** · 2009/07/28(火) 23:00:09

>>847
めんどくさいからAとBにするけど、上からそれぞれ
＿＿　　　＿＿
AB、AB、AB+AB
じゃないんですか？ずれてたらすみません。

**名無しさん＠お腹いっぱい。** · 2009/07/28(火) 23:13:53

ん、もしかすると、ABの否定の意味じゃなくて、Aの否定とBの否定の論理積なのか？
誤解を招く書き方してたら試験でも×だ。
テキストの掲示板なんだから、A~とか、~Aとか、not Aとか、
文字でわかるように書くべき。

**名無しさん＠お腹いっぱい。** · 2009/07/28(火) 23:18:16

>>849
もちろんAの否定とBの否定の積です
普通の数学式なら書き方あるけど、＿の書き方がわからなかったｗ

**名無しさん＠お腹いっぱい。** · 2009/07/28(火) 23:29:59

なら、(A~)(B~) + AB が、はたして、
排他的論理和の否定かどうか調べればいいだけじゃん。

**名無しさん＠お腹いっぱい。** · 2009/07/28(火) 23:35:09

>>851
考えて、そうじゃないんだろうなぁって思ったけど、でもそうじゃないと答が合わないって感じだったんです

**名無しさん＠お腹いっぱい。** · 2009/07/28(火) 23:44:05

そうじゃないだろうと思う根拠は？

**名無しさん＠お腹いっぱい。** · 2009/07/28(火) 23:53:50

あれ、否定になるか？
00,01,10,11入れてみたらちょうど逆になった

**名無しさん＠お腹いっぱい。** · 2009/07/29(水) 01:01:14

論理回路の問題です
(A+B)(A^+C)=AC+A^Bと、
AB+BC+CA=(A+B)(B+C)(C+A)
の二つの証明を教えてください
^は否定を表しています
上は取り敢えず展開しましたが、そのあとどうすればいいか…A+A^などをつけようと考えましたがなりそうにありませんでした
下はもはや手も足も出ず。

**名無しさん＠お腹いっぱい。** · 2009/07/29(水) 01:27:48

上：左辺を分配律で展開したら、BCの項に(A+A^)を掛けて展開、吸収律適用。
下：（左辺でもいいけどたぶん慣れてると思う方の）右辺を分配律で展開、吸収律適用。

**名無しさん＠お腹いっぱい。** · 2009/07/29(水) 01:40:33

>>856ありがとうございます！おー！
なんか考えすぎてた…
そういう証明の発想ってどうやって出てきますか？
いつも解みたら納得するんだけど…

**名無しさん＠お腹いっぱい。** · 2009/07/29(水) 02:47:22

別に発想というより、常套手段として、とりあえず積和形にしてしまう。
吸収律はよく使うから慣れる。
上のBCみたいなのは、AC+A^Bのコンセンサスっていうやつで、
コンセンサスは消せる（逆に加えてもいい）っていう定石を知っておくといい。
どうしてもわからなければ、全部最小項に展開してしまうという奥の手もある。

よりエレガントにとか考えると、和積形にした方が効率がいいときもあるし、
否定を外に追い出した方がいいこともあるかもしれないけど、
機械的にやってもできちゃうっていうのが論理回路の一つの目標なんで、
無理することはない。

練習問題：
AC+A^B+AB^=BC+A^B+AB^ を証明せよ

**名無しさん＠お腹いっぱい。** · 2009/07/29(水) 03:18:10

んーなるほど…？
俺はいつもまず、ドモルガン使えるか見て、括弧で括られてるなら取り敢えず展開して、A+A^とか使ってみたり…ってやってるけど。
その練習問題は、左辺のACにB+B^、右辺のBCにA+A^つけたらできますね

**名無しさん＠お腹いっぱい。** · 2009/07/29(水) 16:30:57

中学生の頃に戻って、初めて因数分解の解き方を
学習してた自分に問いかけるのが良いように思えた。

横レス失礼。

**名無しさん＠お腹いっぱい。** · 2009/07/29(水) 16:58:04

>>843
ランダムにソートってどういう意味？

**名無しさん＠お腹いっぱい。** · 2009/07/29(水) 19:39:05

単にシャッフルしたいという意味でしょ。
「分割して交換」の場合、回数が問題になる。何回すれば十分といえる？

結局確実で速いのは、
ランダムに選んで端と交換する、残りからランダムに選んで…
っていう方式だろうね。シャッフルアルゴリズムでググってみろ。

**名無しさん＠お腹いっぱい。** · 2009/07/29(水) 22:58:15

長さnのintの配列xに0～n-1を入れてシャッフルする方法
(某大学の講義資料より)

for (int i = 0; i < n; i++) x[i] = i;
for (int i = 0; i < n - 1; i++) swap(x, i, i + random() % (n - i));

ちなみに swap(x, i, j) は配列xのi番目とj番目の交換ね。