HDTenEightyP/NetNews huggingface dataset:
From: sampels@andrej.informatik.rwth-aachen.de (Michael Sampels)
Newsgroups: fj.mail-lists.parallel
Subject: Re: Formal Specifications in CCS
Date: 13 Aug 92 20:18:53 GMT
Distribution: fj

Hello David,

you should read the article:

K. Jensen, The Semantics of Tuple Space and Correctness of an
Implementation, Yale University, Department of Computer Science,
1990.

Jensen uses Milner's CCS to specify the Linda syntax and to proove
the correctness.

Michael
----------------------------------------------------------------------
Michael Sampels           e-mail: sampels@i1.informatik.rwth-aachen.de
Koenigstr. 62
D-5100 Aachen
Germany
From: weigert@etlhit.etl.go.jp (Thomas Weigert)
Newsgroups: fj.mail-lists.parallel
Subject: Re: verification of real-time specs
Date: 12 Aug 92 12:21:21 GMT
Distribution: fj

In a recent post, I wrote

TW> EMC is a model checker for CTL formulae over Kripke structures. 
TW> Literature: Emerson, Halper, "Sometimes" and "Not Never" Revisited,
TW> JACM, 33, 1, 1986.

It was brought to my attention that above statement could be construed as
claiming that the mentioned paper was the seminal reference about the EMC
system or model checking. Of course, it is not, but it was the only
reference that mentioned model checking at the time of posting. Model
checking was first proposed by E.M. Clarke.

Probably the best reference for EMC is E.M. Clarke, E.A. Emerson, A.P.
Sistla, "Automatic Verification of Finite-State Concurrent Systems Using
Temporal Logic Specifications", ACM Trans. Programming Languages and
Systems, 8, 2, 1986, pp. 244-263. 

I apologize for any confusion my post might have caused.

Cheers, Thomas.

--
+--------------------------------+---------------------------------+
| Thomas Weigert                 |                                 |
| Machine Inference Section      |                                 |
| Electrotechnical Laboratory    |                                 |
| Umezono 1-1-4, Tukuba-shi      | weigert@{mcs.anl.gov,etl.go.jp} |
| Ibaraki 305, Japan             | +81-298-58-5918 (phone+fax)     |
+--------------------------------+---------------------------------+
From: wong@qucis.queensu.ca (Tak Shing Wong)
Newsgroups: fj.mail-lists.parallel
Subject: GENESYS C (transputer) expert
Date: 18 Aug 92 11:19:38 GMT
Distribution: fj

Hi,
	Is there any Genesys C expert out there?
	I've a serious problem with my transputer program. The program
will suddenly detach itself from the processor without any reason. And 
I already checked it is not due to any exit function (e.g. kexit). 
Can anyone point me out what cause the problem?

I'm currently using Transtech GENESYS II, release 2.2.

Thank you in advance.

-- 
===============================================================
Tak S, Wong			email: wong@qucis.queensu.ca
Queen's University		tel:   (613) 547 - 4740
Kingston, Ont,
From: kentp@cs.chalmers.se
Newsgroups: fj.mail-lists.types
Subject: CORRECTION: Bastad proceedings
Date: 21 Aug 92 15:02:30 GMT
Distribution: fj

Date: Fri, 21 Aug 92 09:03:29 +0200

In the table of contents of the Bastad proceedings one paper was
unfortunately missing:

	Randy Pollack: Typechecking in Pure Type Systems

It was in the proceedings but not in the table of contents and
therefore not in the list of papers in the previous message. I am
sorry for the mistake.

	kent petersson
From: Roberto.Amadio@loria.fr
Newsgroups: fj.mail-lists.types
Subject: unification in CCC
Date: 14 Aug 92 19:46:02 GMT
Distribution: fj

Date: Fri, 14 Aug 92 10:58:32 +0200

Dear Moderator,

I would like to submit the following question to the attention
of the subscribers of the types list.

yours truly,

Roberto Amadio

=========================================================================

I know of at least two surveys on unification which mention the
problem of unification in the free theory of a cartesian
closed category but do not give any substantial reference.

One of these surveys goes a little bit further and states that
unification in a ccc `corresponds' to higher order unification
(say unification in the simply typed lambda beta eta calculus,
as described in G. Huet [1975] `A unification algorithm for 
typed lambda calculus', TCS ).

I am a bit sceptic about this statement and I would appreciate
receiving references to papers where this point is actually worked out.


Roberto Amadio (amadio@loria.loria.fr)


P.S. Here is a sketch of how, I guess, a typical problem could be formalized.

Let us consider the simply typed lambda-beta-eta calculus.

A context G is a list of pairs variable-type where all variables are 
distinct.

G |- M:A means that the term M has type A in the context G.

There is a standard interpretation, say [[G |- M:A]] of this judgment 
in a CCC as a morphism from the object interpreting G to the object 
interpreting A.

Now given two terms of type A in the context G we may ask if there is a
pre-equalizer in the free CCC for the morphisms:

[[G |- M:A ]], [[G |- N:A ]].

This corresponds to the abstract view of a unifier as a pre-equalizer (a cone)
(see for instance, J. Goguen[1989], `What is unification ?', in Resolution
of equations in algebraic structures', Ait-Kaci&Nivat (eds.), Academic Press).

Question: Which kind of relation lies pre-equalizers for [[G |- M:A ]],
[[G |- N:A ]] in the free CCC and unifiers for M, N in the 
lambda-beta-eta theory ?
From: jcm@cs.stanford.edu
Newsgroups: fj.mail-lists.types
Subject: OOP Tutorial
Date: 13 Aug 92 20:24:26 GMT
Distribution: fj

Date: Thu, 13 Aug 92 11:38:22 -0700

I recently gave a 4-hour tutorial on "foundations of object-oriented
programming" at the TOOLS (Techniques of OO Languages and Systems) Conference.
The slides from this presentation are available by anon ftp from
theory.stanford.edu, files pub/jcm/tools-tutorial.{dvi,ps}

John Mitchell
Return-Path: <hearn@hilbert.rand.org>
Original-To: reduce-forum@rand.org
Subject: New Versions of REDUCE now Available
Date: Sun, 16 Aug 92 09:33:44 -0700
From: hearn@rand.org (Tony Hearn)
Newsgroups: fj.mail-lists.reduce
Distribution: fj

On July 15 this year, a new version of REDUCE, 3.4.1, was released.  Most
of the changes in this release are bug fixes.  However, updates of packages
in the network library are included, and there have been some major
improvements in the SOLVE code.  Please contact your REDUCE supplier for
further details.

In response to requests from users who want to run REDUCE on their home
computers, Codemist Limited and the Konrad Zuse Center have released
personal versions of REDUCE for PC-class machines.  These implementations
support all REDUCE algebraic capabilities, but omit source files, among
other things, since these are readily available in the professional versions
running on office workstations.  U.S. users can obtain these versions from
CALCODE Systems at a price of $295 per copy.  The addresses of these and
other distributors are listed in the REDUCE information package, which can
be obtained by sending the message "send info-package" to one of the network
library servers, reduce-netlib@rand.org, reduce-netlib@can.nl,
redlib@elib.zib-berlin.de or reduce-netlib@pi.cc.u-tokyo.ac.jp.

Finally, a major hole in the machine coverage of REDUCE has been filled
with the release by Codemist of REDUCE 3.4.1 for the Apple Macintosh
series.  Both personal and professional versions are available.

Tony Hearn
Newsgroups: fj.lang.awk
From: matchy@qualgw.quality.co.jp (Yusuke Matsuo)
Subject: gawk-texinfo211-j100:bug fix
Organization: Quality Corporation, Tokyo, Japan
Distribution: fj
Date: Thu, 13 Aug 1992 10:23:11 GMT



$B$5$C$=$/!"%a!<%k$GLdBjE@$r;XE&$7$F$$$?$@$$$?$N$G!"Js9p$7$F$*$-$^$9!#(B

kudou@mtl.t.u-tokyo.ac.jp$B$5$s$+$i(B

   info$B%U%!%$%k$r:n@.$9$k$H(Bjgawk-info-?$B$G$O$J$/(Bgawk-info-?$B$K$J$C$F$7$^$&!#(B
   $B1Q8lHG$H$N6&B8$N$?$a$K(Bjgawk-info-?$B$K$7$?$[$&$,$$$$$N$G$O$J$$$+(B?

$B$H$$$&FbMF$N;XE&$G$9$,!"(Bserow@ibix.co.jo$B$5$s$K$h$k(Bjgawk2.11$BF|K\8lHG$K(B
$B4X$9$k5-=R$r2C$($F$+$i!"@5<0$KL>A0$r(Bjgawk-info-?$B$K$J$k$h$&$K$7$?$$$H;W(B
$B$$$^$9!#$9$G$K$=$&$7$F$7$^$C$F$b9=$o$J$$$N$G$9$1$I!"$J$s$H$J$/5$$,$R$1(B
$B$?$N$G$7$?!#JQ$($?$$?M$O!"(B3$B9TL\$N(B@setfilename$B$N$H$3$m$rJQ99$7$F2<$5$$!#(B

tsato@kuee.kyoto-u.ac.jp$B$5$s$+$i(B

info$B$G(BConversion$B$H$$$&(Bnode$B$,I=<($G$-$J$$$H$N;XE&$,$"$j$^$7$?!#$3$NJ}$O(B
$B$o$6$o$6!"(Bdebug$B$7$F(Bdiff$B$^$GAw$C$F$$$?$@$-$^$7$?!#M-Fq$&$4$6$$$^$7$?!#(B
texinfo$B$N%3!<%G%#%s%0>e$N%_%9$G$7$?!#(B

$B0J2<!"(Bcontext diff$B$r7G:\$7$^$9!#(B

%===================================================================
*** jgawk.texi.org	Thu Aug 13 15:37:38 1992
--- jgawk.texi	Thu Aug 13 15:15:52 1992
***************
*** 3563,3568 ****
--- 3563,3569 ----
  
  @item @var{lvalue}--
  @code{@var{lvalue}++}$B$H;w$F$$$^$9$,!"2C;;$G$O$J$/8:;;$7$^$9!#$3$N<0$O(B@var{lvalue}$B$r%G%/%j%a%s%H$7$^$9!#$3$N<0$NCM$O!"(B@var{lvalue}$B$N(B@emph{$B8E$$(B}$BCM$G$9!#(B@refill
+ @end table
  
  @node Conversion, Conditional Exp, Increment Ops, Expressions
  @c @node $B?t$N(B, $B>r7o<0(B, $B%$%s%/%j%a%s%H1i;;;R(B, $B<0(B
***************
*** 4573,4579 ****
  
  $B$3$N@a$G@bL@$9$k4X?t$O!"(B1$B$D0J>e$NJ8;zNs$G9=@.$5$l$k%F%-%9%H$NA`:n$K;H$$$^$9!#(B@refill
  
! @c @table @code
  @item index(@var{in}, @var{find})
  @findex match
  $BJ8;zNs(B@var{in}$B$NCf$G!"J8;zNs(B@var{find}$B$N:G=i$N=P8=$rC5$7!"J8;zNs(B@var{in}$B$K$*$$$F$=$N=P8=$,;O$^$k0LCV$rJV$7$^$9!#$?$H$($P!"(B@refill
--- 4574,4580 ----
  
  $B$3$N@a$G@bL@$9$k4X?t$O!"(B1$B$D0J>e$NJ8;zNs$G9=@.$5$l$k%F%-%9%H$NA`:n$K;H$$$^$9!#(B@refill
  
! @table @code
  @item index(@var{in}, @var{find})
  @findex match
  $BJ8;zNs(B@var{in}$B$NCf$G!"J8;zNs(B@var{find}$B$N:G=i$N=P8=$rC5$7!"J8;zNs(B@var{in}$B$K$*$$$F$=$N=P8=$,;O$^$k0LCV$rJV$7$^$9!#$?$H$($P!"(B@refill
%===================================================================
-- 
------------------------------------------------------------------------
$@>>HxM-M4(J $@%/%*%j%F%#3t<02q<R(J $@3+H/It(J
Yusuke Matsuo @ Development Department, Quality Corporation.
matchy@quality.co.jp, phone:03-5275-6121, fax:03-5275-6130
From: okafuji@miln.mei.co.jp (MILN Kouji Okafuji)
Newsgroups: fj.lang.lisp
Subject: AKCL kairan
Date: 16 Aug 92 08:43:15 GMT
Distribution: fj
Organization: Matsusita Information Systems Reserch Lab.Nagoya


 AKCL$@$N2sMw$rM=Dj$7$F$$(J$@$^$9!#(J

$@2sMw$rM=Dj$7$F$$$k%U%!%$%k$O!"(J
-rw-r--r--  1 okafuji    887797 Jan 25  1992 akcl-1-603.tar.Z
-rw-r--r--  1 okafuji     14579 Jan  8  1990 akcl-ChangeLog.Z
-rw-r--r--  1 okafuji   1195183 Jan 25  1992 kcl.tar.Z
$@$N#3$D$G$9!#(J

$@$3$l$N2sMw$r4uK>$5$l$kJ}$O!"!I(JAKCL$@2sMw4uK>!I$HL@5-$7!"%a%$%k$G(J
$@=;=j$HO"(J$@Mm@h$r8fO"Mm2<$5$$!#(J

$@A02s$N(JCMU-CL$@$N2sMw$O!"0B0W$K9T$J$C$?$?$a!"(J
$@!&(Jfork$@$7$J$+$C$?$?$a$K!":#$@$K0lK\$N(J$@%F!<%W$r2sMwCf(J
$@!&2sMwESCf$G(J ILISP 4.13 $@$,DI2C$5$l!"2sMw$N;O$a$N?M$O$3$l$rF~<j$7$F$$$J$$(J
$@!&2sMw$,;O$^$C(J$@$F$+$i$N?=9~<T$,B?$+$C$?(J
$@!&(Jsparc$@$N%P%$%J%j$N$_$G$"$k$3$H$rCN$i$:$K?=9~$7$??M$,<-B`$7$?(J
$@$J$I!"LdBj$,$"(J$@$j$^$7$?!#(J

$@$=$3$G!":#2s$N(JAKCL$@$K$D$$$F$O!"$O$8$a$K0J2<$N$3$H$r$*CN$i$;$7$^$9!#(J
$@!&2sMw$N4uK>$rJg$k4|8B(J$@$r!"(J8/27$@E~Ce$N%a%$%k$^$G$H$7$^$9!#(J
$@!&:#2s$O!"(Jfork$@:n6H$r6(NO$7$F$/$l$kJ}$,$$$^$9$N$G!"4uK>%a%G%#%"$d(J
  $@CO0hJL$N2sMw$J$I$KBP1~$G$-$^$9!#(J
$@!&(JKCL/AKCL$@$O!"(JSun3/Sun4$@$I$A$i$G$b%3%s%Q%$%k2DG=$J%=!<%9%3!<%I$GDs6!(J$@$5$l$F$$$^$9!#(J
$@!&(JKCL$@$O!"%f!<%6EPO?(J(LICENSE AGREEMENT)$@$,I,MW$G$9!#(J
$@!&(JAKCL$@$O!"(J($@%$%s%9%H!<%k;~$K<+F0E*$K(J)$@G[I[85$K%a%$%k$rAw$k$3$H$K$J$C$F$$$^$9!#(J
$@!&?tL>$NJ}$+$i!"(JCLM+GINA,CLX,Xakcl$@$J$I$rDs6!$7$FD:$$$F$$$^$9(J$@$,!"$3$l$i$N2sMw(J
 $@J}K!$O$^$@7h$a$F$$$^$;$s!#(J

$@$3$l$i$N!"2sMwFbMF(J/$@J}K!$J$I$K$D$$$FDs0F$J$I$"$j$^$7$?$i(J$@$*4j$$$7$^$9!#(J
--
     Matsusita Information Systems Research Laboratory Nagoya Co.,Ltd.
      Development Division   Koji Okafuji   okafuji@miln.mei.co.jp
             Tel +81-52-232-0058  Fax +81-52-232-0028
From: bizenya@coins.is.tsukuba.ac.jp (Katsujiroh NAKANO)
Newsgroups: fj.lang.perl
Subject: pager in perl
Date: 20 Aug 92 14:20:03 GMT
Distribution: fj
Organization: Coll. Of Info. Sci., U. of Tsukuba, Tsukuba-City, Ibaraki, Japan


$BCfLn(B@$BC^GHBg3X>pJs$H$$$$$^$9!#(B

$B3N$+!"$3$N(Bnewsgroup$B$O=i$a$F$@$C$?$H;W$$$^$9!#(B
$B$h$m$7$/$*4j$$$7$^$9!#(B

perl$B$G$$$m$$$m(B(dserver$B$N(Bfront end$B$H$+(Bfmt$B$H$+(B)$B$r:n$C$F$$$^$9$,!"(B
perl$B$NCf$K(Bpager$B$,$"$C$?$i$I$s$J$K$$$$$@$m$&$H;W$$$^$;$s$+(B?
$B$D$^$j!"(Bperl$B$G=q$$$?(Bpager$B$H$+!"(Bsubroutine$B$H$7$F(Busub$B$N7A$G(B
$B;H$($l$PNI$$$J$!$H;W$C$F$$$k$o$1$G$9!#(B
$B$7J}$,$J$/(B$ENV{'PAGER'}$B$H$+8+$F!"(Bopen$B$7$F;H$C$F$$$^$9$,!"(B
$B$$$A$$$AN)$A$"$2$k$N$r8+$F$$$k$H!"CY$/$FL4$K8+$=$&$G$9!#(B

$B$G!"$-$C$HKM$HF1$8$3$H9M$($??M$,!"(Bperl$B$N(Bsubroutine$B$H$7$F(B
$B<B8=$7$F$$$k$O$:$@(B!$B$H$`$7$N$$$$$3$H9M$($F!"Ej9F$7$^$7$?!#(B

$B$G!"$=$l$i$7$$$b$N$O$"$j$^$;$s$+(B?

$BJL$K!V$$$A$$$AN)$A$"$2$k!W$H$$$&$3$H$5$($7$J$1$l$P$$$$$N$G!"(Bpager$B$N(Bprocess$B$HDL?.$9$k$H$+$G$bNI$$$s$G$9$1$I!#(B

$B<+J,$G:n$k$3$H$b9M$($F!"(Bioctl$B$H$+$rJY6/$7$F$$$k$N$G$9$,!"$=$j$c?M$N:n$C$?$N;H$o$7$F$b$i$&$K1[$7$?$3$H$O$"$j$^$;$s!#(B

$B$h$m$7$/$*4j$$$7$^$9!#(B
From: youki@rd.ecip.osaka-u.ac.jp (Youki Kadobayashi)
Newsgroups: fj.lang.perl
Subject: Re: pager in perl
Date: 22 Aug 92 06:04:29 GMT
Distribution: fj
Organization: R&D, Edu Center for Info Processing, Japan
In-reply-to: bizenya@coins.is.tsukuba.ac.jp's message of 20 Aug 92 14:20:03 GMT


> perl$@$NCf$K(Jpager$@$,$"$C$?$i$I$s$J$K$$$$$@$m$&$H;W$$$^$;$s$+(J?

Why not. Here's "more" stuff, retrieved from my home-brew perl archive.

---------------- snip snip ----------------
From: dave@msb.com (Dave Lockwood)
Newsgroups: comp.lang.perl
Subject: Re: using "more" with perl
Date: 6 Sep 91 21:56:17 GMT
Organization: Meetpoint Station BBS

I was going to do this in a program I have too.  However, I decided on the
safer (if not simpler) method of writing "more" as a perl subroutine.

CAVEAT: It's not robust.  I wanted to do the guts of the stty in perl, but
        I couldn't figure out the ioctl mess in the perl kit.  It also makes
        some hasty assumptions such as your terminal having 24 lines.

Like Mr. Chevrolet said about the first friction clutch, "It's brutal, but
it works."
---- 8< ----
sub more
{
  local($filename) = @_;
  local($tempfile, $counter, $c);
  system '/usr/bin/stty raw -echo';
  open($tempfile, "<$filename") || die "Can't open $filename.\n";
  $counter = 0;
  print "Press <space> to continue or <q> to quit.\r\n";
  readfile:
  while(<$tempfile>)
  {
    chop;
    print "$_\r\n";
    $counter += 1;
    if($counter == 22)
    {
      $counter = 0;
      print "[more]";
      while(($c = getc(STDIN)) ne " ")
      {
        if($c eq "q" || $c eq "Q" || $c eq "")
        {
          $c = "q";
          print "      ";
          last readfile;
        }
        do bell();
      }
      print "      ";
    }
  }
  if($c ne "q")
  {
    print "<END>";
    waitend:
    while(($c = getc(STDIN)) ne " ")
    {
      if($c eq "q" || $c eq "Q" || $c eq "")
      {
        last waitend;
      }
    }
    print "     ";
  }
  close $tempfile;
  system '/usr/bin/stty -raw echo';
}
---- 8< ----

Cheers!
-- 
"There's a good creature.  Let's talk    | dave@msb.com (Dave Lockwood)
this over.  I can get you diseases!      | UUCP: ...!uupsi!mpoint!dave
You'd like that, wouldn't you?"          | Sysop of Meetpoint Station BBS
- Dr. Catheter (Gremlins II)             | cat flames | mail santa@north.pole

----------------

Also check out perl archive at convex.com..
--
		$@LgNS(J $@M:4p(J <youki@rd.ecip.osaka-u.ac.jp>
		$@Bg:eBg3X(J$@4pAC9)3XIt>pJs9)3X2J(J
		$@>pJs%M%C%H%o!<%/3X9V:B(J $@=$;N0lG/(J
From: mk@math.meiji.ac.jp (Masashi Katsurada)
Newsgroups: fj.lang.fortran
Subject: Re: converter fortran -> c
Date: 13 Aug 92 16:21:36 GMT
Distribution: fj
Organization: Dept. of Math., Meiji University, Japan
In-reply-to: karula@geo.pu-toyama.ac.jp's message of 12 Aug 92 02:48:45 GMT

$@$3$s$K$A$O!#$3$N(J newsgroup $@$O$O$8$a$F$N!"7KED!wL@Bg?t3X2J$H?=$7$^$9!#(J

In article <KARULA.92Aug12114845@geo.pu-toyama.ac.jp> karula@geo.pu-toyama.ac.jp (Takashi Kawakami) writes:

 >  GNU $@$N(J software $@$K!"(J f2c $@$H$$$&$b$N$,$"$j$^$9!#(J

  $@2??M$+$NJ}$,(J f2c $@$N>R2p$K!V(JGNU $@$N(J...$@!W$H$D$1$F$$$^$9$,!"$3$l$OK\(J$@Ev$J(J
$@$N$G$7$g$&$+!)(J

  f2c $@$,%U%j!<$G!"(JGNU $@$N%=%U%H$H0l=o$K(J *$@$b(J* $@G[I[$5$l$F$$$k$$$k$3$H$OCN$C(J
$@$F$$$^$9(J$@$,!"(Jf2c $@$N%G%#%l%/%H%j%#$r$N$>$$$F$b(J GPL $@Ey$O8+Ev$?$i$J$+$C$?(J
$@$h$&$G$9$7!"!"!"(J

  $@;d8D?M$O$&$m3P$($G(J ATT $@$N%Y%k8&$G:n$i$l$?$b$N$@$H;W$C$F$$$?$N$G$9$,(J
$@!J2?$G$b(J f77 $@$rC!$-Bf$K$7$F:n$i$l$?$H$+!K!"2?$+$N4*0c(J$@$$$G$7$g$&$+!)(J
--
$@7KED(J $@M4;K(J $@!J$+$D$i$@(J $@$^$5$7!K(J
$@L@<#Bg3XM}9)3XIt?t3X2J(J
mk@math.meiji.ac.jp
From: ohdachi@elmlab.tytlabs.co.jp (Yasuharu Ohdachi 4231G)
Newsgroups: fj.lang.fortran
Subject: Re: MacFortran
Date: 17 Aug 92 07:59:13 GMT
Reply-To: ohdachi@elmlab.tytlabs.co.jp
Distribution: fj
Organization: TOYOTA Central R&D Labs., Inc.
In-reply-to: sakasega@shako.sk.tsukuba.ac.jp's message of 17 Aug 92 03:20:48 GMT

$@K-EDCf8&$NBgN)$G$9!#(J

 |$@5U@%@n!w$D$/$P!!$G$9!#(J
$@$O$8$a$^$7$F(J

 |MAC $@$N(J Fortran compiler $@$N$3$H$G!"$*65$($$$?$@$1$l$P9,$$$G$9!#(J
$@0l1~!"N>J}?($j$^$7$?!#(J
 |
 |$@#1!!(JLanguage Systems FORTRAN $@$rGc$$$^$7$?$,!"4V0c$C$F(J
 |MPW $@$J$7$N(J version $@$r$+$C$F$7$^$$$^$7$?!#(J
$@3N$+!"F|K\$NHNGd%a!<(J$@%+$KLd$$9g$o$;$?$i!"(JFD$@$G(JMPW$@$rAw$C$F$-$?$h$&$K;W$$$^$9!#(J
  $@#2G/$[$IA0$O!"E:IU$5$l$?$b$N$,HNGd$5$l$F$$$^(J$@$7$?!#(J

 |APDA $@$K(J MPW $@$rCmJ8$7$?$i!"(JMPW $@$@$1$8$c$o$+$i$s$H8@$o$l$^$7$?!#(J
 |$@$3$l$rF0$+$9$?$a$K$O!"(JMPW $@$N2?$rCmJ8$9$l$P$h$m$7$$$N$G$7$g$&$+!#(J
MPW Shell$@$r9XF~$9$l$PNI$$$H;W$$$^$9!#(J
 $@!J$?$@$7!";d$O(JC,C++$@$,%P(J$@%s%I%k$5$l$?(JMPW$@$r9XF~$7$F$$$k$N$G!"!"!"(J
     $@$*Lr$KN)$A$^$;$s%M!)!*!K(J

 |$@#2!!(JAbsoft $@$N(J MacFortran $@$r;H(J$@$C$F$_$^$7$?$,!"(Jeditor $@$,Lp0u%-!<$b(J
 |$@%5%]!<%H$7$F$$$J$$$h$&$J!"8fAFKvIJ$G$7$?!#(J
 |MACFORTRAN II $@$K$9(J$@$l$P!";H$$>!<j$,>/$7$O$h$/$J$k$N$G$7$g$&$+!#(J
$@$+$J$j!"NI$/$J$C$?$H46$8$F$$$^$9!)!*(J
  Editor$@0J30$O!"7k9=(J$@K~B-$7$F$$$^$9!#(J
    $@$7$+$7!"(JFREDITOR$@$J$k$b$N$rDI2C9XF~$7$F!"(JEditor$@$NLdBj$b2r>C$7$F$$$^$9!#(J

$@$?$@$7!"(J$@%+%i!<$N(JCRT$@>e$GF0:n$,JQ$K$J$k$3$H$,$"$j$^$9!JC1=c$J7W;;$G!"!"!K(J
  common,dimension$@$N5-=R$K2?$+!"%N%&%O(J$@%&$,$"$j$=$&$G$9!)!*(J
   $@!J?<$/DI5a$7$F$$$^$;$s!"!"!"!K(J

 |$@#3!!>e$N#2$D$NHf3S$r$5$l$?J}$,$"$l$P$*65$($/(J$@$@$5$$!#(J
$@BP1~$9$k!"(JCPU$@$,(J $@A0<T$NJ}$,B?$$$h$&$K;W$$$^$9!#(J
  $@8e<T$O!"(J68020$@0J>e$rI,MW$H$7$F$$$kH&$G$9!#(J


--
$@2q<R$K3N<B$KMh$kF|(J   $@!J#8!?#3#1!K(J
$@2q<R$N3N<B$KMh$J$$F|(J $@!J#8!?#1#8(J,$@#8!?#2#5!"#2#6(J,$@#2#7!"#2#8!K(J

---- $@BgN)BY<#(J ($@$*$*$@$A(J $@$d$9$O$k(J) (ohdachi@elmlab.tytlabs.co.jp)--------
 ($@3t(J)$@K-EDCf1{8&5f=j(J  $@5!3#(J2$@It(J  $@EE5$@)8f8&5f<<(J  $@%Q%o!<%(%l%/%H%m%K%/%9(JG(4231G)
            Tel 0561-62-6111   , Fax 0561-63-5743
                Nifty:GGE02445  PC-VAN:CKE31627
Newsgroups: fj.lang.fortran
From: karula@geo.pu-toyama.ac.jp (Takashi Kawakami)
Subject: Re: converter fortran -> c
Organization: Department of technology.,Toyama Prefectural Univ.,Toyama,Japan
Distribution: fj
Date: 12 Aug 1992 02:48:45 GMT

$@#K#a#r#u#l#a!wIY;38)N)Bg$H$b$&$7$^$9!#(J

  GNU $@$N(J software $@$K!"(J f2c $@$H$$$&$b$N$,$"$j$^$9!#(J
$@$3(J$@$l$O!"$=$NL>$N$H$&$j$K!"(JFORTRAN -> c $@$N(J converter $@$G$9!#(J
$@$A$J$_$K!"(JFORTRAN -> C++ $@$b$7$F$9$l$^$9!#(J( -C++ option )

$@DL>oEG$-=P$5$l$k$N$O!"(J old-style C $@!J%^%K%e%"%k$K$3$N$h$&$K=q$$$F$"$j$^$7$?(J
 K&R C $@$N$3(J$@$H$@$H$*$b$$$^$9!#!K(J $@$G$9$,!"(JANSI C $@$G$b(J $@EG$$$F$/$l$^$9!#(J(-A op)

$@M>CL$K$J$j$^$9$,!"(J gcc ( GNU C Compiler ) $@$H$H$b$K;H$&$HJXMx$@$=$&$G$9!#(J
--
$@#T#S#D#S(J                               $@#K!%@n>e(J $@5.!wIY;38)N)(J$@Bg3X(J
 (TPU Software Development Society)    Karula Takashi Kawakami  PU-Toyama
                                       karula@geo.pu-toyama.ac.jp
From: sakasega@shako.sk.tsukuba.ac.jp (SAKASEGAWA, Hirotaka)
Newsgroups: fj.lang.fortran
Subject: MacFortran
Date: 17 Aug 92 03:20:48 GMT
Distribution: fj
Organization: University of Tsukuba

$@5U@%@n!w$D$/$P!!$G$9!#(J
MAC $@$N(J Fortran compiler $@$N$3$H$G!"$*65$($$$?$@$1$l$P9,$$$G$9!#(J

$@#1!!(JLanguage Systems FORTRAN $@$rGc$$$^$7$?$,!"4V0c$C$F(J
MPW $@$J$7$N(J version $@$r$+$C$F$7$^$$$^$7$?!#(J
APDA $@$K(J MPW $@$rCmJ8$7$?$i!"(JMPW $@$@$1$8$c$o$+$i$s$H8@$o$l$^$7$?!#(J
$@$3$l$rF0$+$9$?$a$K$O!"(JMPW $@$N2?$rCmJ8$9$l$P$h$m$7$$$N$G$7$g$&$+!#(J

$@#2!!(JAbsoft $@$N(J MacFortran $@$r;H$C$F$_$^$7$?$,!"(Jeditor $@$,Lp0u%-!<$b(J
$@%5%]!<%H$7$F$$$J$$$h$&$J!"8fAFKvIJ$G$7$?!#(J
MACFORTRAN II $@$K$9$l$P!";H$$>!<j$,>/$7$O$h$/$J$k$N$G$7$g$&$+!#(J

$@#3!!>e$N#2$D$NHf3S$r$5$l$?J}$,$"$l$P$*65$($/$@$5$$!#(J

$@$"$j$,$H$&$4$6$$$^$7$?!#(J
....
.... SAKASEGAWA, Hirotaka
.... UNIversity of TSukuba,   tel. 0298-53-5003,   FAX 0298-55-3849
From: nakamura@cradle.titech.ac.jp (Kazushi NAKAMURA)
Newsgroups: fj.lang.fortran
Subject: Re: Free Portable FORTARN Compiler for IBM-PC
Date: 18 Aug 92 19:16:14 GMT
Distribution: fj
Organization: The Center for Research And DeveLopment of Educational Tech., Tokyo Inst. of Tech., Tokyo, JAPAN

From article <2777@tansei1.tansei.cc.u-tokyo.ac.jp>, by hideo@tansei.cc.u-tokyo.ac.jp (KANNO Hideo):
> $@?@Ln!wEl5~Bg3X$G$9!#$h$m$7$/!"$*4j$$$7$^$9!#(J
$@$3$s$K$A$O!"CfB<$G$9!#$J$s$G$b$+$s$G$bJ|$j9~$s$G$$$?(JDISK$@$,(J
$@%/%i%C%7%e$7$F!"J|?4>uBV$N:#F|$3$N:"!#(J;-O

> $@$5$F!"<+J,$N(J12$@K|1_(J IBM PS55note(40MB HDD, 2MB RAM)$@$K!"(J
> FOTRAN$@%3%s%Q%$%i$r:\$;$?$$$H;W$$$^$9!#(J
> $@$=$&$9$k$H!"(JPC-FORTRAN$@$rGc$&$[$I$N5$9g$$$H$*6b$O$"$j$^$;$s!#(J

f2c + gcc $@$H$$$&$N$O$$$+$,$G$7$g$&$+!)(J
$@$I$&$7$F$b%H%i%s%9%l!<%?$O$$$d$@!"%3%s%Q%$%i$G$J$-$c$H$$$&(J
$@$N$J$iCN$j$^$;$s$,!#(J
-- 
$@El5~9)6HBg3X(J $@650i9)3X3+H/%;%s%?!<(J	nakamura@cradle.titech.ac.jp
$@@6?e8&5f<<(J 	$@Fb@~(J  4093 		kazus-n@ascii.co.jp
	$@CfB<!!OB;V(J			jo3oob@jo3oob 1293.74MHz
Xref: sparky fj.lang.fortran:182 fj.lang.c:314