| 日本数式処理学会理論分科会では，下記の研究会を開催いたしますので， ご案内申し上げます． |
| 開催日 | 2010 年 2 月 18日(木) 〜 19日（金） |
| 場所 | クロスパル新潟 |
| http://www.city.niigata.jp/info/crosspal/ |
| 18日 | |
|---|---|
| 14:00 〜 14:10 |
会長挨拶 齋藤友克 |
| 14:10 〜 15:10 |
|
| 半正定値計画に基づく制御系のロバスト性解析・ロバスト設計 I
半正定値計画と制御系解析・設計 蛯原 義雄(京都大学) | |
| 15:20 〜 16:20 |
|
| 半正定値計画に基づく制御系のロバスト性解析・ロバスト設計 II
不確かさを有する制御系の取り扱い -- ロバスト半正定値計画 -- 蛯原 義雄(京都大学) | |
| 16:30 〜 16:50 |
|
| CGSの列として捉えた特異点非退化条件について 高橋 正 （神戸大学人間発達環境学研究) | |
| 懇親会 | |
| 19日（金） | |
| 10:00 〜 10:40 |
|
| 限定記号消去のアルゴリズムとその実装 岩根 秀直（ | |