数式処理
第９巻 第３号 ２００３年３月発行 |
| ＜巻頭言＞ | ||
|---|---|---|
| 「検証」は「信頼」の原点 | 竹島 卓 | 1 |
| ＜特集「国際会議報告」＞ | ||
| ACA 2002に参加して | 白柳 潔 | 2 |
| ACA2002 - ギリシャ訪問記 - | 藤本光史 | 5 |
| ACA'2002 | 沢田浩之 | 10 |
| ACA'2002 会議報告 | 村上裕美 | 14 |
|
ACA2002 in Greece の報告 (トラブルを抜けると、そこは天国だった…) | 佐々木建昭 | 17 |
| ACA 2002 及び ISSAC 2002 への参加報告 | 鈴木 晃 | 20 |
| ISSAC2002 参加報告 | 佐藤洋祐 | 23 |
| ISSAC2002の報告 | 長坂耕作 | 25 |
| SSAC 2002 参加報告 - Traverso 先生との思い出 | 池上大介 | 27 |
| CMS 2002 報告 | 高山信毅 | 29 |
| LMCS2002 の報告 | 佐々木建昭 | 31 |
| ＜論文＞ | ||
| 剰余区間の拡張とデータ依存解析への応用 |
曽山典子, 加古富志雄 | 36 |
| ＜ショートレター＞ | ||
|
Defining equations and rigidity of 3-dimensional quotient terminal singularities-a computational approach- |
Tetsuo Nakano, Hajime Takamidori | 50 |
| ＜議事録＞ | ||
| 日本数式処理学会理事会議事録 | 58 | |
| 日本数式処理学会総会議事録 | 59 | |
| ＜編集後記＞ | ||
| 編集後記 | 60 |
| 総目次に戻る | Topに戻る |
Last Modefied $Jssac: v093.html,v 1.1.1.1 2015/11/18 16:09:27 html Exp $