佐藤・五十嵐 研究室
京都大学
大学院情報学研究科
知能情報学専攻
知能情報ソフトウェア講座 ソフトウェア基礎論分野
京都大学 工学部
情報学科 計算機科学コース
(旧 情報工学教室)
English
目次
所在と連絡先
研究室のメンバー
研究内容の紹介
論文リスト
工学部情報学科専門科目「計算と論理」
SKK ソフトウェア
論理学・数学基礎論メイリングリスト
国際会議・研究集会
DS2000
: Intl Conf. on Discovery Science 2000
Asian'00
: Asian Computing Science Conference
他へのリンク
情報工学教室
(工学部情報学科計算機科学コース)
情報学研究科
工学部・工学研究科
京都大学
SLACS (記号論理学と情報科学 研究集会)
日本ソフトウェア科学会
情報処理学会
人工知能学会
佐藤・五十嵐研 WWW 管理者 (
)