|
（最終更新日：2022-06-16 10:57:57）
|
■ メールアドレス
|
■ 学歴
| 1. |
2022/03 |
京都大学大学院 情報学研究科 博士後期課程 研究指導認定退学 |
| 2. |
2014/04～2016/09 |
京都大学大学院 情報学研究科 通信情報システム専攻 修士課程修了 情報学修士 |
|
■ 専門分野
| 情報学基礎論, 数学基礎 （キーワード：プログラミング言語理論、型理論、数理論理学）
|
|
■ 所属学会
|
1. |
2016/05～ |
応用哲学会 |
|
2. |
2014/08～ |
日本ソフトウェア科学会 |
|
■ 論文
|
1.
|
2019/06
|
学術論文
|
「A Linear-Logical Reconstruction of Intuitionistic Modal Logic S4.（査読付）」 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019) (Article No. 20):1-20：24 （共著）
|
|
2.
|
2017/09
|
学術論文
|
「A Reconstruction of Ex Falso Quodlibet via Quasi-Multiple-Conclusion Natural Deduction. （査読付）」 6th International Workshop on Logic, Rationality and Interaction. (LORI) 2017 554-569 （共著）
|
|
3.
|
2018/08
|
学術論文
|
「A Higher-arity Sequent Calculus for Model Linear Logic.」 数理解析研究所講究録 2083:76-87 （共著）
|
|
■ 学会発表
| 1. |
2019/06/07 |
［学会発表］ An extended SECD machine with a first-class macro mechanism.（情報処理学会プログラミング研究会 第124回プログラミング研究発表会（名古屋）） |
| 2. |
2019/06/28 |
［学会発表］ A Linear-logical Reconstruction of Intuitionistic Modal Logic S4.（FSCD 2019 （ドルトムント、ドイツ）） |
| 3. |
2018/03/08 |
［学会発表］ On a computational interpretation of Sequent calculus for modal logic S4.（Second Workshop on Mathematical Logic and its Application （金沢）） |
| 4. |
2017/09/12 |
［学会発表］ A Reconstruction of Ex Falso Quodlibet via Quasi-Multiple-Conclusion Natural Deduction.（LORI 2017 （札幌）） |
|
■ 受賞学術賞
| 1. |
2020/07 |
情報処理学会プロラミング研究会 情報処理学会コンピュータサイエンス領域奨励賞 (An extended SECD machine with a first-class macro mechanism) |
|
