河井 達治 (KAWAI, Tatsuji)助教
情報科学系, セキュリティ・ネットワーク領域, 情報科学研究科
◆学位
京都大学学士(理学)(2006), 北陸先端科学技術大学院大学修士(情報科学)(2012), 北陸先端科学技術大学院大学博士(情報科学)(2015)
◆職歴
: パドヴァ大学研究員(2016)
: 株式会社ネットワーク応用通信研究所研究員(2006), 日本学術振興会特別研究員(DC2)(北陸先端科学技術大学院大学)(2013), 北陸先端科学技術大学院大学研究員(2015)
◆専門分野
数学基礎

■研究業績

◆発表論文
Characterising Brouwer’s continuity by bar recursion on moduli of continuity
Makoto Fujiwara, Tatsuji Kawai
Archive for Mathematical Logic, -, 2020
A Logical Characterization of the Continuous Bar Induction
Makoto Fujiwara, Tatsuji Kawai
Knowledge, Proof and Dynamics, 25-33, 2020
Presenting de Groot duality of stably compact spaces.
Tatsuji Kawai
Theor. Comput. Sci., 823, 44-68, 2020
Equivalents of the finitary non-deterministic inductive definitions
Ayana Hirata, Hajime Ishihara, Tatsuji Kawai, Takako Nemoto
Annals of Pure and Applied Logic, 170, 10, 1256-1272, 2019
On the commutativity of the powerspace constructions
Matthew de Brecht, Tatsuji Kawai
Logical Methods in Computer Science, 15, 3, 1-25, 2019

■担当講義

Information Processing Theory(E), Software Design Methodology, 情報処理論(E), ソフトウェア設計論