長谷部 浩二(ハセベ コウジ)

所属
システム情報系
職名
准教授
URL
eメール
%C<N@=@^mi>NgONPFP=<g<>gEK
研究室
第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 -- (現在)日本ソフトウェア科学会
論文
  • 所得に関する情報が協力の創発に与える影響の分析
    竹内 優; 長谷部 浩二
    人工知能学会第37回大会, 2023-06
  • Exchanging and updating opinions and beliefs reinforces echo chambers
    Kataoka Hiro; Euzenat Jérôme; HASEBE Koji
    人工知能学会第39回大会, 2025-05
  • 競争的ピックアップ・アンド・デリバリー問題に対する強化学習アルゴリズムの評価
    築山 凜太朗; 野城 滉司; 長谷部 浩二
    日本ソフトウェア科学会第42回大会, 2025-09
  • Fault Detection in Byzantine Consensus Protocols through Message Inconsistencies
    西丸 優貴; 野城 滉司; 長谷部 浩二
    日本ソフトウェア科学会第42回大会, 2025-09
  • Byzantine Fault-Tolerant Algorithms for Solving Distributed Constraint Optimization Problems
    野城 滉司; 長谷部 浩二
    日本ソフトウェア科学会第42回大会, 2025-09
  • 分散最適化とブロックチェーンを用いた追跡可能な生産スケジューリングシステム
    長谷部 浩二
    人工知能学会第40回全国大会, 2026-06
  • 高密度マルチエージェント経路計画における譲り合い動作の学習
    長谷部 浩二
    人工知能学会第40回全国大会, 2026-06
  • Distributed Performability Optimization for Multi-UAV Road Traffic Monitoring
    HASEBE Koji
    18th International Conference on Agents and Artificial Intelligence, 2026-03
  • Byzantine Fault Tolerance in Distributed Constraint Optimization Problems.
    HASEBE Koji
    25th International Conference on Autonomous Agents and Multiagent Systems, 2026-05
  • How can beliefs alter opinions? Joint opinion and belief evolution
    Kataoka Hiro; Euzenat Jérôme; HASEBE Koji
    18th International Conference on Agents and Artificial Intelligence, 2026-03
  • Coherent belief and opinion propagation produces more echo chambers
    Kataoka Hiro; Euzenat Jérôme; HASEBE Koji
    25th International Conference on Autonomous Agents and Multiagent Systems, 2026-05
  • Impact of network rewiring on opinion and belief echo chambers
    Kataoka Hiro; Euzenat Jérôme; HASEBE Koji
    27th International Workshop on Multi-Agent-Based Simulation, 2026-05
  • 進化的アルゴリズムを基にしたHearthstoneの行動決定
    櫻井 英司; 長谷部 浩二
    日本ソフトウェア科学会第39回大会, 2022-08-31
  • Robustness of Epistemic Gossip Protocols Against Data Loss
    HASEBE Koji
    Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, 2025-05-19
  • 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
  • さらに表示...
著書
  • 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
会議発表等
  • 血小板による止血機構に基づいた最適化手法
    野城 滉司; 長谷部 浩二
    日本ソフトウェア科学会第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
担当授業科目
2025-04 -- 2025-08情報理工分野横断後期特別演習筑波大学
2025-05 -- 2025-05情報理工特別講義I筑波大学
2025-04 -- 2025-08情報理工前期特別研究Is筑波大学
2025-04 -- 2025-08情報理工前期特別研究IIs筑波大学
2025-10 -- 2026-02情報理工前期特別研究IIf筑波大学
2025-10 -- 2026-02情報理工前期特別研究II筑波大学
2025-04 -- 2025-08情報理工前期特別研究II筑波大学
2025-10 -- 2026-02情報理工前期特別研究If筑波大学
2025-10 -- 2026-02情報理工前期特別研究I筑波大学
2025-04 -- 2025-08情報理工前期特別研究I筑波大学
さらに表示...

(最終更新日: 2026-04-22)