home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / fj / lang / misc / 285 < prev    next >
Encoding:
Internet Message Format  |  1992-12-21  |  2.8 KB
  1. Path: sparky!uunet!stanford.edu!sun-barr!sh.wide!wnoc-kyo!kuis!ougw!ougw2!saru!murakami
  2. From: murakami@momo.it.okayama-u.ac.jp (Masaki Murakami)
  3. Newsgroups: fj.lang.misc
  4. Subject: Theory of Programs (Re: [Pascal] Pascal for education (Re: Pointer))
  5. Message-ID: <MURAKAMI.92Dec21173329@saru.momo.it.okayama-u.ac.jp>
  6. Date: 21 Dec 92 08:33:29 GMT
  7. References: <WD.92Dec21020031@hakobe.kurims.kyoto-u.ac.jp>
  8. Sender: news@it.okayama-u.ac.jp
  9. Distribution: fj
  10. Organization: Dept. of Info. Tech., Okayama Univ. Okayama, Japan.
  11. Lines: 45
  12. In-reply-to: kono@csl.sony.co.jp's message of 21 Dec 92 04:50:50 GMT
  13.  
  14.  
  15.  
  16.  $@7W;;$NM}O@$NK\$J$i7k9=$"$k$N$@$,!"2?8N%W%m%0%i%`$NM}O@$NK\$O>/$J$$$N(J
  17. $@$+!)!V(J$@;;K!I=8=O@!W(J($@LZB<!&JF_7!"4dGH(J)$@$N=*$o$j$NJ}$K!">/$7$=$l$i$7$$OCBj(J
  18. $@$,:\$C$F$$$k$1$I!%(J
  19.  
  20. In article <1992Dec21.045050.18381@nntp.csl.sony.co.jp>
  21. kono@csl.sony.co.jp (Shinji Kono) writes:
  22.  >>  $@$($($H!"!X%W%m(J$@%0%i%`$N4pACM}O@!Y!J:4F#2mI'!&:y0f5.J8!$4dGH=qE9!K$OF~(J
  23.  >>$@Lg$H$7$FFI$`$K$O=E$$$7!"!X?tM}>pJs3XF~Lg!Y!J(J$@CfEgNhFs!$D+AR=qE9!K$O(J 
  24.  >>Scott-Strachey method $@$N$3$H$7$+=q$$$F$J$$$7!D!D!#$I$J$?$+!"E,Ev$JF~Lg(J
  25.  >>$@=q!"$4B8$8$"$j$^$;$s!)(J
  26.  
  27.  $@$H$$$&J8>O$rFI$s$G!%!%(J
  28.  
  29.  >$@<+J,$GJY6/$7$?K\$K$J$C$A$c$&$1$I(J..
  30.  >   Manna$@$N!V%W(J$@%m%0%i%`$NM}O@!W(JMathematical Theory of Computation
  31.  >   Lloyds$@$N!V(JFoundation of Logic Programming$@!W(J
  32.  >$@$8$c$J$J$$$+$J$!!#N>J}$H$b:#$H$J$C$F$O8E$$!#(J
  33.  
  34.  $@KM<+?H$b>e5-$N#2:}$,:G=i$K;W$$Ib$+$s$G!"!V$3$l$8$c!">R(J$@2p$9$k$h$&$J>p(J
  35. $@Js$8$c$J$$$J$"!W$H;W$C$?$s$G$9$1$I!%(J
  36.  
  37.  Manna$@$NK\$O!"$"$^$j$K8E$$$7!"%W%m%0%i%`$NM}O@$i(J$@$7$$FbMF(J($@8xM}E*0UL#O@(J
  38. $@$_$?$$$JOCBj(J)$@$O$3$N$V8|$$K\$N0lIt$G$9$+$i!"%3%9%H!&%Q%U%)!<%^%s%9$NE@(J
  39. $@$GIT9g3J$G(J$@$O$J$$$+$H;W$$$^$9!%(J
  40.  
  41.   Lloyd$@$NK\$O:#$G$b#4G/@8$N%<%_$G;H$C$F$^$9$1$I!"!VM}O@$NK\!W$rFI$`N}(J
  42. $@=,$_$?$$$J(J$@$D$b$j$G;H$C$F$^$9!%%W%m%0%i%`$NM}O@$NF~Lg$H$7$FE,Ev$+$H$$$&(J
  43. $@$H!"$"$^$j!V$^$:0l:}FI$b$&!*!W$H$$$C$FFI(J$@$`K\$H$O;W$($J$$$G$9!%(J
  44.  
  45.  >Logic $@$rJY6/$7$J$$8B$j!"%W%m%0%i%`$N4pACM}O@$C$FL50UL#$8$c$J$$$G$9$+(J?
  46.  >$@Nc$((J$@$P!"(Jinvariant $@$C$F$$$&$N$OIaDLO@M}<0$@$7!"(Jfunctional language$@$N0UL#(J
  47.  >$@$rF~=PNO$NAH$N=89g$GI=$9>l9g$b!"(J$@$=$N=89g$,O@M}<0$H$7$FI=8=$5$l$J$1$l$PLr(J
  48.  >$@$K$?$?$J$$$G$7$g!#0lHLE*$JBe?t$rJY6/$7$F$bLr$KN)$?$J$$$1$I(J...
  49.  
  50.  $@$3$l$rFI$s$G;W$$$D$$$?$s$@$1$I!"(JHoare$@$,#F#G#C#S(J $@#9#2$G9V1i$7$F$$$C$?(J
  51. $@$h$&$JFbMF$rK\$K$7$F$/$l$?(J$@$i!"%W%m%0%i%`(J($@%W%m%0%i%_%s%0!)(J)$@$H%m%8%C%/$r(J
  52. $@7k$S$D$1$FJY6/$9$k$$$$65:`$K$J$k$s$8$c$J$$$+$7$i!)(J
  53.  
  54.  $@$=$l(J$@$+$i!"%3%m%J<R$N!V%3%s%T%e!<%??t3X%7%j!<%:!W$+2?$+$+$i!V%W%m%0%i(J
  55. $@%`$N0UL#O@!W$NK\$,=P$k$i$7$$$s$G$9$1(J$@$I!"FbMF$OA4A3CN$j$^$;$s!%(J
  56. --
  57.  ---------------------------------------------
  58.  BORN TO BE NOISY..... $@B<(J$@>e!w2,;3Bg3X>pJs9)3X2J(J
  59.