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

Mizar研究会による発表会(TSGA2019, Mizar-JAPAN @Nagano)

平素はMizar活動についてご尽力賜りまして,誠に有難う御座います.研究会当日は、多くのご参加 ありがとうございました.

日時:2019年12月27日(金)14:30から17:30
場所:信州大学 長野(工学)キャンパス W1(情報)棟 2F 215教室
   〒380-8553 長野市若里4-17-1

参加登録,講演論文投稿期限:2019年12月11日 23:59 クローズしました

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

  • #17: Vol.14, No.1, December 2019: Nagano, Japan. December 27, 2019. [PDF]

【講演プログラム】

当日プログラム(Advanced Program)
発表30分,質疑応答10分,持ち時間合計40分

TSGA2019-01, 14:30〜15:10
中正 和久(山口大)
定理類似度を計測する情報理論的枠組みの提案
Kazuhisa Nakasho (Yamaguchi Univ.)
Proposal of Information-theoretical Framework for Measuring Theorem Similarity

TSGA2019-02, 15:10〜15:50 [Presentation on YouTube]
師玉 康成(信州大)
C空間の形式化について
Yasunari Shidama (Shinshu Univ.)
On the Formalizations of Functional Spaces of Functional Space – continuous functions endowed with the uniform norm topology

TSGA2019-03, 15:50〜16:30
岡崎 裕之(信州大)
ASCII CODEの形式化について
Hiroyuki Okazaki (Shinshu Univ.)
On the Formalizations of ASCII CODE

TSGA2019-04, 16:30〜17:10
渡瀬 泰成(東京都杉並区)
可換環上の加群の性質
Yasushige Watase (Suginami-ku, Tokyo, Japan)
Properties of Modules over a Commutative Ring

〜17:30迄に クロージング

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

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

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

Mizar研究会による発表会(TSGA2018, Mizar-JAPAN @Nagano)

  • 日時:2018年12月27日(木)14時30分〜
  • 場所:信州大学 長野(工学)キャンパス W1(情報)棟 2F 215教室
       〒380-8553 長野市若里4-17-1

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]

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

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.