介護環境のためのICTシステム開発 キーワード:ICT systems and tools for long-term health care environments, digital health charting ペトリネットによるソフトウェア・ハードウェアの設計、検証、自動生成 キーワード:Petri net applications for software/hardware design, verification, automatic generation ペトリネット・ツールの開発 キーワード:Petri net tool development 英語ラーニングのComputer Aided Instruction(CAI) キーワード:Computer-aided instruction systems for English learning Mizar プルーフチェッカーによるハードウェアの記述、検証 キーワード:Mizar proof checker applications for hardware specification, verification
所属学会
所属学会 情報処理学会 Association for Computing Machinery The Institute of Electrical and Electronics Engineers Mizar Society
所属学会役職担当 2021- , The Institute of Electrical and Electronics Engineers , Shin-etsu Section, Secretary 2019- , The Institute of Electrical and Electronics Engineers (IEEE) , Shin-etsu Section, Women in Engineering (WiE) Liaison 2018- , The Institute of Electrical and Electronics Engineers , Professional Communication Society - Japan Chapter, Treasurer 2021-2021 , The Institute of Electrical and Electronics Engineers (IEEE) , IEEE ProComm Japan 2021 Seminar and Technical Meeting, Program Committee 2021-2021 , The Institute of Electrical and Electronics Engineers (IEEE) , IEEE ProComm Japan 2021 Workshop and Technical Meeting, Program Committee 2020-2020 , The Institute of Electronics, Information, and Communication Engineers (IEICE) , 電子情報通信学会 2020年信越支部 大会実行委員会 2019-2021 , The Institute of Electrical and Electronics Engineers (IEEE) , Professional Communication Society, Japan Chapter 2020 Symposium Steering Committee 2017-2017 , Mizar Society , Mizar JAPAN Chapter, Technical Symposium Program Chair 2017-2018 , The Institute of Electrical and Electronics Engineers , Shin-etsu Section, Treasurer 2017-2017 , Mizar Society , Mizar JAPAN Chapter, Technical Symposium Program Chair 2016-2017 , The Institute of Electrical and Electronics Engineers , Professional Communication Society - Japan Chapter, Chair 2015-2016 , Mizar Society , Mizar JAPAN Chapter, Technical Symposium Program Chair 2014-2015 , Mizar Society , Mizar JAPAN Chapter, Technical Symposium Program Chair 2014-2015 , The Institute of Electrical and Electronics Engineers , Professional Communication Society - Japan Chapter, Treasurer 2014-2014 , Mizar Society , Mizar JAPAN Chapter, MMA Technical Editor/Production Staff 2013-2014 , Mizar Society , Mizar JAPAN Chapter, Technical Symposium Program Chair 2013-2013 , Mizar Society , Mizar JAPAN Chapter, Technical Symposium Program Committee Chair 2012-2012 , Mizar Society , Mizar JAPAN Chapter, Technical Symposium Program Chair 2011-2011 , Mizar Society , Mizar JAPAN Chapter, Technical Symposium Program Chair 2010-2010 , Mizar Society , Mizar JAPAN Chapter, Technical Symposium Program Chair 2010-2013 , The Institute of Electrical and Electronics Engineers , Professional Communication Society - Japan Chapter, Vice Chair 2010-2010 , The Institute of Electrical and Electronics Engineers , Professional Communications Society Technical Meeting, Program Chair 2010-2010 , Mizar Society , Mizar JAPAN Chapter, MMA Technical Editor/Production Staff 2009-2009 , Mizar Society , Mizar JAPAN Chapter, Technical Symposium Program Chair 2009-2009 , Mizar Society , Mizar JAPAN Chapter, Technical Symposium Program Chair 2008-2008 , Mizar Society , Mizar JAPAN Chapter, Technical Symposium Program Chair 2008-2008 , Mizar Society , Mizar JAPAN Chapter, Technical Symposium Program Chair 2008-2009 , The Institute of Electrical and Electronics Engineers , Professional Communication Society - Japan Chapter, Secretary 2008-2008 , Mizar Society , Mizar JAPAN Chapter, MMA Technical Editor/Production Staff 2008-2008 , The Institute of Electrical and Electronics Engineers , Professional Communications Society Technical Meeting, Program Chair 2007-2007 , Mizar Society , Mizar JAPAN Chapter, Technical Symposium Program Chair 2007-2007 , Mizar Society , Mizar JAPAN Chapter, Technical Symposium Program Chair 2007-2007 , The Institute of Electrical and Electronics Engineers , International Conference on Advanced Learning Techniques, Local Steering Committee Member 2007-2007 , Mizar Society , Mizar JAPAN Chapter, MMA Technical Editor/Production Staff 2006-2006 , Mizar Society , Mizar JAPAN Chapter, Technical Symposium Program Chair 2006-2006 , Mizar Society , Mizar JAPAN Chapter, MMA Technical Editor/Production Staff 2005-2005 , Mizar Society , Mizar JAPAN Chapter, Technical Symposium Program Chair 2005-2005 , Mizar Society , Mizar JAPAN Chapter, MMA Technical Editor/Production Staff 2004-2004 , Mizar Society , Mizar JAPAN Chapter, Technical Symposium Program Chair 2004-2004 , Mizar Society , Mizar JAPAN Chapter, MMA Technical Editor/Production Staff 2002-2002 , Mizar Society , Mizar JAPAN Chapter, Technical Symposium Program Chair 2002-2002 , Mizar Society , Mizar JAPAN Chapter, MMA Technical Editor/Production Staff 2000-2000 , Mizar Society , Mizar JAPAN Chapter, Technical Symposium Program Chair 2000-2000 , Mizar Society , Mizar JAPAN Chapter, MMA Technical Editor/Production Staff 1999-1999 , Mizar Society , Mizar JAPAN Chapter, Technical Symposium Program Chair
論文 "Visualizing and Communicating Health Trends in a Digital Charting Application for Nursing Home Staff" 2022 IEEE 4th Global Conference on Life Sciences and Technologies (IEEE LifeTech 2022),:22-23 2022(Mar.) Author:R. Tsuzuki, R. Kumemoto, H. Yoshida, T. Tanaka, and P. N. Kawamoto
"Automating the Process of Distinguishing Marketable Apples" 2021 Third International Conference on Transdisciplinary AI,:156-157 2021(Sep.) Author:M. Endo, P. N. Kawamoto
“Development of a Health Charting Application using a Human Centered Design Approach” 2020 IEEE 2nd Global Conference on Life Sciences and Technology (IEEE Life Tech 2020),:325-326 2020(Mar.) Author:C. Namba, P. N. Kawamoto, M. Kosuda, and S. Otsuki
"A Simple Example for Linear Partial Differential Equations and Its Solution Using the Method of Separation of Variables" Formalized Mathematics,27(1):25-34 2019 Author:S. Otsuki, P. N. Kawamoto, H. Yamazaki
Gamifying the Element of Forgetting in E-learning Systems IEEE International Conference on Teaching, Assessment, and Learning for Engineering 2018,:321-324 2018(Dec. 05) Author:Yukiya Kimura and Pauline N. Kawamoto
"On the Development of a Customizable Crowd Sensing System for Public Spaces using IoT Cloud Services" 2018 IEEE International Congress on Internet of Things (ICIOT 2018),:176-179 2018 Author:R. Kobayashi, P. N. Kawamoto
"A Mobile Tracking Application Tailored for Caravan Groups" 2017 3rd International Conference on Communication and Information Processing (ICCIP 2017),:41 2017 Author:R. Kobayashi, P. N. Kawamoto
"Improving Feedback to Novice Learners on Constructing i* Requirements Diagrams" Proceedings of 2016 6th International Workshop on Computer Science and Engineering (WCSE 2016),:603-606 2016(Jun. 17) Author:H. Mejri, P. N. Kawamoto
"i*Check: A Web-based Tool Assistant for Detecting Design Errors in i* Model Data" Proceedings of the 19th ISERD - International Conference on Engineering, Technology and Innovation (ICETI),:93-96 2015(Nov. 13) Author:H. Mejri, P. N. Kawamoto
"A Mechanized Formalization for the Token Invariant Properties in Subclass of Petri net called Decision Free net" Mechanized Mathematics and Its Applications,9(1):1-10 2014 Author:P. K. Shah, P. N. Kawamoto
"The Formalization of Decision-Free Petri Net" Formalized Mathematics,22(1):29-35 2014 Author:P. K. Shah, P. N. Kawamoto, M. Giero
"Formulation of Cell Petri Nets" Formalized Mathematics,21(4):241-247 2013 Author:M. Jitsukawa, P. N. Kawamoto, Y. Shidama
"Development of An English Text Filter System For Remedial Students and Teachers" Clute Institute International Academic Conference 2012,:708-709 2012 Author:D. Watanabe, P. N. Kawamoto
"On the Creation of Notetaking Spaces in Digital Texts" Clute Institute International Academic Conference 2012,:784 2012 Author:K. Hara, P. N. Kawamoto
"Development of a Tool for Producing Foreign Language Contents with Audio Synchronized Text Highlights" HIC Education,:2158-2162 2011 Author:Y. Ogawa, P. N. Kawamoto
"Work in Progress: Online Contents for Continuous Remedial English Training for Japanese University Students" HIC Education,:2191-2192 2011 Author:Y. Nishimura, P. N. Kawamoto
"Turning Teaching Ideas into Real E-learning Solutions: Development of a Remedial English E-learning System for Undergraduate Students at a Japanese University" HIC Arts and Humanities,:1126-1138 2009 Author:Y. Yoshinari, P. N. Kawamoto
"Cell Petri Net Concepts" Formalized Mathematics,17(1):37-42 2009 Author:M. Jitsukawa, P. N. Kawamoto, Y. Shidama, Y. Nakamura
"Development of a Spiral Learning Mechanism for E-learning Drill Systems: Making Remedial Training Less Painful for Students and Instructors" E-Learn 2008 World Conference on E-Learning in Corporate, Government, Healthcare, and Higher Education,:1402-1407 2008 Author:Y. Yoshinari, P. N. Kawamoto
"On the Formalization of Lebesgue Integrals" Studies in Logic, Grammar and Rhetoric,10(23):167-177 2007 Author:Y. Shidama, N. Endou, P. N. Kawamoto
"Work in Progress: Sharing Learning Resources in the Development of an Online Engineering Presentations Course" 36th Annual Frontiers in Education Conference,:1634-1635 2006 Author:P. N. Kawamoto, Y. Fuwa, H. Kunimune, et al.
"On a Formalization of Digital Circuits in Mizar" Mechanized Mathematics and Its Applications,3(1):9-17 2004 Author:P. N. Kawamoto
"A Smart Sensing Method for Mine Detection using Time Difference IR Images" Proc. of IEEE Conference on Multisensor Fusion and Integration for Intelligent Systems (MFI2001),:133-139 2001 Author:K. Wasaki, N. Shimoi, Y. Takita, P. N. Kawamoto
"Automatic HDL Generation for a DES Codec for an Encrypted NFS Server based on an Extended Petri Net" 9th International Workshop on Discrete-Event System Design,:61-66 2001 Author:S. Yamaguchi, K. Wasaki, Y. Shidama, P. N. Kawamoto
"2's Complement Circuit" Formalized Mathematics,6(2):189-197 1997 Author:K. Wasaki, P. N. Kawamoto
"A Petri Net Based Protocol Design Tool for Wireless Data Communication" International Workshop on Multi-Dimensional Mobile Communications,:307-311 1996 Author:T. Nakao, T. Yamagishi, P. N. Kawamoto, et al.
"A Petri Net Environment for Developing Robot Controllers" 4th Infernational Conference on Control, Automation, Robotics, and Vision,:719-723 1996 Author:P. N. Kawamoto, M. Sakamoto, Y. Fuwa, Y. Nakamura
"Petri Net Software Development for Parallel/Distributed Systems" Parallel and Distributed Computing and Systems, Proc. of the 8th IASTED International Conference,:418-420 1996 Author:M. Kitazawa, P. N. Kawamoto, Y. Fuwa, Y. Nakamura
"Application of Petri Nets to Software Development - Practical Issues and Considerations" Applied Informatics, Proc. of the 14th IASTED International Conference,:362-365 1996 Author:P. N. Kawamoto, Y. Fuwa, Y. Nakamura
"The Concept of a Many Sorted Algebra and a Model of Digital Circuits" 京都大学数理解析研究所講究録,975:176-184 1996 Author:P. N. Kawamoto, A. Trybulec
"Introduction to Circuits, II" Formalized Mathematics,5(2):273-278 1996 Author:Y. Nakamura, P. Rudnicki, A. Trybulec, P. N. Kawamoto
"Introduction to Circuits, I" Formalized Mathematics,5(2):227-232 1996 Author:Y. Nakamura, P. Rudnicki, A. Trybulec, P. N. Kawamoto
"Preliminaries to Circuits, II" Formalized Mathematics,5(2):215-220 1996 Author:Y. Nakamura, P. Rudnicki, A. Trybulec, P. N. Kawamoto
"Preliminaries to Circuits, I" Formalized Mathematics,5(2):167-172 1996 Author:Y. Nakamura, P. Rudnicki, A. Trybulec, P. N. Kawamoto
"On Cell Petri Nets" Journal of Applied Functional Analysis,I:12-22 1996 Author:P. N. Kawamoto, Y. Nakamura
"Basic Concepts for Petri Nets with Boolean Markings" Formalized Mathematics,4(1):87-90 1993 Author:P. N. Kawamoto, Y. Fuwa, Y. Nakamura
"Basic Petri Net Concepts" Formalized Mathematics,3(2):183-187 1992 Author:P. N. Kawamoto, Y. Fuwa, Y. Nakamura
“Visualizing and Communicating Health Trends in a Digital Charting Application for Nursing Home Staff” 2022 IEEE 4th Global Conference on Life Sciences and Technologies 2022(Mar. 07) Presenter:Ryosuke Tsuzuki, Riku Kumemoto, Haruya Yoshida, Tomoki Tanaka, Pauline N. Kawamoto
“An image collecting system for automatic fruit sorting operations” The 18th IEEE Transdisciplinary-Oriented Workshop for Emerging Researchers 2021(Nov. 13) Presenter:Minori Endo, Pauline N. Kawamoto
「聴覚障害者へ向けた室内音通知システムの実装について」 The 18th IEEE Transdisciplinary-Oriented Workshop for Emerging Researchers 2021(Nov. 13) Presenter:駒形 真平、カワモト ポーリン・ナオミ
「様式内手書き情報の自動抽出と集計システムの開発」 The 18th IEEE Transdisciplinary-Oriented Workshop for Emerging Researchers 2021(Nov. 13) Presenter:米窪 慧、Pauline N. Kawamoto
「デジタルスタンプを用いたオンライン健康記録システムについて」 The 18th IEEE Transdisciplinary-Oriented Workshop for Emerging Researchers 2021(Nov. 13) Presenter:久米本 陸、都築 瞭佑、カワモト ポーリン ナオミ
「深層学習とテクスチャマッピングによる動画内の人物スタイル変換の比較」 The 18th IEEE Transdisciplinary-Oriented Workshop for Emerging Researchers 2021(Nov. 13) Presenter:三福寺 輝、Pauline N Kawamoto
「健康記録のタブ形式でのオンライン表示」 The 18th IEEE Transdisciplinary-Oriented Workshop for Emerging Researchers 2021(Nov. 13) Presenter:田中 友基、Pauline N. Kawamoto
「健康記録生成の手法による時間比較」 The 18th IEEE Transdisciplinary-Oriented Workshop for Emerging Researchers 2021(Nov. 13) Presenter:吉田 晴哉、カワモト ポーリン・ナオミ
「BCIのための電極位置情報を付加したデータ前処理による運動想起脳波判別率の向上について」 The 18th IEEE Transdisciplinary-Oriented Workshop for Emerging Researchers 2021(Nov. 13) Presenter:長谷川 慶武、カワモト ポーリン・ナオミ
“Using Deep Learning to Automatically Classify Apple Surface Characteristics” 2021 Convention Record of the Shin-Etsu Chapter of The Institute of Electronics, Information, and Communication Engineers, IEEE Shin-etsu Section Oral Session 2021(Sep. 25) Presenter:Minori Endo, Pauline Naomi Kawamoto
“Automating the Process of Distinguishing Marketable Apples” 2021 Third International Conference on Transdisciplinary AI 2021(Sep. 20) Presenter:Minori Endo, Pauline N. Kawamoto
“Development of a Health Charting Application using a Human Centered Design Approach”, 2020 IEEE 2nd Global Conference on Life Sciences and Technology (IEEE Life Tech 2020) 2020(Mar. 10) Presenter:Chihiro Namba, Pauline N. Kawamoto, Mitsuya Kosuda, and Sora Otsuki
“On a Word Card Application for Assisting Storage Strategy Learning” 2019 Convention Record of the Shin-Etsu Chapter of The Institute of Electronics, Information, and Communication Engineers, IEEE Shin-etsu Poster Session 2019(Sep. 28) Presenter:M. Kosuda, P. N. Kawamoto
“Gamifying the Element of Forgetting in E-learning Systems” IEEE International Conference on Teaching, Assessment, and Learning for Engineering 2018 (TALE 2018) 2018(Dec. 05) Presenter:Yukiya Kimura and Pauline N. Kawamoto
"Development of a Versatile Word Card Grouping Application for Children" 2018 Convention Record of the Shin-Etsu Chapter of The Institute of Electronics, Information, and Communication Engineers, IEEE Shin-etsu Oral Session 2018(Sep. 29) Presenter:Mitsuya Kosuda, Pauline N. Kawamoto
"Mark-up of Selected Trajectories in Sports Videos using Object Detection" 2018 Convention Record of the Shin-Etsu Chapter of the Institute of Electronics, Information, and Communication Engineers, IEEE Shin-etsu Oral Session 2018(Sep. 29) Presenter:Sora Otsuki, Pauline N. Kawamoto
"Customizing the Thresholds for a Crowd Sensing System for Public Spaces" 2018 Convention Record of the Shin-Etsu Chapter of the Institute of Electronics, Information, and Communication Engineers, IEEE Shin-etsu Oral Session 2018(Sep. 29) Presenter:Ryutaro Kobayashi, Pauline Kawamoto
"Using gamification of visual novel contents to help learners forget less" 2018 Convention Record of the Shin-Etsu Chapter of the Institute of Electronics, Information, and Communication Engineers, IEEE Shin-etsu Session Poster Session 2018(Sep. 29) Presenter:Yukiya Kimura, Pauline Kawamoto
“On the Development of a Customizable Crowd Sensing System for Public Spaces using IoT Cloud Services” 2018 IEEE International Congress on Internet of Things (ICIOT 2018) 2018(Jul. 03) Presenter:Ryutaro Kobayashi and Pauline N. Kawamoto
“A Mobile Tracking Application Tailored for Caravan Groups” 2017 3rd International Conference on Communication and Information Processing 2017(Nov. 24) Presenter:Ryutaro Kobayashi and Pauline N. Kawamoto
“GPS zone computations for a vehicle sway notification system” 2017 Convention Record of the Shin-Etsu Chapter of the Institute of Electronics, Information, and Communication Engineers, IEEE Shin-etsu Poster Session 2017(Oct. 07) Presenter:S. Yamamoto, P. N. Kawamoto
“On a Crowd Detection System using IoT Cloud Services” 2017 Convention Record of the Shin-Etsu Chapter of the Institute of Electronics, Information, and Communication Engineers, IEEE Shin-etsu Oral Session 2017(Oct. 07) Presenter:R. Kobayashi, P. Kawamoto
“Raising Awareness about Disaster Preparedness in Visitors to Japan using E-Contents” 2017 Convention Record of the Shin-Etsu Chapter of the Institute of Electronics, Information, and Communication Engineers, IEEE Shin-etsu Oral Session 2017(Oct. 07) Presenter:Y. Kimura, P. N. Kawamoto
"Development and Evaluation of an Online Assistant for Helping Novice Learners Correct Defects in i* Models" 2016 Convention Record of the Shin-Etsu Chapter of the Institute of Electronics, Information, and Communication Engineers, IEEE Shin-etsu Poster Session 2016(Oct. 08) Presenter:H. Mejri, P. N. Kawamoto
"Mizar Formalization of Theorems Concerning the Projection of Moving Objects" 2016 Convention Record of the Shin-Etsu Chapter of the Institute of Electronics, Information, and Communication Engineers, IEEE Shin-etsu Oral Session 2016(Oct. 08) Presenter:S. Yamamoto, P. N. Kawamoto
“Improving Feedback to Novice Learners on Constructing i* Requirements Diagrams” Proceedings of 2016 6th International Workshop on Computer Science and Engineering 2016(Jun. 17) Presenter:Hajer Mejri and Pauline N. Kawamoto
“i*Check: A Web-based Tool Assistant for Detecting Design Errors in i* Model Data” Proceedings of 19th ISERD – International Conference on Engineering, Technology and Innovation 2015(Nov. 13) Presenter:Hajer Mejri and Pauline N. Kawamoto
“Development of an Online Read-along Contents Library” 2013 Convention Record of the Shin-Etsu Chapter of the Institute of Electronics, Information, and Communication Engineers, IEEE Shin-etsu Oral Session 2013(Oct. 05) Presenter:Y. Ogawa, P. N. Kawamoto
“Formalization of Decision-free Petri nets in Mizar” 2013 Convention Record of the Shin-Etsu Chapter of the Institute of Electronics, Information, and Communication Engineers, IEEE Shin-etsu Poster Session 2013(Oct. 05) Presenter:P. K. Shah, P. N. Kawamoto
“Development of a tool for producing read-along contents” 2012 Convention Record of The Shin-Etsu Chapter of The Institute of Electronics, Information, and Communication Engineers, IEEE Shinetsu Oral Session 2012(Oct. 13) Presenter:Y. Ogawa, P. N. Kawamoto
“A New Time Petri Net Modelling Tool for Beginning Designers” 2012 Convention Record of The Shin-Etsu Chapter of The Institute of Electronics, Information, and Communication Engineers, IEEE Shinetsu Poster Session 2012(Oct. 13) Presenter:P. K. Shah, P. N. Kawamoto
"Development of Multimedia Courseware for Teaching Practical Engineering Presentation Skills" JSiSE Research Report 20 6 158-161 2006 Presenter:P. N. Kawamoto, Y. Fuwa, H. Kunimune, et al.
MISC Learning to express engineering results in the universal language of mathematics IEEE PCSJ 2nd Technical Meeting 2013 keynote 2013 Author:P. N. Kawamoto
Learning from the Development of the SUGSI Framework 外国語教育メディア学会(The Japan Association for Language Education and Technology)第44回全国研究大会,:163 2004 Author:P. N. Kawamoto
共同研究等希望テーマ
Professional communication skills development 介護サポート情報システム Information systems for supporting children's education Formalization of Petri net properties
学術専門雑誌等編集 2017-2017 , Mizar Society, Mizar JAPAN Chapter , Technical Symposium and General Assembly of Mizar JAPAN 2016-2017 , Mizar Society, Mizar JAPAN Chapter , Technical Symposium and General Assembly of Mizar JAPAN 2015-2016 , Mizar Society, Mizar JAPAN Chapter , Technical Symposium and General Assembly of Mizar JAPAN 2014-2015 , Mizar Society, Mizar JAPAN Chapter , Technical Symposium and General Assembly of Mizar JAPAN 2014-2014 , Mizar Society, Mizar JAPAN Chapter , Mechanized Mathematics and Its Applications 2013-2014 , Mizar Society, Mizar JAPAN Chapter , Technical Symposium and General Assembly of Mizar JAPAN 2012-2012 , Mizar Society, Mizar JAPAN Chapter , Technical Symposium and General Assembly of Mizar JAPAN 2011-2011 , Mizar Society, Mizar JAPAN Chapter , Technical Symposium and General Assembly of Mizar JAPAN 2010-2010 , Mizar Society, Mizar JAPAN Chapter , Technical Symposium and General Assembly of Mizar JAPAN 2010-2010 , Mizar Society, Mizar JAPAN Chapter , Mechanized Mathematics and Its Applications 2009-2009 , Mizar Society, Mizar JAPAN Chapter , Technical Symposium and General Assembly of Mizar JAPAN 2008-2008 , Mizar Society, Mizar JAPAN Chapter , Technical Symposium and General Assembly of Mizar JAPAN 2008-2008 , Mizar Society, Mizar JAPAN Chapter , Mechanized Mathematics and Its Applications 2007-2007 , Mizar Society, Mizar JAPAN Chapter , Mechanized Mathematics and Its Applications 2007-2007 , Mizar Society, Mizar JAPAN Chapter , Technical Symposium and General Assembly of Mizar JAPAN 2006-2006 , Mizar Society, Mizar JAPAN Chapter , Technical Symposium and General Assembly of Mizar JAPAN 2006-2006 , Mizar Society, Mizar JAPAN Chapter , Mechanized Mathematics and Its Applications 2005-2005 , Mizar Society, Mizar JAPAN Chapter , Mechanized Mathematics and Its Applications 2004-2004 , Mizar Society, Mizar JAPAN Chapter , Mechanized Mathematics and Its Applications 2002-2002 , Mizar Society, Mizar JAPAN Chapter , Mechanized Mathematics and Its Applications 2000-2000 , Mizar Society, Mizar JAPAN Chapter , Mechanized Mathematics and Its Applications
学術論文査読件数 2020-2021 , The 3rd International Conference on Educational Technology, Language and Technical Communication (ETLCT2021) & ACM Chapter International Conference on Educational Technology, Language & Technical Communication 2020-2020 , IEEE Transactions on Education 2020-2020 , PeerJ Computer Science 2020-2020 , ICT in Education, Research, and Industrial Applications 2017-2017 , IEEE Global Conference on Consumer Electronics 2014-2014 , The 6th Podlasie Conference on Mathematics (6PCM) 2009-2009 , International Journal of Applied Mathematics and Computer Science (AMCS) 2008-2008 , IEEE PCSJ Technical Meeting