研究業績一覧
論文
[dblp]
(1) 雑誌論文
- Koji Noshiro and Koji Hasebe.
Counterexamples and amendments to the termination and optimality of
ADOPT-based algorithms.
Artificial Intelligence, vol.329, 104083 (21 pages), Elsevier, 2024.
[open access webpage] [press release (in Japanese)]
- Fumio Machida, Koji Hasebe, Hirotake Abe, Kazuhiko Kato.
Analysis of optimal file placement for energy-efficient file-sharing
cloud storage system.
IEEE Transactions on Sustainable Computing, vol.7(1), pp.75-86, 2022.
[download]
- Koji Hasebe, Takumi Sawada, and Kazuhiko Kato.
A Game Theoretic Approach to Power Reduction in Distributed
Storage Systems.
Journal of Information Processing,
vol.24, no.1, pp.173-181, 2016.
[download]
- Koji Hasebe, Jumpei Okoshi, and Kazuhiko Kato.
Power-Saving in Storage Systems for Cloud Data Sharing Services
with Data Access Prediction.
IEICE Transactions, vol.E98-D, no.10, pp.1744-1754, Oct 2015.
[download]
- 大和崎啓,長谷部浩二,杉木章義,加藤和彦.
耐障害性向上のための自己安定性に基づくインターネットサービス基盤の構築
コンピュータソフトウェア,vol.28 (1), pp.248-257, 2011.
- Takuya Masuzawa and Koji Hasebe.
Iterative Information Update and Stability of Strategies.
Synthese, Springer-Verlag, vol.179 (1), pp.87-102, 2011.
- Munetoshi Ishikawa, Koji Hasebe, Akiyoshi Sugiki, and
Kazuhiko Kato.
Dynamic Grid Quorum: A Reconfigurable Grid Quorum and
Its Power Optimization Algorithm.
Service Oriented Computing and Applications,
Springer-Verlag, vol.4 (4), pp.245-260, 2010.
[pdf]
(2) 査読付き国際会議論文
- Yoshikatsu Kobayashi and Koji Hasebe.
Robustness of Epistemic Gossip Protocols Against Data Loss,
24th International Conference on Autonomous Agents and
Multiagent Systems (AAMAS), 9 pages, May 2025. (to appear)
- Koji Noshiro and Koji Hasebe.
Flaws of Termination and Optimality in ADOPT-based Algorithms,
32nd International Joint Conference on Artificial Intelligence (IJCAI-23), pp.1996-2003, August 2023.
[download]
- Eiji Sakurai and Koji Hasebe.
Decision-Making in Hearthstone Based on Evolutionary Algorithm,
15th International Conference on Agents and Artificial Intelligence (ICAART 2023), pp.845-852, February 2023.
[pdf]
- Takuma Oishi and Koji Hasebe.
Strategy Analysis for Competitive Bilateral Multi-Issue Negotiation,
15th International Conference on Agents and Artificial Intelligence (ICAART 2023), pp.404-411, February 2023.
[pdf]
- Keisuke Tomoda and Koji Hasebe.
Playstyle Generation for Geister with Genetic Algorithm and Clustering,
15th International Conference on Agents and Artificial Intelligence (ICAART 2023), 916-922, February 2023.
[pdf]
- Yu Iwasaki and Koji Hasebe.
A Framework for Generating Playstyles of Game AI with Clustering of
Play Logs.
14th International Conference on Agents and Artificial Intelligence (ICAART 2022), pp.605-621, February 2022.
[pdf]
- Yu Iwasaki and Koji Hasebe.
Identifying Playstyles in Games with NEAT and Clustering.
3rd IEEE Conference on Games (CoG 2021), 4 pages, August 2021.
[pdf]
- Keisuke Tomoda and Koji Hasebe.
Playing Geister by Estimating Hidden Information with Deep Reinforcement Learning.
3rd IEEE Conference on Games (CoG 2021), 4 pages, August 2021.
[pdf]
- Mitsuhiro Mabuchi and Koji Hasebe.
C2RBAC: An Extended CRBAC with Context-Awareness for Dynamic Environments.
18th International Conference on Security and Cryptography
(SECRYPT 2021), pp.819-826, July 2021.
[pdf]
- Yu Iwasaki and Koji Hasebe.
Ant Colony Optimization for K-Independent Average Traveling
Salesman Problem.
12th International Conference on Swarm Intelligence (ICSI 2021),
Springer LNCS vol.12689, pp.333-344, July 2021.
[pdf]
(Early version was presented in the
12th International Conference on Swarm Intelligence
(ANTS 2020), Springer LNCS vol.12421, pp.345-346, October 2020.)
- Haruki Nishimura and Koji Hasebe.
Compositional Object Synthesis in Game of Life Cellular Automata
Using SAT Solver.
12th International Conference on Swarm Intelligence (ICSI 2021),
Springer LNCS vol.12690, pp.543-552, July 2021.
[pdf]
- Kosei Fujishiro and Koji Hasebe.
Robustness and Failure Detection in Epistemic Gossip Protocols.
22nd International Conference on Formal Engineering Methods
(ICFEM 2020), Springer LNCS vol.12531, pp.20-35, March 2021.
[pdf]
- Horleang Choeng, Koji Hasebe, Hirotake Abe, and Kazuhiko Kato.
Multi-Tier Power-Saving Method in Cloud Storage Systems for
Content Sharing Services.
17th Inernational Conference on the Economics of Grids,
Clouds, Systems and Services (GECON 2020), Springer LNCS vol.12441, pp.142-154,
September 2020.
- Koji Hasebe, Shohei Sasaki, and Kazuhiko Kato.
Fault Tolerance in the Traffic Management System of a Last-mile
Transportation Service (poster presentation).
4th International Conference on Vehicle Technology and Intelligent
Transportation Systems (VEHITS 2018), pp.552-557, March 2018.
- Koji Hasebe, Sho Takai, and Kazuhiko Kato.
A Flexible Data Migration Strategy for Power Savings in
Distributed Storage Systems.
7th International Conference on Smart Cities and Green ICT Systems
(SmartGreens 2018), pp.352-357, March 2018.
- Koji Hasebe, Mitsuaki Tsuji, and Kazuhiko Kato.
Deadlock Detection in the Scheduling of Last-Mile Transportation
Using Model Checking.
15th IEEE International Conference on Dependable, Autonomic
and Secure Computing (DASC 2017),
pp.423-430, November 2017.
[pdf]
- Koji Hasebe, Kazuhiko Kato, Hirotake Abe, Ryutaro Akiya,
and Masayuki Kawamoto.
Traffic Management for Last-Mile Public Transportation Systems
Using Autonomous Vehicles.
IEEE 3rd International Smart Cities Conference (ISC2 2017),
8 pages, September 2017.
[pdf]
- Koji Hasebe, Naofumi Nishita, and Kazuhiko Kato.
Highly Available Primary-Backup Mechanism for Internet Services
with Optimistic Consensus.
IEEE Third International Workshop on Cloud Computing Interclouds, Multiclouds, Federations, and Interoperability
(Intercloud 2014), pp.410-416, March 2014.
[pdf (corrected version)]
- Koji Hasebe, Takumi Sawada, and Kazuhiko Kato.
Using a Potential Game for Power Reduction in Distributed
Storage Systems.
IEEE International Workshop on Software Defined Systems
(SDS 2014),
pp.550-555, March 2014.
[pdf]
- Gergei Bana, Koji Hasebe, and Mitsuhiro Okada.
Computationally Complete Symbolic Attacker and Key Exchange.
20th ACM Conference on Computer and Communications Security
(CCS 2013),
pp.1231-1246, November 2013.
[pdf (long version)]
- Jumpei Okoshi, Koji Hasebe, and Kazuhiko Kato.
Power-Saving in Storage Systems
for Internet Hosting Services with Data Access Prediction.
4th International Green Computing Conference (IGCC 2013),
10 pages, 2013.
[pdf]
- Jumpei Okoshi, Koji Hasebe, and Kazuhiko Kato.
Power-Aware Autonomous Distributed
Storage Systems for Internet Hosting Service Platforms. 3rd
International Conference on Cloud Computing (CloudComp 2012),
Springer LNICST vol.112, pp.52-61, 2012.
[pdf]
- Koji Hasebe and Ryuichiro Ishikawa.
Belief Revision for Inductive Game Theory.
European Workshop on Multi-agent Systems (EUMAS'11),
15 pages, 2011.
[pdf]
- Koji Hasebe, Hiroaki Kawamoto, Kiyotaka Kamibayashi,
Akira Matsushita, and Yoshiyuki Sankai.
Stepwise Process of Clinical Trials in Safety-Conscious Development
of Human Assistive Robots. IEEE International Conference on
Robotics and Biomimetics (ROBIO 2011), pp.50-55, 2011.
- Koji Hasebe, Kei Yamatozaki, Akiyoshi Sugiki,
and Kazuhiko Kato.
Self-Stabilizing Passive Replication for Internet Service
Platforms. 4th IFIP International Conference on New Technologies,
Mobility and Security, 6 pages, 2011.
[pdf]
- Koji Hasebe, Hiroaki Kawamoto, Akira Matsushita,
Kiyotaka Kamibayashi, and Yoshiyuki Sankai.
Towards a Guideline for Clinical Trials in the Development
of Human Assistive Robots.
IEEE International Conference on Robotics and Biomimetics
(ROBIO 2010), pp. 751-756, 2010.
- Koji Hasebe, Tatsuya Niwa, Akiyoshi Sugiki,
and Kazuhiko Kato.
Power-Saving in Large-Scale Storage Systems with Data Migration.
2nd IEEE International Conference on Cloud Computing
Technology and Science (CloudCom 2010), pp. 266-273,
2010.
[pdf]
- Koji Hasebe and Mitsuhiro Mabuchi.
Capability-Role-based Delegation in Workflow Systems.
6th IEEE/IFIP International Symposium on Trusted Computing and
Communications (TrustCom-10), pp.711-717, 2010.
[pdf]
- Koji Hasebe, Mitsuhiro Mabuchi, and Akira Matsushita.
Capability-Based Delegation Model in RBAC.
15th ACM Symposium on Access Control Models and Technologies
(SACMAT 2010),
pp. 109-118, 2010.
[pdf]
- Mitsuhiro Mabuchi, Yasushi Shinjo, Koji Hasebe,
Akira Sato, and Kazuhiko Kato.
CapaCon: An Access Control Mechanism for Inter-Device Communications
through TCP Connections.
25th Symposium on Applied Computing (ACM SAC 2010),
pp.706-712, 2010.
- Takuya Masuzawa and Koji Hasebe.
Iterative Information Update and Stability of Strategies.
7th European Workshop on Multi-Agent Systems (EUMAS'09),
15 pages, 2009.
[pdf]
- Munetoshi Ishikawa, Koji Hasebe, Akiyoshi Sugiki,
and Kazuhiko Kato.
Dynamic Grid Quorum: A Novel Approach for Minimizing Power Consumption
without Data Migration in Grid Quorums.
IEEE International Conference on Service-Oriented Computing
and Applications (SOCA'09), pp.142-149, 2009.
[pdf]
- Gergei Bana, Koji Hasebe, and Mitsuhiro Okada.
Computational Semantics for First-Order Logical Analysis of
Cryptographic Protocols.
Formal to Practical Security,
Springer LNCS vol. 5458, pp.33-58, 2009.
[pdf]
- Gergei Bana, Koji Hasebe, and Mitsuhiro Okada.
Computational Semantics for Basic Protocol Logic ---
A Stochastic Approach.
12th Annual Asian Computing Science Conference (ASIAN'07),
LNCS vol.4846, pp.86-94, Springer-Verlag, 2007.
- Koji Hasebe and Mitsuhiro Okada.
Non-monotonic Properties for Proving Correctness in a Framework of
Compositional Logic. Workshop on
Foundations of Computer Security (FCS'04),
pp.97-113, Turku, Finland, 2004.
[pdf]
- Koji Hasebe and Mitsuhiro Okada.
Inferences on Honesty in Compositional Logic for Security Analysis.
International Symposium on Software Security 2003 (ISSS2003),
Lecture Notes in Computer Science, vol. 3233,
pp.65-86, Springer-Verlag, 2004.
[pdf]
- Koji Hasebe and Mitsuhiro Okada.
A Logical Verification Method for Security Protocols Based on Linear
Logic and BAN Logic. Software Security -
Theories and Systems, LNCS vol.2609,
pp.417-440, Springer-Verlag, 2003.
(3) 招待講演
- Koji Hasebe and Mitsuhiro Okada.
Completeness and Counter-Example Generations of a Basic Protocol Logic.
6th International Workshop on Rule-Based
Programming (RULE'05),
Electronic Notes in Theoretical Computer Science, vol.147 (1),
pp.73-92, Elsevier Science, 2005.
[pdf]
- Vincent Cremet, Koji Hasebe, Jean-Pierre Jouannaud,
Antoine Kremer, and Mitsuhiro Okada.
FATALIS: Real Time Processes as Linear Logic Specifications.
International Workshop on Automated Verification of
Infinite-State Systems (AVIS'03), April 2003.
(4) 著書
- 長谷部浩二,岡田光弘,ゲルゲイ・バナ.
セキュリティプロトコルの論理的検証法.
萩谷,塚田編『数理的技法による情報セキュリティ』第9章
(シリーズ応用数理第1巻),pp.185-202, 共立出版, 2010.
(5) 解説論文
- Koji Hasebe, Hiroaki Kawamoto, Kiyotaka Kamibayashi,
Akira Matsushita.
Safety and Ethical Issues in the Development of Human Assistive Robots.
Cybernics, Springer-Verlag, pp.299-313, Feb 2014.
- 長谷部浩二,河本浩明,上林清孝,松下明,山海嘉之.
段階的な臨床試験プロセスによる人支援型ロボット開発の提案.
日本ロボット学会誌,vol.29 (3),pp.236-240,2011.
- 長谷部浩二,岡田光弘.
BAN論理からProtocol Composition Logicへ:セキュリティプロトコルの論理的検証法.
応用数理, vol.17 (4), pp.47-58, 2007.
(6) その他
- 長谷部浩二.師資相承,三田哲学会『哲学』,vol.146,pp.177-191,2021.
[pdf]
研究費獲得実績(代表分のみ)
- 科研費・基盤研究(C)「帰納的ゲーム理論における意思決定過程の論理的分析手法とその応用に関する研究」(2019〜2021年度)
- 科研費・基盤研究(C)「知識の形成過程の分析による暗号プロトコルの安全性検証法に関する研究」(2014〜2017年度)
- 科研費・若手研究(B)「論理推論を基にした合理的秘密分散プロトコルの安全性検証法の構築」(2012〜2013年度)
- 科研費・若手研究(B)「論理推論を基にした暗号プロトコルの計算論的安全性検証法の構築」(2009〜2011年度)
受賞実績
共著学生の受賞
- 優秀発表賞(日本ソフトウェア科学会第39回大会)
櫻井英司,長谷部浩二.「進化的アルゴリズムを基にしたHearthstoneの行動決定」,2022年.
- 優秀発表賞(日本ソフトウェア科学会第38回大会)
野城滉司,長谷部浩二.「血小板による止血機構に基づいた最適化手法」,2021年.
- 学生奨励賞(情報処理学会第83回全国大会)
共田圭佑,長谷部浩二.「完全情報ゲームにおける行動価値関数を用いた不完全情報ゲームの盤面推定」,2021年.
- 学生奨励賞(情報処理学会第81回全国大会)
清水圭太,長谷部浩二.「電子連結車両を用いた端末交通システムのためのモデル検査法によるスケジューリング手法」,2019年.
- 学生奨励賞(情報処理学会第79回全国大会)
根本晃輔,長谷部浩二,加藤和彦.「電子連結車両を用いた端末交通システムにおける運行スケジュールの最適化手法」,2017年.
- 学生奨励賞(情報処理学会第78回全国大会)
細岡晟,長谷部浩二,加藤和彦.「格納データの継続的な増加に対応した大規模ストレージシステムの省電力化手法」,2016年.
- 学生奨励賞(日本ソフトウェア科学会第30回大会)
西田尚史,長谷部浩二,加藤和彦.「大規模なノード故障やネットワーク分断に対する可用性を持つ受動的複製手法」,2013年.
- 学生奨励賞(日本ソフトウェア科学会第28回大会)
Juan Carlos Polanco Aguilar,長谷部浩二,加藤和彦.「Model Checking of BPMN Models for Reconfigurable Workflows」,2011年.