年別アーカイブ: 2017

【GRACEセンターメールマガジン】第55号

◆□◆GRACEメールマガジン2017/10/2 第55号◆□◆ — … 続きを読む

カテゴリー: メルマガ | 【GRACEセンターメールマガジン】第55号 はコメントを受け付けていません。

第83回先端ソフトウェア科学・工学に関するGRACEセミナー[11/17,24開催]

モデルの記述と検証のためのプログラミング –CafeOBJによる仕様 … 続きを読む

カテゴリー: 教育, 研究, セミナー | 第83回先端ソフトウェア科学・工学に関するGRACEセミナー[11/17,24開催] はコメントを受け付けていません。

【GRACEセンターメールマガジン】第54号

◆□◆GRACEメールマガジン2017/5/16 第54号◆□◆ — … 続きを読む

カテゴリー: メルマガ | 【GRACEセンターメールマガジン】第54号 はコメントを受け付けていません。