和﨑克己

ワサキカツミ | WASAKI KATSUMI

所属機関・部署：
職名：教授
ホームページURL (2件)： https://www.cs.shinshu-u.ac.jp/~wasaki/index-e.html , https://www.researchgate.net/profile/Katsumi_Wasaki/

研究分野 (3件)：情報ネットワーク , 計算機システム , 情報学基礎論

研究キーワード (12件)：ハードウェアコンパイラ , LOTOS , ペトリネット , 非同期回路 , 形式検証 , 数理モデル , 並列システム , 上流設計 , モデル検査系向けハードウェアコンパイラ , 非同期回路の数学モデルと形式検証 , 並列分散システムのモデル化と解析 , フォーマルアプローチ

競争的資金等の研究課題 (11件)：

2019 - 2023 大規模高速な形式検証を実現するメタスケーラブル定理証明器と並列モデル検査器の融合
2010 - 2014 MIZAR数学ライブラリの構築と大学数学向け高度遠隔教育用コンテンツ開発
2011 - 2013 グリッド環境の定理証明器とモデル検査器をハードウェアコンパイラ融合した形式検証系
2008 - 2010 関数型言語系とグリッド環境上のプルーフチェッカを融合した超並列演算器の設計検証法
2007 - 2010 自学自習型e-Learningにおける学生サポートシステムの開発に関する研究

全件表示

論文 (155件)：

Kazuhisa NAKASHO, Chiaki KOHAMA, Kenta SAWADA, Katsumi WASAKI. Posture Estimation for Bed Monitoring System Using RFID. Proceedings of the 23rd International Conference on Control, Automation and Systems (ICCAS 2023). 2023. 1671-1676
Shizuka NAKAMURA, Katsumi WASAKI. Development Plan and Trial of Japanese Language e-Learning System Focusing on Content and Language Integrated Learning (CLIL) Suitable for Digital Education. IFIP World Conference on Computers in Education (WCCE 2022), Advances in Information and Communication Technology. 2023. 685. 21-26
Toshiki KUMAGAI, Keita TOMITA, Kenichi HIBINO, Katsumi WASAKI. Reduction of coma aberration measurement error in high-numerical-aperture spherical test with synthetic-aperture Fizeau interferometry. The Fourteenth Japan-Finland Joint Symposium on Optics in Engineering (OIE2013) Abstracts. 2023. 43-44
Hikofumi SUZUKI, Akiyoshi IWASA, Takumi UCHIYAMA, Katsumi WASAKI. Man-machine Cooperative Monitoring System to Support Detection of DoS/DDoS Attacks through Continuous SOM Diagram Generation. Proceedings of the 2023 International Conference on Networking and Network Applications (NaNA2023). 2023. 558-567
Hikofumi SUZUKI, Katsumi WASAKI. Automatic Classification of Quantitative Data from DNS Cache Servers into Stationary and Non-Stationary States Based on Clustering. Proceedings of the 12th International Conference on Data Science, Technology and Applications (DATA 2023). 2023. 319-326

MISC (162件)：

芳澤, 祐大, 和﨑, 克己. 一般ペトリネットの構造的性質を用いた強L3/L2活性構造の検知. 第84回全国大会講演論文集. 2022. 2022. 1. 425-426
三浦, 朋己, 和﨑, 克己. ペトリネット構造解析によるホーム状態存在性の判定. 第84回全国大会講演論文集. 2022. 2022. 1. 423-424
渡貫, 正也, 張江, 洋次朗, 和﨑, 克己. サブクラス定義に反する閉路検知を利用したペトリネットの詳細解析. 第82回全国大会講演論文集. 2020. 2020. 1. 289-290
南史弥, 張江洋次朗, 和﨑克己. ペトリネット構造解析の効率化を目的としたヒューリスティック探査手法の実装. 第82回全国大会講演論文集. 2020. 2020. 1. 287-288
畑瀬尚之, 和﨑克己. 自動コード生成を目的としたテンプレートベースのUML上位設計に対する整合性検査. 第82回全国大会講演論文集. 2020. 2020. 1. 195-196

学位 (1件)：

博士(工学) (信州大学)

経歴 (6件)：

2009/12 - 現在信州大学工学部教授
2007/04 - 2009/11 信州大学大学院工学系研究科准教授
2003/04 - 2007/03 信州大学大学院工学系研究科助教授
2001/10 - 2003/03 信州大学工学部情報工学科助教授
1998/04 - 2001/09 信州大学工学部情報工学科助手

全件表示

受賞 (9件)：

2023/09/14 - 精密エ学会技術賞精密エ学会技術賞
2023/08/21 - NaNA2023国際会議ベストペーパー賞(共著)
2016/10/22 - 情報処理学会 ESS2016(第6回組込みシステムシンポジウム)優秀ポスター賞
2016/09/08 - 情報処理学会 FIT奨励賞(第15回情報科学技術フォーラム)
2012/10/13 - 電子情報通信学会電子情報通信学会信越支部ベストプラクティス賞

全件表示

所属学会 (5件)：

教育システム情報学会(JSiSE) , 情報処理学会(IPSJ) , 電気学会(JIEE) , 電子情報通信学会(IEICE) , IEEE

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

前のページに戻る

和﨑 克己

和﨑克己