荒井研一

アライケンイチ | Arai Kenichi

所属機関・部署：
職名：准教授

研究分野 (2件)：情報ネットワーク , 情報セキュリティ

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

全件表示

論文 (99件)：

Takehiko Mieno, Hiroyuki Okazaki, Kenichi Arai, Yuichi Futa. How to Formalize Loop Iterations in Cryptographic Protocols Using ProVerif. IEEE Access. 2024. 12. 31605-31625
Kazuki Fukae, Yudai Tanaka, Tetsuo Imai, Kenichi Arai, Toru Kobayashi. Fish School Behaviour Classification for Optimal Feeding Using Rose Diagram. Proceedings - IEEE International Conference on Consumer Electronics (ICCE2024). 2024. 1-2
Toru Kobayashi, Yudai Tanaka, Daiki Togawa, Junpei Takaishi, Rina Ishishita, Kazuki Fukae, Tetsuo Imai, Kenichi Arai. IoT/AI Technology for Aqua Colony. Proceedings - 2023 15th International Congress on Advanced Applied Informatics Winter (IIAI-AAI-Winter). 2023
磯崎敦史, 深江一輝, 今井哲郎, 荒井研一, 中村匡秀, 小林透. 高齢者セルフサービス型メッセージ交換システムの研究. 情報処理学会論文誌トランザクションコンシューマ・デバイス&システム(Web). 2023. 13. 3. 14-24
Mioko Matsuo, Takuma Akiyama, Kenichi Arai, Toru Kobayashi, Norio Nakamura. A Proposal for Expansion of Conversation Variations in an English Conversation Learning System for Elementary School Students. Proceedings - 2023 IEEE 12th Global Conference on Consumer Electronics (GCCE 2023). 2023. 645-646

MISC (2件)：

福田洋平, 瀧内直祐, 三木伸一, 小林透, 荒井研一, 佐藤康彦, 水野勇一. 航空宇宙関連産業の市場獲得に向けた切削加工技術の高度化(航空宇宙機器用材料の切削加工における加工時間の短縮,加工トラブルの予測および脱脂技術の確立). 長崎県工業技術センター研究報告. 2022. 51
小林透, 荒井研一. “人に頼らない”を実現するIoT技術. 画像電子学会誌(CD-ROM). 2017. 46. 2. 359-363-363

特許 (3件)：

講演・口頭発表等 (103件)：

小学生英会話教育のパーソナライズ化の研究
(電子情報通信学会技術研究報告(Web),LOIS研究会 2024)
養殖生け簀向け自動給餌AIドローンの研究
(電子情報通信学会技術研究報告(Web),LOIS研究会 2024)
スマート養殖の実現に向けた給餌用ドローンシステムの研究
(電子情報通信学会技術研究報告(Web),LOIS研究会 2024)
養殖ブリ出荷時期予測のための魚体長測定の研究
(電子情報通信学会技術研究報告(Web),LOIS研究会 2024)
ProVerifとTamarin-proverを開発支援プロセスへ導入するための考察その2
(第20回日本応用数理学会研究部会連合発表会,FAIS研究部会 2024)

学歴 (3件)：

学位 (1件)：

経歴 (7件)：

全件表示

委員歴 (5件)：

2022/06 - 現在電子情報通信学会和文論文誌D編集委員
2021/06 - 現在電子情報通信学会ライフインテリジェンスとオフィス情報システム研究会(LOIS) 研究専門委員
2018/05 - 現在日本Mizar学会 Mechanized Mathematics and Its Applications, Works in Progress (MMA-WiP) 編集委員
2020/06 - 2022/06 電子情報通信学会ライフインテリジェンスとオフィス情報システム研究会(LOIS) 幹事
2019/06 - 2020/06 電子情報通信学会ライフインテリジェンスとオフィス情報システム研究会(LOIS) 幹事補佐

受賞 (10件)：

2023/08 - 電子情報通信学会ライフインテリジェンスとオフィス情報システム(LOIS)研究会【2022年LOIS研究賞】 AIを用いた編網機における網目異常検知手法の提案
2023/08 - 電子情報通信学会ライフインテリジェンスとオフィス情報システム(LOIS)研究会【LOIS功労賞】
2023/01 - 電子情報通信学会情報ネットワーク研究会【優秀発表賞】
2021/11 - 2021 Ninth International Symposium on Computing and Networking (CANDAR 2021) 【Outstanding Paper Award】
2020/11 - 電子情報通信学会 SC・KBSE 研究会【ベスト・インタラクション賞】

全件表示

所属学会 (3件)：

日本応用数理学会 , 情報処理学会 , 電子情報通信学会

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

荒井 研一