大石 進一 | 早稲田大学 理工学術院 基幹理工学部 応用数理学科
スポンサーリンク
概要
関連著者
-
大石 進一
早稲田大学 理工学術院 基幹理工学部 応用数理学科
-
大石 進一
早稲田大学
-
大石 進一
早稲田大 理工学術院
-
神沢 雄智
芝浦工業大学
-
神沢 雄智
早稲田大学 理工学部
-
荻田 武史
早稲田大学大学院理工学研究科
-
荻田 武史
東京女子大学 現代教養学部 数理科学科
-
中谷 祐介
早稲田大学理工学術院
-
堀内 和夫
早稲田大学
-
相馬 隆郎
東京都立短期大学経営情報学科
-
相馬 隆郎
早稲田大学 理工学部
-
西 哲生
早稲田大学理工学術院
-
西 哲生
早稲田大学 理工学術院
-
西 哲生
早稲田大学理工学総合研究センター
-
荻田 武史
東京女子大学 文理学部 数理学科
-
荻田 武史
東京女子大学
-
尾崎 克久
早稲田大学 理工学術院
-
荻田 武史
科学技術振興機構(JST), 戦略的創造研究推進事業(CREST), 早稲田大学理工学術院
-
尾崎 克久
芝浦工業大学システム理工学部
-
柏木 雅英
早稲田大学
-
堀内 和夫
早稲田大
-
牧野 光則
中央大学理工学部
-
大石 進一
早稲田大学理工学研究科・crest Jst
-
丸山 晃佐
早稲田大学大学院理工学研究科
-
高安 亮紀
早稲田大学基幹理工学研究科
-
田中 久陽
(株)ソニーコンピューターサイエンス研究所
-
神澤 雄智
芝浦工業大学工学部通信工学科
-
荻田 武史
科学技術振興機構
-
牧野 光則
中央大学理工学部情報工学科
-
沼波 秀晃
早稲田大学理工学部
-
田中 久陽
早稲田大学理工学部
-
宮田 孝富
早稲田大学理工学部
-
柏木 雅英
九州大学大学院システム情報科学研究科
-
山中 脩也
早稲田大学基幹理工学系研究科
-
伊藤 貴之
日本ibm東京基礎研究所
-
久保 隆徹
筑波大学数理物質科学研究科
-
神澤 雄智
芝浦工業大学
-
宮島 信也
早稲田大学理工学部情報学科
-
後 保範
株式会社日立製作所
-
後 保範
日立製作所エンタープライズサーバ事業部
-
宮島 信也
早稲田大学理工学術院
-
尾崎 克久
芝浦工業大学
-
川野 一成
早稲田大学理工学部
-
山中 脩也
早稲田大学
-
柏木 雅英
九州大学工学部情報工学科
-
丸山 晃佐
早稲田大学理工学部
-
小田 佳成
早稲田大学理工学部
-
Rump Siegfried
Hamburg工科大学
-
Rump Siegfried
早稲田大学 理工学術院
-
伊藤 貴之
早稲田大学理工学部電子通信学科
-
中島 達夫
早稲田大学 基幹理工学部 情報理工学科
-
山名 早人
早稲田大学
-
甲藤 二郎
早稲田大学基幹理工学研究科
-
村岡 洋一
早稲田大学大学院理工学研究科情報ネットワーク専攻
-
上田 和紀
早稲田大学理工学部情報学科
-
太田 貴久
早稲田大学 理工学術院
-
柏木 雅英
東洋大学経営学部
-
RUMP Siegfried
Institute for Reliable Computing, Hamburg University of Technology
-
谷本 洋
北見工業大学
-
鴨井 好正
早稲田大学理工学部
-
村岡 洋一
早稲田大学
-
斎藤 泰
早稲田大学理工学部電子通信学科(ソニー株式会社)
-
牟田 恭一郎
早稲田大学理工学部
-
上田 和紀
早稲田大学大学院情報理工学専攻
-
青木 康裕
早稲田大学理工学部
-
寺岡 秀礼
早稲田大学 理工学部
-
Rump Siegfried
Institute For Reliable Computing Hamburg University Of Technology
-
劉 雪峰
早稲田大学理工学術院・crest Jst
-
佐藤 仁樹
早稲田大学理工学部電子通信学科
-
中島 達夫
早稲田大学
-
大石 進一
早稲田大学理工学部コンピュータ・ネットワーク工学科
-
甲藤 二郎
早稲田大学基幹情報理工学研究科
-
大上 勝博
早稲田大学理工学部
-
上田 和紀
早稲田大学
-
大熊 伸也
早稲田大学理工学部
-
甲藤 二郎
早稲田大学
-
劉 雪峰
早稲田大学基幹理工学研究科数学応用数理専攻
-
片桐 孝洋
東京大学情報基盤センター
-
田邉 國士
早稲田大学理工学術院
-
牧野 光則
中央大学大学院理工学研究科
-
篠田 庄司
中央大学理工学部電気電子情報通信工学科
-
山田 敦
日本アイ・ビー・エム(株)東京基礎研究所
-
岡山 友昭
東京大学大学院情報理工学系研究科
-
片桐 孝洋
東京大学
-
筧 捷彦
早稲田大学理工学術院
-
筧 捷彦
早稲田大学
-
相澤 龍彦
東京大学工学部金属工学科
-
田邉 國士
早稲田大学理工学術院応用数理学科
-
岡山 友昭
東京大学情報理工学系研究科
-
中村 晴幸
日本放送協会
-
松宮 徹
新日本製鐵鉄鋼研究所
-
谷本 洋
北見工業大学電気電子工学科
-
栗原 健志
早稲田大学理工学部
-
松宮 徹
新日本製鐵(株)先端技術研究所解析科学研究部
-
松宮 徹
新日本製鐵(株)鉄鋼研究所
-
松宮 徹
新日本製鐵
-
奥村 康行
早稲田大学理工学部
-
石井 六哉
横浜国立大学工学研究院知的構造の創生部門
-
牧野 光則
中央大学
-
相馬 隆郎
東京都立短期大学
-
岸本 一男
筑波大学大学院システム情報工学研究科
-
浅野 幸弘
住友信託銀行投資調査部
-
岸本 一男
筑波大学社会工学系
-
ルンプ ジークフリート
ハンブルグ工科大学
-
南畑 淳史
同志社大学 理工学部
-
岡田 淳
早稲田大学理工学部電子通信学科
-
中村 晴幸
Nhk
-
篠田 庄司
中央大学大学院理工学研究科電気電子情報通信工学専攻
-
篠田 庄司
中央大学 理工学部
-
村重 淳
東京大学新領域創成科学研究科
-
楠岡 成雄
東京大学数理学研究科
-
関口 智嗣
電子総合研究所計算機方式研究室
-
一色 信之
花王株式会社数理科学研究所
-
中村 正彰
日本大学理工学部
-
田中 久陽
(株)ソニーコンピュータサイエンス研究所
-
筧 捷彦
早稲田大学理工学部コンピュータ・ネットワーク工学科
-
山口 正樹
早稲田大学理工学部
-
石井 六哉
横浜国立大学大学校学部
-
神沢 雄智
芝浦工業大学工学部通信工学科
-
武者 暁彦
早稲田大学理工学部電子・情報通信学科
-
浅野 幸弘
住友信託銀行(株)投資研究部
-
栗原 浩史
早稲田大学理工学部
-
岸本 一男
筑波大学大学院システム情報工学研究科社会システム工学専攻
-
森山 敦史
早稲田大学理工学研究科
-
武藤 一
早稲田大学理工学部情報学科
-
山田 敦
日本IBM東京基礎研究所
-
Rump Siegfried
Hamburg Institute Of Technology
-
谷本 洋
北見工大
-
相馬 隆夫
早稲田大学理工学部
-
淡路 哲彦
早稲田大学理工学部電子通信学科
-
細谷 健
早稲田大学理工学部電子通信学科
-
牧野 光則
早稲田大学理工学部情報学科:中央大学理工学部情報工学科
-
清水 英之
早稲田大学理工学部
-
佐藤 仁樹
早稲田大
-
楠岡 成雄
東京大学数理科学研究科
-
大石 進一
早稲田大学理工学術院
-
柏木 雅美
早稲田大学 理工学部 情報学科
-
村重 淳
東京大学大学院新領域創成科学研究科複雑理工学専攻
-
大石 進一
早稲田大学理工学術院・crest Jst
-
鎌田 知孝
早稲田大学理工学部
-
井上 晃
早稲田大学理工学部
-
尾崎 克久
芝浦工業大学システム理工学部数理科学科
-
高崎 大輔
早稲田大学理工学部
-
中井 智人
早稲田大学理工学部
-
田邉 國士
早稲田大学:山梨大学
-
井下 雅美
早稲田大学理工学部電子通信学科
-
Graillat Stef
UPMC
-
Lauter Christoph
UPMC
-
小笠原 義仁
早稲田大学大学院
-
小笠原 義仁
早稲田大学理工学術院
-
篠田 庄司
中央大学
-
谷本 洋
北見工業大学 電気電子工学科
-
大石 進一
早稲田大学 理工学術院
-
大石 進一[他]
早稲田大学理工学部
-
荻田 武史
早稲田大学 理工学術院
著作論文
- 能動素子を含むある種の抵抗回路の解の精度保証について(信号処理,LSI及び一般)
- 行列式が1の3次整数行列の一生成法
- 行列式の精度保証付き数値計算法
- 数値シミュレーションの精度保証と信頼性(シミュレーションと信頼性)
- 線形計画問題の最適解の精度保証(カオスの通信への応用,局在振動,一般)
- 実対称定値一般化固有値問題のすべての固有値の精度保証付き数値計算法(数値計算,数理計画法)
- 精度保証付き数値計算法の最近の到達点とMATLAB上のツールボックス
- A fast verified automatic integration algorithm using double exponential formula (数値解析における理論・手法・応用--RIMS研究集会報告集)
- C++による精度保証付き数値計算ライブラリ
- C++と浮動小数点数による精度保証付き数値計算ライブラリ
- 実用化されつつある高品質数値計算とその画期的な応用
- Numerical Existence Proofs and Guaranteed Error Bounds for Solutions to Two-Point Boundary Value Problems (Recent Developments of Numerical Analysis and Numerical Computation Algorithms)
- 非線形関数方程式の精度保証付き数値計算法
- 非常に大きな条件数をもつ整数行列の一生成法
- 能動素子を含むある種の抵抗回路の解の精度保証について(信号処理,LSI及び一般)
- 能動素子を含むある種の抵抗回路の解の精度保証について(信号処理,LSI及び一般)
- マルチプロセスを用いた連立一次方程式の精度保証法の実装
- 線形抵抗回路の動作点の数値的精度保証法
- 線形抵抗回路の動作点の数値的精度保証法
- 行列式が1の3次整数行列の一生成法
- 線形受動抵抗回路の解の精度保証について
- 同期技術と同期現象
- あるクラスのphase modelのダイナミクスについて : 同期/非同期の臨界状態
- Dynamical Theory on Mutually Connected PLL's
- 多くのパラメータをもつダイナミカルシステムの特異点解析
- 複素時間から見た非線形回路のpower spectrum
- 複素時間からみた非線形回路 : Phase-Locked Loopsの場合
- 座談会「応用数理と私」
- 線形受動抵抗回路の解の回路構造に基づいた精度保証について (回路とシステム)
- A-2-27 アフィン演算を用いた非線形方程式の解曲線追跡(A-2.非線形問題,一般講演)
- 精度保証付き数値計算法を用いた常微分方程式の全解探索アルゴリズム
- 変数分離形非線形方程式の解の非存在の厳密な数値的検証法と全解探索への応用
- A-2-2 非線形方程式に対する精度保証付き数値計算法
- 非線形方程式に対する精度保証付き数値計算法
- 非線形方程式に対する精度保証付き数値計算法
- 有限次元非線形方程式の全解探索アルゴリズム
- パラメータ依存非線形方程式の解を含む区間の反復改良アルゴリズム
- A-2-7 非線形方程式の解の非存在の厳密な数値的検証法
- 非線形方程式の解の非存在検証法の効率化
- 区間Newton写像を用いた非線形常微分方程式の解の数値的存在検証法
- 線形計画法を用いた非線形方程式の解の非存在検証法
- 内点法を用いた非線形方程式の探索領域における解の非存在判定法について
- 最適化手法による非線形方程式の解の非存在性の数値的検証法
- 高分子溶液の多相平衡に関する非線形方程式の全解探索
- 有理数演算を用いたパラメータ依存非線形方程式の解の区間反復改良
- 円形複素領域を用いた非線形方程式の解の精度保証付き数値計算
- 非線形方程式の複素数解の精度保証付き数値計算
- 非線形常微分方程式の近似的特異解の精度保証付き数値計算
- 有限ステップで停止する非線形方程式のすべての解を精度保証付きで求めるアルゴリズム
- パラメータ依存非線形方程式のすべての解を精度保証付きで求めるアルゴリズム
- 精度保証付き数値計算法を用いた非線形方程式の解曲線の存在検証法
- 化学平衡系の非線形方程式の精度保証付き数値計算
- 非線形方程式の近似的特異解とその数値的存在検証法(科学技術における数値計算の理論と応用II)
- 非線形方程式の特異解の精度保証付数値計算について II
- 数理計画法に基づいた非線形方程式の解の非存在の数値的検証法
- 区分線形系微分方程式の周期解と分岐点の精度保証について
- ある分岐点の精度保証つき数値計算法
- 非線形方程式の特異解の精度保証付数値計算について
- 線形計画法を用いた非線形方程式の精度保証つき全解探索
- 線形計画法を用いた非線形方程式の精度保証付き全解探索
- 精度保証付数値計算法を用いた非線形方程式の解曲線の存在検証法
- 非線形方程式の近似的特異解とその数値的存在検証法
- 非線形方程式の複素数解の精度保証付数値計算
- 境界値問題の折り返し点の数値的存在検証法
- Krawczyk法を用いた一パラメータ依存常微分方程式の解追跡
- C++による精度保証付き数値計算システム
- 有限次元非線形方程式の全解探索アルゴリズム(数値計算における品質保証とその応用 : 感度解析から証明まで)
- 非線形方程式の解曲線追跡のための一手法
- 有理数演算による非線形方程式の近似解の精度保証 : 有理数演算による精度保証付き広義ニュートン法(非線形問題の数値解析)
- 非線形楕円型偏微分方程式の精度保証法(一般)
- 非線形楕円型偏微分方程式の精度保証法(一般)
- 2-1 IEEE/ACM Computing Curricula 2001などの情報通信系標準カリキュラム : 2003年度発足の早稲田大学理工学部コンピュータ・ネットワーク工学科カリキュラムを例として(2.カリキュラム)(グローバル化時代の教育と研究)
- Sobolevノルムによる非線形常微分方程式の解の存在検証法
- 数値積分を用いた常微分方程式の周期解の精度保証付き数値計算
- A-2-28 Sobolevノルムを用いた非線形常微分方程式の解の存在検証法
- A-2-27 数値積分を用いた常微分方程式の周期解の精度保証付き数値計算
- 精度保証付き数値計算法を用いた常微分方程式の任意精度反復改良法
- L_2ノルム評価による常微分方程式の解の存在検証法
- 無限行列を用いた常微分方程式の解の存在検証法
- 区間Newton法を用いた非線形常微分方程式の解の数値的存在検証法
- 非線形作用素方程式の解の存在検証法
- 区分関数を用いた非線形常微分方程式の境界値問題における精度保証
- 非線形常微分方程式の境界値問題における精度保証の自動化
- 区分線形系微分方程式の周期解と分岐点の精度保証について
- 精度保証付き数値計算を用いた常微分方程式の近似解の任意精度反復改良
- 精度保証付き数値計算を用いた常微分方程式の近似解の反復改良法
- 精度保証付き数値計算を用いた常微分方程式の近似解の区間反復法
- 線形受動抵抗回路の解の精度保証について
- 大規模疎行列の正定値性の保証法 (計算科学の基盤技術としての高速アルゴリズムとその周辺)
- 点と直線の位置関係の計算をロバストに行う : 点と平面の位置関係の精度保証法 (計算科学の基盤技術としての高速アルゴリズムとその周辺)
- 複素解析を用いた高速精度保証付き自動積分法
- ポータブルかつ誤差半径を過大評価しない行列乗算の包含について
- 行列式の高速な精度保証付き数値計算法(数値シミュレーションを支える応用数理)
- 6 数値シミュレーションを支える精度保証技術(次世代統合シミュレーション技術)
- メッシュデータの集合演算による曲面形状の近似処理
- 基礎・境界ソサイエティの活性化の一活動 : ICFS 2002の活動計画
- Duffing型方程式の不規則遷移振動に関する数値解析 (確定系における不規則現象と力学系理論)
- 点と平面との位置関係を判定する高速かつロバストなアルゴリズム(実用,計算の品質,平成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 のアルゴリズムによる行列乗算の高速精度保証 (微分方程式の数値解法と線形計算)
- A refinement technique to residual evaluation of Computer assisted proofs for Semilinear elliptic boundary value problems (科学技術計算アルゴリズムの数理的基盤と展開--RIMS研究集会報告集)
- Verified eigenvalue evaluation for Laplace operator on arbitrary polygonal domain (科学技術計算アルゴリズムの数理的基盤と展開--RIMS研究集会報告集)
- 3)視覚特性を考慮した静止画像の符号化法(〔画像表示研究会視覚情報研究会画像通信システム研究会〕合同)
- 視覚特性を考慮した静止画像の符号化法
- ベキ級数演算を用いた非線形常微分方程式の境界値問題の近似解の精度保証について
- シミュレーションという懐の広さ
- コンピュータグラフィックスにおける分光モデルに関する検討
- ラジオシティ法を用いた透明体の陰影・集光の表現
- 指の先端位置情報による手の形状モデリング
- レイトレーシング法を用いた異方性不均質透明体の表現
- CGによる結晶の表現
- 日本応用数理学会20周年記念式典の概要(20周年記念)
- 反復解法による連立一次方程式の数値解の高速精度保証
- 単調な疎行列における連立一次方程式の高速精度保証 (偏微分方程式の数値解法とその周辺II)
- 精度保証付シミュレーション技術研究委員会(研究委員会紹介)
- 線形受動抵抗回路の解の回路構造に基づいた精度保証について
- Affine Arithmeticを用いた非線形常微分方程式の解の数値的存在検証法
- A-2-26 アフィン演算を用いた非線形常微分方程式の解の数値的存在検証法
- 2次元ポテンシャル問題における偏微分方程式の精度保証付き数値計算 (微分方程式の数値解法と線形計算)
- A-2-4 固有値に対する要素別高速精度保証法
- A-2-21 複素行列の特異値に対する高速精度保証
- A-2-1 行列の固有値問題の高速精度保証
- 行列の固有値問題の高速精度保証
- 数値線形代数の問題の高速精度保証
- 固有値問題の数値解の高速精度保証 (偏微分方程式の数値解法とその周辺II)
- 非線形問題を解く道具としての精度保証付き数値計算(21世紀を展望する)
- レイトレーシング法によるバンプ・マッピングされた物体の影の表現
- 計算の品質部会の報告
- SA-1-1 区間演算による関数の値域の一評価法(II)(SA-1. 区間演算の工学的応用,シンポジウム)
- 浮動小数点演算による中心と半径で表される区間の演算
- 高精度行列-行列積アルゴリズムのスレッド並列化とABCLibScriptへの機能実装
- ベッセル関数とハンケル関数の精度保証付き数値計算(一般,機械学習によるバイオデータマインニング・生命現象の非線形性,一般)
- C++言語による精度保証付き数値計算ライブラリ
- C++言語による精度保証ライブラリ
- 非線形常微分方程式の非孤立単純特異解の精度保証付き数値計算
- C++言語による精度保証ライブラリ
- ローレンツ方程式の初期値問題における近似解の精度保証
- ボリュームレンダリングによる成長する積乱雲の表現
- 2次元空間における音波の散乱問題に対するLippmann-Schwinger方程式の解の数値的唯一性・存在性定理
- 倍精度に基づく四倍精度四則演算法の誤差とその応用 (科学技術計算における理論と応用の新展開)
- 有向丸めの変更を使用しないタイトな行列積の包含方法
- A residual bound evaluation of operator equations with Raviart-Thomas finite element (The latest developments in theory and application on scientific computation)
- 有向丸めの変更を使用しないタイトな行列積の包含方法
- 周期的非線形微分方程式の周期解の存在検証法
- RCポリフェーズ回路の合成について(一般)
- CREST研究課題「非線形系の精度保証付き数値計算法の基盤とエラーフリーな計算工学アルゴリズムの探求」の紹介(ラボラトリーズ)
- 区間を用いた解曲線追跡
- AK-3-3 新しく発足した本学会NOLTA英文論文誌の現状(AK-3.NOLTAサブソサイエティの活動-国際会議20年の実績とNOLTA論文誌の発刊-,ソサイエティ特別企画,ソサイエティ企画)
- RCポリフェーズ回路の合成について
- 浮動小数点数を成分に持つn次元ベクトルの2乗ノルムの真の値に隣接する浮動数小数点数の計算
- On a characteristic property of the tent map (General and Geometric Topology today and their problems)
- D-11-100 分布関数によるポリゴンオブジェクト間の融合接続の一手法