教育研究活動データベース

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

蟻坂 竜大

アリサカ リュウタ

情報学研究科 社会情報学専攻社会情報ネットワーク講座 助教

蟻坂 竜大
list
    Last Updated :2022/06/24

    基本情報

    学部兼担

    • 工学部

    学位

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

    ID,URL

    researchmap URL

    list
      Last Updated :2022/06/24

      研究

      外部資金:科学研究費補助金

      • 議論の形式検証を実現する論理的手法の研究
        基盤研究(C)
        小区分61030:知能情報学関連
        京都大学
        蟻坂 竜大
        自 2021年04月01日, 至 2024年03月31日, 交付
        自動証明;プログラム検証;数理議論;信用;separation logic
      list
        Last Updated :2022/06/24

        教育

        担当科目

        • 自 2022年04月01日, 至 2023年03月31日
          計算機科学実験及演習1
          9138, 前期, 工学部, 2
        • 自 2022年04月01日, 至 2023年03月31日
          Practice of Information Systems
          3221, 前期, 情報学研究科, 2
        • 自 2021年04月, 至 2022年03月
          情報システム論実習(日本語)
          前期, 情報学研究科
        • 自 2021年04月, 至 2022年03月
          情報システム論実習(英語)
          前期, 情報学研究科
        • 自 2021年04月, 至 2022年03月
          計算機科学実験及演習1(H26以前入学者)
          前期, 工学部
        • 自 2021年04月, 至 2022年03月
          計算機科学実験及演習1(H27以降入学者)
          前期, 工学部
        • 自 2021年04月, 至 2022年03月
          計算機科学実験及演習2(計算機)
          後期, 工学部
        list
          Last Updated :2022/06/24

          大学運営

          部局運営(役職等)

          • 自 2021年04月01日, 至 2022年03月31日
            情報セキュリティ委員会技術責任者
          • 自 2021年04月01日, 至 2022年03月31日
            情報セキュリティ作業委員会委員
          • 自 2021年04月01日, 至 2022年03月31日
            情報セキュリティWG委員
          • 自 2021年04月01日, 至 2022年03月31日
            計算機小委員会委員
          • 自 2021年04月01日, 至 2022年03月31日
            システム運用WG委員

          ページ上部へ戻る