bitslice_tr
a--------------+ +------ci------+
b a1=ain |
s<0> bitselect_tr | | fulladder_tr =sum
s<1> b1=bin |
s<2>--------------+ | |
+------co------+
alu8（今のところ）
cin
a<0>+------------------------ci-------+
b<0>| |
s<0>| bitslice_tr |sum<0>
s<1>| |
s<2>+------------------+ |
+-----co-------+
a<1>+------------------------ci-------+
b<1>| |
s<0>| bitslice_tr |sum<1>
s<1>| |
s<2>+------------------+ |
+-----co-------+
a<2>+------------------------ci-------+
b<2>| |
s<0>| bitslice_tr |sum<2>
s<1>| |
s<2>+------------------+ |
+-----co-------+
a<3>+------------------------ci-------+
b<3>| |
s<0>| bitslice_tr |sum<3>
s<1>| |
s<2>+------------------+ |
+-----co-------+
a<4>+------------------------ci-------+
b<4>| |
s<0>| bitslice_tr |sum<4>
s<1>| |
s<2>+------------------+ |
+-----co-------+
a<5>+------------------------ci-------+
b<5>| |
s<0>| bitslice_tr |sum<5>
s<1>| |
s<2>+------------------+ |
+-----co-------+
a<6>+------------------------ci-------+
b<6>| |
s<0>| bitslice_tr |sum<6>
s<1>| |
s<2>+------------------+ |
+-----co-------+
a<7>+------------------------ci-------+
b<7>| |
s<0>| bitslice_tr |sum<7>
s<1>| |
s<2>+------------------+ |
+-----co-------+
cout
bitslice_tr a--------------+ +------ci------+ b a1=ain | s<0> bitselect_tr | | fulladder_tr =sum s<1> b1=bin | s<2>--------------+ +------co------+
| 電流(=Drive能力？) | I∝(1/dox)*(W/L)*V2 |
| Load Capacitance | C∝WL/dox |
| Gate Delay | D∝C/(I/V) = CV/I = L2/V |
| 消費電力 | P∝CV2*(1/D) = IV = (1/dox)*(W/L)*V3 |
%与えられた述語sem。 sem(clyde, age:6). sem(clyde, P) :- isa(elephant, P). sem(elephant1, birthYear:1990). sem(elephant1, P) :- isa(elephant, P). sem(elephant, color:gray). sem(elephant, P) :- isa(mammal, P). sem(mammal, bloodTemp:warm).
実行結果 ?- sem(clyde, P). P = age:6 ; P = isa:elephant ; P = color:gray ; P = isa:mammal ; P = bloodTemp:warm ; No ?- sem(X, isa:mammal). X = clyde ; X = elephant1 ; X = elephant ; No
isa(X, P) :- sem(X, P). でいいんだけど、
isa関係そのものも属性であるとするのがねえ……。答え：isa(X, isa:X).
bitslice_tr a--------------+ +------ci------+ b b1=bin | s<0> bitselect_tr a1=ain =sum s<1> | | fulladder_tr | s<2>--------------+ +------co------+
:- op(100, yfx, :). %与えられた述語sem。 sem(clyde, age:6). sem(clyde, P) :- isa(elephant, P). sem(elephant1, birthYear:1990). sem(elephant1, P) :- isa(elephant, P). sem(elephant, color:gray). sem(elephant, P) :- isa(mammal, P). sem(mammal, bloodTemp:warm). %述語isaの定義 %isa関係も属性値。 isa(X, isa:X). %子の属性値を継承する。 isa(X, P) :- sem(X, P).レポートメール本体は、このあと実行結果例が続く。
function f(n)
var x;
begin
if n > 2 then x := f(n - 1) + f(n - 2) + f(n - 3);
if n = 2 then x := 0; if n = 1 then x := 1; if n = 0 then x := 2;
return x
end;
var a;
begin a := 5; write f(a); writeln; end;
で、fの呼ばれる回数はいくらか
みたいな感じの問題で、
[10]
f(5)
＋
／｜＼
／ ｜ ＼
／ ｜ ＼
／ ｜ ＼
／ ｜ ＼
／ ｜ ＼
／ ｜ ＼
f(4) f(3) f(2)
＋ ＋ [9]
／｜＼ ／｜＼
／ ｜ ＼ ／ ｜ ＼
f(3) f(2) f(1) f(2) f(1) f(0)
＋ [4] [5] [6] [7] [8]
／｜＼
／ ｜ ＼
f(2) f(1) f(0)
[1] [2] [3]
で、根と葉だけを数えて、10回と答えた間抜け。