1988 Fiscal Year Annual Research Report
| Project/Area Number |
62540046
|
|---|
| Research Institution | Kobe University |
|---|
Principal Investigator |
田村 三郎 神戸大学, 教育学部, 教授 (50035151)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
白倉 暉弘 神戸大学, 教育学部, 助教授 (30033913)
船越 俊介 神戸大学, 教育学部, 助教授 (40031356)
奥山 晃弘 神戸大学, 教育学部, 教授 (40030275)
|
|---|
| Keywords | 有限代数系 / 様相論理体系 / グラフ / 有向グラフ / 奇点 / 数え上げ / 組合せ論 |
|---|
| Research Abstract |
n個の元よりなる諸種の代数系について, 同値でないそれぞれの代数系の個数を数え上げる問題については, 田村・田中共著「代数系入門(1)ー(12)」(1984.4ー1985.5)において取り扱ってきた. また, さまざまな様相論理体系の数え上げについても, 田村著「The number of ways introduce modalities into finite Boolean algebras」(1984)の中で取り扱ってきた. グラフ論における数え上げ問題についても, 白倉・田沢・田村共著による「グラフ論入門」(1985.11ー1987.9)の中で取り扱っている.
今年度, 田沢の協力を得て, 奇点個数を与えた場合の有向グラフの個数の数え上げについて, 一つの成果をえたので, 1988年4月の日本数学会で成果を発表すると同時に, 論文として発表する予定である. また, コンピュータを利用して, 諸種の代数系の個数の決定についても, 着実に成果を得つゝある. 次年度以降, それらの成果を論文として発表する予定である.
|
-
[Publications] 田村三郎,田中正彦: BASIC数学. 17ー4. 41-47 (1984)
-
[Publications] 田村三郎,田中正彦: BASIC数学. 18ー1. 48-57 (1985)
-
[Publications] S.Tamura: Proc.symposium on Math.Logic. 42-44 (1984)
