情報オリンピック夏季セミナー2012に参加したときのスライドです。 Alloyそのものについての説明はほとんどなく、プログラムの反例を出すことがメインです。 Read less
僕: 普通にAlloyさんのことを説明してもイマイチ反応がないんだよね Alloy: 「普通」の定義があいまいね 僕: …で、とりあえず会話形式にしてみたらいいんじゃないかと思ったんだ! Alloy: 論理が飛躍しすぎね。まったく何を言っているのかわからないわ。 僕: まあ、そこは僕(人間)のフィーリングを信じてよ! Alloy: …。 僕: で、ミルk…じゃなかったAlloyさんと僕だけでは、制約が厳しすぎて解がなくなると思うんだ。で、教えられ役としてJavaScriptちゃんを連れてきたよ JS: ハーイ、ローラだよー、あ、いけない、間違えちゃった、じゃばすくりっとだよ☆ (声: ローラ) Alloy: ………(ため息) 状態遷移図をモデリング 僕: まあまあ、とりあえずこの前JavaScriptと実装した状態遷移図のモデリングをやってみようかな。まず状態を管理しているStateMan
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く