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

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

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

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であることが可能)」と云う二... 続きを読む