A page on LabLog, a review site (not the lab's official page)
S-コンピューティング基礎研究室(遠藤靖典、高安亮紀)
Showing the original Japanese · View translation
数値計算の誤差を考慮し数学的に正しい結果を導く研究室。

AboutAbout the lab
数値計算のリスクを、精度保証で制御する。
S-コンピューティング基礎研究室は、
鍵に
この
高安准教授の
Key terms
- 精度保証付き数値計算
- 数値計算に
生じる すべての 誤差を 考慮し、 数学的に 正しい 結果を 数値計算に よって 導く 計算法 - 計算機援用証明
- 精度保証付き数値計算を
使い、 数学の 証明を コンピュータで 実現する 方法
ResearchResearch themes
数値計算は
*Illustrative image精度保証付きの計算機援用証明
無限次元力学系での
*Illustrative image爆発解の数値検証
微分方
*Illustrative image双曲型偏微分方程式への応用
移流方
*Illustrative imageKeller-Segel系の数値計算
反応拡散系に
MembersFaculty
S-コンピューティング基礎研究室の
- Professor遠藤 靖典
- Associate Professor高安 亮紀
VoicesStudent voices
Compiled from answers by students who were in the lab. Ratings and reviews reflect individual students' experiences, not the lab's official views.
Students who take part in an interview may receive a thank-you gift worth ¥1,000, regardless of what they say.
On a 4-point scale, ● marks where students' answers fall
Who is this lab for?
What's great about this lab?
What did you learn after joining?
What's the vibe, and what is the professor like?
Where do graduates go?
RelatedLabs similar to S-コンピューティング基礎研究室(遠藤靖典、高安亮紀)
ディジタル制御研究室理工学群 工学システム学類アナログで
制御・ロボティクス研究室理工学群 工学システム学類「制御しに
神経情報科学研究室理工学群 工学システム学類計算機に
新宅研究室理工学群 工学システム学類本研究室では、The information on this page is compiled by the LabLog team from the lab's public information and interviews. For corrections or removal requests, please contact LabLog, not the lab.
Report an errorAbout the images
The top and research theme images are illustrative and were not taken at the lab. They are cropped from Wikimedia Commons images. Cropped CC BY-SA images are provided under the same CC BY-SA license as the original (version shown on each line).
- Top image: “Servers in a Rack” Abigor / CC BY-SA 3.0 (cropped)
- 精度保証付きの
計算機援用証明: “Sun Microsystems Solaris computer cluster” ChrisDag / CC BY 2.0 (cropped) - 爆発解の
数値検証: “Mathematics, Lecture notes, Mathematical analysis, Linear algebra, Rostov-on-Don, Russia” Vyacheslav Argenberg / CC BY 4.0 (cropped) - 双曲型偏微分方程式への
応用: “Schlieren photograph of T-38 shock waves” Leonard Weinstein / NASA / Public domain (cropped) - Keller-Segel系の
数値計算: “Tiger Bush Niger Corona” US Agency / Public domain (cropped) - Related lab (ディジタル制御研究室): “Screen of Hameg Oscilloscope HMO3004 Series” Ordercrazy / CC0 (cropped)
- Related lab (制御・ロボティクス研究室): “Vector3DHD autonomous robot and EnZone wireless charging” PattyK33 / CC BY-SA 4.0 (cropped)
- Related lab (神経情報科学研究室): “Young blonde white girl sleeping on the side” Alexandre Bernier Marceau / CC BY-SA 4.0 (cropped)
- Related lab (新宅研究室): “MetalFatigue 001” National Institute of Standards and Technology / Public domain (cropped)
About LabLog
LabLog is a lab review app for students only. Student members at each university interview students in labs and publish what they say. Student voices can only be read by students who sign up with a university email address. Operated by bestiee Inc.
Learn more about LabLog ↗Search engines and AI may reference the basic lab info and rating summaries on this page and the description of LabLog. Student voices are for student members only. Automated collection by programs (scraping, or input to or training of AI) is prohibited under Article 8 of the Terms of Service. If you need data for research or analysis, please contact us.