「研究」カテゴリーアーカイブ

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

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

今回のGRACEセミナーはアリゾナ州立大学の Chitta Baral 先生に自然言語テキストを理解するご研究に関して講演いただきます．
とくに，英語により記述されたパズル問題や生物学のテキストを知識表現言語である解集合プログラミング (Answer Set Programming)に変換し，質問応答を行うシステムについてご紹介していただきます．

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

第58回先端ソフトウェア科学･工学に関するGRACEセミナー

今回のGRACEセミナーは2件の講演からなります．まず，Rutgers 大学の
Chung-chieh Shan 博士が確率的プログラムの最適化について講演します。
次に，NIIの胡振江教授が「双方向モデル変換によるソフトウェア進化」に関する
NIIグランドチャンレンジ研究プロジェクトの最新の研究成果を分かりやすく
説明します。

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

第57回先端ソフトウェア科学･工学に関するGRACEセミナー

セミナーの資料をアップ致しました。
下記をご覧ください。

http://opencarf.org/?page_id=598 続きを読む →

第55回先端ソフトウェア科学･工学に関するGRACEセミナー

今回のGRACEセミナーはポツダム大学の Torsten Schaub 先生に解
集合プログラミング (answer set programming; ASP) について講
演いただきます． 続きを読む →

今回のセミナーは，英国 Newcastle University の Alexander Romanovsky 教
授をお招きして，Scaling Event-B to Industrial Applications と題し，DEPLOY プロジェクトについて，お話しいただきます．このプロジェクトは ECFP7 プログラムの1つで，形式手法の適用によってディペンダブルなシステムを構築する工学的な手法を発展させることを目的としています．Event-B のRodin ツールセットを用いたデモも見せていただけるとのことです．興味をお持ちの方は，ぜひご参加ください．

主催: NII 先端ソフトウェア工学国際研究センター（GRACEセンター）
http://grace-center.jp/

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

今回のセミナーは、アジャイル開発やデザインパターンの分野で著名David West教授によるアジャイル開発のポイントについての講演と、デザイナーでかつコンサルタントで、デザインパターンの分野で活躍されているRebecca Rikner女史にインターフェースのユーザ中心設計に関する最新の動向を講演していただきます。
デザインパターン、アジャイル開発、ユーザ中心設計に関心のあるかたはもちろん、最新の開発手法に興味のあるエンジニアの方々など、幅広い分野の方の参加をお待ちしております。

主催：NII 先端ソフトウェア工学国際研究センター（GRACEセンター）
http://grace-center.jp/
日時：2011年10月3日（月）15:00-17:00
場所：国立情報学研究所(NII) 20階ミーティングルーム室 (2009/2010)（地図）
参加費：無料 続きを読む →

セミナーのビデオを一部公開致しましたので、以下からご確認頂けますようお願い致します。なお、全てをご覧いただくにはedubase Streamへ登録頂くことになりますのであらかじめご了承頂けますようお願い致します。 続きを読む →

主催：NII 先端ソフトウェア工学国際研究センター（GRACEセンター）
http://grace-center.jp/
日時：2011年4月25日（月）10:00-11:00
場所：国立情報学研究所(NII) 20階講義室1 (2005)（地図）
参加費：無料 続きを読む →

3月22日(火)開催予定の第50回GRACEセミナーは、
東北地方太平洋沖地震発生に伴う影響を考慮し、
開催中止とさせて頂きます。
何卒、ご理解のほど、よろしくお願いいたします。 続きを読む →