研究者

J-GLOBAL ID：201101014278588537 更新日: 2023年01月19日

角谷良彦

Kakutani Yoshihiko

所属機関・部署：
職名：助教(退職)

研究分野 (3件)：応用数学、統計数学 , 数学基礎 , 情報学基礎論

研究キーワード (8件)：ラムダ計算 , 数理論理学 , 型理論 , 量子計算 , プログラミング言語 , 圏論 , 意味論 , 論理学

論文 (18件)：

Y. Kakutani, Y. Nishiwaki, Y. Murase. Dual-context Modal Logic as Left Adjoint of Fitch-style Modal Logic. Journal of Information Processing. 2019. 27. 77-86
Y. Nishiwaki, Y. Kakutani, Y. Murase. Modality via Iterated Enrichment. Mathematical Foundations of Programming Semantics 2018 (Electronic Notes in Theoretical Computer Science). 2018. 341. 297-320
T. Kubota, Y. Kakutani, G. Kato, Y. Kawano, H. Sakurada. Semi-Automated Verification of Security Proofs of Quantum Cryptographic Protocols. Journal of Symbolic Computation. 2015. 73. 192-220
K. Yasuda, T. Kubota, Y. Kakutani. Observational Equivalence Using Schedulers for Quantum Processes. Quantum Physics and Logic 2014 (Electronic Proceedings in Theoretical Computer Science). 2014. 172. 191-203
T. Kubota, Y. Kakutani, G. Kato, Y. Kawano, H. Sakurada. Automated Verification of Equivalence on Quantum Cryptographic Protocols. Symbolic Computation in Software Science 2013 (EasyChair Proceedings in Computing). 2013. 15. 64-69

もっと見る

MISC (1件)：

本多健太郎, 角谷良彦, 久保田貴洋. 猫にはわかる量子プログラミング. コンピュータソフトウェア. 2014. 31. 4. 9-20

書籍 (1件)：

人工知能学大事典
共立出版 2017

学歴 (2件)：

1999 - 2003 京都大学大学院理学研究科数学・数理解析専攻
1995 - 1999 京都大学理学部

学位 (1件)：

博士(理学) (京都大学)

経歴 (4件)：

2016/12 - 2018/08 東京大学情報理工学系研究科コンピュータ科学専攻特任講師(大学入学者選抜改革推進委託事業・実データで学ぶ人工知能講座)
2007/04 - 2016/11 東京大学情報理工学系研究科コンピュータ科学専攻助教
2004/03 - 2007/03 東京大学情報理工学系研究科コンピュータ科学専攻助手
2003/04 - 2004/02 日本学術振興会特別研究員

委員歴 (1件)：

2017/03 - 現在情報処理学会情報処理教育委員会情報入試委員会委員

受賞 (3件)：

2020/03 - 情報処理学会山下記念研究賞
2002/06 - 日本ソフトウェア科学会高橋奨励賞
2001/04 - European Association for Theoretical Computer Science Best Theoretical Paper Award at ETAPS 2001

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM