ARISAKA Ryuta 蟻坂竜大

… Alternative Names

蟻坂竜大アリサカリュウタ

Less

Researcher Number	00774580
Other IDs	https://orcid.org/0000-0003-3203-1517
Affiliation (Current)	2024: 京都大学, 情報学研究科, 講師
Affiliation (based on the past Project Information) *help	2021 – 2022: 京都大学, 情報学研究科, 助教
Review Section/Research Field	Principal Investigator Basic Section 61030:Intelligent informatics-related
Keywords	Principal Investigator separation logic / 信用 / プログラム検証 / 自動証明 / 形式検証 / 議論進行サポート / 数理議論 / 議論検証 / 詭弁検証

議論の形式検証を実現する論理的手法の研究Principal Investigator
- Principal Investigator
  
  蟻坂竜大
- Project Period (FY)
  2021 – 2023
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 61030:Intelligent informatics-related
- Research Institution
  Kyoto University

All Journal Article

[Journal Article] Theme Aspect Argumentation Model for Handling Fallacies2022
- Author(s)
  Ryuta Arisaka
- Journal Title
  
  arXiv
  
  Volume: -
- Open Access
- Data Source
  KAKENHI-PROJECT-21K12028

1. 伊藤孝行 (50333555)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
2. 川本裕輔 (60760006)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results