Login
京都大学の教員等を検索
検索
詳細条件で検索
組織別に探す
蟻坂 竜大
アリサカ リュウタ
情報学研究科 社会情報学専攻社会情報ネットワーク講座 助教
基本情報
研究
教育
大学運営
list
Last Updated :2022/06/24
基本情報
学部兼担
工学部
学位
M.S.(University of Manchester)
Ph.D.(Teesside University)
ID,URL
J-Global ID
202001001930745971
researchmap URL
https://researchmap.jp/ryutaa
list
Last Updated :2022/06/24
研究
外部資金:科学研究費補助金
議論の形式検証を実現する論理的手法の研究
基盤研究(C)
小区分61030:知能情報学関連
京都大学
蟻坂 竜大
自 2021年04月01日
,
至 2024年03月31日
, 交付
自動証明;プログラム検証;数理議論;信用;separation logic
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-21K12028/
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委員
ページ上部へ戻る