Nagasaki University · Faculty of Information and Data Science / Graduate School of Integrated Science and Technology

Research keywordsartificial intelligence・aquaculture automation・feeding optimization・computer vision・fish behavior analysis・surveillance cameras・mealworm production

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• Proposal for Enhancing Manufacturing Efficiency with Generative AI and Surveillance Cameras. Takao Inoue,Kazuki Fukae,Kenichi Arai,Toru Kobayashi ICCE 1頁-2頁 2025年01月2025
• Proposal for Enhancing Manufacturing Efficiency with Generative AI and Surveillance Cameras. Takao Inoue,Kazuki Fukae,Kenichi Arai,Toru Kobayashi ICCE 1頁-2頁 2025年01月2025
• 小学生英会話学習システムにおける音声認識手法の提案 松尾, 三央子,秋山, 巧磨,荒井, 研一,小林, 透,中村, 典生 情報処理学会論文誌コンシューマ・デバイス＆システム（CDS） 14巻2号22頁-29頁 2024年05月24日2024
• Formal Security Verification for Searchable Symmetric Encryption Using ProVerif Takehiko Mieno,Hiroyuki Okazaki,Kenichi Arai,Yuichi Futa,Hiroaki Yamamoto Proceedings of 2024 International Symposium on Information Theory and Its Applications, ISITA 2024 419頁-424頁 2024年11月2024

• ブロックチェーン関連技術の形式的安全性検証に関する研究 日本学術振興会 科学研究費助成事業 2025年04月 - 2029年03月 研究分担者2025
• ProVerifを用いたワンタイムパスワード認証方式の安全性評価 日本学術振興会 科学研究費助成事業 2025年04月 - 2028年03月 研究代表者2025
• 暗号利用セキュリティプロトコル群の安全性評価(2024) 日本電信電話株式会社 NTT社会情報研究所 共同研究 2024年10月 - 2025年03月 研究代表者2024
• Meta AI Architectureにより完全自動養殖を可 能とするAqua Colony Platformの研究 日本学術振興会 科学研究費助成事業（科研費）科研費基盤（A） 2024年04月 - 2029年03月 研究分担者2024

• Official profile