1990 Fiscal Year Annual Research Report
| Project/Area Number |
02640168
|
|---|
| Research Institution | Shizuoka University |
|---|
Principal Investigator |
梅沢 敏郎 静岡大学, 理学部, 教授 (40021919)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
白井 古希男 静岡大学, 理学部, 助教授 (70077915)
千葉 慶子 静岡大学, 理学部, 助教授 (90022227)
佐藤 宏樹 静岡大学, 理学部, 教授 (40022222)
浅井 哲也 静岡大学, 理学部, 教授 (50022637)
近藤 亮司 静岡大学, 理学部, 教授 (00021931)
|
|---|
| Keywords | intermediali logic / Normality / paracompactness / collecliionwire mormality / inverse limit / contact process / oriented percolation |
|---|
| Research Abstract |
1.高階述語論理に関し非古典的公理にもとづいて研究を行い,第1階述語論理において成立した論理的諸体系の間の包含関係が高階においても同様に成立することを証明した。このことは、タイプ理論の枠内における集合概念が論理的諸関係に大きくは影響しないことを示す。
2.複素n次元空間内の単位球上のマルコフ過程で、双解析的写像全体の群(メ-ビウス群)の作用で不変なものの形を決定し、そのようなマルコフ過程を加法過程による確率微分方程式の解として構成した。
3.(1)種数2のSchottky空間およびその境界の形状、(2)purely hyperbolic groupsに対するJφrgensewの不等式、の2点を考察した。
4.逆極限空間の正規性、パラコンパクト性、族正規性等について、いくつかの結果を得た。
5.Harris T.E.(1974)によって導入されたcontact processはd次元の領域の生物の拡がる様子を記述するモデルである。離散時助変数のcontact processをζ_nCZ^dと書くとき、パラメ-タ0<θ≦1によりP(ζ_n≠φfor all n)>0であるθの範囲は区間となり、区間の左端θ_cはcritical vabulと呼ばれる。θ_cを求めることは未解決である。この研究では,P(ζ_n≠φ for all n)を評価する方法を得た。これはこのprocessと関係のあるoriented percolationについてBlease(1977),Esam& De'Bell(1981)のものと同様の方法でcontact processについてθの級数展開を求める方法である。これによりcritical value θ_cについても近似的評価を得ることができる。
6.高次元楕円的デデキント和に関して研究の進展があった。
|
-
[Publications] Umezawa,Toshio: "An extension of intermediate predicate logics to higher order" Japanese Journal Mathematics. 17. (1991)
-
[Publications] Kondo,Ryouji: "Invariunt Marbor broceses in the unit ball of C^n" Reports of Faculty of Science,Shizuoka University. 24. 1-18 (1990)
-
[Publications] Sato,Hiroki: "Classical Scholthy groups of real type of genus two,II" Tohoku Mathematical Journal.
-
[Publications] Chiba,Keiko: "Normality of inverse limit" Mathematica Japonica. 35. 959-970 (1990)
