ソフトウェア科学の発展 〜 中島玲二先生追悼集会
去る一月に逝去されました中島玲二先生（京都大学数理解析研究所教授）を 追悼する集会を、以下の内容で開催いたしました。
| 日時 | 平成20年10月5日(日)〜10月6日(月) |
| 会場 | 京都大学 吉田キャンパス 本部構内 百周年時計台記念館 2階 国際交流ホール I |
プログラム
| 10/5 | |
|---|---|
| 13:00 13:05 |
開会の挨拶 |
| 13:05 13:15 |
挨拶 柏原 正樹 (数理解析研究所所長) 黙祷 |
| 13:15 13:30 |
日本ソフトウェア科学会の夜明け 土居 範久 (中央大学) |
| 13:30 14:15 |
Formal Verification: From Academia to Industry 澤田 潤 (IBM Austin Research Laboratory) |
| 休憩 | |
| 14:45 15:00 |
中島先生の思い出 小島 啓二 ((株) 日立製作所中央研究所) |
| 15:00 15:15 |
中島先生とソフトビジネス: Prolog KABAとWnn 和賀 亮太郎 (元オムロンソフトウェア) |
| 15:15 15:30 |
KABA自由大学から18年 中島 雅弘 (アーヴァインシステムズ) |
| 休憩 | |
| 16:00 16:45 |
Bisimulations and Logics for Reversibility Irek Ulidowski (University of Leicester) |
| 休憩 | |
| 17:15 17:30 |
TBA 緒方 敏博 ((株) SOBAプロジェクト) |
| 17:30 17:45 |
SSE＋Dogen、中島さんとのソフトウエア科学／工学の振興 米澤 明憲 (東京大学) |
| 17:45 | 懇親会 |
| 10/6 | |
|---|---|
| 9:00 9:15 |
数解研はじめのころ 湯浅 太一 (京都大学) |
| 9:15 10:00 |
Mixinモジュールとその遅延評価戦略 中田 景子 (INRIA) |
| 休憩 | |
| 10:30 10:45 |
KABA自由大学・テクニカルライティングコース開始(1989年) 吉田 智子 (京都ノートルダム女子大学) |
| 10:45 11:00 |
サイエンスとビジネスと 増田 和悦 (元楽天) |
| 休憩 | |
| 11:30 12:15 |
文字列解析によるWebプログラムの検証 南出 靖彦 (筑波大学) |
| 12:15 12:30 |
IOTA から SOBA まで 柴山 悦哉 (東京大学) |
| 12:30 12:35 |
閉会の挨拶 |
追悼集会の写真(10/5)
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
追悼集会の写真(10/6)
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
懇親会の写真(10/5)
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
問い合わせ先
京都大学 数理解析研究所 長谷川 真人
電話: 075-753-7243
組織委員
- 萩野 達也 (慶応義塾大学)
- 富永 浩之 (香川大学)
- 西村 進 (京都大学)
- 長谷川 真人 (京都大学)
- 勝股 審也 (京都大学)
主催
京都大学数理解析研究所外部リンク
京都大学 数理解析研究所 百周年時計台記念館
2008年10月15日更新