Re: Referencing Mizar articles

[Nakamura Yatsuka <ynakamur@asuka.cs.shinshu-u.ac.jp>]

Piotr Rudnicki wrote:
> 
> Hi:
> 
> I am glad that Christoph raised the FM vs JFM issue as I have been
> planning to post something about it for quite some time now.
> 
> The only argument in favour of continuing FM is public relations.
> FM does not serve any other purpose.  I am wondering who actually
> ever used FM and for what reason.  I am using FM as follows:
> 
>         - to impress people that there is something typeset that
>           had its source in a Mizar text,  (People are impressed
>           and that is it.)
> 
>         - to convince my boss that I am doing something which
>           makes it to paper (that the stuff is not read when it
>           appears on paper does not seem to be a concern of the
>           involved parties).

If all universities became virtual(exists only electronically)
resarchers will be estimated by only electronic publshments.
But now, I believe almost all existing universiteis do not
admit electronic ones.  Young reserchers who are working in Mizar
projects 
must get jobs in the old universities or institutes.  In this reason,
FM is still important.
   There is another reason: Rashid stone from Egypt has different
importance
from Myths, which is similar as electronic journal because human must
copy it from computer to computer.   Sometimes I dream as to sculp
Mizar articles on shells and sandwitch them between concrete rocks
which will become a forssil and be preserved more than 100,000,000
years.
I do not deny the importance of JFM, but I want to emphasis the
importance of
FM, as materials carrying information.
                                   Yatsuka Nakamura

-- 
Dept. of Information Engineering, Fac. of Eng.
Shinshu University
500 Wakasato, Nagano city, Japan      380-8553
Phone: +81-26-269-5475  Fax:   +81-26-269-5495
E-mail: ynakamur@cs.shinshu-u.ac.jp
        yatuka@hotmail.com (Only when the above is invalid)