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