山形大学において、不定期ですが、離散数理関連のセミナーを開催しています。２０１２年度までは、セミナー名を付けずに開催していましたが、継続性を考慮して、今後は「離散数理セミナー」として開催していきます。

講演希望の方は、世話人のいずれかにご連絡をお願いします。山形の大自然とおいしい食べ物も皆様をお待ちしております。

現在、セミナー講演者を募集しておりますので、ご検討をよろしくお願いします。

次回以降の開催予定：

２０２５年１２月４日（木）

会場：理学部１号館１F　１２番教室

１６：２０～１７：２０

講演者：浅井 大晴　氏（山形大学）

講演題目：

精度保証付き数値計算と離散数理：計算機援用証明の基礎

アブストラクト：

精度保証付き数値計算は、数値計算における誤差を数学的に厳密に評価・制御し、計算結果の正しさを保証するための数値的枠組みです。そのため、この手法は解析学的問題のみならず、離散数学や組合せ論、グラフ理論などにおける計算機援用証明へと応用が広がりつつあります。本講演では、精度保証付き数値計算の基本原理と理論的背景を概説します。

世話人

石渡聡（山形大・理学部）ishiwataあsci.kj.yamagata-u.ac.jp 

佐久間雅（山形大・理学部）sakumaあsci.yamagata-u.ac.jp

冨樫貴成（山形大・理学部）togashiあsci.kj.yamagata-u.ac.jp

中西正樹（山形大・地域教育文化学部）m-nakaあe.yamagata-u.ac.jp

西村拓士（山形大・理学部）nisimuraあsci.kj.yamagata-u.ac.jp