スポンサーリンク
電気通信大学電気通信学部情報工学科 | 論文
- 長い可変長文字列の挿入操作に関する一考察
- キーボードによる窓操作機構の作成と評価
- 流れて行かないUnix環境
- 画面エディタ (エディタ)
- Multiple Kernel Learningを用いた50種類の食事画像分類
- TRECVID高次特徴抽出タスクにおける多種類特徴統合手法の比較(テーマ関連セッション3)
- Multiple Kernel Learningを用いた食べ物画像の分類(テーマ関連セッション2)
- カメラが情景を理解する : シーンの意味的分類技術の最先端(次世代ディジタルカメラ/ディジタルムービーを予測する 第7回)
- 6R-3 多種類特徴の統合による大規模映像認識(マルチメディア処理,学生セッション,データベースとメディア)
- 常微分方程式の精度保証における数式処理について (数値解析における理論・手法・応用)
- 常微分方程式境界値問題の精度保証法の初期値問題への適用(理論)
- 楕円型方程式の解に対する局所一意性付き数値的検証法の効率化
- 多倍長演算を利用したBessel関数の精度保証付き数値計算(科学技術計算と数値解析(多倍長科学技術計算の基礎と応用), 平成17年研究部会連合発表会)
- Bessel関数の境界条件への適合に関する精度保証付き計算 (微分方程式の数値解法と線形計算)
- 微分方程式の離散化手法と数値計算アルゴリズム(学術会合報告)
- 熱対流問題の解に対する計算機援用証明 (数学解析の計算機上での理論的展開とその遂行可能性)
- Rayleigh-Benard対流の定常解に対する精度保証付き数値計算II (微分方程式の離散化手法と数値計算アルゴリズム)
- 大石進一, 精度保証付き数値計算, コロナ社, 2000年
- 楕円型逆固有値問題におけるポテンシャル関数の包み込みについて (偏微分方程式の数値解法とその周辺II)
- Rayleigh-Benard対流の定常解に対する精度保証付き数値計算 (精度保証付き数値計算法とその周辺)