• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

KAKUTANI Yoshihiko  角谷 良彦

ORCIDConnect your ORCID iD *help
Researcher Number 70376614
Other IDs
Affiliation (based on the past Project Information) *help 2012 – 2014: 東京大学, 情報理工学(系)研究科, 助教
Review Section/Research Field
Principal Investigator
Fundamental theory of informatics
Keywords
Principal Investigator
プロトコル / 量子計算 / プロセス計算 / セキュリティ検証 / 量子プロトコル / 形式手法
  • Research Projects

    (1 results)
  • Research Products

    (16 results)
  •  Formal Methods for Verification of Quantum ProtocolsPrincipal Investigator

    • Principal Investigator
      KAKUTANI Yoshihiko
    • Project Period (FY)
      2012 – 2014
    • Research Category
      Grant-in-Aid for Young Scientists (B)
    • Research Field
      Fundamental theory of informatics
    • Research Institution
      The University of Tokyo

All 2014 2013 2012 Other

All Journal Article Presentation

  • [Journal Article] 猫にはわかる量子プログラミング2014

    • Author(s)
      本多健太郎, 角谷良彦, 久保田貴大
    • Journal Title

      コンピュータソフトウェア

      Volume: 31

    • NAID

      130004892304

    • Open Access
    • Data Source
      KAKENHI-PROJECT-24700006
  • [Journal Article] Observational Equivalence Using Schedulers for Quantum Processes2014

    • Author(s)
      K. Yasuda, T. Kubota, Y. Kakutani
    • Journal Title

      Electronic Proceedings in Theoretical Computer Science

      Volume: 172 Pages: 191-203

    • DOI

      10.4204/eptcs.172.13

    • NAID

      40020582250

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-24700006
  • [Presentation] スケジューラを用いた量子プロセス間の観測同値 (ポスター)2014

    • Author(s)
      安田和矢, 久保田貴大, 角谷良彦
    • Organizer
      プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      阿蘇温泉阿蘇の司ビラパークホテル, 熊本県
    • Data Source
      KAKENHI-PROJECT-24700006
  • [Presentation] スケジューラを用いた量子プロセス間の観測同値2014

    • Author(s)
      安田和矢, 久保田貴大, 角谷良彦
    • Organizer
      日本応用数理学会春の研究部会連合発表会
    • Place of Presentation
      京都大学, 京都府
    • Data Source
      KAKENHI-PROJECT-24700006
  • [Presentation] 量子暗号プロトコルの形式的検証のための確率双模倣2014

    • Author(s)
      久保田貴大, 角谷良彦, 加藤豪, 河野泰人, 櫻田英樹
    • Organizer
      日本応用数理学会春の研究部会連合発表会
    • Place of Presentation
      京都大学, 京都府
    • Data Source
      KAKENHI-PROJECT-24700006
  • [Presentation] Automated Verification of Equivalence on Quantum Cryptographic Protocols2013

    • Author(s)
      T. Kubota, Y. Kakutani, G. Kato, Y. Kawano, H. Sakurada
    • Organizer
      Symbolic Computation in Software Science
    • Place of Presentation
      Castle of Hagenberg, Austria
    • Data Source
      KAKENHI-PROJECT-24700006
  • [Presentation] Induction by Coinduction and Control Operators in Call-by-Name2013

    • Author(s)
      Y. Kakutani, D. Kimura
    • Organizer
      Control Operators and their Semantics
    • Place of Presentation
      Eindhoven, Netherlands
    • Data Source
      KAKENHI-PROJECT-24700006
  • [Presentation] Towards Quantum Pseudo-telepathic Game Semantics2013

    • Author(s)
      本多健太郎, 角谷良彦
    • Organizer
      代数, 論理, 幾何と情報科学, 記号論理と情報科学
    • Place of Presentation
      京都大学, 京都府
    • Data Source
      KAKENHI-PROJECT-24700006
  • [Presentation] A Tool for Formal Verification of Equivalence on Quantum Cryptographic Protocols2013

    • Author(s)
      久保田貴大, 角谷良彦, 加藤豪, 河野泰人, 櫻田英樹
    • Organizer
      量子情報技術研究会
    • Place of Presentation
      北海道大学, 北海道
    • Data Source
      KAKENHI-PROJECT-24700006
  • [Presentation] 量子暗号のためのプロトコル等価性検証ツール2013

    • Author(s)
      久保田貴大, 角谷良彦, 加藤豪, 河野泰人, 櫻田英樹
    • Organizer
      日本応用数理学会春の研究部会連合発表会
    • Place of Presentation
      東洋大学, 東京
    • Data Source
      KAKENHI-PROJECT-24700006
  • [Presentation] Automated Proof of Equivalence on Quantum Cryptographic Protocols2013

    • Author(s)
      久保田貴大, 角谷良彦, 加藤豪, 河野泰人, 櫻田英樹
    • Organizer
      プログラミングおよびプログラミング言語
    • Place of Presentation
      東山温泉御宿東鳳, 会津若松
    • Data Source
      KAKENHI-PROJECT-24700006
  • [Presentation] Application of a Process Calculus to Security Proofs of Quantum Protocols2012

    • Author(s)
      T. Kubota, Y. Kakutani, G. Kato, Y. Kawano, H. Sakurada
    • Organizer
      Foundations of Computer Science in WORLDCOMP
    • Place of Presentation
      Las Vegas, USA
    • Data Source
      KAKENHI-PROJECT-24700006
  • [Presentation] Observational Equivalence Using Schedulers for Quantum Processes

    • Author(s)
      安田和矢, 久保田貴大, 角谷良彦
    • Organizer
      日本ソフトウェア科学会大会
    • Place of Presentation
      名古屋大学, 愛知県
    • Year and Date
      2014-09-07 – 2014-09-10
    • Data Source
      KAKENHI-PROJECT-24700006
  • [Presentation] A Language for Topological Quantum Computation Based on Duality (Poster)

    • Author(s)
      K. Honda, Y. Kakutani, K. Kumada
    • Organizer
      Asian Symposium on Programming Languages and Systems
    • Place of Presentation
      National University of Singapore, Singapore
    • Year and Date
      2014-11-17 – 2014-11-19
    • Data Source
      KAKENHI-PROJECT-24700006
  • [Presentation] Observational Equivalence Using Schedulers for Quantum Processes

    • Author(s)
      K. Yasuda, T. Kubota, Y. Kakutani
    • Organizer
      Quantum Physics and Logic
    • Place of Presentation
      Kyoto University, Kyoto
    • Year and Date
      2014-06-04 – 2014-06-06
    • Data Source
      KAKENHI-PROJECT-24700006
  • [Presentation] 量子力学から量子計算へ

    • Author(s)
      角谷良彦, 本多健太郎
    • Organizer
      情報科学技技術フォーラム
    • Place of Presentation
      筑波大学, 茨城県
    • Year and Date
      2014-09-03 – 2014-09-05
    • Invited
    • Data Source
      KAKENHI-PROJECT-24700006

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi