第283回講演会開催案内

日時： 平成12年8月21日（月）　15:00〜
場所： 東北大学工学部電気情報館3階 351・353会議室
 〒980-8579 仙台市青葉区荒巻字青葉05
 TEL： 022-217-7147 （丸岡）

主催： 東北大学電気通信研究所工学研究会
 コンピュータサイエンス研究会
共催： 情報処理学会東北支部

  1. 演題： 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.

  2. 演題： 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