%<先生いわく><講義録のあとにMizarアソシエーションの住所とか，加入手続き，必用な文献，テキストの取り寄せ方とか，その価格表とかつけたいですね．（笑い）>



\chapter{}

\section{Mizar Society連絡先}

\subsection{Mizar Society}



\baselineskip=7mm

\begin{quote}

          Mizar Society \\

          Institute of Mathematics \\

          Warsaw University, Bia{\l}ystok Branch  \\

          ul. Akademicka 2 \\

          15-267 Bia{\l}ystok, Poland  \\

          \\

          Fax: +48-85-20272\\         

          E-mail: (address removed - BITNET discontinued)

          WWW: http://math.uw.bialystok.pl/~Form.Math

\end{quote}

\baselineskip=9mm





\subsection{Mizar Society Nagano Circle}





\begin{quote}

郵便番号 380 \\

\baselineskip=7mm

\ \ 長野県 長野市 若里 500 \\

\ \ 信州大学 工学部 情報工学科 \\

\ \ 情報基礎講座 中村研究室内 \\

\ \ Mizar Society Nagano Circle \\

\\

\ \ Fax: (0262) 23-4723 \\

\ \ E-mail: kiso@cs.shinshu-u.ac.jp \\

\end{quote}



\baselineskip=9mm



\section{ftp による Mizar の入手法}



Mizar は，anonymous ftp により入手することができます．



\begin{quote}

 ftp アドレス: 160.252.129.195 \\

 ディレクトリ: /ftp/pub/mizar/ \\

 ファイル名: miz[Version Number]a.exe \\

\hspace*{62pt} miz[Version Number]b.exe 

\end{quote}



これら 2つのファイルは自己解凍ファイルになっています．それぞれを実行してできたファイルをフロッピーディスクにコピーすることにより，'MizSystem'，'MizABS'のディスクになります．



\section{WWW Homepage}



     Mizar のホームページ URL は，http://math.uw.bialystok.pl/~Form.Math です．



\section{Formalized Mathematics}



Mizar article が accept されると，英語の論文に自動変換されて，Formalized Mathematics に掲載されます．これは年に数冊，ベルギーの Universit\'e Catholique de Louvain で，Fondation Philippe le Hodey より発行されています．1993年末現在，12冊発行されており，これらには Mizar ライブラリに登録されている，すべての article が英語の論文として掲載されています．



Formalized Mathematics につきましては下記にお問い合わせください．



\baselineskip=7mm

\begin{quote}

          Fondation Philippe le Hodey \\

          Mizar Users Group \\

          Av. F. Roosevelt 134 (Bte 7) \\

          1050 Brussels  \\

          Belgium \\

          \\

          Fax: +32 (2) 640.89.68 \\         

          E-mail: (address removed - BITNET discontinued)

\end{quote}

\baselineskip=9mm



\index{Formalized Mathematics}





%この角は30{\tt\symbol{"17}}になります．度が出てうれしい．



\chapter*{}



\section*{あとがき}

この本は，中村が1992年9月5日に信州大学で講義した内容をもとに，渡辺，田中が加筆，編集したものです．



当時の Mizar バージョン 3.29 にもとづいた内容となっていますが，一部は Mizar バージョン 4.09をもとに改訂してあります．今回の改訂版は，Mizar バージョン 5.2.12 を参考にしています．



Mizar は頻繁にバージョンアップされますのでご了承ください． 



\begin{flushright}

著者

\end{flushright}



% 参考文献　Mizar 講義録



\vspace*{2cm}



\section*{参考文献}





 [1]  Ewa Bonarska（Olgierd Wojtasiewicz 英訳，Roman Matuszewski 編集）， \\

　　  An Introduction to PC Mizar，Fondation Philippe le Hodey，1990