研究者
J-GLOBAL ID：201601003502665092   更新日: 2024年03月06日

中正 和久

ナカショウ カズヒサ | Nakasho Kazuhisa
所属機関・部署：
山口大学 大学院創成科学研究科

山口大学 大学院創成科学研究科 について


職名： 准教授
ホームページURL (1件)： https://aabaa.github.io/kazuhisa.nakasho/
研究分野 (3件)： 知能情報学 ,  応用数学、統計数学 ,  数学基礎
研究キーワード (4件)： 人工知能 ,  定理証明支援系 ,  情報セキュリティ ,  数学知識管理
競争的資金等の研究課題 (5件)：
  • 2020 - 2024 ピエゾ極限センサを用いたインフラ構造物の簡易自律型健全性モニタリングシステム
  • 2020 - 2023 定理間の論理的な類似度に関する研究
  • 2016 - 2019 間伐材と自律型極限計測センサを用いた土石流等の危険予測システムの研究
  • 2015 - 2019 ビッグデータ統合利活用推進のためのセキュリティ基盤技術の体系化
  • 2016 - 2017 複合センサを用いた地域型独居高齢者生活サポートシステムの研究開発
論文 (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
もっと見る
MISC (8件)：
もっと見る
講演・口頭発表等 (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)
もっと見る
Works (11件)：
  • emgraph
    2020 -
  • emvscode
    2020 -
  • emwiki
    2020 -
  • emparser
    中正 和久 2019 -
  • 機械学習を用いた高齢者向けスマートセンシングシステム
    中正 和久 2017 -
もっと見る
学歴 (3件)：
  • 2013 - 2016 信州大学 大学院総合工学系研究科 システム開発工学専攻(博士)
  • 2001 - 2003 京都大学 大学院理学研究科 数学・数理解析専攻(修士)
  • 1997 - 2001 京都大学 理学部(学士)
学位 (1件)：
  • 博士(工学) (信州大学)
経歴 (6件)：
  • 2018/03 - 現在 山口大学 大学院創成科学研究科 知能情報工学分野 准教授
  • 2017/05 - 2018/02 大阪大学 大学院工学研究科 電気電子情報工学専攻 助教
  • 2016/04 - 2017/04 秋田県立大学 システム科学技術学部 特任助教
  • 2011/07 - 2013/03 株式会社エリジオン 品質保証グループ エンジニア
  • 2007/07 - 2011/06 株式会社エリジオン 開発グループ マネージャ
全件表示
委員歴 (4件)：
  • 2023/06 - 現在 情報処理学会 中国支部 幹事・事務局
  • 2018/04 - 現在 日本Mizar学会 Mechanized Mathematics and Its Applications, Works in Progress (MMA-WiP) 編集委員
  • 2021/06 - 2023/05 情報処理学会 中国支部 運営委員
  • 2016/04 - 2017/03 計測自動制御学会 東北支部 専門委員
受賞 (4件)：
  • 2023/11 - 計測自動制御学会 2023年度産業応用部門技術賞 ピエゾ接合センサを用いた柱脚の溶接部における変位及び健全性の計測技術
  • 2016/11 - 第65回秋田県発明展 (公社)発明協会会長奨励賞 宅内ロボットと各種センサによる簡易モニタリングシステム
  • 2016/11 - 第65回秋田県発明展 東北経済産業局長賞 溶接構造用自律モニタリングセンサ
  • 2016/11 - 第65回秋田県発明展 秋田県電子工業振興協議会長賞 自律移動ロボットのための電波式位置測定システム
所属学会 (5件)：
IEEE ,  計測自動制御学会 ,  日本機械学会 ,  電子情報通信学会 ,  情報処理学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM