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

Mizar研究会による発表会(TSGA2021, Mizar-JAPAN @Zoom.us Online)☆多数のご参加ありがとうございました☆

開催日時:2021年12月27日(月) 15:00〜
開催場所:Zoomオンライン開催

日時:2021年12月27日(月)15時00分から
場所:オンライン開催(Zoom.us)

講演題目,スケジュール

持ち時間30分(発表20分程度,質疑応答10分程度)

  • 15:00〜15:30 TSGA2021-01
    師玉康成,中正和久「高階微分の形式化について」
    Yasunari Shidama, Kazuhisa Nakasho : On the Formalizations for higher derivatives of vector valued Functions
  • 15:30〜16:00 TSGA2021-02
    渡瀬泰成「代数幾何の形式化について」
    Yasushige Watase : On the Formalizations of Algebraic Geometry
  • 16:00〜16:30 TSGA2021-03
    宮島啓一,山崎 浩「Ascoli-Arzelaの定理の形式化について」
    Keiichi Miyajima, Hiroshi Yamazaki : On the formalization of Ascoli-Arzela’s Theorem
  • 16:45〜17:15 TSGA2021-04
    鈴木彦文,岡崎裕之「Gram-Schmidt直交化法の形式化について」
    Hikohumi Suzuki, Hiroyuki Okazaki : On the formalization of Gram-Schmidt process for orthonormalizing a set of vectors
  • 17:15〜17:45 TSGA2021-05
    三石貴志「重心法を用いた非ファジィ化計算の定義」
    Takashi Mitsuishi : On the Formalizations of Definition for Centroid Method as Defuzzification

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

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

2018〜2021年に開催された研究会・講演論文集

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]

Correspondence (Vol.13〜Vol.15)

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.