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