巣 宇燕 | 名古屋工業大学知能情報システム学科

スポンサーリンク

概要

• 同名の論文著者
• 名古屋工業大学知能情報システム学科の論文著者

関連著者

• 巣 宇燕

  名古屋工業大学知能情報システム学科

• 渡辺 崇

  名古屋大学大学院情報科学研究科複雑系科専攻

• 伊藤 英則

  名古屋工業大学大学院工学研究科情報工学専攻

• 中村 剛士

  名古屋工業大学知能情報システム学科

• 何 立風

  愛知県立大学情報科学部地域情報科学科

• 渡辺 崇

  名古屋大学エコトピア科学研究所

• 渡辺 崇

  名古屋大学情報メディア教育センター

• 伊藤 英則

  名古屋工業大学知能情報システム学科

• 中村 剛士

  名古屋工業大学大学院工学研究科

• 伊藤 英則

  名古屋工業大学

• 中村 剛士

  名古屋工業大学

• 何 立風

  愛知県立大学情報科学研究科

• 巣 宇燕

  名古屋大学 人間文化情報学工学研究科

• 巣 宇燕

  名古屋大学大学院

• 中村 剛士

  名古屋工業大学工学研究科

• 渡辺 崇

  名古屋大学

もっと見る 閉じる

著作論文

• 定理証明器SATCHMOに関する新しい効率化手法(システムLSIの設計技術と設計自動化)
• 定理証明器A-SATCHMOREの改良の一手法
• 知識を用いて不完全な三面図から曲面をもつ立体を推定するシステム
• 円弧を含んだ矛盾した三面図情報からの立体の推定

スポンサーリンク