SEARCH
検索詳細
安東 祐希
文学部 哲学科
教授
Researchmap個人ページ
https://researchmap.jp/read0147017
経歴
■ 経歴
- 2023年04月 - 現在
法政大学 図書館長 (評議員) - 2005年04月 - 現在
法政大学文学部 教授 - 2021年04月 - 2023年03月
法政大学 文学部長 (評議員) - 2005年04月 - 2008年03月
法政大学 学生部長 (評議員) - 2005年04月 - 2008年03月
法政大学 学生部長 (評議員) - 2003年04月 - 2005年03月
法政大学文学部 助教授 - 2000年04月 - 2003年03月
法政大学第一教養部 助教授 - 2001年04月 - 2002年03月
フランス CNRS UMR7126 (在外研究) - 2000年04月 - 2001年03月
東京女子大学 文理学部 非常勤講師 - 2000年04月 - 2001年03月
東京工業大学 理学部 非常勤講師 - 1995年04月01日 - 2000年03月31日
法政大学第一教養部 専任講師 - 1995年04月 - 2000年03月
法政大学第一教養部 専任講師 - 1996年04月 - 1999年03月
東京工業大学 理学部 非常勤講師 - 1991年04月01日 - 1995年03月31日
法政大学第一教養部 兼任助手 - 1991年04月 - 1995年03月
法政大学第一教養部 兼任助手
研究活動情報
■ 論文
- Gentzen's unpublished normalization theorem and its successors
安東祐希
数理解析研究所講究録, 2018年08月 - Normal form theorem of natural deduction for modal logic S4
ANDOU Yuuki
数理解析研究所講究録, 2009年04月 - Structural reductions in natural deduction
ANDOU Yuuki
口頭発表, 2009年02月 - λρ計算の正規化定理について
安東祐希
口頭発表, 2005年10月 - A note on von Plato's general elimination
安東祐希
口頭発表, 2005年01月 - LKとNKにおける構造的縮約の対応について
安東祐希
口頭発表, 2004年09月 - 構造的縮約について
安東祐希
口頭発表, 2003年09月 - Church-Rosser property of a simple reduction for full first-order classical natural deduction
Y Andou
ANNALS OF PURE AND APPLIED LOGIC, 2003年02月, ［査読有り］ - Some correspondences of reduction-procedures between natural deduction and sequent calculus
ANDOU Yuuki
数理解析研究所講究録, 2003年01月 - 自然演繹体系の強正規化定理について
安東祐希
口頭発表, 2000年09月 - 形式的証明の一意性に関するある定理について
安東祐希
口頭発表, 1999年10月 - 古典自然演繹体系のチャーチ・ロッサー性について
安東祐希
口頭発表, 1999年09月 - A system of lambda-mu-calculus proper to the implicational fragment of classical natureal deduction with one conclusion
ANDOU Yuuki
数理解析研究所講究録, 1997年02月 - 古典論理自然演繹体系の標準化手続きについて
安東祐希
口頭発表, 1996年09月 - A normalization-procedure for the first order classical natural deduction with full logical symbols
ANDOU Yuuki
Tsukuba Journal of Mathematics, 1995年06月, ［査読有り］ - CR of a reduction for classical natural deduction
ANDOU Yuuki
数理解析研究所講究録, 1995年05月 - 第一階古典述語論理の自然演繹計算の標準化定理について
安東祐希
口頭発表, 1994年09月
- Gentzenの覚え書きに関する短評
安東祐希
法政大学文学部紀要, 2017年03月13日 - 数学
安東祐希、 池田宏一郎、倉田俊彦
法政大学通信教育部教科書, 2008年03月 - A note on general elimination rules
ANDOU Yuuki
法政大学文学部紀要, 2006年03月 - 新装版に寄せて
安東祐希
前原昭二『記号論理入門』日本評論社, 2005年12月 - A representation of essential reductions in sequent calculus (abstract)
ANDOU Yuuki
Bulletin of Symbolic Logic, 2005年06月 - A cut-elimination for LK corresponding with a normalization for NK (abstract)
ANDOU Yuuki
Bulletin of Symbolic Logic, 2004年06月 - Strong normalization of classical natural deduction (abstract)
ANDOU Yuuki
Bulletin of Symbolic Logic, 2001年03月 - Structural aspects and Church-Rosser property of classical natural deduction (abstract)
ANDOU Yuuki
Bulletin of Symbolic Logic, 2000年06月 - A canonical extension of Curry-Howard isomorphism to classical logic
ANDOU Yuuki
Anales WAIT'99, SADIO, 1999年09月, ［査読有り］
- On a Reduction-Procedure for Full First Order Classical Natural Deduction
ANDOU Yuuki, 単著
筑波大学博士論文, 1995年03月, 査読無し
