HASEBE Koji
- Affiliation
- Institute of Systems and Information Engineering
- Official title
- Associate Professor
- URL
- I}v*zwz:IEx*C+*,",wvCvxC!'
- Office
- Room 827, Bldg. F, Area 3, Room 205-2, Bldg. CA in Academic Computing and Communications Center, Laboratory of Advanced Research B 923
- Phone
- 029-853-5765, 029-853-2441, 029-853-5163
- Fax
- 029-853-2478
- Research fields
Software Theory of informatics - Research keywords
Mathematical logic multi-agent systems Formal methods game theory distributed systems Information security - Research projects
帰納的ゲーム理論における意思決定過程の論理的分析手法とその応用に関する研究 2019 -- 2021 長谷部 浩二 Japan Society for the Promotion of Science/Grant-in-Aid for Scientific Research(C) 4,290,000Yen 知識の形成過程の分析による暗号プロトコルの安全性検証法に関する研究 2014-04 -- 2017-03 Koji Hasebe Japan Society of for the Promotion of Science/Grant-in-Aid for Scientific Research (C) 4,680,000Yen 論理推論を基にした合理的秘密分散プロトコルの安全性検証法の構築 2012-04 -- 2014-03 Koji Hasebe Japan Society of for the Promotion of Science/Grant-in-Aid for Young Scientists (B) 4,420,000Yen ゲーム論的アプローチによる自律分散システムの構築 2012-04 -- 2014-03 Kazuhiko Kato Japan Society of for the Promotion of Science/Grant-in-Aid for Exploratory Research 3,900,000Yen 論理推論を基にした暗号プロトコルの計算論的安全性検証法の構築 2009-04 -- 2012-03 Koji Hasebe Japan Society of for the Promotion of Science/Grant-in-Aid for Young Scientists (B) 1,040,000Yen - Career history
2004-04 -- 2006-09 Japan Society for the Promotion of ScienceResearch Fellow 2006-09 -- 2008-02 National Institute of Advanced Industrial Science and TechnologyResearch Center for Verification and SemanticsResearch Fellow 2008-03 -- 2011-02 University of TsukubaGraduate School of Systems and Information EngineeringResearch Fellow 2011-02 -- 2017-03 University of TsukubaDepartment of Computer Science, Graduate School of Systems and Information EngineeringAssistant Professor - Academic background
1994-04 -- 1998-03 Keio University Faculty of Letters Department of Philosophy 1998-04 -- 2000-03 Keio University Graduate School of Letters Department of Philosophy 2000-04 -- 2003-03 Keio University Graduate School of Letters Department of Philosophy - Degree
2006-09 Ph.D. in Philosophy Keio University - Academic societies
2010 -- (current) Association for Computing Machinery 2010 -- (current) Institute of Electrical and Electronics Engineers (IEEE) 2003 -- (current) Information Processing Society of Japan 2003 -- (current) JAPAN SOCIETY FOR SOFTWARE SCIENCE AND TECHNOLOGY - Articles
- 所得に関する情報が協力の創発に与える影響の分析
竹内 優; 長谷部 浩二
人工知能学会第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 - more...
- 所得に関する情報が協力の創発に与える影響の分析
- Books
- 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）/Kyoritsu Shuppan/pp.185-203, 2010-08
- Safety and Ethical Issues in the Development of Human Assistive Robots
- Conference, etc.
- 血小板による止血機構に基づいた最適化手法
野城 滉司; 長谷部 浩二
日本ソフトウェア科学会第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
- 血小板による止血機構に基づいた最適化手法
- Teaching
2025-04 -- 2025-08 Cross-Disciplinary Seminar in Computer Science University of Tsukuba. 2025-05 -- 2025-05 Topics in Computer Science I University of Tsukuba. 2025-04 -- 2025-08 Research in Computer Science Is University of Tsukuba. 2025-04 -- 2025-08 Research in Computer Science IIs University of Tsukuba. 2025-10 -- 2026-02 Research in Computer Science IIf University of Tsukuba. 2025-10 -- 2026-02 Research in Computer Science II University of Tsukuba. 2025-04 -- 2025-08 Research in Computer Science II University of Tsukuba. 2025-10 -- 2026-02 Research in Computer Science If University of Tsukuba. 2025-10 -- 2026-02 Research in Computer Science I University of Tsukuba. 2025-04 -- 2025-08 Research in Computer Science I University of Tsukuba. more...
(Last updated: 2026-04-22)