Rchr
J-GLOBAL ID：201101014278588537
Update date: Jan. 19, 2023
Kakutani Yoshihiko
Kakutani Yoshihiko
Contact this researcher
You can send email directly to the researcher.
Affiliation and department：
The University of Tokyo
About The University of Tokyo
Search "The University of Tokyo"
Detailed information
Research field (3)：
Applied mathematics and statistics
, Basic mathematics
, Information theory
Research keywords (8)：
ラムダ計算
, 数理論理学
, 型理論
, 量子計算
, プログラミング言語
, 圏論
, 意味論
, 論理学
Papers (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
ｍore...
MISC (1)：
本多健太郎, 角谷良彦, 久保田貴洋. 猫にはわかる量子プログラミング. コンピュータソフトウェア. 2014. 31. 4. 9-20
Books (1)：
人工知能学大事典
共立出版 2017
Education (2)：
1999 - 2003 Kyoto University Research Institute for Mathematical Sciences
1995 - 1999 Kyoto University Faculty of Science
Professional career (1)：
Ph.D
Work history (4)：
2016/12 - 2018/08 University of Tokyo Department of Computer Science Project Lecturer
2007/04 - 2016/11 University of Tokyo Department of Computer Science Assistant Professor
2004/03 - 2007/03 University of Tokyo Department of Computer Science Research Associate
2003/04 - 2004/02 Japan Society for the Promotion of Science Research Fellow
Committee career (1)：
2017/03 - 現在 情報処理学会 情報処理教育委員会 情報入試委員会 委員
Awards (3)：
2020/03 - 情報処理学会 山下記念研究賞
2002/06 - 日本ソフトウェア科学会 高橋奨励賞
2001/04 - European Association for Theoretical Computer Science Best Theoretical Paper Award at ETAPS 2001
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in
researchmap
.
For details, see here
.
Return to Previous Page
TOP
BOTTOM
