期日 2002年9月26日（木）
場所 東京労働スクウエア（八丁堀）
後日の資料
9月のsigfmは、柳生孝昭さんから「形式的仕様記述の実数型処理への応用」をお話しいただくことになりました。
講師 柳生孝昭さん
内容 「形式的仕様記述の実数型処理への応用」
実数処理，従って誤差を含むプログラムの形式的要求仕様記述の可能性を追及して幾何計算問題を検討してきた．その一例として凸とは限らない多角形、及び凸多面体の集合演算の場合を話題にする
--------------------------------------------------
SEA 月例会 (Sep. 2002) 参加申込用紙
氏名(ふりがな)：
組織名：
部門・役職：
住所： (〒 − )
Tel:
E-Mail:
種別(該当欄にチェック):□ 社会人 1,000円
□ 学生 500円
--------------------------------------------------
ｓｓ＠ｓｈｉｎｓａｈａｒａ．ｃｏｍ