佐藤 雅彦 (Masahiko SATO) 京都大学 教授（大学院情報学研究科 知能情報学専攻 知能情報ソフトウェア講座 ソフトウェア基礎論分野）
連絡先
電話: 075-753-5868 FAX: 075-753-4954 電子メイル: masahiko@kuis.kyoto-u.ac.jp