| 研究概要 |
n個の元よりなる諸種の代数系について, 同値でないそれぞれの代数系の個数を数え上げる問題については, 田村・田中共著「代数系入門(1)ー(12)」(1984.4ー1985.5)において取り扱ってきた. また, さまざまな様相論理体系の数え上げについても, 田村著「The number of ways introduce modalities into finite Boolean algebras」(1984)の中で取り扱ってきた. グラフ論における数え上げ問題についても, 白倉・田沢・田村共著による「グラフ論入門」(1985.11ー1987.9)の中で取り扱っている.
今年度, 田沢の協力を得て, 奇点個数を与えた場合の有向グラフの個数の数え上げについて, 一つの成果をえたので, 1988年4月の日本数学会で成果を発表すると同時に, 論文として発表する予定である. また, コンピュータを利用して, 諸種の代数系の個数の決定についても, 着実に成果を得つゝある. 次年度以降, それらの成果を論文として発表する予定である.
|
