中正 和久
ナカショウ カズヒサ (Kazuhisa Nakasho)
更新日: 11/15
基本情報
- 所属
- 山口大学 大学院創成科学研究科 准教授
- 学位
-
博士(工学)(2016年3月 信州大学)
- J-GLOBAL ID
- 201601003502665092
- researchmap会員ID
- B000254199
- 外部リンク
経歴
6-
2018年3月 - 現在
-
2017年5月 - 2018年2月
-
2016年4月 - 2017年4月
-
2011年7月 - 2013年3月
-
2007年7月 - 2011年6月
-
2003年4月 - 2007年6月
学歴
3-
2013年4月 - 2016年3月
-
2001年4月 - 2003年3月
-
1997年4月 - 2001年3月
委員歴
5-
2024年5月 - 現在
-
2023年6月 - 現在
-
2021年6月 - 2023年5月
-
2016年4月 - 2017年3月
受賞
4論文
84-
2024 International Symposium on Information Theory and Its Applications (ISITA2024) 389-394 2024年11月13日 査読有り筆頭著者責任著者
-
17th Conference on Intelligent Computer Mathematics (CICM2024) - MathUI'24 workshop 2024年8月9日 査読有り最終著者責任著者
-
17th Conference on Intelligent Computer Mathematics (CICM 2024) 14960 337-344 2024年8月7日 査読有り最終著者責任著者
-
2024 IEEE International Conference on Consumer Electronics - Taiwan (ICCE-TW 2024) 729-730 2024年7月11日 査読有り最終著者責任著者
-
2024 IEEE International Conference on Consumer Electronics - Taiwan (ICCE-TW 2024) 439-440 2024年7月10日 査読有り最終著者責任著者
-
2024 IEEE International Conference on Consumer Electronics - Taiwan (ICCE-TW 2024) 429-430 2024年7月10日 査読有り最終著者責任著者
-
American Journal of Remote Sensing 12(1) 24-32 2024年6月3日 査読有り最終著者
-
The 13th TSME International Conference on Mechanical Engineering (TSME-ICoME) 411-420 2023年12月14日 査読有り
-
第10回構造物の安全性･信頼性に関する国内シンポジウム(JCOSSAR 2023) 10 72-78 2023年10月25日 査読有り
-
The 23rd International Conference on Control, Automation and Systems (ICCAS2023) 1671-1676 2023年10月20日 査読有り筆頭著者責任著者
-
The 23rd International Conference on Control, Automation and Systems (ICCAS2023) 1598-1603 2023年10月20日 査読有り責任著者
-
16th Conference on Intelligent Computer Mathematics (CICM2023) - MathUI'23 workshop 2023年9月7日 査読有り最終著者責任著者
-
16th Conference on Intelligent Computer Mathematics (CICM2023) - MathUI'23 workshop 2023年9月6日 査読有り最終著者責任著者
-
Fourteenth Conference on Interactive Theorem Proving (ITP2023) - Mizar 50 Workshop 2023年7月31日 査読有り筆頭著者責任著者
-
計測自動制御学会論文集 59(7) 321-329 2023年7月25日 査読有り
-
International Journal of Sensors and Sensor Networks 11(1) 1-10 2023年5月18日 査読有り
-
日本機械学会論文集 89(921) 1-13 2023年5月5日 査読有り
-
Formalized Mathematics 30(3) 159-168 2022年12月30日 査読有り筆頭著者
-
JMIR Medical Informatics 10(12) 2022年12月30日 査読有り
-
Formalized Mathematics 30(2) 93-98 2022年12月24日 査読有り筆頭著者最終著者
MISC
8-
Mechanized Mathematics and Its Applications, Works in Progress 2(3) 1-8 2020年11月 筆頭著者最終著者責任著者
-
35-63 2020年
-
秋田県立大学ウェブジャーナル B 2019(6) 27-36 2019年9月30日 査読有り
-
秋田県立大学ウェブジャーナルB 4 101-106 2017年9月 査読有り
-
超音波TECHNO 29(2) 29-33 2017年4月 招待有り
-
信州大学 (甲第654) 2016年3月 査読有り
-
数学セミナー 54(11) 24-29 2015年11月 招待有り
-
日本応用数理学会年会講演予稿集(CD-ROM) 2013 ROMBUNNO.9039 2013年
講演・口頭発表等
45-
3rd Workshop on Formal Verification of Physical Systems (FVPS 2024) 2024年8月5日
-
2024年 電子情報通信学会総合大会 2024年3月6日 電子情報通信学会
-
2024年 電子情報通信学会総合大会 2024年3月6日 電子情報通信学会
-
第46回情報理論とその応用シンポジウム（SITA2023） 2023年11月29日 招待有り
-
第46回情報理論とその応用シンポジウム（SITA2023） 2023年11月29日
-
Logic Seminar (Department of Mathematics, University of Hawaii at Manoa) 2022年11月16日
-
The 18th Theorem Proving and Provers meeting (TPP 2022) 2022年9月29日
-
Mizar研究会による発表会（TSGA 2021） 2021年12月27日
-
第23回IEEE広島支部学生シンポジウム 2021年11月27日 IEEE広島支部
-
第23回プログラミングおよびプログラミング言語ワークショップ(PPL2021) 2021年3月11日 日本ソフトウェア科学会 プログラミング論研究会
-
第23回プログラミングおよびプログラミング言語ワークショップ(PPL2021) 2021年3月10日 日本ソフトウェア科学会 プログラミング論研究会
-
第23回プログラミングおよびプログラミング言語ワークショップ(PPL2021) 2021年3月9日 日本ソフトウェア科学会 プログラミング論研究会
-
Mizar研究会による発表会（TSGA2020） 2020年12月27日 信州大学工学部
-
Mizar研究会による発表会（TSGA2020） 2020年12月27日 信州大学工学部
-
Mizar研究会による発表会（TSGA2020） 2020年12月27日 信州大学工学部
-
The 16th Theorem Proving and Provers meeting (TPP 2020) 2020年11月16日 山口大学工学部
-
The 16th Theorem Proving and Provers meeting (TPP 2020) 2020年11月16日 山口大学工学部
-
The 16th Theorem Proving and Provers meeting (TPP 2020) 2020年11月16日 山口大学工学部
-
年次大会 2020年 一般社団法人 日本機械学会
-
Mizar研究会による発表会 2019年12月27日 信州大学
担当経験のある科目(授業)
14Works(作品等)
11-
2020年4月1日 コンピュータソフト
-
2020年 コンピュータソフト
-
2020年 コンピュータソフト
-
2019年 コンピュータソフト
-
2017年 コンピュータソフト
-
2016年 コンピュータソフト
-
2016年 コンピュータソフト
-
2016年 コンピュータソフト
-
2015年2月 コンピュータソフト
-
2015年2月 Web Service
-
2015年 コンピュータソフト
共同研究・競争的資金等の研究課題
6-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2024年4月 - 2027年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(A) 2020年4月 - 2024年3月
-
日本学術振興会 科学研究費助成事業 若手研究 2020年4月 - 2023年3月
-
日本学術振興会 科学研究費助成事業 挑戦的萌芽研究 2016年4月 - 2019年3月
-
科学技術振興機構 戦略的創造研究推進事業 CREST 2015年7月 - 2019年
-
総務省 SCOPE(戦略的情報通信研究開発推進事業) 地域ICT振興型研究開発 2016年4月 - 2017年4月
学術貢献活動
12-
企画立案・運営等, パネル司会・セッションチェア等, 審査・評価2024年度 (第75回) 電気・情報関連学会中国支部連合大会実行委員会 2024年10月26日 - 2024年10月26日
-
企画立案・運営等, パネル司会・セッションチェア等, 査読2024年8月9日
-
査読日本ソフトウェア科学会 プログラミング論研究会 (朱鷺メッセ 新潟コンベンションセンター および オンラインのハイブリッド開催) 2024年3月5日 - 2024年3月7日
-
企画立案・運営等, パネル司会・セッションチェア等中正和久 (山口大学工学部)・南出靖彦 (東京工業大学情報理工学院) 2023年10月30日 - 2023年10月31日
-
企画立案・運営等2023年度 (第74回) 電気・情報関連学会中国支部連合大会実行委員会 2023年10月28日 - 2023年10月28日
-
パネル司会・セッションチェア等Institute of Control, Robotics and Systems (ICROS) 2023年10月17日 - 2023年10月20日
-
査読日本ソフトウェア科学会 プログラミング論研究会 (オンライン （Zoom, Gather, Slack）) 2022年3月6日 - 2022年3月8日
-
企画立案・運営等, パネル司会・セッションチェア等中正和久 (山口大学工学部) 2020年11月16日
-
パネル司会・セッションチェア等Universität Leipzig 2019年9月1日 - 2019年9月4日
-
査読IEEE, SICE (Howard Plaza Hotel, Taiwan) 2017年12月11日 - 2017年12月14日
メディア報道
4-
インターノウス株式会社 プロエンジニア 2017年2月6日 インターネットメディア
-
下井信浩，中正和久 新聞社２社（北羽新報社，秋田魁新報），テレビ局４社（NHK秋田放送局，秋田テレビ，秋田朝日放送，秋田放送） 2016年12月8日 テレビ・ラジオ番組
-
下井信浩，中正和久 新聞社３社（毎日新聞秋田支局，読売新聞秋田支局，秋田魁新報），テレビ局４社（NHK秋田放送局，秋田テレビ，秋田朝日放送，秋田放送） 2016年11月15日 テレビ・ラジオ番組
-
下井信浩，中正和久 新聞社３社（北羽新報社，読売新聞秋田支局，秋田魁新報），テレビ局４社（NHK秋田放送局，秋田テレビ，秋田朝日放送，秋田放送） 2016年9月15日 テレビ・ラジオ番組
社会貢献活動
1