中正 和久
ナカショウ カズヒサ (Kazuhisa Nakasho)
更新日: 04/03
基本情報
- 所属
- 岩手県立大学 ソフトウェア情報学部 准教授
- 学位
-
博士(工学)(2016年3月 信州大学)
- J-GLOBAL ID
- 201601003502665092
- researchmap会員ID
- B000254199
- 外部リンク
経歴
8-
2025年4月 - 現在
-
2025年4月 - 2026年3月
-
2018年3月 - 2025年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月
委員歴
8-
2025年4月 - 現在
-
2025年4月 - 現在
-
2023年6月 - 2025年5月
-
2024年5月 - 2025年4月
-
2021年6月 - 2023年5月
-
2016年4月 - 2017年3月
受賞
4論文
97-
2026 IEEE 2nd International Conference on Consumer Technology – Pacific (ICCT-Pacific 2026) 51-54 2026年3月28日 査読有り筆頭著者責任著者
-
25th International Conference on Control, Automation and Systems (ICCAS2025) 1631-1636 2025年11月7日 査読有り最終著者責任著者
-
25th International Conference on Control, Automation and Systems (ICCAS2025) 1615-1620 2025年11月7日 査読有り最終著者責任著者
-
25th International Conference on Control, Automation and Systems (ICCAS2025) 1267-1272 2025年11月6日 査読有り
-
25th International Conference on Control, Automation and Systems (ICCAS2025) 1129-1134 2025年11月6日 査読有り最終著者責任著者
-
25th International Conference on Control, Automation and Systems (ICCAS2025) 551-556 2025年11月5日 査読有り最終著者責任著者
-
The 10th International Conference on Consumer Electronics (ICCE) Asia (ICCE-Asia 2025) 419-424 2025年10月29日 査読有り最終著者責任著者
-
Formalized Mathematics 33(1) 103-115 2025年9月1日 査読有り筆頭著者責任著者
-
Journal of Civil, Construction and Environmental Engineering 10(1) 27-35 2025年2月17日 査読有り
-
Formalized Mathematics 32(1) 247-269 2024年12月31日 査読有り筆頭著者責任著者
-
Formalized Mathematics 32(1) 195-201 2024年12月31日 査読有り筆頭著者責任著者
-
Formalized Mathematics 32(1) 165-172 2024年12月31日 査読有り筆頭著者責任著者
-
Formalized Mathematics 32(1) 187-194 2024年12月31日 査読有り筆頭著者責任著者
-
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日 査読有り最終著者
MISC
9-
数学セミナー増刊 数学とAIのこれまで（とこれから） 26-36 2025年6月20日 招待有り筆頭著者最終著者責任著者
-
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年
講演・口頭発表等
48-
第48回情報理論とその応用シンポジウム (SITA2025) 2025年11月26日
-
Interactive Theorem Prover + Generative AI in Maths Seminar 2025 2025年9月17日 招待有り
-
Technical Symposium and General Assembly of Mizar JAPAN (TSGA2024) 2024年12月26日
-
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日
-
Technical Symposium and General Assembly of Mizar JAPAN (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日 日本ソフトウェア科学会 プログラミング論研究会
-
Technical Symposium and General Assembly of Mizar JAPAN (TSGA 2020) 2020年12月27日 信州大学工学部
-
Technical Symposium and General Assembly of Mizar JAPAN (TSGA 2020) 2020年12月27日 信州大学工学部
-
Technical Symposium and General Assembly of Mizar JAPAN (TSGA 2020) 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日 山口大学工学部
担当経験のある科目(授業)
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月
学術貢献活動
13-
企画立案・運営等, パネル司会・セッションチェア等, 審査・評価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