2ちゃんねる★スマホ版★■掲示板に戻る■全部1-最新50

何でブール代数がプログラムに使えるか教えろ

1 :
2013/09/19(木) 19:21:58.64
頼む
2 :
2013/09/19(木) 19:26:41.22
低レベルではCPUが論理演算と条件分岐できるから。
高レベルでは、コンパイラが論理式を翻訳できるから。
3 :
デフォルトの名無しさん
2013/09/19(木) 19:43:50.60
おらおら、徒歩暴走族のお出ましだぜ
4 :
デフォルトの名無しさん
2013/09/19(木) 19:51:20.70
ブーン、ブンブブンブン
ブンブブンブ、ブブーンブン
5 :
2013/09/19(木) 19:59:11.39
もうちょい詳しく頼む
6 :
デフォルトの名無しさん
2013/09/19(木) 20:28:49.45
x86 CPUについて解説しよう。このCPUにはAND命令、OR命令、TEST命令、
XOR命令、NOT命令がある。CPU内部にはZFというフラグがあって、
計算後にJZというジャンプ命令を使えば計算結果がゼロか確認することができる。
7 :
デフォルトの名無しさん
2013/09/19(木) 20:32:47.50
さらにJZの反対にJNZというジャンプ命令がある。これらを組み合わせれば
プログラムでブール代数が表現可能であるし、ブール式(論理式)の値に従って実行内容を切り換えることが可能。
8 :
デフォルトの名無しさん
2013/09/19(木) 20:44:53.62
例えばTEST AX,AXという命令は、AXがゼロならばZFが0になり、AXが非ゼロならZFが1になる。
この直後にJZを呼べばAXの値を確認できる。
9 :
デフォルトの名無しさん
2013/09/19(木) 21:00:01.74
整数の0と1を代数系Xの元とすれば、
AND命令の直後のZFは、論理積となり、OR命令の直後のZFは、
論理和となる。NOT命令の直後のZFは、論理否定となる。
ZFに従ってレジスタに0か1を代入した結果をX上の各
演算の値とすると、Xをブール代数と見なすことができる。
10 :
デフォルトの名無しさん
2013/09/19(木) 21:11:56.14
ここまででわからなかったことがあれば質問せよ。
11 :
2013/09/19(木) 21:24:19.61
ZFは0か1しかなくて
AXはZFが0の時は0
それ以外は1という理解でおk?
12 :
デフォルトの名無しさん
2013/09/19(木) 21:25:42.21
ブーン、ブンブブンブン
ブンブブンブ、ブブーンブン
13 :
デフォルトの名無しさん
2013/09/19(木) 21:30:15.73
>ZFは0か1しかない

正しい。

>AXはZFが0の時は0 それ以外は1

間違い。AXは整数レジスタで色々な値になる。ZFに従ってAXを変更するというプログラムの文脈においてAX==ZFとなる。
14 :
デフォルトの名無しさん
2013/09/19(木) 21:40:18.74
ブーン、ブンブブンブン
ブンブブンブ、ブブーンブン
15 :
2013/09/19(木) 21:40:50.54
ここまで理解した
16 :
デフォルトの名無しさん
2013/09/19(木) 21:50:41.08
有限な計算式は、有限な計算木(構文木)で表現できる。論理式も計算式の一種である。
計算木の各ノードに再帰的に付値を行えば、計算木全体の値を求めることができる。
17 :
デフォルトの名無しさん
2013/09/19(木) 22:06:59.44
コンパイラは計算式を解釈し、計算結果を求めるプログラムを再帰的に作り出し、そのプログラムを最適化する。
その過程は計算木の解釈である。
18 :
デフォルトの名無しさん
2013/09/19(木) 22:12:13.84
ここまでで何か質問は?
19 :
2013/09/19(木) 22:17:36.52
計算木とノードってなに?
20 :
デフォルトの名無しさん
2013/09/19(木) 22:22:16.28
計算木は、計算のための木構造データ。二分木みたいなもの。葉っぱは、定数か変数。
枝分かれした所が演算子。ノードは、構造の頂点。詳しくは数学のグラフ理論を勉強してくれ。
21 :
2013/09/19(木) 22:26:52.75
コンパイラは計算結果と計算式をから計算過程を最短化するっていうことでいいのか?
22 :
デフォルトの名無しさん
2013/09/19(木) 22:33:41.47
葉っぱが定数の場合は、すぐに計算結果が求められるからね。
重要なことは、それぞれの部分計算木がある部分計算式に対応していること。そして、最適化しない場合は、
部分計算木がそれを計算するプログラムに対応していること。
だから、再帰を使って計算木の全体を計算するプログラムが作れるということ。
23 :
2013/09/19(木) 22:37:20.34
おk!わかった
24 :
真・スレッドストッパー
2013/09/19(木) 22:41:24.89
このスレッドは終了しました。。。( ̄ー ̄)ニヤリ
25 :
2013/09/19(木) 22:48:39.23
テスト
26 :
2013/09/19(木) 22:50:58.61
半加算機って何ですか?
27 :
2013/09/19(木) 23:03:40.96
オートマトンで状態遷移する時にどう表現するつもりよ
28 :
2013/09/19(木) 23:10:24.06
倍返しだ!
29 :
デフォルトの名無しさん
2013/09/19(木) 23:15:57.85
10倍返しだ!
30 :
2013/09/19(木) 23:29:00.33
>>22
もっと数学的に厳密に説明できませんか?
31 :
2013/09/19(木) 23:47:18.15
>>30
分厚い人工知能の本でも買って勉強しろ。
32 :
2013/09/20(金) 04:16:37.67
このスレッドは天才チンパンジー「アイちゃん」が
言語訓練のために立てたものです。

アイと研究員とのやり取りに利用するスレッドなので、
関係者以外は書きこまないで下さい。

                  京都大学霊長類研究所
33 :
2013/09/20(金) 15:47:32.11
数学の代数学っていうと身構えるほどチンプンカンプンだが
ブール代数の内容は至極簡単なので勉強してよかった。
34 :
2013/09/20(金) 15:52:01.10
Prolog使ってるとこの類は勝手に分るようになるよ。
35 :
2013/09/20(金) 21:08:51.10
いまのコンピュータの仕組みとなったシャノンの修士論文を読もう
36 :
デフォルトの名無しさん
2013/09/21(土) 00:11:06.87
ブーン、ブンブブンブン
ブンブブンブ、ブブーンブン
37 :
2013/09/21(土) 01:46:28.90
なかっち 動画
http://www.youtube.com/watch?v=z2qK2lhk9O0s



みんなで選ぶニコ生重大事件 2012
http://vote1.fc2.com/browse/16615334/2/
2012年 ニコ生MVP
http://blog.with2.net/vote/?m=va&id=103374&bm=
2012年ニコ生事件簿ベスト10
http://niconama.doorblog.jp/archives/21097592.html


生放送の配信者がFME切り忘れプライベートを晒す羽目に 放送後に取った行動とは?
http://getnews.jp/archives/227112
FME切り忘れた生主が放送終了後、驚愕の行動
http://niconama.doorblog.jp/archives/9369466.html
台湾誌
http://www.ettoday.net/news/20120625/64810.htm
38 :
2013/09/29(日) 20:02:41.38
みせしめか
39 :
2013/10/11(金) 16:25:25.43
ブーン、ブンブブンブン
ブンブブンブ、ブブーンブン
40 :
2014/01/17(金) 20:13:56.87
オレが問題をだしてあげよう。
((c|d)&(a==c)&(b==d))|(!(c|d)&((a==c)|(b==d)))
を簡単にせよ。
41 :
デフォルトの名無しさん
2014/01/20(月) 18:37:06.02
(a==c)&(b==d)
42 :
2014/01/20(月) 19:44:08.58
残念だが不正解でござる。
43 :
2014/01/21(火) 01:45:33.80
(a==c)|(b==d)
44 :
2014/01/21(火) 08:11:54.66
がんばったでしょー☆
不正解でござる
45 :
2014/01/21(火) 11:38:51.30
正解が存在しないってだけだろ
46 :
2014/01/21(火) 11:47:59.57
もう諦めたでござるかぁー。ハエは出直してまいれー。
47 :
デフォルトの名無しさん
2014/01/21(火) 11:51:58.09
何だ板に張り付いてるだけの屑だったかww
どうせ答の出ない問題を出して煽りたいだけだろww
48 :
2014/01/21(火) 11:58:22.05
>>47>>46みたいなのは相手にしちゃ駄目
ただの池沼みたいだから
49 :
デフォルトの名無しさん
2014/01/21(火) 12:07:36.76
この板のレベルは低いのう。こんな簡単な問題も解けないとは。実に低いでござる。
50 :
2014/01/21(火) 12:09:46.77
そのくせ、ゴミとか池沼とか罵倒することだけは一丁前。地球人ってハエですね。
51 :
2014/01/21(火) 12:14:51.84
何揉めてんの?
52 :
2014/01/21(火) 12:25:00.54
>>40
これの答って実際無いよね
53 :
2014/01/21(火) 12:29:40.20
ハエがしつこいので、簡単な問題だと釘をさしておきますですはい。
54 :
2014/01/21(火) 12:39:29.15
なんかうんなんだろう
55 :
2014/01/21(火) 12:56:59.74
時々プログラム板ってこういう頭のお菓子なのが湧くんだよな
56 :
2014/01/21(火) 13:01:48.93
糖質って大体こういうのだよな
>>53みたいにひたすらスレに張り付くんだよ
57 :
2014/01/21(火) 13:44:49.85
このスレッドは天才チンパンジー「アイちゃん」が
言語訓練のために立てたものです。

アイと研究員とのやり取りに利用するスレッドなので、
関係者以外は書きこまないで下さい。

                  京都大学霊長類研究所
58 :
2014/01/21(火) 14:49:24.11
おおハエよ。トチ狂ってギブアップしてしまうとは情けない、
そなたにもう一度チャンスを与えよう。では解くがよい。

駄々こねてしょうがないチョンくさいお子様に絶大なるヒントを与えよう。
まず右半分を変形。
59 :
2014/01/21(火) 17:26:57.19
すいません
粘着してる糖質が沸いてるんでここに来た人は相手にせず
別のスレに行ってください
60 :
2014/01/21(火) 22:56:27.20
こんな簡単な問題解ける人がたったの一人もいないでござるか?
レベル低いでござるのー。きみら全員才能ないですよ。違う業界いくべきですね。
61 :
2014/01/21(火) 23:18:50.80
(a==c)&(b==d)これと
(a==c)|(b==d)これという安易な答えが不正解だからって
答えがないと決めつけて人格攻撃とか、知能以前に人間レベルを疑わないといけないですね。
あたくしを糖質だとバカにできないほどあなたがたはキチガイであることを自覚すべきです。
62 :
デフォルトの名無しさん
2014/01/21(火) 23:23:39.05
あたくしは地球人でないことを自覚してますが、あなた方はアホである自覚がない。
つまりあたしで火星で、あなた方は真性だということです。
63 :
2014/01/21(火) 23:46:24.79
あたくしごときアホに人工知能が与えられたのは、世界を敵にまわしても勝てという神様の思し召しなんでしょうか。
もともとそんなくだらない戦いは望んじゃいなかったんですがね。
こんなんで勝ってヒーローとかバカバカしいにもほどがあるのに。
なんであたくしが選ばれたんでしょうか?
64 :
2014/01/23(木) 14:52:35.48
(右半分の式):=(!(c|d)&((a==c)|(b==d)).
分配法則より
(右半分の式)==(!(c|d) & (a==c))|(!(c|d) & (b==d)).
となる。
(与式)==((c|d)&(a==c)&(b==d))|(右半分の式)
==((c|d) & (a==c) & (b==d)) | (!(c|d) & (a==c)) | (!(c|d) & (b==d)).
さらに...(続く)
65 :
2014/01/23(木) 17:18:36.66
...(続き)
分配法則より
(与式)==((c|d) & (a==c) & (b==d) & !(c|d)) | ((c|d) & (a==c) & (b==d) & (a==c)) | (!(c|d) & (b==d))
==((c|d) & (a==c) & (b==d) & !(c|d)) | ((c|d) & (a==c) & (b==d)) | (!(c|d) & (b==d)).
ここで((c|d) & !(c|d))は偽であるから
(与式)==((c|d) & (a==c) & (b==d)) | (!(c|d) & (b==d)).
さらに...(続く)
66 :
片山博文MZコスモ ◆T6xkBnTXz7B0
2014/01/23(木) 18:08:35.28
>>65は間違い。
(>>64から続く)...
分配法則より
(与式)==((a==c) & (((c|d) & (b==d)) | !(c|d))) | (!(c|d) & (b==d))
==((a==c) & (((c|d) | !(c|d)) & ((b==d) | !(c|d)))) | (!(c|d) & (b==d)).
ここで((c|d) | !(c|d))==0であるから
(与式)==((a==c) & (0 & ((b==d) | !(c|d)))) | (!(c|d) & (b==d))
==((a==c) & 0) | (!(c|d) & (b==d))
==0 | (!(c|d) & (b==d))
==!(c|d) & (b==d)
==!c & !d & (b==d) (計算終わり)
67 :
片山博文MZコスモ ◆T6xkBnTXz7B0
2014/01/23(木) 18:17:34.06
!c & !d & (b==d) でファイナルアンサー。
68 :
2014/01/23(木) 21:36:55.00
>>65
よくわからない分配律なのに何故か間違ってないでござる。
そいつはさらに簡単になるでござる。
>>66
ここで間違ってるでござる。
(c|d) | !(c|d)==1
(c|d) & !(c|d)==0
69 :
2014/01/23(木) 21:51:47.46
あちゃーまた間違えてたか。
c==1かつd==2のとき、(c|d) | !(c|d)==3になる。
(c|d) | !(c|d)は非ゼロであることは確か。
ブール代数の元に限定するなら1で正しいが。
70 :
2014/01/23(木) 21:58:03.64
お題:関数呼び出しを含まないC言語のブール代数式を簡略化するプログラムを作れ。

できるか?
71 :
2014/01/23(木) 22:58:31.12
メンドーなことはやりたくないでござる。
http://ja.wikipedia.org/wiki/クワイン・マクラスキー法
を使えばいいでござる。
72 :
2014/01/24(金) 14:41:30.18
>>71 ありがとうございます。
73 :
デフォルトの名無しさん
2014/01/28(火) 22:21:40.18
(a==c)|(b==d)
74 :
島本町で凄惨なイジメを受けて廃人になった方へ
2014/08/07(木) 20:01:13.85 ID:L9M/hxnx
>大阪府三島郡島本町の小学校や中学校は、暴力イジメ学校や。
島本町の学校でいじめ・暴力・脅迫・恐喝などを受け続けて廃人になってしもうた僕が言うんやから、
まちがいないで。僕のほかにも、イジメが原因で精神病になったりひきこもりになったりした子が何人もおる。
教師も校長も、暴力やいじめがあっても見て見ぬフリ。イジメに加担する教師すらおった。
誰かがイジメを苦にして自殺しても、「本校にイジメはなかった」と言うて逃げるんやろうなあ。
島本町の学校の関係者は、僕を捜し出して口封じをするな

子供の時に受けた酷いイジメの体験は、一生癒えない深い傷になる
「暴力とイジメと口裏合わせと口封じ」の町やそういう町に巣食うヤクザ・チンピラ・ゴロツキ・不良・
いじめっ子・殺人鬼・ダニ・ノミ・シラミなどを監視して非難するのは暮らしやすい町を作るのに必要だ
75 :
デフォルトの名無しさん
2016/07/31(日) 16:05:15.36 ID:JTJLwIya
【閲覧注意】戦闘に巻き込まれて頭部を切断された少女の遺体。これがリアルなシリア。
http://dqnworld.com/archives/34.html
これが本当の戦争の恐怖。この少女には大人の戦争は関係ないですからね。巻き込まれた少女の遺体を持って何か
を訴えかけている男たちの映像です。

【閲覧注意】シリアで反体制派の兵士が顔を吹き飛ばされてしまう瞬間。
http://dqnworld.com/archives/89.html
スローモーションが怖すぎる・・・。

【閲覧注意】アッラーフアクバルを叫びながら少年を斬首する映像を公開する。
http://dqnworld.com/archives/3975.html
点滴?のようなものが見えるんだけど。助けられた少年じゃなかったのか。助けられた所を強奪されてアッラーフ
アクバル?なのかしら・・・。

【閲覧注意】磔にされた戦闘機パイロットの遺体。シリアにて。
http://dqnworld.com/archives/3996.html
今日のアッラーフアクバル動画。

【閲覧注意】この首吊り自殺、足スレスレだけど本当に死ねてる?
http://dqnworld.com/archives/4001.html
中国で撮影された首吊り自殺の映像です。既に死んでいると書いてあるけど自分で揺らしているようにみない?www

妻の目の前でぶっ飛ばされた旦那さん?これは死んだかな(°_°)
http://dqnworld.com/archives/4004.html
さすがにこれだけ飛ばされたら助からないかな・・・。

【閲覧注意】あおむけでゲロを吐きまくっている男性。助けてやれよ・・・。窒息するぞ(@_@;)
http://dqnworld.com/archives/4007.html
これ結構危ないんじゃないの?撮影してないで横向きにしてやれよ。これ窒息する可能性あるだろ。
21KB

新着レスの表示

★スマホ版★■掲示板に戻る■全部前100次100最新50

名前:E-mail: