講師 大久保 弘崇 オオクボ ヒロタカ researchmap（詳しくはこちらへ） 情報科学部 情報科学科 更新日：2025.04.01 研究シーズの内容 オブジェクト指向言語の型理論 代数的仕様記述法のソフトウェア検証への応用 前のページへ 次のページへ
