鹿児島大学 理工学域理学系 理工学研究科数理情報科学専攻 古澤 仁 教授 大学名 鹿児島大学 学部 理工学域理学系 学科 理工学研究科数理情報科学専攻 文理 理系 名前 古澤 仁 教授 研究分野 プログラミング意味論，クリーニ代数，関係代数，圏論 キーワードKeywords PAGE TOP
