長谷部 浩二(ハセベ コウジ)
- 所属
- システム情報系
- 職名
- 准教授
- URL
- eメール
- /92D636Tc_4D]EDF<F32]24];A
- 研究室
- 第3エリアF棟827, 学術情報メディアセンターCA棟205-2, 総合研究棟B923号室
- 電話
- 029-853-5765, 029-853-2441, 029-853-5163
- Fax
- 029-853-2478
- 研究分野
ソフトウェア 情報学基礎理論 - 研究キーワード
数理論理学 マルチエージェントシステム 形式手法 ゲーム理論 分散システム 情報セキュリティ - 研究課題
帰納的ゲーム理論における意思決定過程の論理的分析手法とその応用に関する研究 2019 -- 2021 長谷部 浩二 日本学術振興会/基盤研究(C) 4,290,000円 知識の形成過程の分析による暗号プロトコルの安全性検証法に関する研究 2014-04 -- 2017-03 長谷部浩二 日本学術振興会/科学研究費補助金 基盤研究(C) 4,680,000円 論理推論を基にした合理的秘密分散プロトコルの安全性検証法の構築 2012-04 -- 2014-03 長谷部浩二 日本学術振興会/科学研究費補助金 若手研究(B) 4,420,000円 ゲーム論的アプローチによる自律分散システムの構築 2012-04 -- 2014-03 加藤和彦 日本学術振興会/科学研究費補助金 萌芽研究 3,900,000円 論理推論を基にした暗号プロトコルの計算論的安全性検証法の構築 2009-04 -- 2012-03 長谷部浩二 日本学術振興会/科学研究費補助金 若手研究(B) 1,040,000円 - 職歴
2004-04 -- 2006-09 日本学術振興会特別研究員 2006-09 -- 2008-02 産業技術総合研究所システム検証研究センター特別研究員 2008-03 -- 2011-02 筑波大学システム情報工学研究科研究員 2011-02 -- 2017-03 筑波大学システム情報工学研究科コンピュータサイエンス専攻助教 - 学歴
1994-04 -- 1998-03 慶應義塾大学 文学部 哲学科 1998-04 -- 2000-03 慶應義塾大学 文学研究科 哲学専攻 2000-04 -- 2003-03 慶應義塾大学 文学研究科 哲学専攻 - 取得学位
2006-09 博士（哲学） 慶應義塾大学 - 所属学協会
2010 -- (現在) Association for Computing Machinery 2010 -- (現在) Institute of Electrical and Electronics Engineers (IEEE) 2003 -- (現在) 情報処理学会 2003 -- (現在) 日本ソフトウェア科学会 - 論文
- Counterexamples and amendments to the termination and optimality of ADOPT-based algorithms
Noshiro Koji; Hasebe Koji
ARTIFICIAL INTELLIGENCE/329/p.104083, 2024-04 - Flaws of Termination and Optimality in ADOPT-based Algorithms
野城 滉司; 長谷部 浩二
32nd International Joint Conference on Artificial Intelligence/pp.1996-2003, 2023-08-19 - Playstyle Generation for Geister with Genetic Algorithm and Clustering
Tomoda Keisuke; Hasebe Koji
15th International Conference on Agents and Artificial Intelligence/pp.916-922, 2023-02 - Strategy Analysis for Competitive Bilateral Multi-Issue Negotiation
Oishi Takuma; Hasebe Koji
5th International Conference on Agents and Artificial Intelligence/pp.404-411, 2023-02 - Decision-Making in Hearthstone Based on Evolutionary Algorithm
Hasebe Koji; Sakurai Eiji
15th International Conference on Agents and Artificial Intelligence/pp.845-852, 2023-02-22 - Compositional Object Synthesis in Game of Life Cellular Automata Using SAT Solver
Nishimura Haruki; Hasebe Koji
Proceedings of the 12th International Conference on Swarm Intelligence, 2021 - Ant Colony Optimization for K-Independent Average Traveling Salesman Problem
Iwasaki Yu; Hasebe Koji
Proceedings of the 12th International Conference on Swarm Intelligence, 2021 - C2RBAC: An Extended CRBAC with Context-Awareness for Dynamic Environments
Mabuchi Mitsuhiro; Hasebe Koji
Proceedings of the 8th International Conference on Security and Cryptography, 2021 - Playing Geister by Estimating Hidden Information with Deep Reinforcement Learning
Tomoda Keisuke; Hasebe Koji
Proceedings of the 3rd IEEE Conference on Games, 2021 - Identifying Playstyles in Games with NEAT and Clustering
Iwasaki Yu; Hasebe Koji
Proceedings of the 3rd IEEE Conference on Games, 2021 - A Framework for Generating Playstyles of Game AI with Clustering of Play Logs
Iwasaki Yu; Hasebe Koji
Proceedings of the 14th International Conference on Agents and Artificial Intelligence, 2022 - Multi-Tier Power-Saving Method in Cloud Storage Systems for Content Sharing Services
Choeng Horleang; Hasebe Koji; Abe Hirotake; Kato Kazuhiko
17th Inernational Conference on the Economics of Grids, Clouds, Systems and Services/pp.142-154, 2020 - Robustness and Failure Detection in Epistemic Gossip Protocols
Fujishiro Kosei; Hasebe Koji
22nd International Conference on Formal Engineering Methods/pp.20-35, 2020 - Ant Colony Optimization for K-Independent Average Traveling Salesman Problem
Iwasaki Yu; Hasebe Koji
12th International Conference on Swarm Intelligence/pp.345-346, 2020 - Analysis of optimal file placement for energy-efficient file-sharing cloud storage system
Machida Fumio; Hasebe Koji; Abe Hirotake; Kato Kazuhiko
IEEE Transactions on Sustainable Computing/7(1)/pp.75-86, 2020-11 - プレイヤーの発言内容に関するルールに基づいた人狼ゲームの役職推定
清水 大輔; 長谷部 浩二
人工知能学会全国大会論文集/2020/pp.2F5OS20b05-2F5OS20b05, 2020 - 簡易なオープンデータを用いた鉄道路線内の移動需要推定手法
根本 晃輔; 長谷部 浩二; 阿部 洋丈; 加藤 和彦
日本ソフトウェア科学会 第80回全国大会講演論文集, 2018-03 - Power-Saving Method in Storage Systems for File Sharing Services
Horleang Choeng; Koji Hasebe; Hirotake Abe; Kazuhiko Kato
研究報告システムソフトウェアとオペレーティング・システム, 2019-02 - 日本ソフトウェア科学会第35回大会報告
森畑 明昌; 井上 克郎; 楠本 真二; 中川 博之; 伊藤 恵; 長谷部 浩二
コンピュータ ソフトウェア/36(2)/pp.2_2-2_15, 2019 - Shohei Sasaki, and Kazuhiko Kato. Fault Tolerance in the Traffic Management System of a Last-mile Transportation Service
Hasebe Koji; Sasaki Shohei; Kato Kazuhiko
4th International Conference on Vehicle Technology and Intelligent Transportation Systems (VEHITS 2018), 2018-03 - Deadlock Detection in the Scheduling of Last-Mile Transportation Using Model Checking
Koji Hasebe; Mitsuaki Tsuji; 加藤 和彦
15th IEEE International Conference on Dependable, Autonomic and Secure Computing (DASC 2017), 2017-11 - A Flexible Data Migration Strategy for Power Savings in Distributed Storage Systems
Koji Hasebe; Sho Takai; 加藤 和彦
7th International Conference on Smart Cities and Green ICT Systems (SmartGreens 2018), 2018-03 - Traffic Management for Last-Mile Public Transportation Systems Using Autonomous Vehicles
Koji Hasebe; Kazuhiko Kato; Hirotake Abe; Ryutaro Akiya; ...
International Smart Cities Conference (ISC2), 2017-09 - Power-Saving in Storage Systems for Cloud Data Sharing Services with Data Access Prediction
長谷部 浩二; 大越淳平; 加藤 和彦
IEICE transactions on information and systems/98(10)/pp.1744-1754, 2015-10 - ディスクの自律制御による大規模分散ストレージシステムの省電力化手法
大越 淳平; 長谷部 浩二; 加藤 和彦
全国大会講演論文集/2012(1)/pp.91-93, 2012-03 - さらに表示...
- Counterexamples and amendments to the termination and optimality of ADOPT-based algorithms
- 著書
- Safety and Ethical Issues in the Development of Human Assistive Robots
Koji Hasebe; Hiroaki Kawamoto; Akira Matsushita; Kiyotaka Ka...
Cybernics/Springer-Verlag/pp.299-313, 2014-02 - セキュリティ・プロトコルの論理的検証法（第9章）
長谷部 浩二; バナ・ゲルゲイ; 岡田 光弘
数理的技法による情報セキュリティ（シリーズ応用数理 1）/共立出版/pp.185-203, 2010-08
- Safety and Ethical Issues in the Development of Human Assistive Robots
- 会議発表等
- Flaws of Termination and Optimality in ADOPT-based Algorithms
野城 滉司; 長谷部 浩二
32nd International Joint Conference on Artificial Intelligence/2023-08-19--2023-08-25 - 進化的アルゴリズムを基にしたHearthstoneの行動決定
櫻井 英司; 長谷部 浩二
日本ソフトウェア科学会第39回大会/2022-08-31--2022-09-02 - 血小板による止血機構に基づいた最適化手法
野城 滉司; 長谷部 浩二
日本ソフトウェア科学会第38回大会/2021-09-01--2021-09-03 - Deadlock Detection in the Scheduling of Last-Mile Transportation Using Model Checking
Koji Hasebe; Mitsuaki Tsuji; 加藤 和彦
15th IEEE International Conference on Dependable, Autonomic and Secure Computing (DASC 2017)/2017 - Capability-Based Delegation Model in RBAC
Hasebe Koji; Mabuchi Mitsuhiro; Matsushita Akira
15th ACM Symposium on Access Control Models and Technologies/2010-06-09--2010-06-11
- Flaws of Termination and Optimality in ADOPT-based Algorithms
- 担当授業科目
2024-10 -- 2025-02 情報理工後期特別演習Af 筑波大学 2024-10 -- 2025-02 情報理工後期特別演習Bf 筑波大学 2024-04 -- 2024-08 情報理工前期特別研究Is 筑波大学 2024-10 -- 2025-02 情報理工前期特別研究IIf 筑波大学 2024-07 -- 2024-08 計算と情報科学 筑波大学 2024-04 -- 2024-08 コンピュータサイエンス特別演習B 筑波大学 2024-10 -- 2025-02 コンピュータサイエンス特別演習B 筑波大学 2024-10 -- 2025-02 情報理工前期特別研究D 筑波大学 2024-10 -- 2025-02 情報理工前期特別研究B 筑波大学 2024-10 -- 2025-02 情報理工後期特別研究f 筑波大学 さらに表示...
(最終更新日: 2024-05-13)