━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

Mizar研究会による発表会（TSGA2024, Mizar-JAPAN @Zoom Online）

開催日時：2024年12月26日(木曜日) 10:00〜
開催場所：Zoomオンライン開催

Mizar研究会は毎年 Technical Symposium and General Assembly for Mizar
JAPANということで，Mizar国内研究者が集まって，Mizarプルーフチェッカを
使用したMizar Mathematical Library (MML) の制作状況や，関連援用ツール
に関する発表を行い，新しい応用展開を探るための交流を図る取り組みです．

日時：2024年12月26日（木曜日）10時00分から12時20分まで（終了しました）
場所：オンライン開催（Zoom）

講演論文集（2024）PDF（2024.12.20リリース）
Proceedings of the Technical Symposium and General Assembly of Mizar JAPAN

お問い合わせ: Mizar-Japan事務局 メール: secretariat@mizar-jp.org（幹事: 信州大 和﨑）

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

2018以降に開催された研究会・講演論文集

Proceedings of the Technical Symposium and General Assembly of Mizar JAPAN (ISSN 1881-610X (Online))

• #16: Vol.13, No.1, December 2018: Nagano, Japan. December 27, 2018. [PDF]
• #17: Vol.14, No.1, December 2019: Nagano, Japan. December 27, 2019. [PDF]
• #18: Vol.15, No.1, December 2020: Online conference, Japan. December 27, 2020. [PDF]
• #19: Vol.16, No.1, December 2021: Online conference, Japan. December 27, 2021. [PDF]
• #20: Vol.17, No.1, December 2022: Online conference, Japan. December 27, 2022. [PDF]
• #21: Vol.18, No.1, December 2023: Online conference, Japan. December 27, 2023. [PDF]
• #22: Vol.19, No.1, December 2024: Online conference, Japan. December 26, 2024. [PDF]

Correspondence (Vol.13〜)

Mizar JAPAN, Shinshu University, Faculty of Engineering, Department of Information Engineering, c/o Katsumi Wasaki, Nagano-ken Nagano-shi Wakasato 4-17-1, JAPAN 380-8553.

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

2017年以前に開催された研究会・講演論文集

Proceedings of the Technical Symposium and General Assembly of Mizar JAPAN (ISSN 1881-610X (Online))

• #01: Vol.1, No.1, Autumn 2006: Nagano, Japan. September 22, 2006. [PDF]
• #02: Vol.2, No.1, Spring 2007: Nagano, Japan. May 18, 2007. [PDF]
• #03: Vol.2, No.2, Autumn 2007: Nagano, Japan. October 19, 2007. [PDF]
• #04: Vol.3, No.1, Spring 2008: Nagano, Japan. June 23, 2008. [PDF]
• #05: Vol.3, No.2, Autumn 2008: Nagano, Japan. November 15, 2008. [PDF]
• #06: Vol.4, No.1, Spring 2009: Nagano, Japan. June 19, 2009. [PDF]
• #07: Vol.4, No.2, Fall 2009: Tokyo, Japan. November 6, 2009. [PDF]
• #08: Vol.5, No.1, Summer 2010: Tokyo, Japan. September 6, 2010. [PDF]
• #09: Vol.6, No.1, Autumn 2011: Nagano, Japan. November 21, 2011. [PDF]
• #10: Vol.7, No.1, Autumn 2012: Tokyo, Japan. October 28, 2012. [PDF]
• #11: Vol.8, No.1, Winter 2013: Nagano, Japan. January 31, 2014. [PDF]
• #12: Vol.9, No.1, Winter 2014: Nagano, Japan. January 30, 2015. [PDF]
• #13: Vol.10, No.1, Winter 2015: Nagano, Japan. February 22, 2016. [PDF]
• #14: Vol.11, No.1, Winter 2016: Nagano, Japan. March 3, 2017. [PDF]
• #15: Vol.12, No.1, Winter 2017: Nagano, Japan. December 26, 2017. [PDF]

Correspondence (Vol.1〜Vol.12)

Mizar JAPAN, Shinshu University, Faculty of Engineering, Department of Information Engineering, c/o Pauline N. Kawamoto, Nagano-ken Nagano-shi Wakasato 4-17-1, JAPAN 380-8553.