1995 Fiscal Year Annual Research Report
| Project/Area Number |
07640298
|
|---|
| Research Institution | Nagoya University |
|---|
Principal Investigator |
篠田 壽一 名古屋大学, 人間情報学研究科, 助教授 (30022685)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
森本 宏 名古屋大学, 情報文化学部, 助教授 (20115645)
井原 俊輔 名古屋大学, 情報文化学部, 教授 (00023200)
横井 英夫 名古屋大学, 人間情報学研究科, 教授 (50023560)
安本 雅洋 名古屋大学, 多元数理科学研究科, 助教授 (10144114)
小澤 正直 名古屋大学, 情報文化学部, 教授 (40126313)
|
|---|
| Keywords | 帰納的関数 / 計算量 / 超準解析 / ブール値モデル / 確率過程 |
|---|
| Research Abstract |
本研究により本年度になされた結果の主なものをあげる。
(1)一般化されたKolmogorov complexityに関して、self P-printableでない粗(sparse)な集合が存在することを示した。しかもそのような集合は連続体の濃度あることを示した(今田、篠田)。
(2)集合論のブール値モデル内の超構造から超準宇宙を構成する方法を確立した。これにより、強制法が利用可能な超準解析学の新しい枠組みが得られる。その応用として,一様非完備な実数体のブール超巾を構成することに成功した(小澤)。
(3)計算量クラスの分離問題に関して、Ajtaiの方法を分析して非標準モデル上のBool値モデルの理論作りを上げ、それを用いてIΣ_0+Pigeon Hole PrincipleからCountが導かれないことを示した(安本)。
(4)過渡的な加法過程を強過渡的、弱過渡的へ分類する判定条件を、その対数特性関数の性質によって与えた。さらに,再帰的,過渡的のSpitzer型の判定条件の対応物は得ることができないということを示した。この判定条件を用いて、5次元以上の非退化の加法過程が必ず強過渡的であることなどを示した(佐藤)。
(5)通信路容量,相互情報量,および2乗平均誤差の間に成り立ついくつかの不等式を証明した(井原)。これらの不等式は情報理論において基本的な役割を果たすことが期待される。
(6)確率過程の応用として、光合成において重要な意味を持つ金属錯体の分子進化論を考察し、遺伝子の中立説的な結論を導いた(森本)。
|
-
[Publications] 望月朝恵,篠田壽一: "A note on the functions which are not polynomial time computable from their graphs." Ann.Japan Assoc.Philos.Sci.近刊.
-
[Publications] 今田宏司、篠田壽一: "Kolmogorov complexity and P-printable sets." 数理解析研究所講究録. 930. 112-119 (1995)
-
[Publications] 小澤正直: "Scott incomplete Boolean ultrapowers of the real line." J.Symbolic Logic. 60. 160-171 (1995)
-
[Publications] 安本雅洋: "Bounded second order arithmetic." 数理解析研究所講究録. 930. 10-19 (1995)
-
[Publications] 井原俊輔: "Some inequalities for channel capacities,mutual informations and mean square errors." IEEE Trans.Information Theory. (近刊).
-
[Publications] 森本宏: "A diffusion model for the evolution of metalloporphyrin." J.Math.Biology.(近刊).
-
[Publications] 篠田壽一、米澤佳己: "集合・位相演習" サイエンス社, 209 (1995)
