佐藤・五十嵐 研究室

• 京都大学 大学院情報学研究科 知能情報学専攻 知能情報ソフトウェア講座 ソフトウェア基礎論分野
• 京都大学 工学部 情報学科 計算機科学コース (旧 情報工学教室)

English

目次

• 所在と連絡先
• 研究室のメンバー
• 研究内容の紹介
• 論文リスト
• 工学部情報学科専門科目「計算と論理」
• SKK ソフトウェア
• 論理学・数学基礎論メイリングリスト

国際会議・研究集会

• DS2000: Intl Conf. on Discovery Science 2000
• Asian'00: Asian Computing Science Conference

他へのリンク

• 情報工学教室 （工学部情報学科計算機科学コース）
• 情報学研究科
• 工学部・工学研究科
• 京都大学
• SLACS （記号論理学と情報科学 研究集会）
• 日本ソフトウェア科学会
• 情報処理学会
• 人工知能学会

佐藤・五十嵐研 WWW 管理者 ()