島尻 優香 | 名古屋工業大学工学部知能情報システム学科

スポンサーリンク

概要

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

関連著者

• 伊藤 英則

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

• 世木 博久

  名古屋工業大学

• 島尻 優香

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

• 島尻 優香

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

• 伊藤 英則

  名古屋工業大学

• 伊藤 英則

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

• 鎌倉 千恵美

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

• 加藤 昇平

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

• 山田 雅之

  中京大学情報科学部

• 山田 雅之

  名古屋工業大学

• 宮崎 剛

  日本電気株式会社

• 宮崎 剛

  名古屋工業大学

• 巣 宇燕

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

• 何 立風

  名古屋工業大学

• 加藤 昇平

  名古屋工業大学

• 何 立風

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

もっと見る 閉じる

著作論文

• 編物における紐状態の表現方法と編目記号生成システムの作成
• 不確定論理データベースを対象とした仮説推論
• 定理証明器SATCHMOREの効率化に関する一手法
• モデル生成法に基づく安定モデル計算の効率化
• 「失敗による否定」のための相補的アトムを用いたプログラム変換
• マジックセット法に基づく安定モデル計算の効率化
• 論理和データベースに対するゴール指向問合せ処理
• モデル生成法に基づく安定モデル計算の効率化
• 論理和プログラムに対するゴール指向問合せ処理

スポンサーリンク