現在地

長谷部 浩二(ハセベ コウジ; Hasebe, Koji)

所属
システム情報系
職名
准教授
URL
eメール
 
研究室
第3エリアF棟827, 学術情報メディアセンターCA棟205-2, 総合研究棟B923号室
電話
029-853-5765, 029-853-2441, 029-853-5163
Fax
029-853-2478
研究分野
ソフトウェア
情報学基礎理論
研究キーワード
数理論理学
形式手法
分散システム
マルチエージェントシステム
ゲーム理論
情報セキュリティ
研究課題
知識の形成過程の分析による暗号プロトコルの安全性検証法に関する研究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 -- (現在)筑波大学 システム情報工学研究科コンピュータサイエンス専攻 助教
学歴
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 -- (現在)日本ソフトウェア科学会
論文
  • 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
  • 筑波大学OCWの取り組み : あらゆる境界を超え、自己組織化するワイルドな知を目指し(オーガナイズドセッション:オープンコースウェアとその応用-II)
    岡 瑞起; 長谷部 浩二; 加藤 和彦
    工学教育研究講演会講演論文集/25(61)/pp.280-281, 2013-08
  • Highly Available Primary-Backup Mechanism for Internet Services with Optimistic Consensus
    Koji Hasebe; Naofumi Nishita; Kato Kazuhiko
    Third International Workshop on Cloud Computing Interclouds, Multiclouds, Federations, and Interoperability (Intercloud 2014)/pp.410-416, 2014-03
  • Using a Potential Game for Power Reduction in Distributed Storage Systems
    Koji Hasebe; Takumi Sawada; Kato Kazuhiko
    IEEE International Workshop on Software Defined Systems (SDS 2014)/pp.550-555, 2014-03
  • Computationally Complete Symbolic Attacker and Key Exchange
    Gergei Bana; Koji Hasebe; Mitsuhiro Okada
    20th ACM Conference on Computer and Communications Security (CCS 2013)/pp.1231-1246, 2013-11
  • Power-Saving in Storage Systems for Internet Hosting Services with Data Access Prediction
    Jumpei Okoshi; Hasebe Koji; Kazuhiko Kato
    Proceedings of the 4th International Green Computing Conference (IGCC 2013), 2013-06
  • Power-Aware Autonomous Distributed Storage Systems for Internet Hosting Service Platforms
    Junpei Okoshi; Koji Hasebe; Kato Kazuhiko
    Proceedings of 3rd International Conference on Cloud Computing (CloudComp 2012)/LNICST 112/pp.52-61, 2012-09
  • Stepwise process of clinical trials in safety-conscious development of human assistive robots
    Koji Hasebe; Hiroaki Kawamoto; Akira Matsushita; Kiyotaka...
    IEEE International Conference on Robotics and Biomimetics (ROBIO 2011)/pp.50-55, 2012-04
  • Belief Revision for Inductive Game Theory
    Koji Hasebe; Ryuichiro Ishikawa
    Proceedings of the 9th European Workshop on Multi-agent Systems/p.15ページ, 2011-11
  • Iterative information update and stability of strategies
    Takuya Masuzawa; Koji Hasebe
    Synthese/179(1)/pp.87-102, 2011-04
  • 段階的な臨床試験プロセスによる人支援型ロボット開発の提案
    長谷部 浩二; 河本 浩明; 上林 清孝; 松下 明; 山海 嘉之
    日本ロボット学会誌/29(3)/pp.236-240, 2011-04
  • 耐障害性向上のための自己安定性に基づくインターネットサービス基盤の構築
    大和崎 啓; 長谷部 浩二; 杉木 章義; 加藤和彦
    コンピュータソフトウェア/28(1)/pp.248-257, 2011-02
  • Self-Stabilizing Passive Replication for Internet Service Platforms
    Koji Hasebe; Kei Yamatozaki; Akiyoshi Sugiki; Kazuhiko Kato
    4th IFIP International Conference on New Technologies, Mobility and Security (NTMS 2010)/p.6ページ, 2011-02
  • Dynamic Grid Quorum: A Reconfigurable Grid Quorum and Its Power Optimization Algorithm
    Munetoshi Ishikawa; Koji Hasebe; Akiyoshi Sugiki; Kazuhik...
    Service Oriented Computing and Applications/4(4)/p.245-260, 2010-12
  • Towards a Guideline for Clinical Trials in the Development of Human Assistive Robots
    K. Hasebe; H. Kawamoto; A. Matsushita; K.Kamibayashi; and...
    IEEE International Conference on Robotics and Biomimetics (ROBIO 2010), 2010-12
  • Capability-Role-based Delegation in Workflow Systems
    Koji Hasebe; Mitsuhiro Mabuchi
    6th IEEE/IFIP International Symposium on Trusted Computing and Communications (TrustCom 2010)/p.711-717, 2010-12
  • Power-Saving in Large-Scale Storage Systems with Data Migration
    Koji Hasebe; Tatsuya Niwa; Akiyoshi Sugiki; Kazuhiko Kato
    2nd IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2010)/p.226-273, 2010-11
  • Capability-Based Delegation Model in RBAC
    Hasebe Koji; Mitsuhiro Mabuchi; Akira Matsushita
    15th ACM Symposium on Access Control Models and Technologies (SACMAT 2010)/pp.109-118, 2010-06
  • CapaCon: An Access Control Mechanism for Inter-Device Communications through TCP Connections
    M. Mabuchi; Y. Shinjo; K. Hasebe; A. Sato; K. Kato
    25th Symposium on Applied Computing/p.706-712, 2010-03
  • Iterative Information Update and Stability of Strategies
    Takuya Masuzawa; Koji Hasebe
    Proceedings of the 7th European Workshop on Multi-Agent Systems (EUMAS'09)/p.15ページ, 2009-12
  • Dynamic Grid Quorum: A Novel Approach for Minimizing Power Consumption without Data Migration in Grid Quorums
    Munetoshi Ishikawa; Koji Hasebe; Akiyoshi Sugiki; and Kaz...
    IEEE International Conference on Service-Oriented Computing and Applications (SOCA’09)/p.142-149, 2009-12
  • Computational Semantics for First-Order Logical Analysis of Cryptographic Protocols
    Gergei Bana; Koji Hasebe; and Mitsuhiro Okada
    Formal to Practical Security/LNCS 5458/p.33-58, 2009-06
  • BAN論理からProtocol Composition Logicへ ~ セキュリティ・プロトコルの 論理的検証法
    長谷部浩二; 岡田光弘
    応用数理/17(4)/p.47-58, 2007-12
  • Computational Semantics for Basic Protocol Logic - A Stochastic Approach
    Gergei Bana; Koji Hasebe; and Mitsuhiro Okada
    Proceedings fo the 12th Annual Asian Computing Science Conference/LNCS 4846/p.86-94, 2007-12
著書
  • Safety and Ethical Issues in the Development of Human Assistive Robots
    Koji Hasebe; Hiroaki Kawamoto; Akira Matsushita; Kiyotaka...
    Cybernics/pp.299-313, 2014-02
  • セキュリティ・プロトコルの論理的検証法(第9章)
    長谷部 浩二; バナ・ゲルゲイ; 岡田 光弘
    数理的技法による情報セキュリティ(シリーズ応用数理 1)/pp.185-203, 2010-08
会議発表等
  • 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
担当授業科目
2017-10 -- 2018-02研究開発プロジェクトスタディII筑波大学
2017-04 -- 2017-08研究開発プロジェクトスタディII筑波大学
2017-10 -- 2018-02プロジェクトスタディII筑波大学
2017-04 -- 2017-08プロジェクトスタディII筑波大学
2017-10 -- 2018-02研究開発プロジェクトスタディIII筑波大学
2017-04 -- 2017-08研究開発プロジェクトスタディIII筑波大学
2017-10 -- 2018-02コンピュータサイエンス特別研究筑波大学
2017-04 -- 2017-08コンピュータサイエンス特別研究筑波大学
2017-04 -- 2017-08情報システム実験A筑波大学
2017-10 -- 2018-02コンピュータサイエンス特別演習B筑波大学

(最終更新日: 2017-04-12)