English
法政大学
文学部
哲学科
教授
安東 祐希
アンドウ ユウキ
ANDOU Yuuki
出力する項目だけ表示しています。
更新日:2020/10/30
■
経歴
法政大学第一教養部 専任講師 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)
集合論(言語と論理3)A
集合論(言語と論理3)B
詳細表示...
■
所属学協会
Association for Symbolic Logic 1999-現在
日本数学会 1994-現在
詳細表示...