AL（Algorithm & Logic）セミナー

　　　　　　　　　　　 第 109回 ALセミナーのお知らせ

JAIST ではロジックを中心に情報科学の理論的な分野の話題をテーマに
してALセミナーを開催しています。興味をおもちの方はどなたでもフラリと
気楽におたちより下さい。

今回のセミナーは JAIST 情報科学研究科 COE Project: Verifiable and Evolvable e-Society および
JAIST 研究プロジェクト LCCC (Logic for Cognition, Computation and Communication)
の一環として開催されます。

********************************************************************

日時： 　9月6日（火）(6th September) 11:00 -- 12:30

場所： 情報科学研究科 III 棟 5 階 コラボ 7
School of Information Science, 3rd bldg. 5th floor Collab. Room 7

-------------------------------------------------------

講演題目： A path order POP and its applications (in English)

話題提供者： 新井敏康 (神戸大学)　　　
Toshiyasu Arai (Kobe Univ.)

概要： We introduce a new path order POP for polynomial time
functions, such that for a finite rewrite system R contained in POP, the derivation length
of the term $f(t,\ldots)$ for R is bounded by a polynomial in the derivation
lengths of the input terms $t,\ldots$. Also I will discuss some applications of POP.
This is a joint work with Georg Moser (Innsbruck U.).

===========================================================
今回の世話人： 小野寛晰
===========================================================

AL セミナーに関する一般的なお問い合わせは以下にどうぞ。

〒923-1292 石川県能美市 旭台 1-1　北陸先端科学
技術大学院大学（JAIST）

東条 敏 (tojo@jaist.ac.jp)
小野 寛晰 (ono@jaist.ac.jp)