自然言語処理と計算代数の接合による数学問題へのアプローチ(<特集>ロボットは東大に入れるか?)
スポンサーリンク
概要
- 論文の詳細を見る
- 社団法人人工知能学会の論文
- 2012-09-01
著者
-
穴井 宏和
株式会社富士通研究所
-
穴井 宏和
(株)富士通研究所
-
相澤 彰子
国立情報学研究所
-
穴井 宏和
富士通情報研究所
-
相澤 彰子
国立情報学研究所コンテンツ科学研究系
-
穴井 宏和
鹿大理
-
穴井 宏和
(株)富士通研究所 Itコア研究所
-
穴井 宏和
(株)富士通研究所コンピュータシステム研究所
-
穴井 宏和
株式会社富士通研究所 デザインイノベーション研究部
-
相澤 彰子
国立情報学研
-
穴井 宏和
(株)富士通研究所|九州大学
-
松崎 拓也
国立情報学研究所
-
相澤 彰子
The University of Tokyo, UT:National Institute of Informatics, NII
関連論文
- 商品および商品についての情報源に対する信頼の統計的ネットワークモデル
- Grozea, C., Gehl, C. and Popescu, M., ENCOPLOT: Pairwise Sequence Matching in Linear Time Applied to Plagiarism Detection, Proc. 3rd Pan Workshop, Uncovering Plagiarism, Authorship and Social Software Misuse, pp. 10-18, 2009, 剽窃の検出技術
- Mapleを使った制御系設計支援ツールの開発 (数式処理と教育)
- MATLABで作成したQEに基づく設計支援ツール (数式処理と教育 : 数学教育における数式処理システムの効果的利用に関する研究)
- QEに基づく発電機励磁制御系設計
- 数式処理を用いた制御系設計支援ツールの開発
- QEのための数値数式paritial CADの実装 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- Algebraic approach to discrete-time polynomial spectral factorization
- 2. 座談会 女性会員を取り巻く環境はこんなです(女性会員に期待する)
- 帰納推論による時系列データからの関係構造の抽出スキル解析に向けたプラットフォーム
- D-4-13 TV Searchbar: Webからの放送コンテンツの参照(D-4. データ工学,一般セッション)
- 学術情報の統合に向けた大規模リンケージ基盤の構築
- 3.アカデミックリンケージ : 膨大な学術情報へのアクセスを支援するリンケージ基盤(パートII:情報分野研究者のためのオンリーワン共有イノベーションプラットフォーム,情報爆発時代におけるわくわくするITの創出を目指して)
- 6J-4 情報爆発時代のための制約つきクラスタリングを用いた制約つきフィードバック手法の提案(情報爆発時代における情報検索・推薦技術およびWebコミュニティ分析,一般セッション,「情報爆発」時代に向けた新しいIT基盤技術)
- A22 KAKEN βと研究者リゾルバーαの情報構造 : KAKEN β1.12と研究者リゾルバーα1.12(セッションA2(情報システムの構築1),一般発表概要,第5回情報プロフェッショナルシンポジウム)
- 数値・数式ハイブリッド手法に基づく高品質計算とその展開
- D-5-8 情報圧縮に基づくデータ間類似度によるパーソナライゼーション(D-5. 言語理解とコミュニケーション,一般セッション)
- 計算実代数幾何入門(第5回)CADによるQE
- 計算実代数幾何入門(第4回)CADアルゴリズム(後半)
- 計算実代数幾何入門(第3回)CADアルゴリズム(前半)
- 最適化問題を効率的に解くための special CAD
- 計算実代数幾何入門(第2回)QEによる最適化とその応用
- 計算実代数幾何入門(第1回)CADとQEの概要
- Numerical Cylindrical Algebraic Decomposition with Certification via Symbolic Reconstruction (Computer Algebra : Design of Algorithms, Implementations and Applications)
- On Computing Sum of Roots with Positive Real Parts of Polynomials (Computer Algebra : Design of Algorithms, Implementations and Applications)
- Radical Representation of Polynomial Roots
- D-5-7 マルチモーダル情報を用いた放送番組からの人物相関図生成(D-5. 言語理解とコミュニケーション,一般セッション)
- 完全N部グラフ構造を用いた単語の多義性獲得(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(一般及び自動推論)
- 小特集「国際会議で見つけたオススメ論文」にあたって
- 発話を意識した文推薦システムの構築と評価
- 発話を意識した文推薦システムの構築と評価
- 沈黙のWeb(編集委員今年の抱負2009:経糸から横糸まで)
- 論文情報ナビゲータの構築(セッション5 : 文書データベース)
- 論文情報ナビゲータの構築(セッション5 : 文書データベース)
- 情報検索における圧縮距離の適用に関する考察
- 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)
- Development of SyNRAC : A Cylindrical Algebraic Decomposition Procedure (Computer Algebra : Design of Algorithms, Implementations and Applications)
- A MATLAB Toolbox for Parametric Robust Control System Design based on symbolic computation (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 3Q-8 視線検出装置を用いた研究者の論文の読み方の解析(情報抽出,学生セッション,データベースとメディア,情報処理学会創立50周年記念)
- D-5-8 視線情報によるユーザプロファイルの文書推薦における有用性(D-5.言語理解とコミュニケーション,一般セッション)
- 視線情報を用いたユーザプロファイル獲得と文書推薦
- 4U-8 検索用キーフレーズの解析及び抽出手法の提案(文書の分類と検索,学生セッション,人工知能と認知科学)
- 土木関連用語辞典の見出し語の分析と検索システムにおける活用に関する考察(辞書と辞典)
- 土木関連用語辞典の見出し語の分析と検索システムにおける活用に関する考察(辞書と辞典)
- 著者キーワード中での共起に基づく専門用語間の関連度計算法
- 制御における精度保証付き数値計算の重要性
- 数値数式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 多細胞生物における細胞タイプの多様性条件(数理生物学))
- 数式処理を用いた多項式のロバスト根配置とその制御系設計への応用(ロバスト計算と精度保証)
- 三斜内容三圓術(Malfattiの問題)の数式処理 : 有理関数体上のタワーの構成(数式処理における理論とその応用の研究)
- 名詞と動詞の依存関係を利用したテキストからのIS-A関係の発見方法
- 限定記号消去法に基づくロバスト制御系設計ツール
- 数式処理によるロバスト制御系設計
- $A_5$をGalois群に持つ6次式の族 : 分解体とGalois群の計算(数式処理における理論とその応用の研究)
- 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)
- Symbolic-Numeric Optimization for Kinetic Models : An application to bioinformatics field (Computer Algebra : Design of Algorithms, Implementations and Applications)
- CADにおけるi-projection operator導入によるQEの効率化 (第19回日本数式処理学会大会報告)
- ちょっと立ち止まって
- Proving and Solving Semi-definite Programming over Reals (Computer Algebra : Algorithms, Implementations and Applications)
- A Parameter Space Approach for Fixed-order robust controller synthesis by symbolic computation (Computer Algebra : Algorithms, Implementations and Applications)
- ISSAC2000参加報告
- Deciding Linear-Trigonometric Problems (Theory and Application in Computer Algebra)
- Reach Set Computations Using Real Quantifier Elimination (Theory and Application in Computer Algebra)
- 新しい数式処理アルゴリズムQEを用いたロバスト制御系設計
- Symbolic Analysis of Discrete-Time Polynomial Systems (Theory and Application in Computer Algebra)
- 線形ハイブリッドシステムの可到達性について
- 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)
- 最適化問題に対するCADの効率的な手法 (第20回日本数式処理学会大会報告)
- 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 における論理式の簡単化 (数式処理 : その研究と目指すもの)
- ノートPCバッテリを活用したピーク電力削減のための充放電統合制御システム
- 自然言語処理と計算代数の接合による数学問題へのアプローチ