何でブール代数がプログラムに使えるか教えろYouTube動画>1本 ->画像>2枚

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が０になり、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

ここまででわからなかったことがあれば質問せよ。

11デフォルトの名無しさん

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

ブーン、ブンブブンブン
ブンブブンブ、ブブーンブン

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

おｋ！わかった

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

オートマトンで状態遷移する時にどう表現するつもりよ

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

なかっち動画

みんなで選ぶニコ生重大事件 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

何だ板に張り付いてるだけの屑だったかｗｗ
どうせ答の出ない問題を出して煽りたいだけだろｗｗ

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片山博文MZコスモ ◆T6xkBnTXz7B0

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片山博文MZコスモ ◆T6xkBnTXz7B0

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片山博文MZコスモ ◆T6xkBnTXz7B0

2014/01/23(木) 21:51:47.46

あちゃーまた間違えてたか。
c==1かつd==2のとき、(c|d) | !(c|d)==3になる。
(c|d) | !(c|d)は非ゼロであることは確か。
ブール代数の元に限定するなら1で正しいが。

70片山博文MZコスモ ◆T6xkBnTXz7B0

2014/01/23(木) 21:58:03.64

お題：関数呼び出しを含まないC言語のブール代数式を簡略化するプログラムを作れ。

できるか？

71デフォルトの名無しさん

2014/01/23(木) 22:58:31.12

メンドーなことはやりたくないでござる。
http://ja.wikipedia.org/wiki/クワイン・マクラスキー法
を使えばいいでござる。

72片山博文MZ無能 ◆T6xkBnTXz7B0

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.85ID:L9M/hxnx

＞大阪府三島郡島本町の小学校や中学校は、暴力イジメ学校や。
島本町の学校でいじめ・暴力・脅迫・恐喝などを受け続けて廃人になってしもうた僕が言うんやから、
まちがいないで。僕のほかにも、イジメが原因で精神病になったりひきこもりになったりした子が何人もおる。
教師も校長も、暴力やいじめがあっても見て見ぬフリ。イジメに加担する教師すらおった。
誰かがイジメを苦にして自殺しても、「本校にイジメはなかった」と言うて逃げるんやろうなあ。
島本町の学校の関係者は、僕を捜し出して口封じをするな

子供の時に受けた酷いイジメの体験は、一生癒えない深い傷になる
「暴力とイジメと口裏合わせと口封じ」の町やそういう町に巣食うヤクザ・チンピラ・ゴロツキ・不良・
いじめっ子・殺人鬼・ダニ・ノミ・シラミなどを監視して非難するのは暮らしやすい町を作るのに必要だ

75デフォルトの名無しさん

2016/07/31(日) 16:05:15.36ID: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
中国で撮影された首吊り自殺の映像です。既に死んでいると書いてあるけど自分で揺らしているようにみない？ｗｗｗ

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

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

76デフォルトの名無しさん

2017/12/11(月) 20:49:36.10ID:xh8Y81wo

>>69
謙虚で好きだ
すごい

77デフォルトの名無しさん

2018/05/23(水) 21:05:28.95ID:Au5e7VGg

僕の知り合いの知り合いができたパソコン一台でお金持ちになれるやり方
役に立つかもしれません
グーグルで検索するといいかも『ネットで稼ぐ方法　モニアレフヌノ』

F15DB

78デフォルトの名無しさん

2018/07/05(木) 00:50:34.15ID:RfoszcD2

AIQ

79デフォルトの名無しさん

2019/04/11(木) 17:56:39.13ID:qUwSdBdJ

。

80さまよえる蟻人間 ◆T6xkBnTXz7B0

2019/04/11(木) 20:41:30.94ID:4WryY6sc

再帰的定義。再帰的計算。ハードウェアとソフトウェアの融合。計算科学の結晶。

81デフォルトの名無しさん

2019/04/11(木) 21:39:55.90ID:VFi1NhTI

>>32
天才チンパンジーにしてはちと天才すぎる

82デフォルトの名無しさん

2019/04/16(火) 20:51:13.86ID:kcG0S8Ob

>>40
論理合成してみた。
何でブール代数がプログラムに使えるか教えろYouTube動画>1本 ->画像>2枚

8382

2019/04/16(火) 21:55:25.40ID:kcG0S8Ob

ついでにこんなベンチを書いてシミュレーションしてみた。
library IEEE,WORK; use IEEE.std_logic_1164.all; use IEEE.std_logic_unsigned.all; use IEEE.std_logic_arith.all;
use WORK.FuncPrintf.all;
entity Test0010_tb is
end Test0010_tb;
architecture testbench of Test0010_tb is
　　component Test0010
　　　　port
　　　　(　 a,b,c,d : in　　boolean
　　　　;　 o　　　 : out　 boolean
　　　　);
　　end component;
　　signal　a,b,c,d,o　 : boolean　 ;
　　signal　x　　　　　 : std_logic_vector(4 downto 0)　;
begin
　　u : Test0010 port map (a,b,c,d,o);
　　a <= x(0) = '1';
　　b <= x(1) = '1';
　　c <= x(2) = '1';
　　d <= x(3) = '1';
　　x(4) <= '1' when o　else '0';
　　process
　　begin
　　　　for i in 0 to 15 loop
　　　　　　x(3 downto 0)　 <= conv_std_logic_vector(i,4);　wait for 1 ns;
　　　　　　printf("%02X\n",conv_integer(x));
　　　　end loop;
　　　　assert FALSE report "End." severity FAILURE;
　　end process;
end testbench;

8482

2019/04/16(火) 21:55:49.77ID:kcG0S8Ob

結果は左から順に下記。
　　o <= ((c or d)and(a=c)and(b = d)) or ((not(c or d))and((a = c)or(b = d)));
　　o <= (not c)and(not d)and(b=d);
　　o <= (a=c)or(b=d);
　　o <= (a=c)and(b=d);

結果。
# 10 10 10 10
# 11 11 11 01
# 12 02 12 02
# 03 03 03 03
# 04 04 14 04
# 15 05 15 15
# 06 06 06 06
# 07 07 17 07
# 08 08 18 08
# 09 09 09 09
# 1A 0A 1A 1A
# 0B 0B 1B 0B
# 0C 0C 0C 0C
# 0D 0D 1D 0D
# 0E 0E 1E 0E
# 1F 0F 1F 1F

85デフォルトの名無しさん

2020/03/24(火) 13:29:39.50ID:WT9cP8p5

>>1
>>26

86デフォルトの名無しさん

2020/03/26(木) 22:22:51.76ID:ljFDlwQq

プロセスとスレッドの違いを教えて

87デフォルトの名無しさん

2020/03/27(金) 14:38:34.98ID:9RtDMjhb

続きはしかるべきスレで