{"id":21,"date":"2019-09-02T04:09:45","date_gmt":"2019-09-02T04:09:45","guid":{"rendered":"http:\/\/mizar-jp.org\/?page_id=21"},"modified":"2025-10-09T18:01:04","modified_gmt":"2025-10-09T09:01:04","slug":"%e8%ab%96%e6%96%87%e8%aa%8c","status":"publish","type":"page","link":"https:\/\/mizar-jp.org\/?page_id=21","title":{"rendered":"\u8ad6\u6587\u8a8c"},"content":{"rendered":"\n<figure class=\"wp-block-image\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"192\" src=\"http:\/\/mizar-jp.org\/wp-content\/uploads\/2019\/09\/books-408220_1280s-1024x192.jpg\" alt=\"\" class=\"wp-image-84\" srcset=\"https:\/\/mizar-jp.org\/wp-content\/uploads\/2019\/09\/books-408220_1280s-1024x192.jpg 1024w, https:\/\/mizar-jp.org\/wp-content\/uploads\/2019\/09\/books-408220_1280s-300x56.jpg 300w, https:\/\/mizar-jp.org\/wp-content\/uploads\/2019\/09\/books-408220_1280s-768x144.jpg 768w, https:\/\/mizar-jp.org\/wp-content\/uploads\/2019\/09\/books-408220_1280s.jpg 1280w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><\/figure>\n\n\n\n<p><a name=\"MMA-WiP\">\u3000<\/a><\/p>\n\n\n\n<h3 class=\"wp-block-heading\">Mechanized Mathematics and Its Applications, Works in Progress (MMA-WiP) ISSN 2434-5458 (Online)<\/h3>\n\n\n\n<p><\/p>\n\n\n\n<p>Mechanized Mathematics and Its Applications, Works in Progress (MMA-WiP) publishes papers that report the interpretation and\/or application of a wide variety of mathematical concepts contained in articles verified by the Mizar proof-checking system (for information on Mizar, see <a href=\"http:\/\/mizar.org\/\"><\/a><a href=\"http:\/\/mizar.org\/\">http:\/\/mizar.org\/<\/a>). The papers are meant to complement Mizar articles by providing expositions of the usefulness of the results, insights, broad developments, or specific applications of the propositions.<\/p>\n\n\n\n<h4 class=\"wp-block-heading\">Issue 2025, Volume 7<\/h4>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Kazuhisa Nakasho, Yasunari Shidama, On the Formalization of Taylor Expansion on Normed Space. MMA-WiP (2025), vol.7, no.1, pp.1-16. <a href=\"https:\/\/mizar-jp.org\/journal\/MMA-WiP\/j2025.7.1\">(online 2025.5.7) [PDF]<\/a><\/li>\n<\/ul>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Takashi Mitsuishi, Formalization of Triangular Membership Function Consisted of Two Linear Functions. MMA-WiP (2025), vol.7, no.2, pp.1-8. <a href=\"https:\/\/mizar-jp.org\/journal\/MMA-WiP\/j2025.7.2\">(online 2025.10.10) [PDF]<\/a><\/li>\n<\/ul>\n\n\n\n<h4 class=\"wp-block-heading\">Issue 2024, Volume 6<\/h4>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Yasushige Watase, On Primary Decomposition. MMA-WiP (2024), vol.6, no.1, pp.1-19. <a href=\"https:\/\/mizar-jp.org\/journal\/MMA-WiP\/j2024.6.1\">(online 2024.4.2) [PDF]<\/a><\/li>\n\n\n\n<li>Takashi Mitsuishi, Properties of Symmetrical Piecewise Linear Functions Composed by Absolute Value Function. MMA-WiP (2024), vol.6, no.2, pp.1-8. <a href=\"https:\/\/mizar-jp.org\/journal\/MMA-WiP\/j2024.6.2\">(online 2024.4.2) [PDF]<\/a><\/li>\n<\/ul>\n\n\n\n<h4 class=\"wp-block-heading\">Issue 2023, Volume 5<\/h4>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Yasushige Watase, On Identification of Rings. MMA-WiP (2023), vol.5, no.3, pp.1-8. <a href=\"https:\/\/mizar-jp.org\/journal\/MMA-WiP\/j2023.5.3\">(online 2023.7.3)[PDF]<\/a><\/li>\n\n\n\n<li>Takashi Mitsuishi, Centroids of Isosceles Triangular and Isosceles Trapezoidal Membership Functions. MMA-WiP (2023), vol.5, no.1, pp.1-13. <a href=\"https:\/\/mizar-jp.org\/journal\/MMA-WiP\/j2023.5.1\">(online 2023.4.2)[PDF]<\/a><\/li>\n\n\n\n<li>Kazuhisa Nakasho, Yasunari Shidama, On The Formalizations for Implicit Function Theorem with Higher Derivatives of Vector Valued Functions. MMA-WiP (2023), vol.5, no.2, pp.1-15. <a href=\"https:\/\/mizar-jp.org\/journal\/MMA-WiP\/j2023.5.2\">(online 2023.4.2)[PDF]<\/a><\/li>\n\n\n\n<li>Yasushige Watase, On Identification of Rings. MMA-WiP (2023), vol.5, no.3, pp.1-8. <a href=\"https:\/\/mizar-jp.org\/journal\/MMA-WiP\/j2023.5.3\">(online 2023.7.3)[PDF]<\/a><\/li>\n<\/ul>\n\n\n\n<h4 class=\"wp-block-heading\">Issue 2022, Volume 4<\/h4>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Roland Coghetto, Highschool (Secondary School) Trigonometry: Some Exercices with Mizar. MMA-WiP (2022), vol.4, no.1, pp.1-17 <a href=\"https:\/\/mizar-jp.org\/journal\/MMA-WiP\/j2022.4.1\">(online 2022.3.11)[PDF]<\/a><\/li>\n\n\n\n<li>Yasunari Shidama, Kazuhisa Nakasho, On The Formalizations for Higher Derivatives of Vector Valued Functions. MMA-WiP (2022), vol.4, no.2, pp.1-16 <a href=\"https:\/\/mizar-jp.org\/journal\/MMA-WiP\/j2022.4.2\">(online 2022.6.10)[PDF]<\/a><a href=\"https:\/\/mizar-jp.org\/journal\/MMA-WiP\/j2022.4.2.err\">[Erratum]<\/a><\/li>\n\n\n\n<li>Yasushige Watase, On the Formalizations of Algebraic Geometry. MMA-WiP (2022), vol.4, no.3, pp.1-14 <a href=\"https:\/\/mizar-jp.org\/journal\/MMA-WiP\/j2022.4.3\">(online 2022.6.23)[PDF]<\/a><\/li>\n\n\n\n<li>Keiichi Miyajima, Hiroshi Yamazaki, On The Formalization of Ascoli\u2013Arzel\u00e0&#8217;s Theorem. MMA-WiP (2022), vol.4, no.4, pp.1-15 <a href=\"https:\/\/mizar-jp.org\/journal\/MMA-WiP\/j2022.4.4\">(online 2022.6.25)[PDF]<\/a><\/li>\n\n\n\n<li>Takashi Mitsuishi, On the Formalizations of Definition for Centroid Method as Defuzzification. MMA-WiP (2022), vol.4, no.5, pp.1-12 <a href=\"https:\/\/mizar-jp.org\/journal\/MMA-WiP\/j2022.4.5\">(online 2022.6.7)[PDF]<\/a><\/li>\n<\/ul>\n\n\n\n<h4 class=\"wp-block-heading\">Issue 2021, Volume 3<\/h4>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Yatsuka Nakamura, On n-dimensional Real Spaces and n-dimensional Complex Spaces I. MMA-WiP (2021), vol.3, no.1, pp.1-10. <a href=\"https:\/\/mizar-jp.org\/journal\/MMA-WiP\/j2021.3.1\">(online 2021.10.5)[PDF]<\/a> <a href=\"https:\/\/mizar-jp.org\/library\/MOMENTM1\/momentm1.html\">[HTML]<\/a> <a href=\"https:\/\/mizar-jp.org\/library\/MOMENTM1\/\">[article]<\/a><\/li>\n\n\n\n<li>Takashi Mitsuishi, On the Formalizations of Definition for Set of  Membership Functions and Several Types of Membership Functions. MMA-WiP (2021), vol.3, no.2, pp.1-16. <a href=\"https:\/\/mizar-jp.org\/journal\/MMA-WiP\/j2021.3.2\">(online 2021.10.5)[PDF]<\/a><\/li>\n\n\n\n<li>Yasushige Watase, Derivation of Commutative Ring and its Application. MMA-WiP (2021), vol.3, no.3, pp.1-13. <a href=\"https:\/\/mizar-jp.org\/journal\/MMA-WiP\/j2021.3.3\">(online 2021.10.5)[PDF]<\/a><\/li>\n\n\n\n<li>Hiroshi Yamazaki, Yasunari Shidama, On the Formalizations for Multilayer Perceptron. MMA-WiP (2021), vol.3, no.4, pp.1-12. <a href=\"https:\/\/mizar-jp.org\/journal\/MMA-WiP\/j2021.3.4\">(online 2021.10.5)[PDF]<\/a><\/li>\n<\/ul>\n\n\n\n<h4 class=\"wp-block-heading\">Issue 2020, Volume 2<\/h4>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Yasunari Shidama, On the Formalizations for Functional Spaces of Continuous Functions. MMA-WiP (2020), vol.2, no.1, pp.1-16. <a href=\"http:\/\/mizar-jp.org\/journal\/MMA-WiP\/j2020.2.1\">(online 2020.11.30)[PDF]<\/a><\/li>\n\n\n\n<li>Yasushige Watase, Properties of Modules over a Commutative Ring. MMA-WiP (2020), vol.2, no.2, pp.1-15. <a href=\"http:\/\/mizar-jp.org\/journal\/MMA-WiP\/j2020.2.2\">(online 2020.11.30)[PDF]<\/a><\/li>\n\n\n\n<li>Kazuhisa Nakasho, Proposal of Information-theoretical Framework for Measuring Theorem Similarity. MMA-WiP (2020), vol.2, no.3, pp.1-8. <a href=\"http:\/\/mizar-jp.org\/journal\/MMA-WiP\/j2020.2.3\">(online 2020.11.30)[PDF]<\/a><\/li>\n<\/ul>\n\n\n\n<h4 class=\"wp-block-heading\">Issue 2019, Volume 1<\/h4>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Kazuhisa Nakasho, Development of Mizar Lexer and Parser Working without Environment Part (Work in Progress). MMA-WiP (2019), vol.1, no.1, pp.1-7 <a href=\"http:\/\/mizar-jp.org\/journal\/MMA-WiP\/j2019.1.1\">(online 2019.9.27) [PDF]<\/a><\/li>\n\n\n\n<li>Yasunari Shidama, On the Formalizations of Riemann-Stieltjes Integral. MMA-WiP (2019), vol.1, no.2, pp.1-13 <a href=\"http:\/\/mizar-jp.org\/journal\/MMA-WiP\/j2019.1.2\">(online 2019.9.27) [PDF]<\/a><\/li>\n\n\n\n<li>Yasushige Watase, Zariski Topology. MMA-WiP (2019), vol.1, no.3, pp.1-12 <a href=\"http:\/\/mizar-jp.org\/journal\/MMA-WiP\/j2019.1.3\">(online 2019.9.27) [PDF]<\/a><\/li>\n\n\n\n<li>Yasushige Watase, Localization of Commutative Rings. MMA-WiP (2019), vol.1, no.4, pp.1-11 <a href=\"http:\/\/mizar-jp.org\/journal\/MMA-WiP\/j2019.1.4\">(online 2019.9.27) [PDF]<\/a><\/li>\n<\/ul>\n\n\n\n<p><a name=\"MMA-WiP_submission\">\u3000<\/a><\/p>\n\n\n\n<h4 class=\"wp-block-heading\">Submission of Papers<\/h4>\n\n\n\n<p>Authors are invited to submit papers for review in LaTeX or MS-Word format (8 pages(min) &#8212; 16 pages(max), letter size) by e-mail to:<\/p>\n\n\n\n<p>submission (at) mizar-jp.org<\/p>\n\n\n\n<p>Papers must be written in Japanese or English, and include a list of references containing at least one Mizar article which serves as the basis of the paper for &#8216;Regular Paper&#8217;. A cover page should be provided to indicate the following information: paper category; title; authors and affiliations; address, and e-mail address of the corresponding author; a descriptive abstract of 200 words or less; and a maximum of five keywords describing the work. All submissions must be followed by canonical LaTeX\/MS-Word paper style format <a href=\"https:\/\/mizar-jp.org\/journal\/MMA-WiP\/templates\/MMA-WiP_template_ver.20241128.zip\">(ZIP download)<\/a>.<\/p>\n\n\n\n<h4 class=\"wp-block-heading\">Instructions for Authors<\/h4>\n\n\n\n<p><a href=\"https:\/\/mizar-jp.org\/journal\/MMA-WiP\/AuthorGuideline\/AuthorGuideline-EN-20210923.pdf\">This PDF file<\/a> is included submission guidelines and requirements of Mizar articles for the submission category; &#8216;Regular Paper&#8217;, &#8216;System Development Paper&#8217;, &#8216;Article&#8217; and &#8216;Letter&#8217; (<a href=\"https:\/\/mizar-jp.org\/journal\/MMA-WiP\/AuthorGuideline\/AuthorGuideline-JA-20210923.pdf\">Japanese text is here<\/a>).<\/p>\n\n\n\n<h4 class=\"wp-block-heading\">Correspondence<\/h4>\n\n\n\n<p>Correspondence (2019-): Mizar JAPAN; Shinshu University, Faculty of Engineering, Department of Electrical and Computer Engineering, c\/o Katsumi Wasaki, Wakasato 4-17-1, Nagago, JAPAN 380-8553.<\/p>\n\n\n\n<p>This journal is published online by Mizar JAPAN. Every paper is peer-reviewed and the editorial board reserves the right to edit papers.<\/p>\n\n\n\n<h4 class=\"wp-block-heading\">Editorial Board<\/h4>\n\n\n\n<p>Kazuhisa Nakasho (Yamaguchi University)<br>Noboru Endou (National Institute of Technology, Gifu College)<br><br>Ken&#8217;ichi Arai (Nagasaki Univerisity)<br>Hiroyuki Okazaki (Shinshu University)<br>Yasunari Shidama (Shinshu University, Professor Emeritus)<br>Yatsuka Nakamura (Shinshu University, Professor Emeritus)<br>Hiroshi Yamazaki (Nagano Prefectural Institute of Technology)<br>Takashi Mitsuishi (Nagano University)<br>Keiichi Miyajima (Ibaraki University)<br>Yasushige Watase (Suginami-ku, Tokyo)<br>Katsumi Wasaki (Shinshu University)<\/p>\n\n\n\n<p><\/p>\n\n\n\n<p>\u3000<\/p>\n\n\n\n<p>\u3000<\/p>\n\n\n\n<p>\u3000<\/p>\n\n\n\n<p>\u3000<\/p>\n\n\n\n<p><a name=\"MMA\"><\/a><\/p>\n\n\n\n<p><a name=\"MMA\"><\/a><\/p>\n\n\n\n<p><a name=\"MMA\"><\/a><\/p>\n\n\n\n<a name=\"MMA\"><hr class=\"wp-block-separator\">\u3000<\/a>\n\n\n\n<h3 class=\"wp-block-heading\">Mechanized Mathematics and Its Applications (MMA)&nbsp;ISSN 1345-8272 (Print)<\/h3>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"aligncenter is-resized\"><img loading=\"lazy\" decoding=\"async\" width=\"684\" height=\"1024\" src=\"http:\/\/mizar-jp.org\/wp-content\/uploads\/2019\/09\/MMA_2000-1__cover_original-684x1024.png\" alt=\"\" class=\"wp-image-103\" style=\"width:314px;height:470px\" srcset=\"https:\/\/mizar-jp.org\/wp-content\/uploads\/2019\/09\/MMA_2000-1__cover_original-684x1024.png 684w, https:\/\/mizar-jp.org\/wp-content\/uploads\/2019\/09\/MMA_2000-1__cover_original-200x300.png 200w, https:\/\/mizar-jp.org\/wp-content\/uploads\/2019\/09\/MMA_2000-1__cover_original.png 753w\" sizes=\"auto, (max-width: 684px) 100vw, 684px\" \/><\/figure><\/div>\n\n\n<p>Mechanized Mathematics and Its Applications (MMA) publishes papers which report the interpretation and\/or application of a wide variety of mathematical concepts contained in articles verified by the Mizar proof-checking system (for information on Mizar, see http:\/\/mizar.org\/). The papers are meant to complement Mizar articles by providing expositions of the usefulness of the results, insights, broad developments, or specific applications of the propositions.<\/p>\n\n\n\n<h4 class=\"wp-block-heading\">Released Volumes<\/h4>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Volume 1, 2000 <a href=\"https:\/\/drive.google.com\/open?id=1j8dqLg8Gtl9_G2jt8bbI4FIVgm6hVy6W\">[PDF]<\/a><\/li>\n\n\n\n<li>Volume 2, 2002 <a href=\"https:\/\/drive.google.com\/open?id=16zc9IcKgbhBh9PQhOLpL8G83ge1sKbj-\">[PDF]<\/a><\/li>\n\n\n\n<li>Volume 3, 2004 <a href=\"https:\/\/drive.google.com\/open?id=1TVn_fxcCtQRS4b1H06jaqmk0sZBt_QfL\">[PDF]<\/a><\/li>\n\n\n\n<li>Volume 4, 2005, &#8220;Special Issue on 30 Years of Mizar&#8221; <a href=\"https:\/\/drive.google.com\/open?id=1AfVp3Zp3eObvV3qtvdrVx-IOMW2G-rg3\">[PDF]<\/a><\/li>\n\n\n\n<li>Volume 5, Number 1, 2006 <a href=\"https:\/\/drive.google.com\/open?id=1OojRXz9KkSa73kLKbE-XLNQL8fI_xqLI\">[PDF]<\/a><\/li>\n\n\n\n<li>Volume 5, Number 2, 2006 <a href=\"https:\/\/drive.google.com\/open?id=1SwiJB-PvZOcu5U_eqkdpaDnMgnGMQLnZ\">[PDF]<\/a><\/li>\n\n\n\n<li>Volume 6, 2007, &#8220;Special Issue on Jordan Curve Theorem&#8221; <a href=\"https:\/\/drive.google.com\/open?id=1HbZHDg-233cLjWbycekg3TFZbtO5GBOd\">[PDF]<\/a><\/li>\n\n\n\n<li>Volume 7, Number 1-2, 2008 <a href=\"https:\/\/drive.google.com\/open?id=12azB2dqx68hYebcW6k75pYJDFMTLQVUf\">[PDF]<\/a><\/li>\n\n\n\n<li>Volume 8, 2010 <a href=\"https:\/\/drive.google.com\/open?id=1amljwnwcbTn15Ymcpp7mdx4DYrVWxLEr\">[PDF]<\/a><\/li>\n\n\n\n<li>Volume 9, Number 1-2, 2014 <a href=\"https:\/\/drive.google.com\/open?id=1K6rROb8ySnNzWGA25LY2YrIasYhzI_vI\">[PDF]<\/a><\/li>\n<\/ul>\n\n\n\n<h4 class=\"wp-block-heading\">Submission of Papers<\/h4>\n\n\n\n<p>Authors are invited to submit papers for review in MS-Word format (V5.0 or later, 8 pages maximum, A4 size) by e-mail to:<\/p>\n\n\n\n<p>pauline (at) cs.shinshu-u.ac.jp<\/p>\n\n\n\n<p>Papers must be written in English and include a list of references containing at least one Mizar article which serves as the basis of the paper. A separate cover page should be provided to indicate the following information: title; authors and affiliations; address, e-mail and telephone\/fax number of the primary author; a descriptive abstract of 200 words or less; and a maximum of five keywords describing the work. Adhere to the style of this journal as much as possible.<\/p>\n\n\n\n<h4 class=\"wp-block-heading\">Correspondence<\/h4>\n\n\n\n<p>This journal is published annually by Mizar JAPAN. Every paper is reviewed and the editorial board reserves the right to edit papers.<\/p>\n\n\n\n<p>Correspondence: 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>\u3000 Mechanized Mathematics and Its Applications, Works in Progress (MMA-WiP) ISSN 2434-5458 (Online) Mechanized  [&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-21","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/mizar-jp.org\/index.php?rest_route=\/wp\/v2\/pages\/21","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=21"}],"version-history":[{"count":98,"href":"https:\/\/mizar-jp.org\/index.php?rest_route=\/wp\/v2\/pages\/21\/revisions"}],"predecessor-version":[{"id":463,"href":"https:\/\/mizar-jp.org\/index.php?rest_route=\/wp\/v2\/pages\/21\/revisions\/463"}],"wp:attachment":[{"href":"https:\/\/mizar-jp.org\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=21"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}