4ZG-7 数理分野を対象とした問題解決支援システム"MathGUIde"の数学教育への応用(教科学習,学生セッション,コンピュータと人間社会)
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 2008-03-13
著者
-
櫻井 鉄也
筑波大学大学院システム情報工学研究科
-
北川 高嗣
筑波大学大学院システム情報工学研究科
-
櫻井 鉄也
筑波大学システム情報工学研究科
-
岸本 貞弥
筑波大学大学院システム情報工学研究科
-
櫻井 鉄也
筑波大学
-
杉山 貴俊
筑波大学第三学群情報学類
関連論文
- 周回積分に基づく非線形固有値問題の解法 (数値解析における理論・手法・応用)
- 数式の意味解釈とその文法及びメタ言語
- 自然な数学表記のためのユーザインターフェイス
- 多項式剰余列の安定な生成法
- 大規模分子の分子軌道計算 : Lysozyme とモデルDNA分子の分子軌道
- AMLS法による固有値分布の推定法(行列・固有値問題の解法とその応用,平成19年研究部会連合発表会)
- 大規模固有値問題のmaster-worker型並列解法(数値計算)
- FMO-MO法による大規模分子軌道計算(数値シミュレーション)
- OmniRPCによるグリッド環境での大規模固有値問題の並列解法(数値アルゴリズム)
- 大規模一般化固有値問題の並列解法
- 大規模一般化固有値問題の解法とその並列化 (微分方程式の数値解法と線形計算)
- SIAM PP 08報告(学術会合報告)
- 解析関数の多項式因子を求める精度保証付き解法
- Pade近似を用いた数値等角写像の計算法
- 解析関数の多項式因子を求める方法 (微分方程式の離散化手法と数値計算アルゴリズム)
- 解析関数の因子を求める方法とその精度保証 (精度保証付き数値計算法とその周辺)
- Mathematical Notation Understanding Methodology
- Pade近似を用いた数値等角写像計算のArnoldi法による精度改善(行列・固有値問題の解法とその応用, 平成17年研究部会連合発表会)
- Shifted Linear Systemsに対するKrylov部分空間反復法と固有値問題への応用
- 任意の言葉を対象とした音韻印象変換作用素の構成とその感性検索への適用
- 静止画像メディアデータを対象としたメタデータ自動抽出方式の実現とその意味的画像検索への適用
- FMO-MO法における大規模分子軌道計算 : 解くべき固有値問題の特徴(行列・固有値問題における線形計算アルゴリズムとその応用)
- 任意の印象に合致した音声表現を持つ言葉の自動構成方式(夏のデータベースワークショップ2007(データ工学,一般))
- 任意の印象に合致した音声表現を持つ言葉の自動構成方式(システム開発,夏のデータベースワークショップ2007(データ工学,一般))
- 任意の言葉を対象とした音の印象によるメタデータ自動抽出方式(マルチメディア,夏のデータベースワークショップDBWS 2006)
- 色彩の印象からの楽曲自動生成方式の実現(マルチメディア,夏のデータベースワークショップDBWS 2006)
- 任意の言葉を対象とした音の印象によるメタデータ自動抽出方式(マルチメディア)
- 色彩の印象からの楽曲自動生成方式の実現(マルチメディア)
- ドキュメント上の単語分布に基づく検索空間の生成方式(文書検索, 夏のデータベースワークショップDBWS2005)
- 書籍の索引部を用いた検索空間生成方式における空間統合方式(文書検索, 夏のデータベースワークショップDBWS2005)
- ドキュメント上の単語分布に基づく検索空間の生成方式(文書検索, 夏のデータベースワークショップ2005)
- 書籍の索引部を用いた検索空間生成方式における空間統合方式(文書検索, 夏のデータベースワークショップ2005)
- 特定分野を対象とした連想検索のための書籍の索引部を用いたメタデータ空間生成方式(コンテンツ技術, Web情報システム)
- 数式データを対象とした複合連想検索システムの実現
- ドキュメント内における単語の局所性を用いた連想検索のためのメタデータ空間生成方式(メタデータ2)(夏のデータベースワークショップDBWS2004)
- 音声メディアデータを対象としたメタデータ自動抽出方式に関する研究(感性)(夏のデータベースワークショップDBWS2004)
- 楽曲メディアデータと画像メディアデータ間における連想検索方式(感性)(夏のデータベースワークショップDBWS2004)
- ドキュメント内における単語の局所性を用いた連想検索のためのメタデータ空間生成方式(セッション7B : メタデータ2)(夏のデータベースワークショップ : DBWS2004)
- 音声メディアデータを対象としたメタデータ自動抽出方式に関する研究(セッション2C : 感性)(夏のデータベースワークショップ : DBWS2004)
- 楽曲メディアデータと画像メディアデータ間における連想検索方式(セッション2C : 感性)(夏のデータベースワークショップ : DBWS2004)
- 複数の書籍の索引部を用いたメタデータ空間拡張統合方式
- D-12-45 色情報付き陰関数曲面モデルの生成(D-12.パターン認識・メディア理解,一般講演)
- 任意の印象語による顔の表情の自動合成方式の実現(データベースと感性,デザイン,バイオインフォマティクス,音楽,環境,医学,建築分野との連携)
- 意味の数学モデルによる異種メディア間検索の実現方式
- 意味の数学モデルによる異種メディア間検索の実現方式
- 楽曲メディアデータを対象としたメタデータ自動抽出方式の実現とその意味的楽曲検索への適用
- 意味の数学モデルによる異種メディア間検索の実現方式
- グリッドRPCシステムOmniRPCにおける初期データの分散管理による効率化(グリッドRPC)
- MPU法に基づく色情報付き陰関数曲面の生成(コンピュータグラフィックス)
- 独立並列計算による行列固有値分布の確率的推定法
- 周回積分法に対するBlock Krylov部分空間反復法の適用と分子軌道計算への応用
- Cutoffを2重に用いた前処理の性能評価(行列・固有値問題の解法とその応用,平成20年研究部会連合発表)
- グレブナ基底を用いない連立代数方程式の非線形固有値問題への変換法と非線形固有値問題の解法について
- 精度混合型Krylov部分空間反復法における疎行列ベクトル積のCell BE上での実装と性能評価
- 大規模分子軌道計算における解くべき固有値問題の特徴
- ナノシミュレーションで現れる行列に対し疎行列直接法を適用した前処理について
- 複素モーメントに基づく画像特徴抽出(応用,行列・固有地問題の解法とその応用,平成19年研究部会連合発表会)
- 4ZG-7 数理分野を対象とした問題解決支援システム"MathGUIde"の数学教育への応用(教科学習,学生セッション,コンピュータと人間社会)
- 近似係数行列に対する疎行列用直接解法を用いた前処理(行列・固有値問題の解析とその応用,平成19年研究部連合発表会)
- Grid RPCにおける広域データ管理レイヤの利用(グリッド)
- GridRPC/MPIハイブリッドによる修正多重リスタート付きArnoldi法(グリッド)
- 応用数理サマーセミナー2007「計算ホモロジーとその応用」
- 複素対称行列に対する前処理の評価方法について(行列・固有値問題の解法とその応用,平成18年研究部会連合発表会)
- 多重連結領域数値等角写像のPade近似を用いた電荷点配置法(応用)
- 日本応用数理学会2005年度(第15回)年会印象記(1)
- 任意の言葉の音相の印象に合致した楽曲の自動生成方式(夏のデータベースワークショップ2007(データ工学,一般))
- 任意の言葉の音相の印象に合致した楽曲の自動生成方式(マルチメディアデータ,夏のデータベースワークショップ2007(データ工学,一般))
- 2000-DBS-122-43 ドキュメントデータ群を対象とした文脈依存動的クラスタリングを用いた意味的知識発見方式
- DE2000-65 ドキュメントデータ群を対象とした文脈依存動的クラスタリングを用いた意味的知識発見方式
- 9033 大規模固有値問題のグリッド環境向き並列解法(GS-D 一般セッション(行列計算))
- QR分解を用いた正則化法に対する最適正則化パラメータ推定法とその解析
- QR分解を用いた正則化法による画像再構成
- 直接法を用いた正則化法とその最適化
- 応用数理サマーセミナー 2006 確率微分方程式
- 双極子推定逆問題に対する直接解法の誤差評価(行列・固有値問題の解法とその応用, 平成17年研究部会連合発表会)
- 3Dオブジェクトの陰関数表現 : 前処理付反復法によるCSRBF型連立一次方程式の解法(数値計算, 数理計画法)
- 分野を超えたコミュニケーション
- LanczosプロセスのリスタートによるCGS法の安定化(行列・固有値問題における線形計算アルゴリズムとその応用)
- OmniRPCによるグリッド環境での大規模固有値問題の並列解法 (数値解析と新しい情報技術)
- 固有値解法による代数方程式の重根を求める方法
- 第29回数値解析シンポジウム(NAS 2000)(学術会合報告)
- 第29回数値解析シンポジウム(NAS2000)
- ランチョス多項式の漸化式計算における数値的不安定性の回避法
- MCGS法:非対称連立一次方程式のための新しい反復解法
- 色-印象データベースを利用した画像の印象を提示する画像作成支援アプリケーション
- フィルタ対角化による大規模固有値問題の解法
- 形式的直交多項式の漸化式計算におけるnear-breakdownについて
- 複数右辺べクトルをもつ連立一次方程式の数値解法
- 形状情報に着目した画像のメタデータ抽出
- 楽曲属性を反映する特徴量の動的選出に関する研究
- Cutoff を2重に用いた前処理の性能評価
- 数値計算のつぼ(4)x=F(x)?
- とびらの言葉
- アントワープ大学数値解析研究室の紹介(海外,ラボラトリーズ)
- Laurent-Pade近似におけるブロック構造について(科学技術における数値計算の理論と応用II)
- 重み付き定常反復型前処理のためのパラメータ最適化手法および超新星爆発計算における有効性 (次世代計算科学の基盤技術とその展開)
- 残差最小性に基づくKrylov部分空間反復解法に対する疎行列用直接解法を用いた前処理のパラメータ推定(応用)