年別アーカイブ: 2012

GRACEセンターメールマガジン2012/11/7　第25号

投稿日: 2012年11月26日作成者: grace-office

◆□◆GRACEメールマガジン2012/11/7　第25号◆□◆ — … 続きを読む →

カテゴリー: メルマガ | コメントを受け付けていません

投稿日: 2012年11月13日作成者: grace-office

日時：2012年12月12日（水）10:00-11:00 場所：国立情報学研究所 … 続きを読む →

カテゴリー: 研究, セミナー | コメントを受け付けていません

投稿日: 2012年11月13日作成者: grace-office

日時：2012年11月30日（金）15:00-16:00 場所：国立情報学研究所 … 続きを読む →

カテゴリー: 研究, セミナー | コメントを受け付けていません

投稿日: 2012年10月04日作成者: grace-office

◆□◆GRACEメールマガジン2012/9/24　第24号◆□◆ — … 続きを読む →

カテゴリー: メルマガ | コメントを受け付けていません

投稿日: 2012年09月21日作成者: grace-office

日時：2012年10月31日（水）16:00-18:00 場所：国立情報学研究所 … 続きを読む →

カテゴリー: 研究, セミナー | コメントを受け付けていません

投稿日: 2012年07月30日作成者: grace-office

◆□◆GRACEメールマガジン2012/7/23　第23号◆□◆ — … 続きを読む →

カテゴリー: メルマガ | コメントを受け付けていません

投稿日: 2012年07月19日作成者: grace-office

◆□◆GRACEメールマガジン2012/7/3　第22号◆□◆ —& … 続きを読む →

カテゴリー: メルマガ | コメントを受け付けていません

投稿日: 2012年05月25日作成者: grace-office

タイトル；
数学的にプログラム品質の正当性を静的に検証するソリューション
Separation Logic による自動メモリセーフティ検証

日時：2012年6月13日（水）13:00-15:00
場所：国立情報学研究所(NII)（地図）
20階ミーティングルーム1・2（2009・2010）続きを読む →

カテゴリー: 研究, セミナー | コメントを受け付けていません

投稿日: 2012年05月25日作成者: grace-office

◆□◆GRACEメールマガジン2012/5/25　第21号◆□◆ — … 続きを読む →

カテゴリー: メルマガ | コメントを受け付けていません

投稿日: 2012年05月08日作成者: grace-office

◆□◆GRACEメールマガジン2012/5/8　第20号◆□◆ —& … 続きを読む →

カテゴリー: メルマガ | コメントを受け付けていません