| ＜巻頭言＞ |
|---|
|
統合と発展 |
高橋正 | 1 |
| ＜奨励賞受賞論文＞ |
|---|
|
Bounded Cylindrical Algebraic Decomposition による
Quantioer Elimination の効率化 |
岩根秀直 | 3 |
| ＜分科会報告＞ |
|---|
| 第4回基礎理論分科会報告 |
屋並仁史 | 23 |
| 第4回システム分科会報告 |
濱田龍義 | 24 |
| ＜分科会運営方針＞ |
|---|
| 基礎理論分科会の運営方針 |
藤村雅代 | 25 |
| システム分科会の運営方針 |
木村欣司 | 26 |
| 教育分科会の運営方針 |
中村泰之 | 27 |
| Mathematica分科会の運営方針 |
宮地力 | 28 |
| ＜総会召集通知＞ |
|---|
|
日本数式処理学会2012 年度通常総会召集通知 |
| 29 |
| ＜議事録＞ |
|---|
|
日本数式処理学会2012年6月定期理事会議事録 |
| 30 |
|
日本数式処理学会持ち回り理事会議事録 |
| 32 |
|
日本数式処理学会持ち回り理事会議事録 |
| 33 |
|
日本数式処理学会持ち回り理事会議事録 |
| 34 |
|
日本数式処理学会持ち回り理事会議事録 |
| 35 |
|
日本数式処理学会持ち回り理事会議事録 |
| 39 |
|
2012 年度定時社員総会議事録 |
| 40 |
| ＜編集後記＞ |
|---|
|
編集後記 |
| 56 |
2012/11/21 数式処理編集委員会
Last Modefied $Jssac: V191.html,v 1.1.1.1 2015/11/18 16:09:28 html Exp $