情報科学研究科セミナーのお知らせ

For the information in English, please see the bottom of this message.
　　　　　　　　　　　　　
　　　　　　　　　　　　　　　　　　　　　　　平成１９年１０月１７日　

　関係者各位

　　　　　　　　　　　　　　　　　　　　　　　　総　務　課　長


　　　　　　　情報科学研究科セミナー（第９回）の開催について

　来る１１月２６日（月）に、下記のとおり情報科学研究科セミナーを開催します。
　つきましては、多数の皆様にご参加いただきたく、セミナーの案内を申し上げま
す。本セミナーに関しましては、参加申し込み・予約などは必要ございませんので、
直接、会場にお越しくださいますようお願いいたします。

　　　　　　　　　　　　　　 記

１．日 時　　　平成１９年１１月２６日（月）１３：３０〜１５：００

２．場 所　　　情報科学研究科講義棟２階　Ｉ３，４講義室

３．講演題目　　　一階述語論理の定理証明： 原理からシステム開発まで
　　　　　　　
４．講 演 者　　　山梨大学　大学院医学工学総合研究部　教授
　　　　　　　　　総合情報処理センター長（兼任）
　　　　　　　　　　　岩沼　宏治　氏


５．講演要旨
　　　CASCは一階述語論理の定理証明システムの国際コンペであるが、参加システ
　　ムで使用されている証明法の基本的原理とインデキシングなどの実装技術を紹
　　介する。さらにI-THOPやSOLARなどのシステム開発経験や、論理的帰結発見問題
　　への応用などを紹介する。

　
６．講演者略歴　
　　　1983年3月　東北大学工学部通信工学科卒業
　　　1985年3月　東北大学大学院工学研究科博士課程前期修了
　　　　　　　　　　（電気及び通信工学専攻）
　　　1985年4月　山形大学工学部　助手　（情報工学科）
　　　1990年4月　山梨大学工学部　講師　(電子情報工学科)
　　　1992年12月 同大学同学部　　助教授
　　　2002年10月 同大学同学部　　教授　（コンピュータ・メディア工学科）
　　　2004年4月　同大学　総合情報処理センター長　（兼任）　
　　　2005年4月　同大学ＩＴ推進本部　副本部長

　　
７．担当教員　小川　瑞史教授（内線：1247）

８．問合せ先　総務課 共通事務室係　
　　　　　　　情報科学研究科担当（E-mail：is-secr）

−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−
We would like to inform you about the 9th IS-Seminar as follows.

DATE: Novembaer 26, 2007 13：30-15：00
PLACE: I Lecture Room 3, 4
SUBJECT: First order theorem proving: from principles to system development
SPEAKER: Koji Iwanuma
　　　　　University of Yamanashi, Interdisciplinary Graduate School
of Medical and Engineering, Professor; Integrated Information
Processing Center, Director
SPEECH: Japanese
REFERENCE: Administrative Services Office (E-mail: is-secr)