LAB LOG评价网站 LabLog 的页面
S-计算基础研究室（遠藤靖典、高安亮紀）
机器翻译 · 查看原文
该研究室通过考虑数值计算的误差，得出数学上正确的结果。
About关于研究室
用精度保证控制数值计算的风险。
S-计算基础研究室研究数值计算的不准确性和不确定性，
关键在于“带精度保证的数值计算”，
利用这一方
在高安副教授的研究室“TakLAB”的网站上，
术语说明
- 带精度保证的数值计算
- 考虑数值计算中产生的所有误差，
并通过数值计算得出数学上正确结果的计算方法 - 计算机辅助证明
- 利用带精度保证的数值计算，
用计算机实现数学证明的方 法
Research研究课题
数值计算在日常中被频繁使用，
※示意图带精度保证的计算机辅助证明
验证无限维动力系统中连接轨道的存在，
※示意图爆破解的数值验证
阐明微分
※示意图在双曲型偏微分方程中的应用
以对
※示意图Keller-Segel系统的数值计算
将带精度保证的数值计算理论应用于反应扩散系统。
Members教师
S-计算基础研究室的成员由教师，
- 教授遠藤 靖典
- 副教授高安 亮紀
Voices学长学姐的评价
根据所属学生的回答整理。
对于接受采访的学生，
4级评分中，
推荐给什么样的学生?
这个研究室的推荐点是什么?
进入后才知道的事情是什么?
氛围和老师的性格如何?
毕业后的去向?
Related与S-计算基础研究室（遠藤靖典、高安亮紀）相似的研究室
数字控制研究室理工学群 工学系统学类在较大采样周期下仍能发挥高性能、
控制・机器人学研究室理工学群 工学系统学类以“
神経情報科学研究室理工学群 工学系统学类通过计算机数据分析探究大脑机制的研究。
新宅研究室理工学群 工学系统学类本研究室开展从“利用最先进模拟技术的裂纹扩展分析方法的本页信息由LabLog运营团队根据研究室的公开信息和采访整理。
关于图片
顶部和研究课题的图片为示意图，
- 顶部图片：《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 是学生专属的研究室评价应用。
本页的研究室基本信息和评分汇总与 LabLog 介绍允许搜索引擎和 AI 引用。