自然言語の語彙と談話構造を型理論によって形式化することにより、 談話中に内在されているその分野のオントロジー (特に分類に関する情報) を抽出する枠組みを提案する。 今回は英語の株式ニュース・ゲノム領域テキストにおける例化談話 (exemplification)に対する実験、 型理論に基づいたプログラミング言語との接点に関して考察を行う。