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 (6)：

2024 - 2027 集合論ベースの定理証明支援系の言語仕様の刷新
2020 - 2024 Simple Autonomous Health Monitoring System for Infrastructure Structures Using Piezoelectric Limit Sensors
2020 - 2023 Study on Logical Similarity between Theorems
2016 - 2019 Debris flow prediction system using wooden thinning and piezoelectric limit sensors
2015 - 2019 ビッグデータ統合利活用推進のためのセキュリティ基盤技術の体系化

Show all

Papers (84)：

Kazuhisa Nakasho, Manabu Hagiwara, Austin Anderson, James B. Nation. The Tight Upper Bound for the Size of Single Deletion Error Correcting Codes of Length 11. 2024 International Symposium on Information Theory and Its Applications (ISITA2024). 2024. 389-394
Yuta Teruya, Kazuhisa Nakasho. Web Application for the MML Explanation. 17th Conference on Intelligent Computer Mathematics (CICM2024) - MathUI'24 workshop. 2024
Toshiki Kai, Yuta Teruya, Kazuhisa Nakasho. Remote Verification System for Mizar Integrated with Emwiki. 17th Conference on Intelligent Computer Mathematics (CICM 2024). 2024. 14960. 337-344
Natsumi Oshiro, Tatsuro Ueda, Kazuhisa Nakasho. Enhancing Learning Support Functions for Projectile Motion in the VR Application HoloThrow. 2024 IEEE International Conference on Consumer Electronics - Taiwan (ICCE-TW 2024). 2024. 729-730
Keisuke Soma, Yu Yamauchi, Nobuhiro Shimoi, Kazuhisa Nakasho. Study on the Impact of Subject Variability in a Bed Monitoring System Using RFID. 2024 IEEE International Conference on Consumer Electronics - Taiwan (ICCE-TW 2024). 2024. 439-440

ｍ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 (45)：

Challenges and Opportunities in Formal Analysis of Side-Channel Attacks
(3rd Workshop on Formal Verification of Physical Systems (FVPS 2024) 2024)
定理証明支援系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)

ｍ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 (5)：

2024/05 - 現在電子情報通信学会中国支部学生会顧問
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