江口 直日
Naohi Eguchi
更新日: 2021/03/11
基本情報
- 所属
- 千葉大学 理学部 数学・情報数理学科 日本学術振興会特別研究員
- 学位
-
博士(学術)(神戸大学)
- J-GLOBAL ID
- 201201093033693542
- researchmap会員ID
- 7000000463
- 外部リンク
計算量のクラスに対する function algebra, 項書き換えシステムの derivational complexity などを研究しています.証明論では、特に順序数解析に興味を持っています.
研究キーワード
8経歴
8-
2013年4月 - 現在
-
2013年4月 - 2014年9月
-
2011年8月 - 2013年3月
-
2011年4月 - 2011年7月
-
2010年4月 - 2011年3月
-
2010年4月 - 2011年3月
-
2007年4月 - 2010年3月
-
2007年4月 - 2010年3月
学歴
2-
- 2010年
-
- 2010年
論文
4-
22ND INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS (RTA'11) 10 123-138 2011年 査読有り
-
PROCEEDINGS OF THE 10TH ASIAN LOGIC CONFERENCE 93-112 2010年 査読有り
-
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC 10(4) 2009年8月 査読有り
-
MATHEMATICAL LOGIC QUARTERLY 55(2) 212-224 2009年4月 査読有り
MISC
1-
Doctoral Dissertation, Kobe University 2010年3月
講演・口頭発表等
5-
22nd Rewriting Techniques and Applications (RTA 2011) 2011年6月
-
11th International Workshop on Termination (WST2010) 2010年7月
-
科学基礎論学会秋の研究例会 2008年11月 科学基礎論学会 招待有り
-
The 10th Asian Logic Conference 2008年9月
-
日本数学会2006年秋季総合分科会数学基礎論および歴史分科会 2006年9月