第283回講演会開催案内
- 日時: 平成12年8月21日(月) 15:00〜
- 場所: 東北大学工学部電気情報館3階 351・353会議室
- 〒980-8579 仙台市青葉区荒巻字青葉05
- TEL: 022-217-7147 (丸岡)
- 主催: 東北大学電気通信研究所工学研究会
- コンピュータサイエンス研究会
- 共催: 情報処理学会東北支部
- 演題: Minds, Brains and Computer Science
講師: Jiri Wiedermann (Academy of Science of the Czech Republic)
講演要旨:
-
Understanding the activities of an animal or human mind in
algorithmic terms seems to be about the greatest challenge
offered to computer science by nature. In computer science,
the respective cognitive information processing systems are
studied within a new computational paradigm of cognitive
computing recently introduced by L. Valiant. This paradigm
faces computer science with a number of new exciting research
problems. In the talk we will discuss dozen problems/questions
concerning cognitive systems in general and computational
models of the brain or mind in particular.
- 演題: Replacement Systems and Their Modelling
by Polynomial Ideals
講師: Ernst W. Mayr (Technische Universitat Munchen)
講演要旨:
-
We consider the polynomial ring with variables x_1,...,x_n
and coefficients from a field like the rationals or GF(2).
Systems of such polynomials define algebraic varieties,
as the sets of their common zeroes. A fundamental problem for
polynomial ideals is the word problem: Given a test polynomial,
is it contained in some given polynomial ideal? It is known
that the computational complexity of this word problem is
very high (EXPSPACE-complete for the case of rational coefficients).
We show how polynomial ideals can be used to model some formal
systems in mathematics and computer science, e.g., commutative
semigroups, Petri nets, or proof systems for the propositional
calculus. This talk is intended as a survey and has no special
prerequisites.
問合せ先:
〒980-8579 仙台市青葉区荒巻字青葉05
東北大学大学院情報科学研究科
丸岡 章
TEL: 022-217-7147
FAX: 022-263-9413
E-Mail:
maruoka@ecei.tohoku.ac.jp