研究者
J-GLOBAL ID：200901041387992584   更新日: 2024年02月14日

安東 祐希

アンドウ ユウキ | Andou Yuuki
所属機関・部署：
法政大学 文学部哲学科

法政大学 文学部哲学科 について


職名： 教授
研究分野 (1件)： 数理解析学
研究キーワード (2件)： 証明論 ,  数理論理学
論文 (17件)：
  • 安東祐希. Gentzen's unpublished normalization theorem and its successors. 数理解析研究所講究録. 2018. 2083. 146-149
  • ANDOU Yuuki. Normal form theorem of natural deduction for modal logic S4. 数理解析研究所講究録. 2009. 1635. 13-15
  • ANDOU Yuuki. Structural reductions in natural deduction. 口頭発表. 2009
  • 安東祐希. λρ計算の正規化定理について. 口頭発表. 2005
  • 安東祐希. A note on von Plato's general elimination. 口頭発表. 2005
もっと見る
MISC (13件)：
  • 安東祐希. Gentzenの覚え書きに関する短評. 法政大学文学部紀要. 2017. 76. 61-65
  • 安東祐希. ゲンツェンの論理学-基本定理と無矛盾性証明-. 法政哲学. 2010. 6. 1-14
  • ANDOU Yuuki. A note on modal logic S4 in natural deduction. 法政大学文学部紀要. 2009. 58. 58. 15-18
  • 安東祐希、 池田宏一郎、倉田俊彦. 数学. 法政大学通信教育部教科書. 2008. 50-145, 258-288
  • ANDOU Yuuki. A note on general elimination rules. 法政大学文学部紀要. 2006. 52. 15-18
もっと見る
書籍 (1件)：
  • On a Reduction-Procedure for Full First Order Classical Natural Deduction
    筑波大学博士論文 1995
学歴 (2件)：
  • 1988 - 1995 筑波大学 数学研究科 数学専攻
  • 1984 - 1988 東京工業大学 理学部 数学科
学位 (1件)：
  • 博士(数学) (筑波大学)
経歴 (15件)：
  • 2023/04 - 現在 法政大学 図書館長 (評議員)
  • 2005/04 - 現在 法政大学文学部 教授
  • 2021/04 - 2023/03 法政大学 文学部長 (評議員)
  • 2005/04 - 2008/03 法政大学 学生部長 (評議員)
  • 2005/04 - 2008/03 法政大学 学生部長 (評議員)
全件表示
所属学会 (2件)：
Association for Symbolic Logic ,  日本数学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM