Login
Search for faculty members
Search
Advanced Search
Search by organization
Arisaka, Ryuta
Graduate School of Informatics, Department of Social Informatics Assistant Professor
Basic Information
Research
Education
Administration
list
Last Updated :2022/05/14
Basic Information
Faculty
工学部
Academic Degree
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/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
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-21K12028/
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委員
ページ上部へ戻る