永井 保夫 | (株)東芝

スポンサーリンク

概要

• 永井 保夫の詳細を見る
• 同名の論文著者
• (株)東芝の論文著者

関連著者

• 永井 保夫

  (株)東芝

• 永井 保夫

  (株)東芝情報通信システム技術研究所

• 長谷川 隆三

  (財)新世代コンピュータ技術開発機構

• 永井 保夫

  (株)東芝研究開発センターシステム・ソフトウエア生産技術研究所

• 永井 保夫

  (株)東芝システム・ソフトウェア技術研究所

• 本位田 真一

  (株)東芝システム・ソフトウェア生産技術研究所

• 山形 義幸

  (株)東芝

• 大須賀 昭彦

  (株)東芝

• 小松 智

  (株)東芝

• 長谷川 義朗

  (株)東芝

• 甲斐野 康雄

  (株)東芝

• 藤沢 利明

  (株)東芝

• 生駒 憲治

  (財)新世代コンピュータ技術開発機構

• 永井 保夫

  情報処理振興事業協会(ipa)新ソフトウェア構造化モデル研究本部 : (株)東芝研究開発センターs&s研究所より出向中

もっと見る 閉じる

著作論文

• ブール代数を用いた制約充足問題の定式化と解法についての検討
• ブール代数を用いた制約充足問題の定式化とその解法について
• 数理計画法を用いた制約充足問題の定式化について検討
• 4Y-7 イントラネット応用電力系統監視制御システム : システム概要とそのメリット(情報システムの構築(1),一般講演,コンピュータと人間社会)
• Constraint Programming Languages; Their Specification and Generation, Wm Leler, Addison-Wesley, 1988 (制約論理プログラミング)
• グラフ理論による制約解析および手順生成
• 代数制約の構造情報を用いた幾何定理証明の効率化手法の検討 : グレブナ基底による方法への適用
• 制約処理パターンを用いたオブジェクト思考ソフトウェア開発

スポンサーリンク