長崎大学 · 情報データ科学部 / 総合生産科学研究科

研究关键词artificial intelligence・aquaculture automation・feeding optimization・computer vision・fish behavior analysis・surveillance cameras・mealworm production

以下为公开数据预览。个性化匹配理由、联系角度和保存能力需要登录后使用。

• 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

• 官方个人主页