Appendix D

D.1 Mizar Society 連絡先

D.1.1 Mizar Society

Mizar Society
Institute of Mathematics
Warsaw University,Bialystok Branch
ul. Akademicka 2
15-267 Bialystok, Poland

Fax: +48-85-20272
E-mail: mizar@plbial11.bitnetWWW:http://math.uw.bialystok.pl/Form.Math

D.1.2 Mizar Society Nagano Circle

郵便番号　380
長野県　長野市　若里　500
信州大学　工学部　情報工学科
Mizar Society Nagano Circle

Fax: (026) 223-4723
E-mail: kiso@cs.shinshu-u.ac.jp

D.2 ftp　による Mizar の入手法

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

ftp アドレス：160.252.129.195

デイレクトリ：/ftp/pub/mizar/

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

miz[Version Number]b.exe

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

D.3 WWW Homepage

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

D.4 Formalized Mathematics

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

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

Fondation Philippe de Hoday
Mizar Users Group
Av. F. Roosevelt 134 (Bte 7)
1050 Brussels
Belgium

Fax: +32 (2) 640.89.68
E-mail: romat@plearn.bitnet