神奈川大学 プログラミング科学研究所
このサイトを検索
お知らせ
研究所概要
プログラミング科学とは?
形式アシュランスケース
Agda言語
Link
WOSD2015
TPP2015
神奈川大学
湘南平塚キャンパス
DEOS協会標準化部会
サイトマップ
神奈川大学 プログラミング科学研究所
>
お知らせ
>
2015-07-24 7月21日講演会スライドの掲載
2015/07/23 19:26
に 奥野康二 が投稿
7月21日にKUポートスクエアで開催しました第3回システムアシュランス研究会・第3回DEOS標準化部会講演会のスライドを、同講演会開催案内の講演概要に掲載しましたのでご覧ください。
Comments