| 研究課題/領域番号 |
07640287
|
|---|
| 研究種目 |
一般研究(C)
|
| 配分区分 | 補助金 |
|---|
| 研究分野 |
数学一般(含確率論・統計数学)
|
|---|
| 研究機関 | 一橋大学 |
|---|
研究代表者 |
町田 元 一橋大学, 社会学部, 教授 (40090534)
|
|---|
| 研究分担者 |
山崎 昌男 一橋大学, 商学部, 助教授 (20174659)
藤田 岳彦 一橋大学, 法学部, 助教授 (50144316)
山田 裕理 一橋大学, 商学部, 教授 (50134888)
山崎 秀記 一橋大学, 法学部, 教授 (30108188)
永島 孝 一橋大学, 経済学部, 教授 (00017526)
|
|---|
| 研究期間 (年度) |
1995
|
| 研究課題ステータス |
完了 (1995年度)
|
| 配分額 *注記 |
1,200千円 (直接経費: 1,200千円)
1995年度: 1,200千円 (直接経費: 1,200千円)
|
|---|
| キーワード | 多値論理関数 / 論理関数のクローン |
|---|
| 研究概要 |
一般に、k値論理関数(k≧2)の集合で合成に関して閉じているものをクローンとよぶ。各kに対し、クローンの全体L_kは束の構造をもつ。現在のところ、2値論理関数、すなわち、ブール関数の場合を除き、L_k(k≧3)の構造はまだほとんど解明されていない。
われわれは以前より、L_kの構造の解明を目標として、クローンに対して有限近似という概念を導入し、研究を進めてきた。クローンの全体が可算無限(k≧2)または非可算無限(k≧3)であるのに対し、クローンの有限近似の全体は有限集合である点に際立った特徴がある。
クローンの有限近似を媒介として2つのクローンの間に距離を定義することができ、それによってL_kが距離空間になることをすでに指摘していたが、本研究では、L_kの距離空間としての性質をさらに継続して調べたほか、このように距離空間を構成する手法はもっと広い対象に対しても一般化可能であることを示した。
一方、与えられたクローンが有限生成であるかどうかを問う問題は、普遍代数(universal algebra)の研究者からも注目されている基本的な問題である。クローンが距離空間として見たクローン空間の中で孤立点になることは、そのクローンが有限生成であることと密接な関係があるが、本研究では、クローンが孤立点であることを普遍代数の方で用いられている。“collapsing"という概念によって特徴づけることができた。
このような普遍代数との間の関係についてさらに研究を深めていくことは、今後の重要な研究課題であるといえよう。
なお、これと別の観点から見た有限論理や特殊な代数に関する研究も並行して行ない、それぞれについて新しい結果を得た。
|
