口コミサイト LabLog の
S-コンピューティング基礎研究室(遠藤靖典、高安亮紀)
数値計算の誤差を考慮し数学的に正しい結果を導く研究室。

About研究室について
数値計算のリスクを、精度保証で制御する。
S-コンピューティング基礎研究室は、
鍵に
この
高安准教授の
用語の説明
- 精度保証付き数値計算
- 数値計算に
生じる すべての 誤差を 考慮し、 数学的に 正しい 結果を 数値計算に よって 導く 計算法 - 計算機援用証明
- 精度保証付き数値計算を
使い、 数学の 証明を コンピュータで 実現する 方法
Research研究テーマ
数値計算は
※イメージ画像精度保証付きの計算機援用証明
無限次元力学系での
※イメージ画像爆発解の数値検証
微分方
※イメージ画像双曲型偏微分方程式への応用
移流方
※イメージ画像Keller-Segel系の数値計算
反応拡散系に
Members教員
S-コンピューティング基礎研究室の
- 教授遠藤 靖典
- 准教授高安 亮紀
Voices先輩の声
所属していた
インタビューに
4段階で、
RelatedS-コンピューティング基礎研究室(遠藤靖典、高安亮紀)に近い研究室
ディジタル制御研究室理工学群 工学システム学類アナログで
制御・ロボティクス研究室理工学群 工学システム学類「制御しに
神経情報科学研究室理工学群 工学システム学類計算機に
新宅研究室理工学群 工学システム学類本研究室では、この
画像について
トップと
- トップの
画像:「Servers in a Rack」 Abigor/CC BY-SA 3.0(トリミング) - 精度保証付きの
計算機援用証明:「Sun Microsystems Solaris computer cluster」 ChrisDag/CC BY 2.0(トリミング) - 爆発解の
数値検証:「Mathematics, Lecture notes, Mathematical analysis, Linear algebra, Rostov-on-Don, Russia」 Vyacheslav Argenberg/CC BY 4.0(トリミング) - 双曲型偏微分方程式への
応用:「Schlieren photograph of T-38 shock waves」 Leonard Weinstein / NASA/パブリックドメイン (トリミング) - Keller-Segel系の
数値計算:「Tiger Bush Niger Corona」 US Agency/パブリックドメイン (トリミング) - 関連する
研究室 (ディジタル制御研究室) :「Screen of Hameg Oscilloscope HMO3004 Series」 Ordercrazy/CC0(トリミング) - 関連する
研究室 (制御・ロボティクス研究室) :「Vector3DHD autonomous robot and EnZone wireless charging」 PattyK33/CC BY-SA 4.0(トリミング) - 関連する
研究室 (神経情報科学研究室) :「Young blonde white girl sleeping on the side」 Alexandre Bernier Marceau/CC BY-SA 4.0(トリミング) - 関連する
研究室 (新宅研究室) :「MetalFatigue 001」 National Institute of Standards and Technology/パブリックドメイン (トリミング)
LabLog について
LabLog
この