ANDOU Yuuki

J-GLOBAL         Last updated: Nov 15, 2018 at 03:39
 
Avatar
Name
ANDOU Yuuki
Affiliation
Hosei University
Section
Faculty of Letters, Department of Philosophy
Job title
Professor
Research funding number
40277687

Research Interests

 
 

Research Areas

 
 

Academic & Professional Experience

 
Apr 1995
 - 
Mar 2000
法政大学第一教養部 専任講師
 
Apr 2000
 - 
Mar 2003
法政大学第一教養部 助教授
 
Apr 2003
 - 
Mar 2005
法政大学文学部 助教授
 
Apr 2005
   
 
法政大学文学部 教授
 
Apr 1991
 - 
Mar 1995
  法政大学第一教養部 兼任助手
 

Education

 
Apr 1984
 - 
Mar 1988
Department of Mathematics, Faculty of Science, Tokyo Institute of Technology
 
Apr 1988
 - 
Mar 1995
数学専攻, Graduate School, Division of Mathematics, University of Tsukuba
 

Published Papers

 
Normal form theorem of natural deduction for modal logic S4
ANDOU Yuuki
RIMS-Kokyuroku   1635 13-15   Apr 2009
Structural reductions in natural deduction
ANDOU Yuuki
口頭発表      Feb 2009
Seminar in Logic and Philosophy of Mathematics, Kobe
λρ計算の正規化定理について
安東祐希
口頭発表      Oct 2005
証明論研究会2005
A note on von Plato's general elimination
安東祐希
口頭発表      Jan 2005
数理解析研究所短期共同研究「証明論と計算論」
LKとNKにおける構造的縮約の対応について
安東祐希
口頭発表      Sep 2004
日本数学会(数学基礎論および歴史分科会)

Misc

 
Gentzen's Logic - Hauptsatz and Consistency Proof
ANDOU Yuuki
Bulletin of Hosei Society for Philosophy   (6) 1-14   Jun 2010
A note on modal logic S4 in natural deduction
ANDOU Yuuki
Bulletin of the Faculty of Letters, Hosei University   58 15-18   Mar 2009
数学
安東祐希、 池田宏一郎、倉田俊彦
法政大学通信教育部教科書   50-145, 258-288   Mar 2008
全6章のうち、第2章「代数系」および第5章「組み合わせ数学」を担当
A note on general elimination rules
ANDOU Yuuki
Bulletin of the Faculty of Letters, Hosei University   52 15-18   Mar 2006
新装版に寄せて
安東祐希
前原昭二『記号論理入門』日本評論社   193-200   Dec 2005
解説文を新装版に追加

Books etc

 
On a Reduction-Procedure for Full First Order Classical Natural Deduction
ANDOU Yuuki
Doctoral Thesis (University of Tsukuba)   Mar 1995