 |
数理・情報環境論講座主催講演会
開催について | プログラム開催について
| 日時 | 2003年12月18日 (木) 15:00〜18:00 | |
|---|---|---|
| 会場 | 神戸大学発達科学部 A721 数理・情報環境論講座計算機室 | |
| 主催 | 神戸大学発達科学部 数理・情報環境論講座 | |
| 対象 | 教職員 (教官、職員) 及び学生 | |
| 参加方法 | 当日、開催場所である数理・情報環境論講座計算機室 (A721) に来ていただければ結構です。 | |
| 参加費 | 無料 | |
| 連絡先 | メール | takahasi@【続けて「kobe-u.ac.jp」を入力してください】 (高橋 正) |
| 電話・FAX | 電話: 078-803-7789 (高橋 正)、FAX: 078-803-7898 | |
プログラム
| 15:00〜16:30 | 内容 | 「webMathematicaを利用した、インターアクティブなwebページ作成」 |
|---|---|---|
| 講演者 | 宮地 力 (国立スポーツ科学研究所) | |
| 16:30〜18:00 | 内容 | 「自動証明システムTHEOREMAにおけるインターフェイス開発の状況について」 |
| 講演者 | 中川 康二 (九州大学COE博士研究員) |