ミナミハタ　アツシ
  南畑 淳史
   所属   社会学部 社会学科
   職種   准教授
発表年月日 2014/03
発表テーマ A Modified Verification Method for Linear Systems
会議名 The International Workshop on Numerical Verification and its Applications 2014 INVA 2014
学会区分 全国学会
発表形式 その他
単独共同区分 共同
発表者・共同発表者 Atsushi Minamihata, 他4名