Alloy 6 の新機能 Mutable Field と線形時相論理

2021/12/09 8 users 新機能 チェシャ猫 一種 検査 タイプ

こんにちは、チェシャ猫です。 Alloy は関係論理を用いた形式手法ツールの一種です。本記事では、2021 年 11 月にリリースされた Alloy 6 の新機能、Mutable Field を用いた検査について解説します。この機能を使用することで、時間発展するタイプのシステムをよりシンプルに記述できるようになりました。 なお、本記事... 続きを読む

Alloyを使って有限群を調べてみる - ashiato45の日記

2017/02/19 22 users 制約 数学 言語 反例 解析器

2017 - 02 - 18 Alloyを使って有限群を調べてみる Alloy はモノを抽象的に記述したり、それらの関係を数学で言うところの「関係」でもって記述する言語です。 さらに、そこで記された制約を満足する例を見つけたり、制約に対する反例を見つけたりするための解析器がついてます。 プログラムの仕様をこれで記述して、それに対して見落しがないかを探すのに便利みたいです。 公式サイト http:/... 続きを読む

Alloy使って全面的に書き換えたアプリをリリースしました - TitaniumMobile勉強記

2014/06/05 9 users Titanium mobile クラフトビール 構造 全部

2014-06-06 Alloy使って全面的に書き換えたアプリをリリースしました Titanium Mobile タイトルで全て言い尽くしてますがクラフトビールが飲める・買えるお店を検索できるCraftBeerFanというアプリをAlloyで全部書きなおしました。 元々のClassicスタイルでの開発時でも、ViewとModelは分割する構造で開発していたので、Alloy採用にあたって大変だったこ... 続きを読む

Ti Weekly Clips 2013年総集編(後編その2) - Titanium News

2013/12/22 10 users Titanium News Titanium 後編 単位 来年

2013-12-22 Ti Weekly Clips 2013年総集編(後編その2) 勉強会・イベント Titanium™ Advent Calendar 2013、22日目を担当する@donayamaです。 後編のつづきです。一年に一回とかいう単位でまとめるべきではないというのがよく分かりました。来年こそはこまめにまとめたいと思いますorz GitHub Watch総集編 Alloy アプリ/サ... 続きを読む

Appcelerator製。Titamium用MVCフレームワーク「alloy」 - MOONGIFT|オープンソース・ソフトウェア紹介を軸としたITエンジニア、Webデザイナー向けブログ

2012/06/23 49 users MOONGIFT Titanium iOS ITエンジニア

JavaScriptを使ってiOSもAndroidアプリも作れるのが魅力のTitaniumですが、大型なアプリを作るには仕組みの自由度が高過ぎに感じる人も多いのではないでしょうか。そこで使ってみたいのがAppcelerator社自らが開発するMVCフレームワークのalloyです。 0 続きを読む

Alloy でクリプキ可能世界意味論！ - はてな使ったら負けだと思っている

2011/08/30 13 users 様相論理 論理学 意味論 勉強 記録

Alloy, 論理学, 様相論理Alloy でクリプキの可能世界意味論をエンコードしてみた記録。論理学をきちんと勉強した訳じゃないので、もし誤りがあったら是非教えてください。 可能世界意味論と云うのは、偉大な論理学者ソール・クリプキが、なんと若干高校生の頃に思い付いた様相論理の意味論です。様相論理って云うのは、通常の命題論理に、「□P (必然的に P)」とか「◇P (Pであることが可能)」と云う二... 続きを読む