所属学協会

公開件数: 4 件
No. 所属学協会名 所属期間
1 日本Mizar学会
2007/04-現在
2 Association of Mizar Users
2007/04-現在
3 電子情報通信学会
1998/05-現在
4 日本シミュレーション学会
2001/06-現在