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

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

開催日時：2025年12月26日(金曜日) 14:30〜
開催場所：軽井沢およびZoom（ハイブリッド開催）

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

【研究会】
日時：2025年12月26日（金曜日）14時30分から16時30分まで（予定）
開催方法：ハイブリッド開催（現地+Zoom）
現地会場：軽井沢観光振興センター2階会議室
〒389-0102 長野県北佐久郡軽井沢町大字軽井沢470-3
TEL: 0267-41-5001
※ZoomミーティングURLは，改めてご案内します．

【懇親会】
日時：2025年12月26日（金曜日）17時頃～（予定）
場所：未定（軽井沢駅周辺を予定）
会費：5000円前後を予定

参加登録，講演論文投稿期限：2025年12月10日

☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆
研究会 参加登録ページは以下をクリック！！
https://forms.gle/6kS4DwqcxPGbve7CA
☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆

お問い合わせ: 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〜Vol.19)

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.

Correspondence (Vol.20〜)

Mizar JAPAN, Iwate Prefectural University, c/o Kazuhisa Nakasho, Takizawa, Iwate, JAPAN 020-0693.

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

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.