English
法政大学 
文学部 
哲学科 

教授 
安東 祐希 
アンドウ ユウキ 
ANDOU Yuuki 



出力する項目だけ表示しています。
更新日:2019/10/11 

経歴
法政大学第一教養部 専任講師  1995/04/01-2000/03/31 
法政大学第一教養部 助教授  2000/04/01-2003/03/31 
法政大学文学部 助教授  2003/04/01-2005/03/31 
法政大学文学部 教授  2005/04/01-現在 
  法政大学第一教養部 兼任助手  1991/04/01-1995/03/31 
  東京工業大学 理学部 非常勤講師  1996/04/01-1999/03/31 
  東京工業大学 理学部 非常勤講師  2000/04/01-2001/03/31 
  東京女子大学 文理学部 非常勤講師  2000/04/01-2001/03/31 
  フランス CNRS UMR7126 (在外研究)  2001/04/01-2002/03/31 
  法政大学 学生部長 (評議員)  2005/04/01-2008/03/31 

学歴
東京工業大学  理学部  数学科  1988/03  卒業 
筑波大学  数学研究科  数学専攻  博士後期  1995/03  修了 

学位
博士(数学)  筑波大学  1995/03 

研究分野
数理論理学(証明論) 

研究キーワード
数理論理学 
証明論 

著書
On a Reduction-Procedure for Full First Order Classical Natural Deduction  ANDOU Yuuki  筑波大学博士論文  1995/03 
詳細表示...

論文
研究論文(大学,研究機関紀要)  単著  Gentzen's unpublished normalization theorem and its successors  安東祐希  数理解析研究所講究録  2083, 146-149  2018/08  1880-2818 
(MISC)会議報告等  単著  Gentzenの覚え書きに関する短評  安東祐希  法政大学文学部紀要  76, 61-65  2017/03/13  0441-2486 
(MISC)速報,短報,研究ノート等(大学,研究機関紀要)  単著  ゲンツェンの論理学-基本定理と無矛盾性証明-  安東祐希  法政哲学  6, 1-14  2010/06 
研究論文(大学,研究機関紀要)  単著  Normal form theorem of natural deduction for modal logic S4  ANDOU Yuuki  数理解析研究所講究録  1635, 13-15  2009/04 
(MISC)会議報告等  単著  A note on modal logic S4 in natural deduction  ANDOU Yuuki  法政大学文学部紀要  58, 15-18  2009/03 
詳細表示...

担当授業科目
論理学概論1 
論理学概論2 
哲学演習(8) 
数理論理学(言語と論理2)A 
数理論理学(言語と論理2)B 
詳細表示...

所属学協会
Association for Symbolic Logic  1999-現在 
日本数学会  1994-現在 
詳細表示...