Alloy-jp

小笠原さん今井です。 ありがとうございます。送っていただいたバージョンで修正しておきました。 自分もGoogle Drive に不慣れなので、確認してみてください。 2014-08-28 10:03

人見です。 回答頂きありがとうございます。 > うーん、これについては、私は本に書かれている以上の説明能力を持たないです。 > succ に課される具体的な制約の内容を示せればよいのですが。

波田野 と申します。 本日参加予定です。 形式手法はじめ数学系は全くの素人なのですが、ソフトウェア仕様に曖昧さがないか調べる手段、 という視点で興味があるだけでなく、将来的には「業務設計に曖昧さがないか

皆様今井です。 当日、頂いた質問の1つにうまく答えられなかったのですが、改めて回答を自分のブログに書きました。ご参考まで。 http://d.hatena.ne.jp/bonotake/20120514

小笠原さん ありがとうございます。 今帰宅途中につき、後ほど直接連絡致します。 取り急ぎ。 On Tuesday, May 8, 2012, Satoshi Ogasawara wrote: 今井さん

今井です。 昨年はAlloy本が出版でき、おかげさまで多くの方に手に取っていただけました。 本年もAlloyと形式手法の普及に努めてまいりたいと思います。どうぞ本年も宜しくお願いします。 さて、いくつか

今井です。 Jackson先生から連絡頂きました。Alloyの公式サイトをリニューアルしたそうです。 なんだか綺麗なデザインにまとまっています。 http://alloy.mit.edu/alloy/

今井です。 そういえば、こちらに情報流してなかったですが、先日PDF版がオーム社さんのサイトにて発売になりました。 http://estore.ohmsha.co.jp/titles/

今井です。 本家コミュニティの掲示板に、バグレポートとして報告しておきました。 http://alloy.mit.edu/community/node/2817 2011/11/6 Takeo Imai

今井です。 ありがとうございます。実は誤植の報告下さったのは、（私が把握してる限り）田辺さんが初めてです。 ぱっと見る限り、いずれもご指摘の通りかと思われます。 原書の問題でもあるので、原著者とも相談し

> Stringは、4.2rcリリース前に「一時的に導入されたもので、削除する予定」と聞いていました。 情報ありがとうございます。 用途もなさそうですし、結構なことだと思います。 > はい。

山本です． 2011/10/21 Takeo Imai <takeo...@gmail.com>: > Alloy本に出てくる「限定全称規則」（bounded-universal

小笠原です。 (2011/10/07 8:41), T.Fujikura wrote: > モデル検査ツールのNuSMVでやってみました。util/ordering[Step]については>

今井です。 Alloy本原著（Software Abstractions）改訂版が11月に出るようです。表紙が緑！ http://mitpress.mit.edu/catalog/item/

今井さん、皆さん初めまして、@everpeaceこと大村と申します。 翻訳者の方に紹介していただけて大変光栄です。 このモデルは実は一度英語で作ってあったのを置換しただけなんです:-p 元のモデルは

今井です。 本日より、監訳の中島先生にもこのメーリングリストにご参加頂きました。 宜しくお願いします。＞中島先生また、NIIのサイトにAlloy本を掲載いただいたそうです。 http://www.nii

今井です。 NII edubaseSpace にて、8/15にFormal Method Forumさん主催の形式手法の勉強会が開かれます。 Alloyの紹介もあるようです。 ご興味ある方は、下記をご

続報です。配布を再開されたようです。 下記ブログエントリーの最後をご覧下さい。 http://uml.livedoor.biz/archives/51562895.html 今井2011/8/4

今井です。 おもむろに、本家 Alloy Community に ALLOY-JP グループを作ってみました。 http://alloy.mit.edu/community/node/2738 http

今井です。 万が一、Alloy Analyzer を使っていてバグに出くわした場合は、英語OKであれば、 本家Alloy Community の 下記URLにお願いします。 http://alloy.

2011年7月26日17:21 Takeo Imai <takeo...@gmail.com>: > > そこまでしなくても、 特にめんどうなことはしてません、 >

酒井です。 2011年7月21日11:59 Takeo Imai <takeo...@gmail.com>: >> 今のKodkodベースのAlloyなら、適当な規則で台集合

転送はコレが最後です。 今井---------- Forwarded message ---------- From: Takeo Imai <takeo...@gmail.com>

---------- Forwarded message ---------- From: Takeo Imai <takeo...@gmail.com> Date: 2011/7/18