AnalyzerのUnicodeサポート

[Takeo Imai]

今井です。

先日リリースのAlloy Analyzer最新版 （4.2RC 8月6日版）で、Unicodeサポートがされました。
http://alloy.mit.edu/community/node/1039

これにより、シグネチャ名や述語名などを日本語でかけます。
インスタンスも日本語で表示されるので、恐ろしいほど理解容易性が上がります。

豆蔵 小林さんの発明で、日本では以前から「知る人ぞ知る」A4 Analyzerのハック
だったんですが、いよいよ本家にて公式サポートされることになりました。

--
IMAI Takeo <takeo...@gmail.com>

[Takeo Imai]

今井です。

関連して、日本語でのAlloyモデルをネットにアップされていた方がいるので、著者ご本人（@everpeaceさん）ご了承の元、こちらに紹介します。
哲学者の食事問題のモデル化ですね。

ソース：
https://gist.github.com/1141692

インスタンスのスナップショット：
http://twitpic.com/64rr79

2011/8/12 Takeo Imai <takeo...@gmail.com>:

--
IMAI Takeo <takeo...@gmail.com>

[OMURA, Shingo]

今井さん、皆さん
初めまして、@everpeaceこと大村と申します。

翻訳者の方に紹介していただけて大変光栄です。
このモデルは実は一度英語で作ってあったのを置換しただけなんです:-p

元のモデルはブログで取り上げていましたので、
もしご興味があれば、ご覧いただければと思います。

AlloyでDining Philosophers ～その１: とりあえず全員テーブルに着席させよう～
http://d.hatena.ne.jp/everpeace/20110729/1311951391

AlloyでDining Philosophers ～その２: デッドロックを検出しよう～
http://d.hatena.ne.jp/everpeace/20110807/1312688471

今回の小林さんのUnicode identifierのサポートと日本語版のモデルも近いうちにブログにまとめたいと思っています。

ホントalloyはいいですね☆
言語としても小さくて覚えること少ないですし。
基本的な集合の言葉と、sqlでお馴染みの「関係」って
概念を知ってれば、取付ちゃう。

厳密な証明はできないけど、
書籍にもあるとおり、反例を見つけてくれる（たいてい小さくてすむ）
ので、アルゴリズムとかプロトコルを設計する時に
大変重宝するとおもいます。

散文となってしまいましたが、
これからもよろしくお願いします。
それでは失礼いたします。

2011年8月12日金曜日 Takeo Imai takeo...@gmail.com:

--
.__________..  . . .. ._________S_H_I_N_G_O__..
                               O M U R A
Shingo  Omura
Profile :  http://about.me/everpeace/bio
Mail To : ever...@gmail.com

Shingo Omura

Software Architect, Technical Translator / Writer
http://about.me/everpeace/