2005 Fiscal Year Annual Research Report
| Project/Area Number |
17540115
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Research Institution | Kobe University |
|---|
Principal Investigator |
新井 敏康 神戸大学, 自然科学研究科, 教授 (40193049)
|
|---|
| Keywords | イプシロン代入法 |
|---|
| Research Abstract |
自然数上の繰り返しのない単調帰納的定義についての理論に対してイプシロン代入法を以前に自分でつくっておいたが、それを基にして帰納的マーロ順序数までの集合論と同等であることを以前に自身で示しておいた非単調帰納的定義についてイプシロン代入法を開発し、その妥当性を証明した。すなわち、その停止性を当該の手製の帰納的順序数系の整礎性により示した。
また日本数学会秋季賞受賞に伴う論説を「数学」に寄稿した。
その他の成果として、多項式時間で計算できる関数のクラスと丁度一致する項書き換え系上の順序POPをGerg Moser(Insbruck U)と共同でつくり、4月に5th International Workshop on Reduction Strategies in Rewriting and Programmingにおいてと、12月にMoserがその成果をFoundations of Software Technology and Theoretical Computer Science : 25th International Conferenceにおいてそれぞれ発表した。
海外での発表と討論として、7月にシンガポールで開催されたAsian Mathematical Conferenceで招待講演をし、また2月にStanford大学とCalifornia大学Berkeley校において講演をした。
|
