Appendix C

C.1 Mizar Society 連絡先

C.1.1 Mizar Society

Association of Mizar Users
University of Bialystok
Institute of Mathematics
ul. Akademicka 2
15-267 Bialystok, Poland

Fax: +48-85-745-75-45
E-mail: mus@mizar.uwb.edu.pl
WWW: http://mizar.org/

C.1.2　Mizar Society Nagano Circle

郵便番号380-8553
長野県長野市若里4-17-1
信州大学工学部情報工学科
情報基礎講座中村研究室内
Mizar Society Nagano Circle

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