上田 和紀
(UEDA, Kazunori)
English version of this page
プロフィール
学会および社会における活動
受賞
講義科目
最近の論文、編著書
よみもの・資料・古文書
研究室ホームページ
研究室紹介(3年生向け紹介資料)
渕一博記念コロキウム 『論理と推論技術:四半世紀の展開』
(2007年10月20日(土) 9:00〜18:00 慶應義塾大学三田キャンパス)
12th Annual Asian Computing Science Conference
(ASIAN'07, Doha, Qatar, December 9-11, 2007)
Ninth International Symposium on Functional and Logic Programming
(FLOPS2008, Ise, April 14-16, 2008)
日本ソフトウェア科学会ホームページ
情報処理学会プログラミング研究会ホームページ
その他
Last update: June 1, 2007
ueda@ueda.info.waseda.ac.jp