口コミサイト LabLog の
柏木研究室
コンピュータの計算の正しさを保証する、精度保証付き数値計算の研究室。

About研究室について
コンピュータの計算に、確かな答えを保証する。
柏木研究室は、
多変数の
常微分方
用語の説明
- 精度保証付き数値計算
- コンピュータでの
計算結果が、 正しい 答えを 含む 範囲に ある ことを 数学的に 保証する 計算の 方法 - 区間演算
- 数を
ひとつの 値でなく、 確実に 含まれる 範囲 (区間)で 表して行う 計算の しかた - 非線形方程式
- 変数どうしの
関係が 比例のような 単純な 形で 表せない、 複雑な 方程式
Research研究テーマ
コンピュータに
※イメージ画像非線形方程式の全解探索
多変数の
※イメージ画像新しい区間演算方式
全解探索の
※イメージ画像精度保証付き線形計画法
区間演算の
※イメージ画像常微分方程式の精度保証付き計算
ベキ級数に
Members教員
柏木研究室の
- 教授柏木 雅英
Voices先輩の声
所属していた
インタビューに
4段階で、
どんな
この
時間に
入ってみて
雰囲気や
卒業後の
Related柏木研究室に近い研究室
この
画像について
トップと
- トップの
画像:「Convergence of Iterative Numerical Methods for Poisson System with 16384 elements」 ansariddle/CC BY-SA 4.0(トリミング) - 非線形方
程式の 全解 探索:「Nonlinear Pendulum Solutions for Different Initial Amplitudes」 Tomasz59/CC BY-SA 4.0(トリミング) - 新しい
区間演算方式:「Murray Star Maze in spring」 Роман Рябенко/CC0(トリミング) - 精度保証付き線形計画法:「Simplex algorithm」 Lorepenoten/CC0(トリミング)
- 常微分方
程式の 精度保証付き計算:「Advection equation solution comparison」 Gigowatts/CC BY-SA 3.0(トリミング) - 関連する
研究室 (荻田研究室) :「U.s.-kilogram-masses」 National Institute of Standards and Technology/パブリックドメイン (トリミング) - 関連する
研究室 (劉研究室) :「Triangular wave and square wave on oscilloscope screen (cropped)」 User:Xato/CC0(トリミング) - 関連する
研究室 (早水研究室) :「Petersen graph total coloring」 Vinod kalagi/CC BY-SA 4.0(トリミング) - 関連する
研究室 (大本研究室) :「Ripples dispersing sunlight into underwater rainbows in Brofjorden」 W.carter/CC BY-SA 4.0(トリミング)
LabLog について
LabLog
この



