|
河野友亮 研究者情報
姓 |
河野 |
Kawano |
名 |
友亮 |
Tomoaki |
所属組織 |
|
職位 / 称号 |
|
ORCID ID |
|
教育担当 : 主担当 |
|
研究担当 |
|
研究者プロフィール |
|
講義ノート |
TokyoTech Open Course Ware |
学位論文 |
量子論理における含意とシークエント計算の研究,
論文要旨,
博士(理学),
東京工業大学,
2018/09/20,
Studies on Implications and Sequent Calculi for Quantum Logic,
Thesis,
Doctor (Science),
Tokyo Institute of Technology,
2018/09/20,
Studies on Implications and Sequent Calculi for Quantum Logic,
Exam Summary,
Doctor (Science),
Tokyo Institute of Technology,
2018/09/20,
|
|