{"id":20,"date":"2019-09-02T04:09:45","date_gmt":"2019-09-02T04:09:45","guid":{"rendered":"http:\/\/mizar-jp.org\/?page_id=20"},"modified":"2025-12-23T21:53:49","modified_gmt":"2025-12-23T12:53:49","slug":"%e7%a0%94%e7%a9%b6%e4%bc%9a","status":"publish","type":"page","link":"https:\/\/mizar-jp.org\/?page_id=20","title":{"rendered":"\u7814\u7a76\u4f1a"},"content":{"rendered":"\n<figure class=\"wp-block-image is-resized\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"192\" src=\"http:\/\/mizar-jp.org\/wp-content\/uploads\/2019\/09\/event-1597531_1280s-1024x192.jpg\" alt=\"\" class=\"wp-image-74\" style=\"width:1024px;height:192px\" srcset=\"https:\/\/mizar-jp.org\/wp-content\/uploads\/2019\/09\/event-1597531_1280s-1024x192.jpg 1024w, https:\/\/mizar-jp.org\/wp-content\/uploads\/2019\/09\/event-1597531_1280s-300x56.jpg 300w, https:\/\/mizar-jp.org\/wp-content\/uploads\/2019\/09\/event-1597531_1280s-768x144.jpg 768w, https:\/\/mizar-jp.org\/wp-content\/uploads\/2019\/09\/event-1597531_1280s.jpg 1280w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><\/figure>\n\n\n\n<p>\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501<\/p>\n\n\n\n<h3 class=\"wp-block-heading\">Mizar\u7814\u7a76\u4f1a\u306b\u3088\u308b\u767a\u8868\u4f1a\uff08TSGA2025, Mizar-JAPAN @Karuizawa and Zoom Online\uff09<\/h3>\n\n\n\n<figure class=\"wp-block-image size-large is-resized\"><img loading=\"lazy\" decoding=\"async\" width=\"757\" height=\"1024\" src=\"http:\/\/mizar-jp.org\/wp-content\/uploads\/2025\/10\/TSGA2024\u30d5\u30e9\u30a4\u30e4\u30fc\uff08\u4f4e\u89e3\u50cf\u5ea6\uff09-757x1024.jpg\" alt=\"\" class=\"wp-image-465\" style=\"width:422px;height:auto\" srcset=\"https:\/\/mizar-jp.org\/wp-content\/uploads\/2025\/10\/TSGA2024\u30d5\u30e9\u30a4\u30e4\u30fc\uff08\u4f4e\u89e3\u50cf\u5ea6\uff09-757x1024.jpg 757w, https:\/\/mizar-jp.org\/wp-content\/uploads\/2025\/10\/TSGA2024\u30d5\u30e9\u30a4\u30e4\u30fc\uff08\u4f4e\u89e3\u50cf\u5ea6\uff09-222x300.jpg 222w, https:\/\/mizar-jp.org\/wp-content\/uploads\/2025\/10\/TSGA2024\u30d5\u30e9\u30a4\u30e4\u30fc\uff08\u4f4e\u89e3\u50cf\u5ea6\uff09-768x1039.jpg 768w, https:\/\/mizar-jp.org\/wp-content\/uploads\/2025\/10\/TSGA2024\u30d5\u30e9\u30a4\u30e4\u30fc\uff08\u4f4e\u89e3\u50cf\u5ea6\uff09-1135x1536.jpg 1135w, https:\/\/mizar-jp.org\/wp-content\/uploads\/2025\/10\/TSGA2024\u30d5\u30e9\u30a4\u30e4\u30fc\uff08\u4f4e\u89e3\u50cf\u5ea6\uff09.jpg 1220w\" sizes=\"auto, (max-width: 757px) 100vw, 757px\" \/><\/figure>\n\n\n\n<h3 class=\"wp-block-heading\">\u958b\u50ac\u65e5\u6642\uff1a2025\u5e7412\u670826\u65e5(\u91d1\u66dc\u65e5) 14:30\u301c<br>\u958b\u50ac\u5834\u6240\uff1a\u8efd\u4e95\u6ca2\u304a\u3088\u3073Zoom\uff08\u30cf\u30a4\u30d6\u30ea\u30c3\u30c9\u958b\u50ac\uff09<\/h3>\n\n\n\n<p>Mizar\u7814\u7a76\u4f1a\u306f\u6bce\u5e74 Technical Symposium and General Assembly for&nbsp;Mizar<br>JAPAN\u3068\u3044\u3046\u3053\u3068\u3067\uff0cMizar\u56fd\u5185\u7814\u7a76\u8005\u304c\u96c6\u307e\u3063\u3066\uff0cMizar\u30d7\u30eb\u30fc\u30d5\u30c1\u30a7\u30c3\u30ab\u3092<br>\u4f7f\u7528\u3057\u305fMizar&nbsp;Mathematical Library (MML) \u306e\u5236\u4f5c\u72b6\u6cc1\u3084\uff0c\u95a2\u9023\u63f4\u7528\u30c4\u30fc\u30eb<br>\u306b\u95a2\u3059\u308b\u767a\u8868\u3092\u884c\u3044\uff0c\u65b0\u3057\u3044\u5fdc\u7528\u5c55\u958b\u3092\u63a2\u308b\u305f\u3081\u306e\u4ea4\u6d41\u3092\u56f3\u308b\u53d6\u308a\u7d44\u307f\u3067\u3059\uff0e<\/p>\n\n\n\n<p>\u3010\u7814\u7a76\u4f1a\u3011<br>\u65e5\u6642\uff1a2025\u5e7412\u670826\u65e5\uff08\u91d1\u66dc\u65e5\uff0914\u664230\u5206\u304b\u308916\u664230\u5206\u307e\u3067\uff08\u4e88\u5b9a\uff09<br>\u958b\u50ac\u65b9\u6cd5\uff1a\u30cf\u30a4\u30d6\u30ea\u30c3\u30c9\u958b\u50ac\uff08\u73fe\u5730+Zoom\uff09<br>\u73fe\u5730\u4f1a\u5834\uff1a\u8efd\u4e95\u6ca2\u89b3\u5149\u632f\u8208\u30bb\u30f3\u30bf\u30fc2\u968e\u4f1a\u8b70\u5ba4<br>\u3012389-0102 \u9577\u91ce\u770c\u5317\u4f50\u4e45\u90e1\u8efd\u4e95\u6ca2\u753a\u5927\u5b57\u8efd\u4e95\u6ca2470-3<br>TEL: 0267-41-5001<br>\u203bZoom\u30df\u30fc\u30c6\u30a3\u30f3\u30b0URL\u306f\uff0c\u6539\u3081\u3066\u3054\u6848\u5185\u3057\u307e\u3059\uff0e<\/p>\n\n\n\n<p>\u3010\u61c7\u89aa\u4f1a\u3011<br>\u65e5\u6642\uff1a2025\u5e7412\u670826\u65e5\uff08\u91d1\u66dc\u65e5\uff0917\u6642\u9803\uff5e\uff08\u4e88\u5b9a\uff09<br>\u5834\u6240\uff1a\u672a\u5b9a\uff08\u8efd\u4e95\u6ca2\u99c5\u5468\u8fba\u3092\u4e88\u5b9a\uff09<br>\u4f1a\u8cbb\uff1a5000\u5186\u524d\u5f8c\u3092\u4e88\u5b9a<\/p>\n\n\n\n<p>\u53c2\u52a0\u767b\u9332\uff0c\u8b1b\u6f14\u8ad6\u6587\u6295\u7a3f\u671f\u9650\uff1a2025\u5e7412\u670810\u65e5<\/p>\n\n\n\n<p>\u2606\u2606\u2606\u2606\u2606\u2606\u2606\u2606\u2606\u2606\u2606\u2606\u2606\u2606\u2606\u2606\u2606\u2606\u2606\u2606\u2606<br>\u7814\u7a76\u4f1a \u53c2\u52a0\u767b\u9332\u30da\u30fc\u30b8\u306f\u4ee5\u4e0b\u3092\u30af\u30ea\u30c3\u30af\uff01\uff01<br><a href=\"https:\/\/forms.gle\/6kS4DwqcxPGbve7CA\n\">https:\/\/forms.gle\/6kS4DwqcxPGbve7CA<br><\/a>\u2606\u2606\u2606\u2606\u2606\u2606\u2606\u2606\u2606\u2606\u2606\u2606\u2606\u2606\u2606\u2606\u2606\u2606\u2606\u2606\u2606<\/p>\n\n\n\n<p>\u304a\u554f\u3044\u5408\u308f\u305b: Mizar-Japan\u4e8b\u52d9\u5c40<br>\u30e1\u30fc\u30eb: secretariat@mizar-jp.org\uff08\u5e79\u4e8b: \u5ca9\u624b\u770c\u7acb\u5927 \u4e2d\u6b63\uff09<\/p>\n\n\n\n<p>\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501<\/p>\n\n\n\n<h3 class=\"wp-block-heading\">2018\u4ee5\u964d\u306b\u958b\u50ac\u3055\u308c\u305f\u7814\u7a76\u4f1a\u30fb\u8b1b\u6f14\u8ad6\u6587\u96c6<\/h3>\n\n\n\n<p>Proceedings of the Technical Symposium and General Assembly of Mizar JAPAN (ISSN 1881-610X (Online))<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>#16: Vol.13, No.1, December 2018: Nagano, Japan. December 27, 2018.&nbsp;<a href=\"https:\/\/drive.google.com\/open?id=1Z4hd9QVnmM9PRuZXrYoU2YVc550SjF8g\">[PDF]<\/a><\/li>\n\n\n\n<li>#17: Vol.14, No.1, December 2019: Nagano, Japan. December 27, 2019.&nbsp;<a href=\"https:\/\/drive.google.com\/open?id=1GRlUEtAnBmIzRx4ANohtrSC4oZ9rcfV1\">[PDF]<\/a><\/li>\n\n\n\n<li>#18: Vol.15, No.1, December 2020: Online conference, Japan. December 27, 2020.&nbsp;<a href=\"https:\/\/drive.google.com\/file\/d\/1B26ImP4E20f5aHlUwA2LNY4Zc-qk8X-H\/view?usp=sharing\">[PDF]<\/a><\/li>\n\n\n\n<li>#19: Vol.16, No.1, December 2021: Online conference, Japan. December 27, 2021.&nbsp;<a href=\"https:\/\/drive.google.com\/file\/d\/1mVPKDhR_Yxc8ovtIpHW319JkmkL7knr1\/view\">[PDF]<\/a><\/li>\n\n\n\n<li>#20: Vol.17, No.1, December 2022: Online conference, Japan. December 27, 2022. <a href=\"https:\/\/drive.google.com\/file\/d\/1A0eJnpINRrK3ftY5MLT8Zedgbc1eBTeH\/view\">[PDF]<\/a><\/li>\n\n\n\n<li>#21: Vol.18, No.1, December 2023: Online conference, Japan. December 27, 2023. <a href=\"https:\/\/drive.google.com\/file\/d\/16yoBgjCH5c70jSQvq3IZ63-qeWSZeb_v\/view\">[PDF]<\/a><\/li>\n\n\n\n<li>#22: Vol.19, No.1, December 2024: Online conference, Japan. December 26, 2024. <a href=\"https:\/\/drive.google.com\/file\/d\/1l49qWUYmM_ERbfuoigH4mJ_vjZiHnw_k\/view?usp=sharing\">[PDF]<\/a><\/li>\n\n\n\n<li>#23: Vol.20, No.1, December 2025: Karuizawa and Online conference, Japan. December 26, 2025. <a href=\"https:\/\/drive.google.com\/file\/d\/1U1rB168TXN3qqfyUED6LeFHezoLZKmKF\/view\">[PDF]<\/a><\/li>\n<\/ul>\n\n\n\n<h4 class=\"wp-block-heading\">Correspondence (Vol.13\u301cVol.19)<\/h4>\n\n\n\n<p>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.<\/p>\n\n\n\n<h4 class=\"wp-block-heading\">Correspondence (Vol.20\u301c)<\/h4>\n\n\n\n<p>Mizar JAPAN, Iwate Prefectural University, c\/o Kazuhisa Nakasho, Takizawa, Iwate, JAPAN 020-0693. <\/p>\n\n\n\n<p>\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501<\/p>\n\n\n\n<h3 class=\"wp-block-heading\">2017\u5e74\u4ee5\u524d\u306b\u958b\u50ac\u3055\u308c\u305f\u7814\u7a76\u4f1a\u30fb\u8b1b\u6f14\u8ad6\u6587\u96c6<\/h3>\n\n\n\n<p>Proceedings of the Technical Symposium and General Assembly of Mizar JAPAN (ISSN 1881-610X (Online))<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>#01: Vol.1, No.1, Autumn 2006: Nagano, Japan. September 22, 2006.&nbsp;<a href=\"https:\/\/drive.google.com\/open?id=1x4Fl6p1lWswys_upfFsR_NJePaEtTh3E\">[PDF]<\/a><\/li>\n\n\n\n<li>#02: Vol.2, No.1, Spring 2007: Nagano, Japan. May 18, 2007.&nbsp;<a href=\"https:\/\/drive.google.com\/open?id=1A49EZZVsjWXB2JAC8vVXmymrn1Jl-ISH\">[PDF]<\/a><\/li>\n\n\n\n<li>#03: Vol.2, No.2, Autumn 2007: Nagano, Japan. October 19, 2007.&nbsp;<a href=\"https:\/\/drive.google.com\/open?id=1OpnQNf8ref-TRQypdFn152-ISDYGIZaR\">[PDF]<\/a><\/li>\n\n\n\n<li>#04: Vol.3, No.1, Spring 2008: Nagano, Japan. June 23, 2008.&nbsp;<a href=\"https:\/\/drive.google.com\/open?id=1rPenWXFXftIpUilSriKpXp3yxOTouDNU\">[PDF]<\/a><\/li>\n\n\n\n<li>#05: Vol.3, No.2, Autumn 2008: Nagano, Japan. November 15, 2008.&nbsp;<a href=\"https:\/\/drive.google.com\/open?id=10GDrfBcdpjfWxvM4hrZe3uh03CPveqCD\">[PDF]<\/a><\/li>\n\n\n\n<li>#06: Vol.4, No.1, Spring 2009: Nagano, Japan. June 19, 2009.&nbsp;<a href=\"https:\/\/drive.google.com\/open?id=1d724Ac6ARV5gWbWF8ujW7bnYWdIiBB3d\">[PDF]<\/a><\/li>\n\n\n\n<li>#07: Vol.4, No.2, Fall 2009: Tokyo, Japan. November 6, 2009.&nbsp;<a href=\"https:\/\/drive.google.com\/open?id=1prpM5ni-ep9CEUI9YXu110QrNtcMVE7_\">[PDF]<\/a><\/li>\n\n\n\n<li>#08: Vol.5, No.1, Summer 2010: Tokyo, Japan. September 6, 2010.&nbsp;<a href=\"https:\/\/drive.google.com\/open?id=1jJ5UGJEbgbNX3KFZGn924beuqZE1nnBJ\">[PDF]<\/a><\/li>\n\n\n\n<li>#09: Vol.6, No.1, Autumn 2011: Nagano, Japan. November 21, 2011.&nbsp;<a href=\"https:\/\/drive.google.com\/open?id=1pwHcZSCK0OGwALCHrUwdQAt7s57tdQYY\">[PDF]<\/a><\/li>\n\n\n\n<li>#10: Vol.7, No.1, Autumn 2012: Tokyo, Japan. October 28, 2012.&nbsp;<a href=\"https:\/\/drive.google.com\/open?id=1YbIk9fnZSIqzCpUlvffthsM56keI49Ac\">[PDF]<\/a><\/li>\n\n\n\n<li>#11: Vol.8, No.1, Winter 2013: Nagano, Japan. January 31, 2014.&nbsp;<a href=\"https:\/\/drive.google.com\/open?id=1Ljj0gYZ9sUFhwv4UX5Oq0cG-SxbUz4Jq\">[PDF]<\/a><\/li>\n\n\n\n<li>#12: Vol.9, No.1, Winter 2014: Nagano, Japan. January 30, 2015.&nbsp;<a href=\"https:\/\/drive.google.com\/open?id=1TZTgeDyAySIzjocdzj7le8r9orUcZA92\">[PDF]<\/a><\/li>\n\n\n\n<li>#13: Vol.10, No.1, Winter 2015: Nagano, Japan. February 22, 2016.&nbsp;<a href=\"https:\/\/drive.google.com\/open?id=1bZAhE7hIqy8uqGoM1_1Liaj20LxKOro3\">[PDF]<\/a><\/li>\n\n\n\n<li>#14: Vol.11, No.1, Winter 2016: Nagano, Japan. March 3, 2017.&nbsp;<a href=\"https:\/\/drive.google.com\/open?id=1aArpWNvO3L8KTUfwhp0n2LodxoW7yLZa\">[PDF]<\/a><\/li>\n\n\n\n<li>#15: Vol.12, No.1, Winter 2017: Nagano, Japan. December 26, 2017.&nbsp;<a href=\"https:\/\/drive.google.com\/open?id=1g6i1c95Y1RqEqMwKf4yFP08HiGjGYtNI\">[PDF]<\/a><\/li>\n<\/ul>\n\n\n\n<h4 class=\"wp-block-heading\">Correspondence (Vol.1\u301cVol.12)<\/h4>\n\n\n\n<p>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.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2501 Mizar\u7814\u7a76\u4f1a\u306b\u3088\u308b\u767a\u8868\u4f1a\uff08TSGA2025, Mizar-JAPAN @Karuizawa and Zoom Online\uff09 \u958b\u50ac\u65e5\u6642\uff1a202 [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-20","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/mizar-jp.org\/index.php?rest_route=\/wp\/v2\/pages\/20","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/mizar-jp.org\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/mizar-jp.org\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/mizar-jp.org\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/mizar-jp.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=20"}],"version-history":[{"count":111,"href":"https:\/\/mizar-jp.org\/index.php?rest_route=\/wp\/v2\/pages\/20\/revisions"}],"predecessor-version":[{"id":469,"href":"https:\/\/mizar-jp.org\/index.php?rest_route=\/wp\/v2\/pages\/20\/revisions\/469"}],"wp:attachment":[{"href":"https:\/\/mizar-jp.org\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=20"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}