形式手法勉強会で使った資料です。 alloyというツールを使っています。 alloy自体の紹介は別の資料で説明しており、 この資料では以下の語を説明無しに使っています ・ドット(結合) ・矢印(積) ・その他各種シグネチャ ・alloyの特徴(全ては関係、全ては論理式、非手続き型言語であることなど) このあたりの理解は原典にあたるのが一番手っ取り早いです http://alloy.mit.edu/alloy/Read less
![形式手法勉強会第3回 device tokenの仕様について](https://cdn-ak-scissors.b.st-hatena.com/image/square/2e4cffe551be7be32030a57a1a74b26e52d0c652/height=288;version=1;width=512/https%3A%2F%2Fcdn.slidesharecdn.com%2Fss_thumbnails%2F3devicetoken-130418202904-phpapp02-thumbnail.jpg%3Fwidth%3D640%26height%3D640%26fit%3Dbounds)
形式手法勉強会で使った資料です。 alloyというツールを使っています。 alloy自体の紹介は別の資料で説明しており、 この資料では以下の語を説明無しに使っています ・ドット(結合) ・矢印(積) ・その他各種シグネチャ ・alloyの特徴(全ては関係、全ては論理式、非手続き型言語であることなど) このあたりの理解は原典にあたるのが一番手っ取り早いです http://alloy.mit.edu/alloy/Read less
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く