柏木雅英 KASHIWAGI Masahide

研究者番号	00257247
その他のID
所属 (現在)	2025年度: 早稲田大学, 理工学術院, 教授
所属 (過去の研究課題情報に基づく) *注記	2010年度: 早稲田大学, 理工学術院, 教授 2009年度: 理工学術院, 教授 2008年度: 早稲田大学, 理工学術院, 准教授 1998年度: 早稲田大学, 理工学部・情報学科, 助教授 1997年度: 九州大学, システム情報科学研究科, 助教授 … もっと見る 1997年度: 九州大学大学院, システム情報科学研究科, 助教授 1996年度 – 1997年度: 九州大学, 大学院・システム情報科学研究科, 助教授 1996年度: 九州大学, 大学院システム情報科学研究科, 助教授 1995年度: 九州大学, 工学部, 助教授 1993年度 – 1994年度: 早稲田大学, 理工学部, 助手隠す
審査区分/研究分野	研究代表者計算機科学 / システム工学研究代表者以外情報通信工学 / 電子通信系統工学 / 工学基礎
キーワード	研究代表者精度保証付き数値計算 / 自動微分法 / 区間解析 / 非線形常微分方程式 / 単体法 / 線形計画法 / 区間演算 / 中級数計算 / ベキ級数演算研究代表者以外非線形回路 … もっと見る / 精度保証付き数値計算 / Chaos / 分岐現象 / 区間解析 / カオス / 非線形システム / I.I.D. / Stream Cipher System / Chaotic Binary Sequence / i.i.d. / 独立同分布(I.I.D.) / 独立同分布(i.i.d.) / ストリーム暗号システム / カオス2値系列 / Integrated circuits / Nonlinear circuits / Mixed-type circuits / Analysis of distributed circuits / Distributed-constant line / 誘電体フィルタ / 回路解析 / 分布定数回路 / 集積回路 / 分布・集中混在系 / 分布定数解析 / 分布定数素子 / Bifurcation Phenomena / Numerical Method with Guaranteed Accuracy / Interval Arithmetic / Nonlinear Problem of Circuit Systems / Fixed Point Theorem / Fuzzy Mapping / Uncertainty / オブジェクト指向ソフトウェア / 区間演算 / 回路系の非線形問題 / 不動点定理 / ファジィ写像 / 不確定性 / Self-Validating Mumerical Method / Modelling / Nonlinear System / 非決定性作用素論 / 集合値写像 / 構成的非線形関数解析 / ファジィモデリング / 精度保証付シミュレーション / モデリング / 符号理論 / デジタルアルゴリズム / 超離散化 / 数値計算法 / 情報理論 / デジタル系 / 計算力学 / 非線形現象隠す

デジタル解析学の構築
- 研究代表者
  
  山田義雄
- 研究期間 (年度)
  2008 – 2010
- 研究種目
  
  新学術領域研究(研究課題提案型)
- 研究分野
  
  工学基礎
- 研究機関
  早稲田大学
線形計画法を援用した新しい区間演算方式に関する研究研究代表者
- 研究代表者
  
  柏木雅英
- 研究期間 (年度)
  1997 – 1998
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  システム工学
- 研究機関
  早稲田大学
   九州大学
I.I.D.カオス2値系列に基づくストリーム暗号システム
- 研究代表者
  
  香田徹
- 研究期間 (年度)
  1997 – 1999
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報通信工学
- 研究機関
  九州大学
中級数演算による常微分方程式の精度保証付き数値計算研究代表者
- 研究代表者
  
  柏木雅英
- 研究期間 (年度)
  1996
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  計算機科学
- 研究機関
  九州大学
集積回路の超高速化に対応する分布定数・集中定数混在系としての解析手法の研究
- 研究代表者
  
  西哲生
- 研究期間 (年度)
  1996 – 1997
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報通信工学
- 研究機関
  九州大学
非線形常微分方程式の精度保証付き数値計算研究代表者
- 研究代表者
  
  柏木雅英
- 研究期間 (年度)
  1995
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  計算機科学
- 研究機関
  九州大学
非線形現象のしなやかな計算機援用解析に関する研究
- 研究代表者
  
  堀内和夫
- 研究期間 (年度)
  1995 – 1997
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  情報通信工学
- 研究機関
  早稲田大学
非線形システムのモデリングと精度保証付シミュレーション技法に関する研究
- 研究代表者
  
  堀内和夫
- 研究期間 (年度)
  1992 – 1994
- 研究種目
  
  一般研究(B)
- 研究分野
  
  電子通信系統工学
- 研究機関
  早稲田大学

すべて 2011 2009 2008

すべて雑誌論文学会発表

[雑誌論文] 平均値形式とアフィン演算を用いた常微分方程式の精度保証法2011
- 著者名/発表者名
  柏木啓一郎, 柏木雅英
- 雑誌名
  
  日本応用数理学会論文誌「応用数理」
  
  巻: 21 ページ: 37-58
- 査読あり
- データソース
  KAKENHI-PROJECT-20200044
[雑誌論文] 平均値形式とアフィン演算を用いた常微分方程式の精度保証法2011
- 著者名/発表者名
  柏木啓一郎、柏木雅英
- 雑誌名
  
  日本応用数理学会論文誌 21巻
  
  ページ: 37-58
- 査読あり
- データソース
  KAKENHI-PROJECT-20200044
[雑誌論文] GPUを利用した非線形方程式の並列全解探索法2008
- 著者名/発表者名
  柏木啓一郎, 宮島信也, 柏木雅英
- 雑誌名
  
  日本応用数理学会論文誌 Vol.18
  
  ページ: 347-362
- 査読あり
- データソース
  KAKENHI-PROJECT-20200044
[雑誌論文] GPUを利用した非線形方程式の並列全解探索法2008
- 著者名/発表者名
  柏木啓一郎、宮島信也、柏木雅英
- 雑誌名
  
  日本応用数理学会論文誌 18巻
  
  ページ: 347-362
- 査読あり
- データソース
  KAKENHI-PROJECT-20200044
[学会発表] Accurate IVP solver using Affine arithmetic and power series arithmetic2009
- 著者名/発表者名
  Masahide Kashiwagi
- 学会等名
  International Workshop on Numerical Verification and its Applications 2009
- 発表場所
  宮古、沖縄
- 年月日
  2009-03-22
- データソース
  KAKENHI-PROJECT-20200044
[学会発表] Accurate IVP solver Solver using Affine Arithmetic and Power Series Arithmetic2009
- 著者名/発表者名
  Masahide Kashiwagi
- 学会等名
  International Workshop on Numerical Verification and its Applications 2009
- 発表場所
  宮古島, 沖縄
- 年月日
  2009-03-22
- データソース
  KAKENHI-PROJECT-20200044
[学会発表] Fast Verified Automatic Integration Algorithm Using Complex Analysis2008
- 著者名/発表者名
  Naoya Yamanaka, Takeshi Ogita, Masahide Kashiwagi and Shin'ichi Oishi
- 学会等名
  2008 International Symposium on Nonlinear Theory and its Applications
- 発表場所
  ブダペスト
- 年月日
  2008-09-07
- データソース
  KAKENHI-PROJECT-20200044
[学会発表] Fast Verified Automatic Integration Using Double Exponential Formula2008
- 著者名/発表者名
  N. Yamanaka, T. Ogita, N. Kashiwagi, N. Yamamoto and S. Oishi
- 学会等名
  Arithmetic and Verified Numerical Computations
- 発表場所
  テキサス大、エルパソ
- 年月日
  2008-10-01
- データソース
  KAKENHI-PROJECT-20200044
[学会発表] Fast verified automatic integration over finite interval2008
- 著者名/発表者名
  N.Yamanaka, T.Ogita, M.Kashiwagi, N.Yamamoto, S.Oishi
- 学会等名
  The NIMS 2008 Conference & The 4th East Asia SIAM Conference
- 発表場所
  デジョン、韓国
- 年月日
  2008-10-10
- データソース
  KAKENHI-PROJECT-20200044
[学会発表] 複素解析を用いた高速精度保証付き自動積分法2008
- 著者名/発表者名
  山中脩也, 荻田武史, 柏木雅英, 大石進一
- 学会等名
  第27回日本シミュレーション学会大会
- 発表場所
  立命館大学
- 年月日
  2008-06-19
- データソース
  KAKENHI-PROJECT-20200044
[学会発表] DE公式を用いた高速精度保証付き自動積分法2008
- 著者名/発表者名
  山中脩也, 荻田武史, 柏木雅英, 山本野人, 大石進一
- 学会等名
  第37回数値解析シンポジウム
- 発表場所
  たざわこ芸術村
- 年月日
  2008-06-13
- データソース
  KAKENHI-PROJECT-20200044
[学会発表] 有限区間における高速精度保証付き自動積分法2008
- 著者名/発表者名
  山中脩也, 荻田武史, 柏木雅英, 山本野人, 大石進一
- 学会等名
  日本応用数理学会年会
- 発表場所
  東京大学柏キャンパス
- 年月日
  2008-09-18
- データソース
  KAKENHI-PROJECT-20200044

1. 大石進一 (20139512)

共同の研究課題数: 3件

共同の研究成果数: 6件
2. 西哲生 (40037908)

共同の研究課題数: 2件

共同の研究成果数: 0件
3. 堀内和夫 (90063403)

共同の研究課題数: 2件

共同の研究成果数: 0件
4. 山村清隆 (30182603)

共同の研究課題数: 2件

共同の研究成果数: 0件
5. 松本隆 (80063767)

共同の研究課題数: 2件

共同の研究成果数: 0件
6. 川瀬武彦 (60063690)

共同の研究課題数: 2件

共同の研究成果数: 0件
7. 香田徹 (20038102)

共同の研究課題数: 2件

共同の研究成果数: 0件
8. 遠藤靖典 (10267396)

共同の研究課題数: 2件

共同の研究成果数: 0件
9. 山田義雄 (20111825)

共同の研究課題数: 1件

共同の研究成果数: 0件
10. 高橋大輔 (50188025)

共同の研究課題数: 1件

共同の研究成果数: 0件
11. 松嶋敏泰 (30219430)

共同の研究課題数: 1件

共同の研究成果数: 0件
12. 西田孝明 (70026110)

共同の研究課題数: 1件

共同の研究成果数: 0件
13. 櫻井幸一 (60264066)

共同の研究課題数: 1件

共同の研究成果数: 0件
14. 大濱靖匡 (20243892)

共同の研究課題数: 1件

共同の研究成果数: 0件
15. 藤崎礼志 (80304757)

共同の研究課題数: 1件

共同の研究成果数: 0件
16. 神沢雄智 (00298176)

共同の研究課題数: 1件

共同の研究成果数: 0件

柏木 雅英 KASHIWAGI Masahide

研究課題

研究成果

共同研究者

デジタル解析学の構築

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

線形計画法を援用した新しい区間演算方式に関する研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

I.I.D.カオス2値系列に基づくストリーム暗号システム

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

中級数演算による常微分方程式の精度保証付き数値計算研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

集積回路の超高速化に対応する分布定数・集中定数混在系としての解析手法の研究

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

非線形常微分方程式の精度保証付き数値計算研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

非線形現象のしなやかな計算機援用解析に関する研究

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

非線形システムのモデリングと精度保証付シミュレーション技法に関する研究

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] 平均値形式とアフィン演算を用いた常微分方程式の精度保証法2011

著者名/発表者名

雑誌名

データソース

[雑誌論文] 平均値形式とアフィン演算を用いた常微分方程式の精度保証法2011

著者名/発表者名

雑誌名

データソース

[雑誌論文] GPUを利用した非線形方程式の並列全解探索法2008

著者名/発表者名

雑誌名

データソース

[雑誌論文] GPUを利用した非線形方程式の並列全解探索法2008

著者名/発表者名

雑誌名

データソース

[学会発表] Accurate IVP solver using Affine arithmetic and power series arithmetic2009

著者名/発表者名

学会等名

発表場所

年月日

データソース

[学会発表] Accurate IVP solver Solver using Affine Arithmetic and Power Series Arithmetic2009

著者名/発表者名

学会等名

発表場所

年月日

データソース

柏木雅英 KASHIWAGI Masahide