江口直日

Eguchi Naohi

所属機関・部署：
職名：日本学術振興会特別研究員
ホームページURL (2件)： http://www.math.s.chiba-u.ac.jp/~neguchi/ , http://www.math.s.chiba-u.ac.jp/~neguchi/en/

研究分野 (2件)：応用数学、統計数学 , 数学基礎

研究キーワード (8件)： computational complexity , term rewriting , 項書き換えシステム , mathematical logic , proof theory , 数理論理学 , 計算量理論 , 証明論

論文 (4件)：

MISC (1件)：

Naohi Eguchi. Implicit Characterizations of Complexity Classes of Functions. Doctoral Dissertation, Kobe University. 2010

講演・口頭発表等 (5件)：

A Path Order for Rewrite Systems that Compute Exponential Time Functions
(22nd Rewriting Techniques and Applications (RTA 2011) 2011)
A New Path Order for Exponential Time
(11th International Workshop on Termination (WST2010) 2010)
算術における可述性と現実計算可能性
(科学基礎論学会秋の研究例会 2008)
A Term-rewriting Characterization of PSPACE
(The 10th Asian Logic Conference 2008)
Safe nested recursion を使った EXPTIME 関数の特徴づけ
(日本数学会2006年秋季総合分科会数学基礎論および歴史分科会 2006)

学歴 (2件)：

学位 (1件)：

経歴 (8件)：

全件表示

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

江口 直日