Researchers Information System

日本語に切り替えるswitch to english

Arisaka, Ryuta

Graduate School of Informatics, Department of Social Informatics Assistant Professor

Arisaka, Ryuta
list
    Last Updated :2022/05/14

    Basic Information

    Faculty

    • 工学部

    Academic Degree

    • M.S.(University of Manchester)
    • Ph.D.(Teesside University)

    ID,URL

    researchmap URL

    list
      Last Updated :2022/05/14

      Research

      External funds: Kakenhi

      • 議論の形式検証を実現する論理的手法の研究
        Grant-in-Aid for Scientific Research (C)
        Basic Section 61030:Intelligent informatics-related
        Kyoto University
        蟻坂 竜大
        From 01 Apr. 2021, To 31 Mar. 2024, Granted
        自動証明;プログラム検証;数理議論;信用;separation logic
      list
        Last Updated :2022/05/14

        Education

        Teaching subject(s)

        • From Apr. 2021, To Mar. 2022
          Practice of Information Systems (Jp)
          Spring, 情報学研究科
        • From Apr. 2021, To Mar. 2022
          Practice of Information Systems (En)
          Spring, 情報学研究科
        • From Apr. 2021, To Mar. 2022
          Computer Science Laboratory and Exercise 1
          Spring, 工学部
        • From Apr. 2021, To Mar. 2022
          Computer Science Laboratory and Exercise 1
          Spring, 工学部
        • From Apr. 2021, To Mar. 2022
          Computer Science Laboratory and Exercise 2
          Fall, 工学部
        list
          Last Updated :2022/05/14

          Administration

          Faculty management (title, position)

          • From 01 Apr. 2021, To 31 Mar. 2022
            情報セキュリティ委員会技術責任者
          • From 01 Apr. 2021, To 31 Mar. 2022
            情報セキュリティ作業委員会委員
          • From 01 Apr. 2021, To 31 Mar. 2022
            情報セキュリティWG委員
          • From 01 Apr. 2021, To 31 Mar. 2022
            計算機小委員会委員
          • From 01 Apr. 2021, To 31 Mar. 2022
            システム運用WG委員

          ページ上部へ戻る