E Tsemi2008

Slideshow Transcript

1. Slide 1:等価変換理論集中セミナー 2008 講師 : 若槻俊宏 （北海道大学大学院情報科学研究科） 2008 年 8 月 31 日 ( 日 ) 10:00-17:00 サイボウズ・ラボ
2. Slide 2: Early history of ET theory • もともとは自然言語処理のための研究 – 北海道大学 (90 年代初頭 ) – 知識表現と推論 (AI) の理論 → 汎用の計算モデルに一般化された – この点も Prolog と似ている • もともとは自然言語処理のため • colmerauer & kowalski (70 年代初頭 ) • 研究が進むにつれて Prolog の改良では不十 分であることがわかってきた – 「プログラミング」の基礎付けとなる理論を一から 作る – 証明 = 計算 (Logic Programming) から – 証明も計算も，等価変換という原理で基礎付ける
3. Slide 3: 自然言語処理 • 形態素解析�