その他
翻訳書、学会発表、講演、作品等の名称
単・共の別
発行又は発表の年月
発表学会等の名称
概要
担当授業科目1
担当授業科目2
担当授業科目3
基本情報
氏名
大矢野 潤
氏名（カナ）
オオヤノ ジュン
氏名（英語）
OOYANO, Jyun
所属
政策情報学部
職名
教授
researchmap研究者コード
researchmap機関
翻訳書、学会発表、講演、作品等の名称
効率のよいコース探査のための抽象化
単・共の別
単著
発行又は発表の年月
200409
発表学会等の名称
第3回情報科学技術フォーラム
概要
モデル検査を効率よく行うための抽象化技法について全順序構造に基づく方法を提案した。
担当授業科目1
担当授業科目2
担当授業科目3
