投稿者「grace-office」のアーカイブ
【GRACEセンターメールマガジン】第52号
◆□◆GRACEメールマガジン2016/5/10 第52号◆□◆ — … 続きを読む
カテゴリー: メルマガ
【GRACEセンターメールマガジン】第52号 はコメントを受け付けていません
【GRACEセンターメールマガジン】第51号
◆□◆GRACEメールマガジン2016/4/20 第51号◆□◆ — … 続きを読む
カテゴリー: メルマガ
【GRACEセンターメールマガジン】第51号 はコメントを受け付けていません
第81回先端ソフトウェア科学・工学に関するGRACEセミナー[4/22開催]
今回のGRACEセミナーでは,ブエノスアイレス大学のSebastian Uchi … 続きを読む
【GRACEセンターメールマガジン】第50号
◆□◆GRACEメールマガジン2016/3/3 第50号◆□◆ —& … 続きを読む
カテゴリー: メルマガ
【GRACEセンターメールマガジン】第50号 はコメントを受け付けていません
【GRACEセンターメールマガジン】第49号
◆□◆GRACEメールマガジン2016/1/13 第49号◆□◆ — … 続きを読む
カテゴリー: メルマガ
【GRACEセンターメールマガジン】第49号 はコメントを受け付けていません
第80回先端ソフトウェア科学・工学に関するGRACEセミナー[1/19開催]
今回のGRACEセミナーでは,Design by Contractを始め,プログ … 続きを読む
GRACEメールマガジン2015/12/10 第48号
◆□◆GRACEメールマガジン2015/12/10 第48号◆□◆ —————— … 続きを読む
カテゴリー: メルマガ
GRACEメールマガジン2015/12/10 第48号 はコメントを受け付けていません
第79回先端ソフトウェア科学・工学に関するGRACEセミナー[12/17開催]
今回のGRACEセミナーでは,形式手法やプログラム解析の専門家であるJun Su … 続きを読む
GRACEメールマガジン2015/7/8 第47号
◆□◆GRACEメールマガジン2015/7/8 第47号◆□◆ ———————— … 続きを読む
カテゴリー: メルマガ
GRACEメールマガジン2015/7/8 第47号 はコメントを受け付けていません
第78回先端ソフトウェア科学・工学に関するGRACEセミナー[7/15開催]
今回のGRACEセミナーでは形式手法の第一人者であるウィーン工科大の Helmu … 続きを読む