Rchr
J-GLOBAL ID:201901008258005054   Update date: Apr. 16, 2024

Arai Kenichi

アライ ケンイチ | Arai Kenichi
Affiliation and department:
Job title: 准教授
Research field  (2): Information networks ,  Information security
Research theme for competitive and other funds  (20):
  • 2024 - 2029 Research on Aqua Colony Platform that enables fully automated aquaculture using Meta AI Architecture
  • 2022 - 2025 小学校英語教育における児童に最適化されたAIアバターの開発と現場への導入
  • 2023 - 2024 暗号利用セキュリティプロトコル群の安全性評価(2023)
  • 2021 - 2024 環境変化に順応するネイチャー・レジリエント・ネットワーク型生け簀ロボットの研究
  • 2023 - 2024 表面粗さ予測システムの開発
Show all
Papers (98):
  • 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
  • 磯崎敦史, 深江一輝, 今井哲郎, 荒井研一, 中村匡秀, 小林透. Study on Self Service Message Exchange System for Elderly. 情報処理学会論文誌トランザクション コンシューマ・デバイス&システム(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
more...
MISC (2):
Patents (3):
Lectures and oral presentations  (103):
  • 小学生英会話教育のパーソナライズ化の研究
    (電子情報通信学会技術研究報告(Web),LOIS研究会 2024)
  • 養殖生け簀向け自動給餌AIドローンの研究
    (電子情報通信学会技術研究報告(Web),LOIS研究会 2024)
  • スマート養殖の実現に向けた給餌用ドローンシステムの研究
    (電子情報通信学会技術研究報告(Web),LOIS研究会 2024)
  • 養殖ブリ出荷時期予測のための魚体長測定の研究
    (電子情報通信学会技術研究報告(Web),LOIS研究会 2024)
  • ProVerifとTamarin-proverを開発支援プロセスへ導入するための考察その2
    (第20回 日本応用数理学会研究部会連合発表会,FAIS研究部会 2024)
more...
Education (3):
  • - 2010 Shinshu University Interdisciplinary Graduate School of Science and Technology Department of Mathematics and System Development Engineering
  • - 2006 Shinshu University
  • - 2004 Shinshu University Faculty of Engineering Information Engineering
Professional career (1):
  • 博士 (工学) (信州大学)
Work history (7):
  • 2024/04 - 現在 Nagasaki University Graduate School of Integrated Science and Technology
  • 2020/04 - 現在 Nagasaki University School of Information Data Sciences
  • 2020/04 - 2024/03 Nagasaki University Graduate school of Engineering
  • 2015/10 - 2020/03 Nagasaki University School of Engineering
  • 2015/10 - 2020/03 Nagasaki University Graduate school of Engineering
Show all
Committee career (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) 幹事補佐
Awards (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】 Dementia Sign Detection System Using Digital Twin
  • 2020/11 - 電子情報通信学会 SC・KBSE 研究会 【ベスト・インタラクション賞】
Show all
Association Membership(s) (3):
THE JAPAN SOCIETY FOR INDUSTRIAL AND APPLIED MATHEMATICS ,  INFORMATION PROCESSING SOCIETY OF JAPAN ,  THE INSTITUTE OF ELECTRONICS, INFORMATION AND COMMUNICATION ENGINEERS
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page