中正 和久
ナカショウ カズヒサ (Kazuhisa Nakasho)
更新日: 11/16
基本情報
- 所属
- 山口大学 大学院創成科学研究科 准教授
- 学位
-
博士(工学)(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-
2023年6月 - 現在
-
2021年6月 - 2023年5月
-
2016年4月 - 2017年3月
受賞
4論文
75-
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日 査読有り筆頭著者最終著者
-
Formalized Mathematics 30(1) 67-77 2022年12月21日 査読有り筆頭著者
-
15th Conference on Intelligent Computer Mathematics (CICM 2022) 13467 141-146 2022年9月20日 査読有り責任著者
-
International Journal of Mechanical Engineering and Applications 10(5) 105-112 2022年9月16日 査読有り
-
American Journal of Science, Engineering and Technology 7(3) 114-120 2022年8月31日 査読有り
-
IEEE International Conference on Consumer Electronics - Taiwan（ICCE-TW 2022） 519-520 2022年7月8日 査読有り責任著者
-
IEEE International Conference on Consumer Electronics - Taiwan（ICCE-TW 2022） 547-548 2022年7月8日 査読有り責任著者
-
計測自動制御学会論文集 58(4) 245-247 2022年4月 査読有り
-
Journal of Civil, Construction and Environmental Engineering 7(1) 1-7 2022年1月5日 査読有り
-
Formalized Mathematics 29(4) 241-248 2021年12月 査読有り
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年
講演・口頭発表等
39-
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日 信州大学
-
The 15th Theorem Proving and Provers meeting (TPP 2019) 2019年11月18日
-
Mizar研究会による発表会 2018年12月27日 信州大学
-
第38回医療情報学連合大会（第19回日本医療情報学会学術大会） 2018年11月23日 鹿児島大学病院医療情報部
-
第35回センシングフォーラム 計測部門大会 2018年8月30日 計測自動制御学会
-
第22回医療情報学会春季学術大会シンポジウム 2018年6月23日 日本医療情報学会
-
第37回医療情報学連合大会（第18回日本医療情報学会学術大会） 2017年11月22日 日本医療情報学会
担当経験のある科目(授業)
14Works(作品等)
11-
2020年4月1日 コンピュータソフト
-
2020年 コンピュータソフト
-
2020年 コンピュータソフト
-
2019年 コンピュータソフト
-
2017年 コンピュータソフト
-
2016年 コンピュータソフト
-
2016年 コンピュータソフト
-
2016年 コンピュータソフト
-
2015年2月 コンピュータソフト
-
2015年2月 Web Service
-
2015年 コンピュータソフト
共同研究・競争的資金等の研究課題
5-
日本学術振興会 科学研究費助成事業 基盤研究(A) 基盤研究(A) 2020年4月 - 2024年3月
-
日本学術振興会 科学研究費助成事業 若手研究 若手研究 2020年4月 - 2023年3月
-
日本学術振興会 科学研究費助成事業 挑戦的萌芽研究 挑戦的萌芽研究 2016年4月 - 2019年3月
-
科学技術振興機構 戦略的創造研究推進事業 CREST 2015年7月 - 2019年
-
総務省 SCOPE(戦略的情報通信研究開発推進事業) 地域ICT振興型研究開発 2016年4月 - 2017年4月
メディア報道
4-
インターノウス株式会社 プロエンジニア 2017年2月6日 インターネットメディア
-
下井信浩，中正和久 新聞社２社（北羽新報社，秋田魁新報），テレビ局４社（NHK秋田放送局，秋田テレビ，秋田朝日放送，秋田放送） 2016年12月8日 テレビ・ラジオ番組
-
下井信浩，中正和久 新聞社３社（毎日新聞秋田支局，読売新聞秋田支局，秋田魁新報），テレビ局４社（NHK秋田放送局，秋田テレビ，秋田朝日放送，秋田放送） 2016年11月15日 テレビ・ラジオ番組
-
下井信浩，中正和久 新聞社３社（北羽新報社，読売新聞秋田支局，秋田魁新報），テレビ局４社（NHK秋田放送局，秋田テレビ，秋田朝日放送，秋田放送） 2016年9月15日 テレビ・ラジオ番組
社会貢献活動
1