1990 Fiscal Year Annual Research Report
| Project/Area Number |
02640178
|
|---|
| Research Institution | Kyushu University |
|---|
Principal Investigator |
古川 長太 九州大学, 理学部, 教授 (50037165)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
大塚 寛 九州大学, 理学部, 助手 (30203839)
柳川 尭 九州大学, 理学部, 助教授 (80029488)
佐藤 坦 九州大学, 理学部, 助教授 (30037254)
河原 康雄 九州大学, 理学部, 助教授 (90091181)
藤野 精一 九州大学, 理学部, 教授 (20037146)
|
|---|
| Keywords | 最適化 / 非線形方程式 / アルゴリズム / 加法的マルチンゲ-ル / 準不変測度 / セルオ-トマトン / 並列処理機構 / λーcalculus |
|---|
| Research Abstract |
古川は,自己の開発したMax型関数の最大化アルゴリズムを使って,微分不可能項をもつ非線形連立方程式を数値的に解く方法を考案し,従来全く解く手段を見出せなかったある一群の非線型方程式に対して,世界で初めて一つの解法とそのアルゴリズムを与えることに成功した。大型計算機による数値実験の結果も,ニュ-トン法が適用できない非線形連立方程式に対して古川の方法が極めて有効であることを示している。今回とり扱った一群の非線形方程式より更に複雑な非線形方程式に対しても,本研究において得られたアルゴリズムを拡張することによって,新たな解法を導出する可能性を見出すことが出来た。これについては,今後の研究に待つことにする。
佐藤は,加法的マルチンゲ-ル(M_n,F_n)でM_n+1〉0の場合に,M_nとその指数マルチンゲ-ルε(M_n)の一様可積分性が一致することを示し,さらにこの結果を連続時間のマルチンゲ-ルに拡張した。
洞は,無限直積型の可換Lie群上の準不変測度の研究として,このような群上の測度を絶対連続に保つ群作用全体のなす集合の構造を調べた。
藤野は,合同反復模型の族を定義し,この族の特性,分類について調べた。この模型は並列処理機構の簡単な場合を含んでいる。
河原は,計算機による大量の数値実験に基づく帰納的推論の結果として藤野が提出した沢山の予想の中で,1次元セルオ-トマトンCAー90(m)に付隨する特性数に関する殆んどすべての予想に対して,肯定的解決を与えた。
大塚は,Typed λーcalculusの2つのcategorical modelの比較を行った。
柳川は,2×K分割表がK枚あるとき,分割表間のオツズ比の均一性検定のための条件付近似統計量がカイ二乗分布に従うための必要十分条件を与えることに成功した。
|
-
[Publications] 古川 長太: "Max型関数の最適化アルゴリズムによる非線形方程式の解法" 非線形連立方程式の大域的数値解法(京大数理解析研究所報告集). (1991)
-
[Publications] 藤野 精一: "n元連立1次合同反復模型とその挙動解析" RMC64ー09J. (1989)
-
[Publications] 河原 康雄: "Existence of the characteristic numbers associated with cellular automata with local transition rule 90." Bull.Inform.Cybernet.(1991)
-
[Publications] 佐藤 坦: "Uniform integrability of an additive martingale and its exponential." Stochastics and Stochastics Reports.30. 163-169 (1990)
-
[Publications] 柳川 尭: "Homogeneity test with a generalized MantelーHaenszel estimation for L_2×K contingency tables." J.American Statistical Association.85. 744-748 (1990)
-
[Publications] 大塚 寛: "Comparison of Two Categorical Models of Typed λーCalculus." Bull.Inform.Cybernet.(1991)
