気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
www.kb.ecei.tohoku.ac.jp/~sumiiエントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
0
記事へのコメント0件
- 注目コメント
- 新着コメント
新着コメントはまだありません。
このエントリーにコメントしてみましょう。
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
いまの話題をアプリでチェック！
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
Microsoft PowerPoint - rsa.ppt
2010/9/9 17:35-18:25 RSA Conference Japan 2010 1 SECURITY DECODED 住井 英二郎 東北大学 大学院 情... 2010/9/9 17:35-18:25 RSA Conference Japan 2010 1 SECURITY DECODED 住井 英二郎 東北大学 大学院 情報科学研究科 准教授 セッションID: WH‐004 高信頼・高安全 ソフトウェアのための 数理的検証手法： 最新の研究と応用の現状 2010/9/9 17:35-18:25 RSA Conference Japan 2010 2 本講演の概要と目的 z フォーマルメソッド（数理的・論理的 ソフトウェア開発・検証手法）の 基礎理論と応用事例のご紹介 – 「古典」から「最新」まで – 例によるツールのデモンストレーションを交えて z 「釈迦に説法」の部分はご容赦ください z 学界と産業界の橋渡しの一助（を目指す） z ご質問・ご意見・コメント・情報提供等 いただけましたら幸いです 2010/9/9 17:35-18:25 RSA
ブックマークしたユーザー
すべてのユーザーの
詳細を表示します
詳細を表示します
www.kb.ecei.tohoku.ac.jp/~sumii
www.kb.ecei.tohoku.ac.jp/~sumii
www.kb.ecei.tohoku.ac.jp/~sumii
www.kb.ecei.tohoku.ac.jp/~sumii
fujipon.hatenadiary.com
anond.hatelabo.jp
jisin.jp
bunshun.jp
togetter.com
www.apple.com
www.gdm.or.jp
brevis.exblog.jp
www.itmedia.co.jp
techblog.zozo.com
zenn.dev/layerx
techblog.enechain.com
www.cinematoday.jp
www.cinematoday.jp
www.mlit.go.jp
