「セミナー」カテゴリーアーカイブ

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

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

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

タイトル；
数学的にプログラム品質の正当性を静的に検証するソリューション
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） 続きを読む →

━━ Hadoop体験セミナーのご案内 ━━━━━━━━━━━━━━
■日　程：2012年4月27日(金) 10:00～17:00 (受付開始: 9:30)
■会　場：国立情報学研究所 20階　ミーティングルーム1・2（2009・2010）
　　　　　〒101-8430 東京都千代田区一ツ橋２－１－２
　　　　　http://www.nii.ac.jp/introduce/access1-j.shtml 続きを読む →

第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） 続きを読む →