Address: Kitashirakawa Oiwakecho, Sakyo-ku, Kyoto 606-8502, JAPAN. Research Interest Nonclassical Logics and Logics in Computer Science: Linear Logic, Substructural Logics Lambda Calculus and Type Theory Implicit Computational Complexity 講義資料等 コンピュータサイエンス基礎(2020年度) 数理論理学I(命題論理) 数理論理学II(不完全性定理) コンピュータにできること・できないこと 『数学セミナー』2015年11月号掲載記事の草稿 NASH村とスライム退治:整列擬順序入門 「代数学入門」入門としての普遍代数学 直観主義論理への招待 著書(一般向け読み
東京大学 大学院情報理工学系研究科 コンピュータ科学専攻 新着ニュース 服部さんの修士論文の成果等を基にした論文 Gradual Tensor Shape Checking が国際会議 ESOP 2023 に採択されました。 棚橋さんの修士論文の成果等を基にした論文 HFLz Validity Checking for Automated Program Verification が国際会議 POPL 2023 に採択されました。 向井さんの卒業論文の成果等を基にした論文 Parameterized Recursive Refinement Types for Automated Program Verification が国際会議 SAS 2022 に採択されました。 松下さんの修士論文の成果をまとめた論文 RustHornBelt: A Semantic Foundation for
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く