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

■ このスレッドは過去ログ倉庫に格納されています
2013/09/19(木) 19:21:58.64
頼む
2013/09/19(木) 19:26:41.22
低レベルではCPUが論理演算と条件分岐できるから。
高レベルでは、コンパイラが論理式を翻訳できるから。
3デフォルトの名無しさん
垢版 |
2013/09/19(木) 19:43:50.60
おらおら、徒歩暴走族のお出ましだぜ
4デフォルトの名無しさん
垢版 |
2013/09/19(木) 19:51:20.70
ブーン、ブンブブンブン
ブンブブンブ、ブブーンブン
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が０になり、AXが非ゼロならZFが１になる。
この直後にJZを呼べばAXの値を確認できる。
9デフォルトの名無しさん
垢版 |
2013/09/19(木) 21:00:01.74
整数の０と１を代数系Xの元とすれば、
AND命令の直後のZFは、論理積となり、OR命令の直後のZFは、
論理和となる。NOT命令の直後のZFは、論理否定となる。
ZFに従ってレジスタに０か１を代入した結果をX上の各
演算の値とすると、Xをブール代数と見なすことができる。
10デフォルトの名無しさん
垢版 |
2013/09/19(木) 21:11:56.14
ここまででわからなかったことがあれば質問せよ。
2013/09/19(木) 21:24:19.61
ZFは０か１しかなくて
AXはZFが０の時は０
それ以外は１という理解でおｋ？
12デフォルトの名無しさん
垢版 |
2013/09/19(木) 21:25:42.21
ブーン、ブンブブンブン
ブンブブンブ、ブブーンブン
13デフォルトの名無しさん
垢版 |
2013/09/19(木) 21:30:15.73
>ZFは０か１しかない

正しい。

>AXはZFが０の時は０ それ以外は１

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

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

　　　　　　　　　　　　　　　　　　京都大学霊長類研究所
2013/09/20(金) 15:47:32.11
数学の代数学っていうと身構えるほどチンプンカンプンだが
ブール代数の内容は至極簡単なので勉強してよかった。
2013/09/20(金) 15:52:01.10
Prolog使ってるとこの類は勝手に分るようになるよ。
2013/09/20(金) 21:08:51.10
いまのコンピュータの仕組みとなったシャノンの修士論文を読もう
36デフォルトの名無しさん
垢版 |
2013/09/21(土) 00:11:06.87
ブーン、ブンブブンブン
ブンブブンブ、ブブーンブン
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
2013/09/29(日) 20:02:41.38
みせしめか
2013/10/11(金) 16:25:25.43
ブーン、ブンブブンブン
ブンブブンブ、ブブーンブン
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)
2014/01/20(月) 19:44:08.58
残念だが不正解でござる。
2014/01/21(火) 01:45:33.80
(a==c)|(b==d)
2014/01/21(火) 08:11:54.66
がんばったでしょー☆
不正解でござる
2014/01/21(火) 11:38:51.30
正解が存在しないってだけだろ
2014/01/21(火) 11:47:59.57
もう諦めたでござるかぁー。ハエは出直してまいれー。
47デフォルトの名無しさん
垢版 |
2014/01/21(火) 11:51:58.09
何だ板に張り付いてるだけの屑だったかｗｗ
どうせ答の出ない問題を出して煽りたいだけだろｗｗ
■ このスレッドは過去ログ倉庫に格納されています
5ちゃんねるの広告が気に入らない場合は、こちらをクリックしてください。
ニューススポーツなんでも実況