穴井 宏和 | (株)富士通研究所
スポンサーリンク
概要
関連著者
-
穴井 宏和
(株)富士通研究所
-
穴井 宏和
富士通情報研究所
-
穴井 宏和
(株)富士通研究所 Itコア研究所
-
穴井 宏和
株式会社富士通研究所
-
穴井 宏和
(株)富士通研究所|九州大学
-
穴井 宏和
(株)富士通研究所コンピュータシステム研究所
-
穴井 宏和
鹿大理
-
穴井 宏和
株式会社富士通研究所 デザインイノベーション研究部
-
屋並 仁史
(株)富士通研究所
-
岩根 秀直
(株)富士通研究所
-
堀本 勝久
産業技術総合研究所・生命情報工学研究センタ
-
吉田 寛
九州大学大学院数理学研究院
-
屋並 仁史
(株) 富士通研究所
-
岩根 秀直
株式会社富士通研究所
-
屋並 仁史
株式会社富士通研究所
-
吉田 寛
九州大学・大学院数理学研究院・高等研究機構
-
岩根 秀直
OpenXM開発グループ
-
折居 茂夫
(株)富士通 科学ソリューション
-
原 辰次
東京大学
-
原 辰次
東京大学 情報理工学系研究科
-
堀本 勝久
産業技術総合研究所生命情報工学研究センター
-
兵頭 礼子
株式会社アルファオメガ
-
兵頭 礼子
(株)アルファオメガ
-
洪 明勲
(株)富士通ソフトウェアテクノロジー
-
折居 茂夫
富士通株式会社
-
穴井 宏和
(株)富士通研究所hpc研究センター
-
相澤 彰子
国立情報学研
-
松崎 拓也
国立情報学研究所
-
金子 邦彦
東大総合文化
-
吉村 秀太
成蹊大学
-
瓜生 芳久
成蹊大学
-
壹岐 浩幸
(株)富士電機システムズ
-
相澤 彰子
国立情報学研究所
-
佐藤 裕一
株式会社富士通研究所
-
岩崎 敦
九州大学大学院システム情報科学研究院
-
吉良 知文
九州大学数理学府
-
原 辰次
東京工業大学 大学院 情報理工学研究科
-
樋口 博之
(株)富士通研究所
-
横尾 真
Nttコシュニケーション科学基礎研究所
-
横尾 真
九州大学大学院システム情報科学府
-
管野 政明
新潟大学 工学部 情報工学科
-
横山 和弘
九州大学数理学研究院
-
横山 和弘
九州大学大学院数理学研究院
-
横山 和弘
富士通研究所
-
横山 和弘
立教大学理学部数学科
-
管野 政明
科学技術振興機構, CREST
-
市原 裕之
明治大学理工学部
-
吉良 知文
九州大学大学院数理学府
-
橋間 正芳
(株) 富士通研究所
-
篠原 昌子
(株)富士通研究所
-
佐藤 裕一
(株)富士通研究所
-
相澤 彰子
国立情報学研究所コンテンツ科学研究系
-
佐藤 裕一
富士通研
-
橋間 正芳
株式会社富士通研究所
-
橋間 正芳
(株)富士通研究所自律システム研究部
-
金児 純司
(株)富士通研究所
-
村上 雅彦
(株)富士通研究所
-
吉岡 正人
(株)富士通研究所
-
壹岐 浩幸
富士電機システムズ(株)as事本(エンジニアリングセンター)エネルギーシステム部
-
吉田 寛
東京大学・医科学研究所・ヒトゲノム解析センタ
-
吉田 寛
東京大学医科学研究所・ヒトゲノム解析センター
-
折居 茂夫
(株)富士通,科学ソリューション
-
吉田 寛
東大・医科研・バイオスタティスティクス
-
金子 邦彦
東大・総合文化+ERATO複雑系生命
-
堀本 勝久
東大・医科研・バイオスタティスティクス
-
金子 邦彦
東京大学大学院総合文化研究科広域科学専攻
-
原 辰次
東工大
-
横山 和弘
立教大学理学部
-
岩崎 敦
九州大学大学院システム情報科学府
-
吉田 寛
九大・理・数理
-
Brown Christopher
Dept Computer Science, United States Naval Academy Annapolis
-
穴井 宏和
富士通研
-
堀本 勝久
CBRC, AIST
-
Brown Christopher
Dept Computer Science United States Naval Academy Annapolis
-
横山 和弘
(株)富士通研究所 コンピュータシステム研究所
-
吉岡 正人
(株)富士通研究所システムlsi開発研究所
-
吉村 秀太
成蹊大学 理工学部 エレクトロメカニクス科
-
折居 茂夫
富士通
-
折居 茂夫
富士通(株)
-
横山 和弘
富士通研究所国際情報社会科学研究所
-
WEISPFENNING Volker
Fakultat fur Mathematik und Informatik, Universitat Passau
-
穴井 宏和
(株)富士通研究所:九州大学大学院数理学府/マス・フォア・インダストリ研究所
-
Weispfenning Volker
Fakultat Fur Mathematik Und Informatik Universitat Passau
-
原 辰次
東京大学大学院
-
杉町 勇和
九州大学大学院システム情報科学府
-
穴井 宏和
(株)富士通研究所デザインイノベーション研究部数理解析グループ:九州大学大学院数理学府
-
折居 茂夫[他]
(株)富士通,科学ソリューション
-
穴井 宏和
(株)富士通研究所:九州大学IMI
-
穴井 宏和
(株)富士通研究所・九州大学
-
相澤 彰子
The University of Tokyo, UT:National Institute of Informatics, NII
-
横尾 真
九州大学大学院 システム情報科学府
-
岩崎 敦
九州大学大学院 システム情報科学府
著作論文
- QEに基づく発電機励磁制御系設計
- 数式処理を用いた制御系設計支援ツールの開発
- 最適化問題を効率的に解くための special CAD
- 3次元モデルの自動分解手法(魅惑の形状処理, 魅惑のCG応用およびCG一般)
- 数値数式CADの実装
- 項置換による限定子除去アルゴリズムにおける論理式簡略化について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- A Quantifier Elimination Procedure Based on Cylindrical Algebraic Decomposition in SyNRAC(Computer Algebra : Design of Algorithms, Implementations and Applications)
- 数値数式QE/CADの実装
- IMACS-ACA'98 in Prague
- 薬物動態解析における代数的手法の適用
- Parameter determination of a compartmental model for Parkinson's disease by algebraic approach (第20回 回路とシステム軽井沢ワークショップ論文集) -- (生命体システムと非線形ダイナミクス)
- 代数的算法を用いた, 多細胞における複数細胞タイプの共存条件式の導出
- On relationship between proliferation and transition raets of multicells(Computer Algebra : Design of Algorithms, Implementations and Applications)
- 1P304 多細胞生物における細胞タイプの多様性条件(数理生物学))
- 数式処理を用いた多項式のロバスト根配置とその制御系設計への応用(ロバスト計算と精度保証)
- 限定記号消去法に基づくロバスト制御系設計ツール
- 3P270 抽象原始多細胞系における代数方程式を用いた最大多様性パターンの解析(バイオイメージング、生命の起源・進化,口頭発表,第45回日本生物物理学会年会)
- コンパートメントモデルにおける薬物動態の代数方程式を用いた解析 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 5 数値/数式ハイブリッド計算に基づくロバスト最適化プラットフォーム : ものづくりを支える新しいシミュレーション技術を目指して(次世代統合シミュレーション技術)
- 数式処理を用いたアナログ回路解析・設計
- 計算機代数に基づく生物学 : Algebraic Biology(バイオインフォマティクスと人工知能の新たなインタラクション)
- Symbolic-Numeric Optimization for Estimation of Parameters in a Biological Kinetic Model(Computer Algebra : Design of Algorithms, Implementations and Applications)
- ちょっと立ち止まって
- ISSAC2000参加報告
- 新しい数式処理アルゴリズムQEを用いたロバスト制御系設計
- 線形ハイブリッドシステムの可到達性について
- AP-1-3 信号処理への代数幾何的アプローチ(AP-1.信号処理工学の多様性と数理的体系化への挑戦,パネルセッション,ソサイエティ企画)
- CADにおける i-projection operator 導入によるQEの効率化
- 時間モデルを用いた並列性能予測の誤差を検討する一方法
- パラメトリック多項式最適化問題専用 Cylindrical Algebraic Decomposition と動的計画法への適用(数式処理 : その研究と目指すもの)
- SDP とQE を用いた非線形システムのゲイン解析 (数式処理 : その研究と目指すもの)
- SIAM/MSRI Workshop on Hybrid Methodologies for Symbolic-Numeric Computation(Conference Reports)
- Quantifier Elimination : アルゴリズム・実装・応用
- Risa/Asir上のQuantifier Elimination Packageとその応用
- 符号情報利用による数値数式 CAD の効率的な実装 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 数値数式手法による多目的最適化 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 自然言語処理と計算代数の接合による数学問題へのアプローチ(ロボットは東大に入れるか?)
- 最適化問題に対するCADの効率的な手法
- 1-D-2 ピーク電力削減のためのノートPCのバッテリー充放電計画の最適化(節電)
- 2-C-11 オークションメカニズムの多項式表現と限量記号消去法を用いたメカニズム設計の自動化(連続最適化(2))
- 代数的制御理論における Coprime Factorization への Risa/Asir の応用
- Sign Definite Condition 専用 Quantifier Elimination における論理式の簡単化 (数式処理 : その研究と目指すもの)
- 自然言語処理と計算代数の接合による数学問題へのアプローチ