研究者詳細
このページはJavascriptを使用しています。すべての機能を使用するためにはJavascript を有効にする必要があります。
教職員基本情報
KOARA（リポジトリ）収録論文等
担当授業科目
2026/07/17 更新
田中 大海 （ タナカ ヒロミ ）
Tanaka, Hiromi
所属（所属キャンパス）
研究所・センター等 グローバルリサーチインスティテュート （ 三田 ）
職名
研究員
Nonelementary computational complexity of substructural logic (審査報告)
田中, 大海
（慶應義塾大学大学院文学研究科） 2025年
Nonelementary computational complexity of substructural logic (本文)
Nonelementary computational complexity of substructural logic (要旨)
現代論理学の諸問題Ⅱ
2026年度
現代論理学の諸問題Ⅰ
