ソフトウェア基礎論分野
京都大学
大学院情報学研究科
知能情報学専攻
知能情報ソフトウェア講座
京都大学 工学部
情報学科 計算機科学コース
(旧 情報工学教室)
English
目次
所在と連絡先
研究室のメンバー
研究内容の紹介
論文リスト
論理学・数学基礎論メイリングリスト
他へのリンク
工学部情報学科計算機科学コース
情報学研究科
工学部・工学研究科
京都大学
SLACS (記号論理学と情報科学 研究集会)
日本ソフトウェア科学会
日本ソフトウェア科学会プログラミング論研究会
情報処理学会
WWW 管理者 (
)