Nakasho Kazuhisa

ナカショウカズヒサ | Nakasho Kazuhisa

Affiliation and department：
Homepage URL (1)： https://aabaa.github.io/kazuhisa.nakasho/

Research field (3)： Intelligent informatics , Applied mathematics and statistics , Basic mathematics

Research keywords (4)： Artificial Intelligence , Proof Assistant , information Security , Mathematical Knowledge Management

Research theme for competitive and other funds (5)：

2020 - 2024 ピエゾ極限センサを用いたインフラ構造物の簡易自律型健全性モニタリングシステム
2020 - 2023 Study on Logical Similarity between Theorems
2016 - 2019 Debris flow prediction system using wooden thinning and piezoelectric limit sensors
2015 - 2019 ビッグデータ統合利活用推進のためのセキュリティ基盤技術の体系化
2016 - 2017 複合センサを用いた地域型独居高齢者生活サポートシステムの研究開発

Papers (76)：

Nobuhiro Shimoi, Yu Yamauchi, Kazuhisa Nakasho, Carlos Cuadra. Preventive Work and Health Monitoring for Technology by Cracks of Concrete Surface Using IR Camera and Resin Sensor. The 13th TSME International Conference on Mechanical Engineering (TSME-ICoME). 2023. 411-420
Kazuhisa Nakasho, Chiaki Kohama, Kenta Sawada, Katsumi Wasaki, Nobuhiro Shimoi. Posture Estimation for Bed Monitoring System Using RFID. The 23rd International Conference on Control, Automation and Systems (ICCAS2023). 2023. 1671-1676
Keiju Seki, Kazuhisa Nakasho, Carlos Cuadra, Nobuhiro Shimoi. Web-based Structural Health Monitoring System Using Piezoelectric Joint Sensors and IoT Devices. The 23rd International Conference on Control, Automation and Systems (ICCAS2023). 2023. 1598-1603
Haruka Miyata, Ryutaro Matsumoto, Kazuhisa Nakasho. VSCode Extension for the Web and Coding Assistance for the Mizar Language. 16th Conference on Intelligent Computer Mathematics (CICM2023) - MathUI'23 workshop. 2023
Shotaro Suzuki, Masahiro Nagasaki, Kazuhisa Nakasho. Classification and Dependency Visualization of the Articles of the Mizar Mathematical Library. 16th Conference on Intelligent Computer Mathematics (CICM2023) - MathUI'23 workshop. 2023

ｍore...

MISC (8)：

Kazuhisa Nakasho. Proposal of Information-theoretical Framework for Measuring Theorem Similarity. 2020. 2. 3. 1-8
Akinori Kawachi, Atsuko Miyaji, Kazuhisa Nakasho, Yiying Qi, Yuuki Takano. Secure Primitive for Big Data Utilization. 2020. 35-63
Nobuhiro Shimoi, Tetsuya Nishida, Akihiko Obata, Kazuhisa Nakasho, Carlos Cuadra. Comparison of Displacement Measurements in an Exposed Type Column Base Using Piezoelectric Vibration Sensors and Piezoelectric Limit Sensors. Akita Prefectural University Web Journal B. 2019. 2019. 6. 27-36
Kazuhisa Nakasho, Shunya Saito, Hirokazu Madokoro, Nobuhiro Shimoi. Improvement of bed monitoring system for aged people using composite sensors - On the current research results and the future plan. Akita Prefectural University Web Journal B. 2017. 4. 101-106
下井信浩, クアドラカルロス, 中正和久, 間所洋和. ピエゾセンサを用いた木造構造物の振動解析. 超音波TECHNO. 2017. 29. 2. 29-33

ｍore...

Lectures and oral presentations (43)：

定理証明支援系Mizarのリモート検証システムの構築
(2024年電子情報通信学会総合大会 2024)
Mizar数学ライブラリの解説記事を提供するWebアプリケーション
(2024年電子情報通信学会総合大会 2024)
自動証明と周辺技術がもたらす情報理論の未来
(第46回情報理論とその応用シンポジウム(SITA2023) 2023)
The Tight Upper Bound for the Size of Single Deletion Error Correcting Codes in Dimension 11
(第46回情報理論とその応用シンポジウム(SITA2023) 2023)
Information-Theoretic Metrices on Theorem Spaces
(The 18th Theorem Proving and Provers meeting (TPP 2022) 2022)

ｍore...

Works (11)：

emgraph
2020 -
emvscode
2020 -
emwiki
2020 -
emparser
Kazuhisa Nakasho 2019 -
Smart Sensing System for Elderly People using ML
Kazuhisa Nakasho 2017 -

ｍore...

Education (3)：

2013 - 2016 Shinshu University Interdisciplinary Graduate School of Science and Technology Department of Mathematics and System Development (Ph.D)
2001 - 2003 Kyoto University Graduate School of Science Division of Mathematics and Mathematical Sciences (Master)
1997 - 2001 Kyoto University Faculty of Science (Bachelor)

Professional career (1)：

博士(工学) (信州大学)

Work history (6)：

2018/03 - 現在 Yamaguchi University Division of Information Science and Engineering, Graduate School of Science and Technology for Innovation Associate Professor
2017/05 - 2018/02 Osaka University Division of Electrical, Electonic and Information Engineering, Graduate School of Engineering Assistant Professor
2016/04 - 2017/04 Akita Prefectural University Faculty of Systems Science and Technology Specially Appointed Assistant Professor
2011/07 - 2013/03 Elysium Co., Ltd Quality Assurance Group Engineer
2007/07 - 2011/06 Elysium Co., Ltd. Research and Development Group Manager

Show all

Committee career (4)：

2023/06 - 現在情報処理学会中国支部幹事・事務局
2018/04 - 現在日本Mizar学会 Mechanized Mathematics and Its Applications, Works in Progress (MMA-WiP) 編集委員
2021/06 - 2023/05 情報処理学会中国支部運営委員
2016/04 - 2017/03 計測自動制御学会東北支部専門委員

Awards (4)：

2023/11 - The Society of Instrument and Control Engineers (SICE) Technology Award of Technical Division of Industrial Applications
2016/11 - 第65回秋田県発明展 (公社)発明協会会長奨励賞宅内ロボットと各種センサによる簡易モニタリングシステム
2016/11 - 第65回秋田県発明展東北経済産業局長賞溶接構造用自律モニタリングセンサ
2016/11 - 第65回秋田県発明展秋田県電子工業振興協議会長賞自律移動ロボットのための電波式位置測定システム

Association Membership(s) (5)：

IEEE , THE SOCIETY OF INSTRUMENT AND CONTROL ENGINEERS , THE JAPAN SOCIETY OF MECHANICAL ENGINEERS , THE INSTITUTE OF ELECTRONICS, INFORMATION AND COMMUNICATION ENGINEERS , INFORMATION PROCESSING SOCIETY OF JAPAN

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page