委員会
岡田 光弘
41~44件（全44件）
1991.04
編集委員
- 団体名
- 日本科学哲学会
1991.04
ワークショップ国際委員長兼報告集委員長
- 団体名
- MWPL（Montreal Workshops) P.Scottと共同編集
1991.04 - 1993.03
委員
- 団体名
- ICOT(新世代コンピュータ技術開発機構（通産省外郭団体））「並行証明」部門委員会
1990.06 - 1991
国際会議プログラム共同委員長、共同組織委員長
- 団体名
- CTRS(International Woorkshop on Conditional and Ｔｙ