和﨑 克己
ワサキ カツミ (KATSUMI WASAKI)
更新日: 09/08
基本情報
- 所属
- 信州大学 工学部 電子情報システム工学科 教授
- 学位
-
博士（工学）(1997年3月 信州大学)
- ORCID iD
https://orcid.org/0000-0002-4719-459X- J-GLOBAL ID
- 200901050538279345
- researchmap会員ID
- 1000192799
- 外部リンク
フォーマルアプローチ，特に並列分散システムのモデル化と解析、非同期回路の数学モデルと形式検証、モデル検査系向けハードウェアコンパイラに関する研究を行っています。ペトリネット検証ツール HiPS の紹介デモ動画はこちらからどうぞ！
研究キーワード
13経歴
8-
2009年12月 - 現在
-
2007年4月 - 2009年11月
-
2003年4月 - 2007年3月
-
2005年2月 - 2005年12月
-
2003年7月 - 2003年12月
-
2001年10月 - 2003年3月
-
1998年4月 - 2001年9月
-
1994年10月 - 1998年3月
学歴
4-
1997年3月 - 1997年3月
-
1993年4月 - 1994年9月
-
1991年4月 - 1993年3月
-
- 1991年3月
委員歴
8-
2018年3月 - 2026年3月
-
2023年5月 - 2024年3月
-
2021年6月 - 2023年6月
-
2014年4月 - 2022年3月
-
2003年 - 2007年
-
2000年 - 2004年
-
1997年 - 1999年
受賞
8-
2023年9月
-
2016年9月
-
2012年10月
論文
165-
Proceedings of the 2024 International Conference on Computational Science and Computational Intelligence (CSCI 2024), Springer Nature, Research Track on Software Engineering (CSCI-RTSE), Part V, Volume 2505 of the Communications in Computer and Information Science series (5) 373-379 2025年7月 査読有り責任著者
-
Proceedings of the 2024 International Conference on Computational Science and Computational Intelligence (CSCI 2024), Springer Nature, Research Track on Internet of Things & Internet of Everything (CSCI-RTOT), Part VIII, Volume 2508 of the Communications in Computer and Information Science series (8) 250-257 2025年7月 査読有り責任著者
-
2024 Twelfth International Symposium on Computing and Networking (CANDAR) 30-38 2024年11月26日 査読有り
-
Proceedings of the 23rd International Conference on Control, Automation and Systems (ICCAS 2023) 1671-1676 2023年10月 査読有り
-
IFIP World Conference on Computers in Education (WCCE 2022), Advances in Information and Communication Technology 685 21-26 2023年10月 査読有り
-
The Fourteenth Japan-Finland Joint Symposium on Optics in Engineering (OIE2013) Abstracts 43-44 2023年9月 査読有り
-
Proceedings of the 2023 International Conference on Networking and Network Applications (NaNA2023) 558-567 2023年8月 査読有り
-
Proceedings of the 12th International Conference on Data Science, Technology and Applications (DATA 2023) 319-326 2023年7月 査読有り
-
Proceedings of 20th International Conference on Information Technology-New Generations (ITNG 2023), Advances in Intelligent Systems and Computing 1445 199-207 2023年5月 査読有り
-
Proceedings of 20th International Conference on Information Technology-New Generations (ITNG 2023), Advances in Intelligent Systems and Computing 1445 379-386 2023年5月 査読有り
-
Proceedings of 20th International Conference on Information Technology-New Generations (ITNG 2023), Advances in Intelligent Systems and Computing 1445 413-420 2023年5月 査読有り
-
Applied Sciences 13(9) 5335-5335 2023年4月24日 査読有り
-
Proceedings of the 9th International Conference of Asian Society for Precision Engineering and Nanotechnology (ASPEN2022) (OR-11-0125) 528-530 2022年11月 査読有り
-
Applied Optics 61(30) 8926-8935 2022年10月20日 査読有り
-
519-520 2022年7月8日 査読有り
-
Proceedings of 19th International Conference on Information Technology-New Generations (ITNG 2022), Advances in Intelligent Systems and Computing 1421 387-392 2022年6月 査読有り
-
Proceedings of 19th International Conference on Information Technology-New Generations (ITNG 2022), Advances in Intelligent Systems and Computing 1421 393-398 2022年6月 査読有り
-
Proceedings of The 33rd Annual Conference of Society for Information Technology & Teacher Education (SITE 2022) 219-223 2022年4月 査読有り
-
第24回プログラミングおよびプログラミング言語ワークショップ (PPL 2022 2022年3月 査読有り
-
ICCE-TW 547-548 2022年 査読有り
MISC
11-
長野県工業技術センター研究報告 4(E9-E14) 2009年4月 最終著者
-
三菱電線工業時報 (105) 6-10 2008年10月
-
情報管理 47(8) 547-553 2004年
-
工学教育 49(2) 36-39 2001年3月31日
-
工学・工業教育研究講演会講演論文集 2000 225-226 2000年
-
信州大学博士学位論文 1997年3月
-
長野工業高等専門学校紀要 (31) 49-54 1997年
-
長野工業高等専門学校紀要 (31) 41-48 1997年
-
長野工業高等専門学校紀要 (31) 159-164 1997年
-
長野工業高等専門学校紀要 (30) 63-74 1996年
-
長野工業高等専門学校紀要 2(29) 17-25 1995年 査読有り
書籍等出版物
1-
University of Bialystok, Poland 2007年7月 (ISBN: 9788374311281) 査読有り
講演・口頭発表等
171-
第24回情報科学技術フォーラム（FIT2025）講演論文集 2025年9月4日
-
第24回情報科学技術フォーラム（FIT2025）講演論文集 2025年9月4日
-
第24回情報科学技術フォーラム（FIT2025）講演論文集 2025年9月3日
-
第24回情報科学技術フォーラム（FIT2025）講演論文集 2025年9月3日
-
第24回情報科学技術フォーラム（FIT2025）講演論文集 2025年9月3日
-
第24回情報科学技術フォーラム（FIT2025）講演論文集 2025年9月3日
-
第23回情報科学技術フォーラム（FIT2024）講演論文集 2024年9月5日 情報処理学会
-
第23回情報科学技術フォーラム（FIT2024）講演論文集 2024年9月5日 情報処理学会
-
第23回情報科学技術フォーラム（FIT2024）講演論文集 2024年9月5日 情報処理学会
-
第23回情報科学技術フォーラム（FIT2024）講演論文集 2024年9月5日 情報処理学会
-
第23回情報科学技術フォーラム（FIT2024）講演論文集 2024年9月5日 情報処理学会
-
情報処理学会 第86回全国大会 講演論文集 2024年3月15日 情報処理学会
-
情報処理学会 第86回全国大会 講演論文集 2024年3月15日 情報処理学会
-
情報処理学会 第86回全国大会 講演論文集 2024年3月15日 情報処理学会
-
教育システム情報学会 2023年度第3回研究会 研究報告 2023年9月16日 教育システム情報学会
-
第22回情報科学技術フォーラム（FIT2023）講演論文集 2023年9月6日 情報処理学会
-
第22回情報科学技術フォーラム（FIT2023）講演論文集 2023年9月6日 情報処理学会
-
第22回情報科学技術フォーラム（FIT2023）講演論文集 2023年9月6日 情報処理学会
-
第22回情報科学技術フォーラム（FIT2023）講演論文集 2023年9月6日 情報処理学会
-
第22回情報科学技術フォーラム（FIT2023）講演論文集 2023年9月6日 情報処理学会
担当経験のある科目(授業)
10Works(作品等)
1-
2012年10月2日 - 現在 コンピュータソフト
共同研究・競争的資金等の研究課題
19-
科学研究費補助金 基盤研究(C) 2025年4月 - 2029年3月
-
経済産業省 ⾼等教育機関における共同講座創造⽀援事業費補助⾦ 2023年2月 - 2025年9月
-
秋田県立大学 共同研究 2018年1月 - 2025年9月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2019年4月 - 2023年3月
-
総務省SCOPE 受託研究 2015年 - 2017年
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2010年4月 - 2014年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2011年 - 2013年
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2008年 - 2010年
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2007年 - 2010年
-
浅間電子出版（株） 共同研究 2008年 - 2008年
-
総務省消防庁 受託研究 2006年 - 2008年
-
科学研究費補助金 現代GP 2004年 - 2006年
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2003年 - 2006年
-
日本学術振興会 科学研究費助成事業 若手研究(B) 2004年 - 2004年
-
日本学術振興会 科学研究費助成事業 若手研究(B) 2001年 - 2002年
-
受託事業 1998年 - 2000年
-
電気通信普及財団 受託事業 1996年 - 1996年
-
受託事業 1995年 - 1995年
産業財産権
1学術貢献活動
3-
企画立案・運営等Mizar JAPAN (Faculty of Engineering, Shinshu University, Nagano, Japan.) 2018年12月27日 - 2024年12月26日
-
企画立案・運営等(Qingdao University of Science&Technology（Qingdao, China）) 2010年
メディア報道
1-
信濃毎日新聞 朝刊 第31面 2017年1月24日 新聞・雑誌
社会貢献活動
30