Connexive logicに関する研究

詳細情報

科研費研究課題/領域番号 24K21344 [ KAKENで見る ]
種目 挑戦的研究(萌芽)
採択年度 2024
代表者氏名 大森 仁
採択時の代表者所属 東北大学 情報科学研究科 准教授
代表者の科研費研究者番号 50771036
科研費審査区分(中区分) 1 (思想、芸術)
分析データ 推定科研費審査区分(中区分) 1 (思想、芸術)
分析データ クラスタ 1 (データサイエンス/情報数学・離散数学・数値計算)