succeed https://blog.hatena.ne.jp/succeed/ 飲み物だから太らない https://succeed.hatenadiary.org/ 前回の真理値表関連で。 ある回路図二つを用意して、それらが同じ動作をすると言うことを確かめるにはどうすれば良いかと言えば、全ての入力に対して全ての出力を行なえばいいわけです。 すなわち、LiLFeSで書くとこうなります。 ne_sinri <- [pred]. ne_sinri(X, Y, Z):- calc(X, Z, Ans), \+ calc(Y, Z, Ans), !. ne_sinri(X,Y,Z) :- calc(Y,Z,Ans), \+ calc(X,Z,Ans), !. eq_sinri <- [pred]. eq_sinri(X, Y) :- \+ ne_sinri(X, Y… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fsucceed.hatenadiary.org%2Fentry%2F20050514%2Fp1" title="またつまらぬものを・・・ - 飲み物だから太らない" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2005-05-14 00:00:00 rich https://succeed.hatenadiary.org/entry/20050514/p1 1.0 100%