• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

角谷 良彦  KAKUTANI Yoshihiko

ORCIDORCID連携する *注記
研究者番号 70376614
その他のID
所属 (過去の研究課題情報に基づく) *注記 2012年度 – 2014年度: 東京大学, 情報理工学(系)研究科, 助教
審査区分/研究分野
研究代表者
情報学基礎
キーワード
研究代表者
プロトコル / 量子計算 / プロセス計算 / セキュリティ検証 / 量子プロトコル / 形式手法
  • 研究課題

    (1件)
  • 研究成果

    (16件)
  •  量子プロトコルの検証のための形式手法研究代表者

    • 研究代表者
      角谷 良彦
    • 研究期間 (年度)
      2012 – 2014
    • 研究種目
      若手研究(B)
    • 研究分野
      情報学基礎
    • 研究機関
      東京大学

すべて 2014 2013 2012 その他

すべて 雑誌論文 学会発表

  • [雑誌論文] 猫にはわかる量子プログラミング2014

    • 著者名/発表者名
      本多健太郎, 角谷良彦, 久保田貴大
    • 雑誌名

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

      巻: 31

    • NAID

      130004892304

    • オープンアクセス
    • データソース
      KAKENHI-PROJECT-24700006
  • [雑誌論文] Observational Equivalence Using Schedulers for Quantum Processes2014

    • 著者名/発表者名
      K. Yasuda, T. Kubota, Y. Kakutani
    • 雑誌名

      Electronic Proceedings in Theoretical Computer Science

      巻: 172 ページ: 191-203

    • DOI

      10.4204/eptcs.172.13

    • NAID

      40020582250

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-24700006
  • [学会発表] スケジューラを用いた量子プロセス間の観測同値 (ポスター)2014

    • 著者名/発表者名
      安田和矢, 久保田貴大, 角谷良彦
    • 学会等名
      プログラミングおよびプログラミング言語ワークショップ
    • 発表場所
      阿蘇温泉阿蘇の司ビラパークホテル, 熊本県
    • データソース
      KAKENHI-PROJECT-24700006
  • [学会発表] スケジューラを用いた量子プロセス間の観測同値2014

    • 著者名/発表者名
      安田和矢, 久保田貴大, 角谷良彦
    • 学会等名
      日本応用数理学会春の研究部会連合発表会
    • 発表場所
      京都大学, 京都府
    • データソース
      KAKENHI-PROJECT-24700006
  • [学会発表] 量子暗号プロトコルの形式的検証のための確率双模倣2014

    • 著者名/発表者名
      久保田貴大, 角谷良彦, 加藤豪, 河野泰人, 櫻田英樹
    • 学会等名
      日本応用数理学会春の研究部会連合発表会
    • 発表場所
      京都大学, 京都府
    • データソース
      KAKENHI-PROJECT-24700006
  • [学会発表] Automated Verification of Equivalence on Quantum Cryptographic Protocols2013

    • 著者名/発表者名
      T. Kubota, Y. Kakutani, G. Kato, Y. Kawano, H. Sakurada
    • 学会等名
      Symbolic Computation in Software Science
    • 発表場所
      Castle of Hagenberg, Austria
    • データソース
      KAKENHI-PROJECT-24700006
  • [学会発表] Induction by Coinduction and Control Operators in Call-by-Name2013

    • 著者名/発表者名
      Y. Kakutani, D. Kimura
    • 学会等名
      Control Operators and their Semantics
    • 発表場所
      Eindhoven, Netherlands
    • データソース
      KAKENHI-PROJECT-24700006
  • [学会発表] Towards Quantum Pseudo-telepathic Game Semantics2013

    • 著者名/発表者名
      本多健太郎, 角谷良彦
    • 学会等名
      代数, 論理, 幾何と情報科学, 記号論理と情報科学
    • 発表場所
      京都大学, 京都府
    • データソース
      KAKENHI-PROJECT-24700006
  • [学会発表] A Tool for Formal Verification of Equivalence on Quantum Cryptographic Protocols2013

    • 著者名/発表者名
      久保田貴大, 角谷良彦, 加藤豪, 河野泰人, 櫻田英樹
    • 学会等名
      量子情報技術研究会
    • 発表場所
      北海道大学, 北海道
    • データソース
      KAKENHI-PROJECT-24700006
  • [学会発表] 量子暗号のためのプロトコル等価性検証ツール2013

    • 著者名/発表者名
      久保田貴大, 角谷良彦, 加藤豪, 河野泰人, 櫻田英樹
    • 学会等名
      日本応用数理学会春の研究部会連合発表会
    • 発表場所
      東洋大学, 東京
    • データソース
      KAKENHI-PROJECT-24700006
  • [学会発表] Automated Proof of Equivalence on Quantum Cryptographic Protocols2013

    • 著者名/発表者名
      久保田貴大, 角谷良彦, 加藤豪, 河野泰人, 櫻田英樹
    • 学会等名
      プログラミングおよびプログラミング言語
    • 発表場所
      東山温泉御宿東鳳, 会津若松
    • データソース
      KAKENHI-PROJECT-24700006
  • [学会発表] Application of a Process Calculus to Security Proofs of Quantum Protocols2012

    • 著者名/発表者名
      T. Kubota, Y. Kakutani, G. Kato, Y. Kawano, H. Sakurada
    • 学会等名
      Foundations of Computer Science in WORLDCOMP
    • 発表場所
      Las Vegas, USA
    • データソース
      KAKENHI-PROJECT-24700006
  • [学会発表] Observational Equivalence Using Schedulers for Quantum Processes

    • 著者名/発表者名
      安田和矢, 久保田貴大, 角谷良彦
    • 学会等名
      日本ソフトウェア科学会大会
    • 発表場所
      名古屋大学, 愛知県
    • 年月日
      2014-09-07 – 2014-09-10
    • データソース
      KAKENHI-PROJECT-24700006
  • [学会発表] A Language for Topological Quantum Computation Based on Duality (Poster)

    • 著者名/発表者名
      K. Honda, Y. Kakutani, K. Kumada
    • 学会等名
      Asian Symposium on Programming Languages and Systems
    • 発表場所
      National University of Singapore, Singapore
    • 年月日
      2014-11-17 – 2014-11-19
    • データソース
      KAKENHI-PROJECT-24700006
  • [学会発表] Observational Equivalence Using Schedulers for Quantum Processes

    • 著者名/発表者名
      K. Yasuda, T. Kubota, Y. Kakutani
    • 学会等名
      Quantum Physics and Logic
    • 発表場所
      Kyoto University, Kyoto
    • 年月日
      2014-06-04 – 2014-06-06
    • データソース
      KAKENHI-PROJECT-24700006
  • [学会発表] 量子力学から量子計算へ

    • 著者名/発表者名
      角谷良彦, 本多健太郎
    • 学会等名
      情報科学技技術フォーラム
    • 発表場所
      筑波大学, 茨城県
    • 年月日
      2014-09-03 – 2014-09-05
    • 招待講演
    • データソース
      KAKENHI-PROJECT-24700006

URL: 

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

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?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi