タグ

alloyとあとで読むに関するclavierのブックマーク (4)

  • NGK2015B で AWS + Alloy について話してきました - チェシャ猫の消滅定理

    先日、毎年恒例のなごや LT 大会 NGK2015B / 名古屋合同懇親会 2015 忘年会 で発表してきました。 AWS は形式手法の夢を見るか? - モデル検査器 Alloy によるインフラ設計 from y_taka_23 www.slideshare.net 当日の動画は [3] NGK2015B(名古屋合同懇親会 2015 忘年会) - YouTube から見ることができます。 TL;DR AWS でインフラ運用中 でも設定が大人の都合でカオスになりがちだったりして辛い よろしい、ならば形式手法だ サンプルコードを動かしてみよう! まずはインストールしてみる 公式ページ Alloy - download から、jar ファイルで提供されているものをダウンロードしましょう。 java -jar alloy4.2.jar でウィンドウが起動すれば OK です。 なお、dmg 版も提供

    NGK2015B で AWS + Alloy について話してきました - チェシャ猫の消滅定理
  • Titanium もくもく会 Tokyo #10 に行ってきました - imthinker::net

    毎月恒例 Titanium もくもく会 に行ってまいりましたのでレポートです。 今回はニフティ株式会社様に会場を提供していただきました。 ありがとうございました! (また雨でした) 。 ListView のススメ Encouragement of ListView from Ryutaro Miyashita 私の発表。 Titanium 3.1 で登場した ListView についての説明です。 TableView と何が違うのか、アナウンスが徹底されていない状況でしたが、いざ使ってみると iOS / Android 共に 10 倍 〜 30 倍 ぐらいの性能が出ることが分かりました。 Android で大幅にパフォーマンスアップが見込めるのはもちろん嬉しいですが、 iOS に関しても実機性能で 10 倍も性能向上しているのは驚きです。詳しくはスライドと GitHub に置いてあるデモア

    Titanium もくもく会 Tokyo #10 に行ってきました - imthinker::net
  • 合コン失敗したら風俗

    女子大生がたくさん働いているデリヘルのサービス。深夜でも使える風俗として、自分の暮らしを豊かにしてくれているデリヘルです。有名大学に通う女性を指名した今回は、思い出しただけでも興奮が甦ってくるほど。素股の気持ち良さは挿入を超えるくらいの感覚でした。その秘密は敏感なクリにあります。素股をするとどんどん刺激されてクリが固くなり、それが亀頭に当たって気持ち良い。相手も擦れて気持ち良いという相乗的な魅力に浸るのが、今までの風俗史上最高の体験になったのです。素股はぎこちなさもあるのですが、それでも密着度が高くてアソコへの刺激は十分すぎるほど。途中で耐えることを諦めていれば、きっとサービスから半分も消化しないうちに果ててしまっていたと思います。しかし、僕は風俗MASTERです。そんなことできません。キスも大好きらしく、クンニをした後でも何度となく「チューしてほしい」とお願いされたので、舌を絡めてじっく

  • Tiなごや vol.3 を開催しました - モトクロスとプログラムと粉砕骨折と

    やるやる詐欺を続けることはや1年、ついに詐欺師の名称を返上することができました。 4月13日(土)にベースキャンプ名古屋さんで、「Tiなごや vol.3」を開催することができました! 今回はちょっと小じんまりとした集まりだったんですが、それがまた良かった。和気あいあいとした雰囲気のなか、積極的な質問や脱線をしながら、なかなか面白い集まりだったんじゃないかなー。 色んな人の力を借りまくったスライド、置いておきますね。今回はTitaniumの基礎と、Alloyの基礎、2立てでお話させて頂きました。 Titaniumのキホン Alloyやろまい 今後の「Tiなごや」の活動ですが、東京のもくもく会のように、LTベースのゆるい勉強会へシフトしようかと思ってます。月1は厳しいかもしれないけど、1ヶ月半に1回はやりたいなぁと。またGoogleグループの「Ti.Nagoya」で告知しますので、乞うご期待

  • 1