KASHIWAGI Masahide 柏木雅英

… Alternative Names

柏木雅英カシワギマサヒデ

Less

Researcher Number	00257247
Other IDs
Affiliation (Current)	2025: 早稲田大学, 理工学術院, 教授
Affiliation (based on the past Project Information) *help	2010: 早稲田大学, 理工学術院, 教授 2009: 理工学術院, 教授 2008: 早稲田大学, 理工学術院, 准教授 1998: 早稲田大学, 理工学部・情報学科, 助教授 1997: 九州大学, システム情報科学研究科, 助教授 … More 1997: Kyushu Univ., Grad.Sch.of Info., Sci., and Elec.Eng., Associate Professor, システム情報科学研究科, 助教授 1996 – 1997: 九州大学, 大学院・システム情報科学研究科, 助教授 1996: 九州大学, 大学院システム情報科学研究科, 助教授 1995: 九州大学, 工学部, 助教授 1993 – 1994: 早稲田大学, 理工学部, 助手 Less
Review Section/Research Field	Principal Investigator 計算機科学 / System engineering Except Principal Investigator 情報通信工学 / 電子通信系統工学 / Engineering fundamentals
Keywords	Principal Investigator 精度保証付き数値計算 / 自動微分法 / 区間解析 / 非線形常微分方程式 / 単体法 / 線形計画法 / 区間演算 / 中級数計算 / ベキ級数演算 Except Principal Investigator 非線形回路 … More / 精度保証付き数値計算 / 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 / 非決定性作用素論 / 集合値写像 / 構成的非線形関数解析 / ファジィモデリング / 精度保証付シミュレーション / モデリング / 符号理論 / デジタルアルゴリズム / 超離散化 / 数値計算法 / 情報理論 / デジタル系 / 計算力学 / 非線形現象 Less

Construction of Theory of Digital Analysis
- Principal Investigator
  
  YAMADA Yoshio
- Project Period (FY)
  2008 – 2010
- Research Category
  
  Grant-in-Aid for Scientific Research on Innovative Areas (Research a proposed research project)
- Research Field
  
  Engineering fundamentals
- Research Institution
  Waseda University
線形計画法を援用した新しい区間演算方式に関する研究Principal Investigator
- Principal Investigator
  
  柏木雅英
- Project Period (FY)
  1997 – 1998
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  System engineering
- Research Institution
  Waseda University
  Kyushu University
Stream Cipher System Based on Chaotic Binary Sequences
- Principal Investigator
  
  KOHDA Tohru
- Project Period (FY)
  1997 – 1999
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  情報通信工学
- Research Institution
  KYUSHU UNIVERSITY
中級数演算による常微分方程式の精度保証付き数値計算Principal Investigator
- Principal Investigator
  
  柏木雅英
- Project Period (FY)
  1996
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計算機科学
- Research Institution
  Kyushu University
Research of Analysis Method for Very High Speed Integrated Circuits Composed of Distributed and Lumped Elements
- Principal Investigator
  
  NISHI Tetsuo
- Project Period (FY)
  1996 – 1997
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  情報通信工学
- Research Institution
  KYUSHU UNIVERSITY
非線形常微分方程式の精度保証付き数値計算Principal Investigator
- Principal Investigator
  
  柏木雅英
- Project Period (FY)
  1995
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計算機科学
- Research Institution
  Kyushu University
Research of Computer aided Nonlinear Analysis with Flexibility
- Principal Investigator
  
  HORIUCHI Kazuo
- Project Period (FY)
  1995 – 1997
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  情報通信工学
- Research Institution
  Waseda University
STUDY ON MODELLING OF NONLINEAR SYSTEM AND SELF-VALIDATING MUMERICAL METHOD
- Principal Investigator
  
  HORIUCHI Kazuo
- Project Period (FY)
  1992 – 1994
- Research Category
  
  Grant-in-Aid for General Scientific Research (B)
- Research Field
  
  電子通信系統工学
- Research Institution
  Waseda University

All 2011 2009 2008

All Journal Article Presentation

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

1. OISHI Shin'ichi (20139512)

# of Collaborated Projects: 3 results

# of Collaborated Products: 6 results
2. NISHI Tetsuo (40037908)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
3. HORIUCHI Kazuo (90063403)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
4. YAMAMURA Kiyotaka (30182603)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
5. MATSUMOTO Takashi (80063767)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
6. KAWASE Takehiko (60063690)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
7. KOHDA Tohru (20038102)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
8. 遠藤靖典 (10267396)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
9. YAMADA Yoshio (20111825)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. TAKAHASHI Daisuke (50188025)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. MATSUSHIMA Toshiyasu (30219430)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. NISHIDA Takaaki (70026110)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
13. TSUNEDA Koichi (60264066)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
14. OOHAMA Yasutada (20243892)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
15. FUJISAKI Hiroshi (80304757)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
16. 神沢雄智 (00298176)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

KASHIWAGI Masahide 柏木 雅英

柏木 雅英 カシワギ マサヒデ

Research Projects

Research Products

Co-Researchers

Construction of Theory of Digital Analysis

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

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

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Stream Cipher System Based on Chaotic Binary Sequences

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

中級数演算による常微分方程式の精度保証付き数値計算Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research of Analysis Method for Very High Speed Integrated Circuits Composed of Distributed and Lumped Elements

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

非線形常微分方程式の精度保証付き数値計算Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research of Computer aided Nonlinear Analysis with Flexibility

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

STUDY ON MODELLING OF NONLINEAR SYSTEM AND SELF-VALIDATING MUMERICAL METHOD

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

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

Author(s)

Journal Title

Data Source

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

Author(s)

Journal Title

Data Source

[Journal Article] GPUを利用した非線形方程式の並列全解探索法2008

Author(s)

Journal Title

Data Source

[Journal Article] GPUを利用した非線形方程式の並列全解探索法2008

Author(s)

Journal Title

Data Source

[Presentation] Accurate IVP solver using Affine arithmetic and power series arithmetic2009

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] Accurate IVP solver Solver using Affine Arithmetic and Power Series Arithmetic2009

Author(s)

Organizer

Place of Presentation

Year and Date

KASHIWAGI Masahide 柏木雅英

柏木雅英カシワギマサヒデ