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
哲学演習（８）
数理論理学（言語と論理2）A
数理論理学（言語と論理2）B
詳細表示...
■
所属学協会
Association for Symbolic Logic 1999-現在
日本数学会 1994-現在
詳細表示...