terui
このタグの解説について
この解説文は、すでに終了したサービス「はてなキーワード」内で有志のユーザーが作成・編集した内容に基づいています。その正確性や網羅性をはてなが保証するものではありません。問題のある記述を発見した場合には、お問い合わせフォームよりご連絡ください。関連ブログ
ネットで話題
もっと見る7ブックマークHomepage of Kazushige TERUIAddress: 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...
www.kurims.kyoto-u.ac.jp
www.kurims.kyoto-u.ac.jp
github.com