京都大学情報学研究科システム科学専攻システム構成論講座所属