大石 進一 | 早稲田大 理工学術院
スポンサーリンク
概要
関連著者
-
大石 進一
早稲田大 理工学術院
-
大石 進一
早稲田大学
-
大石 進一
早稲田大学 理工学術院 基幹理工学部 応用数理学科
-
荻田 武史
早稲田大学大学院理工学研究科
-
荻田 武史
東京女子大学 現代教養学部 数理科学科
-
中谷 祐介
早稲田大学理工学術院
-
神沢 雄智
芝浦工業大学
-
西 哲生
早稲田大学理工学総合研究センター
-
西 哲生
早稲田大学理工学術院
-
相馬 隆郎
東京都立短期大学経営情報学科
-
西 哲生
早稲田大学 理工学術院
-
荻田 武史
東京女子大学 文理学部 数理学科
-
尾崎 克久
早稲田大学 理工学術院
-
相馬 隆郎
早稲田大学 理工学部
-
神沢 雄智
早稲田大学 理工学部
-
荻田 武史
東京女子大学
-
堀内 和夫
早稲田大学
-
荻田 武史
科学技術振興機構(JST), 戦略的創造研究推進事業(CREST), 早稲田大学理工学術院
-
尾崎 克久
芝浦工業大学システム理工学部
-
堀内 和夫
早稲田大
-
柏木 雅英
早稲田大学
-
丸山 晃佐
早稲田大学大学院理工学研究科
-
神澤 雄智
芝浦工業大学工学部通信工学科
-
荻田 武史
科学技術振興機構
-
宮田 孝富
早稲田大学理工学部
-
山中 脩也
早稲田大学基幹理工学系研究科
-
神澤 雄智
芝浦工業大学
-
宮島 信也
早稲田大学理工学部情報学科
-
後 保範
株式会社日立製作所
-
後 保範
日立製作所エンタープライズサーバ事業部
-
宮島 信也
早稲田大学理工学術院
-
Rump Siegfried
Institute For Reliable Computing Hamburg University Of Technology
-
山中 脩也
早稲田大学
-
丸山 晃佐
早稲田大学理工学部
-
Rump Siegfried
Hamburg工科大学
-
Rump Siegfried
早稲田大学 理工学術院
-
尾崎 克久
芝浦工業大学
-
中島 達夫
早稲田大学 基幹理工学部 情報理工学科
-
山名 早人
早稲田大学
-
甲藤 二郎
早稲田大学基幹理工学研究科
-
村岡 洋一
早稲田大学大学院理工学研究科情報ネットワーク専攻
-
上田 和紀
早稲田大学理工学部情報学科
-
太田 貴久
早稲田大学 理工学術院
-
柏木 雅英
東洋大学経営学部
-
RUMP Siegfried
Institute for Reliable Computing, Hamburg University of Technology
-
沼波 秀晃
早稲田大学理工学部
-
村岡 洋一
早稲田大学
-
上田 和紀
早稲田大学大学院情報理工学専攻
-
中島 達夫
早稲田大学
-
OGITA Takeshi
Department of Mathematics, College of Arts and Sciences, Tokyo Woman's Christian University
-
Ogita Takeshi
Department Of Mathematical Sciences Tokyo Woman's Christian University
-
甲藤 二郎
早稲田大学基幹情報理工学研究科
-
上田 和紀
早稲田大学
-
甲藤 二郎
早稲田大学
-
OGITA Takeshi
Department of Mathematical Sciences, Tokyo Woman's Christian University
-
OISHI Shin'ichi
Department of Applied Mathematics, Faculty of Science and Engineering, Waseda University
-
片桐 孝洋
東京大学情報基盤センター
-
牧野 光則
中央大学大学院理工学研究科
-
篠田 庄司
中央大学理工学部電気電子情報通信工学科
-
岡山 友昭
東京大学大学院情報理工学系研究科
-
片桐 孝洋
東京大学
-
柏木 雅英
九州大学大学院システム情報科学研究科
-
岡山 友昭
東京大学情報理工学系研究科
-
中村 晴幸
日本放送協会
-
谷本 洋
北見工業大学
-
谷本 洋
北見工業大学電気電子工学科
-
石井 六哉
横浜国立大学工学研究院知的構造の創生部門
-
牧野 光則
中央大学
-
相馬 隆郎
東京都立短期大学
-
ルンプ ジークフリート
ハンブルグ工科大学
-
南畑 淳史
同志社大学 理工学部
-
中村 晴幸
Nhk
-
篠田 庄司
中央大学大学院理工学研究科電気電子情報通信工学専攻
-
篠田 庄司
中央大学 理工学部
-
村重 淳
東京大学新領域創成科学研究科
-
小田 佳成
早稲田大学理工学部
-
石井 六哉
横浜国立大学大学校学部
-
神沢 雄智
芝浦工業大学工学部通信工学科
-
青木 康裕
早稲田大学理工学部
-
武者 暁彦
早稲田大学理工学部電子・情報通信学科
-
森山 敦史
早稲田大学理工学研究科
-
Rump Siegfried
Hamburg Institute Of Technology
-
佐藤 仁樹
早稲田大学理工学部電子通信学科
-
谷本 洋
北見工大
-
牧野 光則
早稲田大学理工学部情報学科:中央大学理工学部情報工学科
-
佐藤 仁樹
早稲田大
-
大石 進一
School of Engineering, Kyushu University
-
村重 淳
東京大学大学院新領域創成科学研究科複雑理工学専攻
-
OZAKI Katsuhisa
Research Institute for Science and Engineering, Waseda University
-
尾崎 克久
芝浦工業大学システム理工学部数理科学科
-
大上 勝博
早稲田大学理工学部
-
高崎 大輔
早稲田大学理工学部
-
大熊 伸也
早稲田大学理工学部
-
Ozaki Katsuhisa
Research Institute For Science And Engineering Waseda University
-
Graillat Stef
UPMC
-
Lauter Christoph
UPMC
-
篠田 庄司
中央大学
-
大石 進一
早稲田大学基幹理工学部応用数理学科
-
荻田 武史
早稲田大学 理工学術院
著作論文
- 能動素子を含むある種の抵抗回路の解の精度保証について(信号処理,LSI及び一般)
- 行列式が1の3次整数行列の一生成法
- 行列式の精度保証付き数値計算法
- 実対称定値一般化固有値問題のすべての固有値の精度保証付き数値計算法(数値計算,数理計画法)
- A fast verified automatic integration algorithm using double exponential formula (数値解析における理論・手法・応用--RIMS研究集会報告集)
- 非常に大きな条件数をもつ整数行列の一生成法
- 能動素子を含むある種の抵抗回路の解の精度保証について(信号処理,LSI及び一般)
- 能動素子を含むある種の抵抗回路の解の精度保証について(信号処理,LSI及び一般)
- マルチプロセスを用いた連立一次方程式の精度保証法の実装
- 線形抵抗回路の動作点の数値的精度保証法
- 線形抵抗回路の動作点の数値的精度保証法
- 行列式が1の3次整数行列の一生成法
- 線形受動抵抗回路の解の精度保証について
- A-2-27 アフィン演算を用いた非線形方程式の解曲線追跡(A-2.非線形問題,一般講演)
- 精度保証付き数値計算法を用いた常微分方程式の全解探索アルゴリズム
- 変数分離形非線形方程式の解の非存在の厳密な数値的検証法と全解探索への応用
- A-2-2 非線形方程式に対する精度保証付き数値計算法
- 非線形方程式に対する精度保証付き数値計算法
- 非線形方程式に対する精度保証付き数値計算法
- 有限次元非線形方程式の全解探索アルゴリズム
- パラメータ依存非線形方程式の解を含む区間の反復改良アルゴリズム
- A-2-7 非線形方程式の解の非存在の厳密な数値的検証法
- 非線形方程式の解の非存在検証法の効率化
- 有限ステップで停止する非線形方程式のすべての解を精度保証付きで求めるアルゴリズム(論文賞贈呈)
- 区間Newton写像を用いた非線形常微分方程式の解の数値的存在検証法
- 線形計画法を用いた非線形方程式の解の非存在検証法
- 内点法を用いた非線形方程式の探索領域における解の非存在判定法について
- Sobolevノルムによる非線形常微分方程式の解の存在検証法
- 数値積分を用いた常微分方程式の周期解の精度保証付き数値計算
- A-2-28 Sobolevノルムを用いた非線形常微分方程式の解の存在検証法
- A-2-27 数値積分を用いた常微分方程式の周期解の精度保証付き数値計算
- 精度保証付き数値計算法を用いた常微分方程式の任意精度反復改良法
- L_2ノルム評価による常微分方程式の解の存在検証法
- 無限行列を用いた常微分方程式の解の存在検証法
- 区間Newton法を用いた非線形常微分方程式の解の数値的存在検証法
- 非線形作用素方程式の解の存在検証法
- 区分関数を用いた非線形常微分方程式の境界値問題における精度保証
- 線形受動抵抗回路の解の精度保証について
- 大規模疎行列の正定値性の保証法 (計算科学の基盤技術としての高速アルゴリズムとその周辺)
- 点と直線の位置関係の計算をロバストに行う : 点と平面の位置関係の精度保証法 (計算科学の基盤技術としての高速アルゴリズムとその周辺)
- 複素解析を用いた高速精度保証付き自動積分法
- ポータブルかつ誤差半径を過大評価しない行列乗算の包含について
- 行列式の高速な精度保証付き数値計算法(数値シミュレーションを支える応用数理)
- 6 数値シミュレーションを支える精度保証技術(次世代統合シミュレーション技術)
- 基礎・境界ソサイエティの活性化の一活動 : ICFS 2002の活動計画
- 点と平面との位置関係を判定する高速かつロバストなアルゴリズム(実用,計算の品質,平成18年研究部会連合発表会)
- 実対称行列の各固有対に対する精度保証付き数値計算法(理論,計算の品質,平成18年研究部会連合発表会)
- 実対称行列の各固有対に対する精度保証付き数値計算法
- 連立一次方程式のメモリ量を低減した精度保証付き数値計算法(ロバスト計算と精度保証)
- 高精度内積計算アルゴリズムを用いた連立一次方程式の精度保証付き数値計算法(ロバスト計算と精度保証)
- 悪条件連立一次方程式の精度保証付き数値計算法(計算の品質, 平成17年研究部会連合発表会)
- 実対称行列の各固有値に対する精度保証付き数値計算法(計算の品質, 平成17年研究部会連合発表会)
- Javaによる連立一次方程式の数値解の精度保証法 (21世紀における数値解析の新展開)
- A-1-36 グリーン関数を用いた非線形常微分方程式の周期解の数値的存在検証法とその従来法との比較(A-1. 回路とシステム, 基礎・境界)
- A-2-24 グリーン関数を用いた非線形常微分方程式の解の数値的存在検証法(A-2. 非線形問題)
- A-2-6 階段関数近似を用いた非線形常微分方程式の解の数値的存在検証法
- 悪条件対称行列の正確なコレスキー分解正定値性の検出(光カオス,一般)
- 大規模連立一次方程式のための高速精度保証法(シンポジウム)
- 10. 21世紀COEプロジェクト「プロダクティブICTアカデミア」(21世紀卓越した情報研究拠点プログラムの目指す研究(前編))
- 21世紀COEプロジェクト「プロダクティブICTアカデミア」
- 高精度内積計算アルゴリズムとその応用 (数学解析の理論的展開の計算機による支援・遂行可能性)
- 拡張Strassen法による連立一次方程式の精度保証 (数値解析と新しい情報技術)
- Strassen のアルゴリズムによる行列乗算の高速精度保証 (微分方程式の数値解法と線形計算)
- 3)視覚特性を考慮した静止画像の符号化法(〔画像表示研究会視覚情報研究会画像通信システム研究会〕合同)
- シミュレーションという懐の広さ
- 日本応用数理学会20周年記念式典の概要(20周年記念)
- 反復解法による連立一次方程式の数値解の高速精度保証
- 単調な疎行列における連立一次方程式の高速精度保証 (偏微分方程式の数値解法とその周辺II)
- 精度保証付シミュレーション技術研究委員会(研究委員会紹介)
- 有向丸めの変更を使用しないタイトな行列積の包含方法
- 線形受動抵抗回路の解の回路構造に基づいた精度保証について
- Affine Arithmeticを用いた非線形常微分方程式の解の数値的存在検証法
- 非線形周期的常微分方程式の周期解の数値的存在検証法
- A-2-26 アフィン演算を用いた非線形常微分方程式の解の数値的存在検証法
- 2次元ポテンシャル問題における偏微分方程式の精度保証付き数値計算 (微分方程式の数値解法と線形計算)
- A-2-4 固有値に対する要素別高速精度保証法
- A-2-21 複素行列の特異値に対する高速精度保証
- A-2-1 行列の固有値問題の高速精度保証
- 行列の固有値問題の高速精度保証
- 数値線形代数の問題の高速精度保証
- 固有値問題の数値解の高速精度保証 (偏微分方程式の数値解法とその周辺II)
- 非線形問題を解く道具としての精度保証付き数値計算(21世紀を展望する)
- Iterative Refinement for Ill-Conditioned Linear Systems
- Adaptive and Efficient Algorithm for 2D Orientation Problem
- 浮動小数点演算による中心と半径で表される区間の演算
- 高精度行列-行列積アルゴリズムのスレッド並列化とABCLibScriptへの機能実装
- 数値線形代数の精度保証
- 線形方程式はもう一度数値解を計算する手間で精度保証できる
- 高速精度保証付き数値計算 (精度保証付き数値計算法とその周辺)
- 精度保証付きシミュレーション[2] : 線形方程式の高速精度保証とプログラミング技法
- TA-1-3 精度保証付き数値計算のプログラミング
- TA-1-2 精度保証付き数値計算を高速に行うには
- TA-1-1 精度保証付き数値計算とは
- 精度保証数値計算(数値計算)
- C++言語による精度保証付き数値計算ライブラリ
- C++言語による精度保証ライブラリ
- 倍精度に基づく四倍精度四則演算法の誤差とその応用 (科学技術計算における理論と応用の新展開)
- 有向丸めの変更を使用しないタイトな行列積の包含方法
- ラボラトリーズ CREST研究課題「非線形系の精度保証付き数値計算法の基盤とエラーフリーな計算工学アルゴリズムの探求」の紹介
- 周期的非線形微分方程式の周期解の存在検証法
- RCポリフェーズ回路の合成について(一般)
- CREST研究課題「非線形系の精度保証付き数値計算法の基盤とエラーフリーな計算工学アルゴリズムの探求」の紹介(ラボラトリーズ)
- 浮動小数点数を成分に持つn次元ベクトルの2乗ノルムの真の値に隣接する浮動数小数点数の計算
- D-11-100 分布関数によるポリゴンオブジェクト間の融合接続の一手法
- 数学から社会へ+社会から数学へ-数学者の目で世相を観る, 足立恒雄(著), 東京図書, 2013-06, 四六判, 定価(本体2,000円+税)