基本情報

学部兼担

• 工学部

学位

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

ID,URL

• J-Global ID

  202001001930745971

researchmap URL

• https://researchmap.jp/ryutaa

研究

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

• 議論の形式検証を実現する論理的手法の研究

  基盤研究(C)

  小区分61030:知能情報学関連

  京都大学

  蟻坂 竜大

  自 2021年04月01日, 至 2024年03月31日, 交付

  自動証明;プログラム検証;数理議論;信用;separation logic

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-21K12028/

教育

担当科目

• 自 2022年04月01日, 至 2023年03月31日

  計算機科学実験及演習１

  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月

  計算機科学実験及演習１（H26以前入学者）

  前期, 工学部
• 自 2021年04月, 至 2022年03月

  計算機科学実験及演習１（H27以降入学者）

  前期, 工学部
• 自 2021年04月, 至 2022年03月

  計算機科学実験及演習２（計算機）

  後期, 工学部

大学運営

部局運営(役職等)

• 自 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委員