Ogawa N. Hideto (土台からしっか (@hideto_ogawa)

投稿一覧(最新100件)

演繹的開発手法と帰納的開発手法の結合に基づく機械学習適用ソフトウェアの形式検証とテスト 來間 啓伸 , 佐藤 直人 , 中川 雄一郎 , 小川 秀人 情報処理学会論文誌,61(2),407-416 (2020-02-15) , 1882-7764 https://t.co/ocB9SkAh6D
Formal Verification of a Decision-Tree Ensemble Model and Detection of Its Violation Ranges Naoto SATO Hironobu KURUMA  Yuichiroh NAKAGAWA Hideto OGAWA   https://t.co/hGn2YvLujo

お気に入り一覧(最新100件)

フォロー(137ユーザ)の投稿一覧(直近7日間)

フォロワー(187ユーザ)の投稿一覧(直近7日間)