Newsgroups: fj.lang.misc
Path: galaxy.trc.rwcp.or.jp!sparky!uunet!ccut!wnoc-tyo-news!cs.titech!is.titech!ushijima
From: ushijima@is.titech.ac.jp (Tetsu Ushijima)
Subject: Re: book of CLU
References: <9165@coins.is.tsukuba.ac.jp>
Message-ID: <USHIJIMA.92Nov4221213@nsc.is.titech.ac.jp>
Organization: Department of Information Science, Tokyo Institute of Technology
In-Reply-To: bizenya@coins.is.tsukuba.ac.jp's message of 4 Nov 92 15:12:37 JST
Sender: news@is.titech.ac.jp (Usenet News System)
Date: Wed, 4 Nov 1992 13:12:13 GMT
Distribution: fj
X-Bytes: 2295
Lines: 65
Xref: galaxy.trc.rwcp.or.jp fj.lang.misc:620
X-originally-archived-at: http://galaxy.rwcp.or.jp/text/cgi-bin/newsarticle2?ng=fj.lang.misc&nb=620&hd=a
X-reformat-date: Mon, 18 Oct 2004 15:18:22 +0900
X-reformat-comment: Tabs were expanded into 4 column tabstops by the Galaxy's archiver. See http://katsu.watanabe.name/ancientfj/galaxy-format.html for more info.

$B$3$s$K$A$O!"5mEh$H?=$7$^$9!#(B

In article <9165@coins.is.tsukuba.ac.jp>,
bizenya@coins.is.tsukuba.ac.jp (Katsujiroh NAKANO) writes:

> bit $B$N%P%C%/%J%s%P!<$r8+$F(B,$B$^$?(B,
> fj.sources $B$KEj9F$5$l$?(B,CLU$B=hM}7O$r8+$F(B,
> CLU $B$K6=L#$r;}$C$?$N$G$9$,(B,
> $B8@8l$N>\:Y$K$D$$$F(B,$B$I$N$h$&$JJ88%$,$"$k$N$G$7$g$&$+(B.
> $B$b$&8E$$8@8l$J$N$G(B, C++ $B$_$?$$$K$?$/$5$s$"$k$H$O;W$($^$;$s$,(B,
> $B$I$s$J>pJs$G$b$$$$$G$9$N$G(B,$B65$($F2<$5$$(B.

Liskov $B$i$K$h$k(B [1, 2, 3] $B$H$$$C$?$H$3$m$,BeI=E*$J$b$N$G$O$J(B
$B$$$G$7$g$&$+!#(B[1] $B$O(B CLU $B$N>R2p$H$$$C$?46$8$G$9$,!"(B[2] $B$O;2(B
$B>H%^%K%e%"%k$=$N$b$N$G$9!#(B[3] $B$O(B CLU $B$rMQ$$$F$N%W%m%0%i%`3+(B
$BH/$K$D$$$F$NOC$G!"IUO?$K(B CLU $B$N%^%K%e%"%k$,$D$$$F$$$^$9!#(B

> $B$D$$$G$J$N$G$9$,(B, CLU $B$C$F(B,$BB?CM4X?t$rDj5A$G$-$^$7$?$h$M(B.
> 
>   a, b = sincos(t);
> 
> $B$_$?$$$K$7$F(B.

$B$G$9$M!#(B

> $B$3$l$r(B, proc $B$N0z?t$H$7$F(B
> 
>   p(sincos(t), sincos(s))
> 
> $B$H$9$k$N$K$O(B, proc(...) $B$N(B...$B$K$O$I$N$h$&$K=q$1$P$$$$$N$G$7$g$&$+(B.

CLU $B$G$O!"(B2 $B$D0J>e$NCM$r7k2L$H$7$F;}$D<jB3$-$N8F$S$@$7$O<0$H(B
$B$7$F;HMQ$G$-$^$;$s$+$i!"$3$N$h$&$J>l9g$O0lC6JQ?t$KBeF~$7$J$1(B
$B$l$P$J$j$^$;$s!#Nc$($P!"(B

ts, tc: real := sincos(t)
ss, sc: real := sincos(s)
p(ts, tc, ss, sc)

$B$H$$$&46$8$K$J$j$^$9$N$G!"(Bproc(...) $B$N(B ... $B$K=q$/$3$H$O<+L@(B
$B$@$H;W$$$^$9!#$$$^$$$A$G$9$M!#(B

>  # object CLU $B$_$?$$$J$N$O$"$k$N$@$m$&$+(B.

CLU $B$r%Y!<%9$K$7$?%*%V%8%'%/%H;X8~8@8l$H$$$&$3$H$J$i!"(BMisty
[4] $B$H$+!"(BTrellis/Owl [5] $B$J$s$F$N$,$"$j$^$9$M!#$[$+$K$b$"$k(B
$B$+$b$7$l$^$;$s!#(B


$B;29MJ88%(B

[1] B. Liskov, et al.: Abstraction Mechanisms in CLU, CACM
    20(8), 1977.
[2] B. Liskov, et al.: CLU Reference Manual, LNCS 114, 
    Springer-Verlag, 1981.
[3] B. Liskov and J. Guttag: Abstraction and Specification
    in Program Development, MIT Press, 1986.
[4] $B5WLn(B $BLw(B: $BB?=E7Q>5$H6/$$7?IU$1$r;}$D%*%V%8%'%/%H;X8~8@8l(B
    Misty, $B%3%s%T%e!<%?%=%U%H%&%'%"(B, 6(3), 1989 $BG/(B 7 $B7n(B.
[5] C. Schaffert, et al.: An Introduction to Trellis/Owl,
    OOPSLA '86 Proceedings, September 1986.
--
    $B5mEh(B $BE/(B
    ushijima@is.titech.ac.jp
