慶應義塾研究者情報データベース

KOARA（リポジトリ）収録論文等 【 表示 ／ 非表示 】

KOARA（リポジトリ）収録論文等 【 表示 ／ 非表示 】

• 哲学第151集編集後記

  峯島, 宏次

  哲學 （三田哲學會)   （ 151 ） 268 - 268 2023年03月

  ISSN  05632099

• 哲学第149集編集後記

  峯島, 宏次

  哲學 （三田哲學會)   （ 149 ） 191 - 191 2022年03月

  ISSN  05632099

• 哲学第146集編集後記

  峯島, 宏次

  哲學 （三田哲學會)   （ 146 ） 193 - 194 2021年03月

  ISSN  05632099

• 哲学第147集編集後記

  峯島, 宏次

  哲學 （三田哲學會)   （ 147 ） 172 - 172 2021年03月

  ISSN  05632099

• 証明論と図形論理の手法に基づく自然言語推論の統合的分析

  峯島, 宏次

  科学研究費補助金研究成果報告書 2020年

全件表示 >>

競争的研究費の研究課題 【 表示 ／ 非表示 】

競争的研究費の研究課題 【 表示 ／ 非表示 】

• 証明論と型理論に基づく自然言語の形式意味論の新しい枠組み

  2021年04月

  -

  2024年03月

  文部科学省・日本学術振興会, 科学研究費助成事業, 峯島 宏次, 基盤研究(C), 補助金,  研究代表者

• 証明論と図形論理の手法に基づく自然言語推論の統合的分析

  2017年04月

  -

  2022年03月

  文部科学省・日本学術振興会, 科学研究費助成事業, 若手研究(B), 補助金,  研究代表者

担当授業科目 【 表示 ／ 非表示 】

担当授業科目 【 表示 ／ 非表示 】

• 人文学研究の方法論Ⅱ

  2024年度

• 哲学特殊研究演習Ⅳ

  2024年度

• 哲学特殊研究演習Ⅲ

  2024年度

• 論理学入門Ⅱ

  2024年度

• 論理学入門Ⅰ

  2024年度

全件表示 >>