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 版も提供
新言語Klassic作り始めました - kmizuの日記
まあタイトルの通りなんですが、とりあえずこれまでの自分の言語作成遍歴についても触れておきます。 大学入学前：四則演算パーザ＆評価器 大学１年：正規表現パーザ＆評価器 大学２年：オブジェクト指向言語Onion（Javaコードへのトランスレータ） 大学３年：Onion（Javaバイトコード生成） 大学４年：Onion正式公開 大学院修士２年：純粋関数型言語IMO 大学院博士後期１年～２年：Scalaにハマる 大学院博士後期３年： PEGライクパターンマッチングライブラリPEGEX PEGパーザジェネレータYapp 以降、Scala布教活動にいそしむ 2015：Higer Order PEG(HOPEG) まあ、こんな感じです（他にも色々作ったtoy言語があるのですが略）、自分が作った中で一番規模が大きいのがOnion（だいたいJava 1.4くらいまでの仕様を一通り持っていて、バイトコードを生
腹筋運動は時代遅れ、米軍が体力測定から除外へ
This copy is for your personal, non-commercial use only. Distribution and use of this material are governed by our Subscriber Agreement and by copyright law. For non-personal use or to order multiple copies, please contact Dow Jones Reprints at 1-800-843-0008 or visit www.djreprints.com. http://jp.wsj.com/article/SB10421733196172483684504581436921882431938.html
担当編集者が原稿を改ざん KADOKAWAの新作小説が急きょ発売中止、過去作も回収・絶版に
KADOKAWAは、12月25日に発売予定だった角川文庫の小説「からくり同心 景 黒い好敵手」（著：谷津矢車）について、担当編集者が作者に無断で原稿を改変していたため発売中止にすると発表しました。 谷津矢車さんのコメント（KADOKAWA発表） 同社によると、校正ゲラを確認中の谷津さんより指摘があり、編集部で調査したところ、無断改変が判明。「その改ざんは単語の入れ替えレベルのものではなく、文章の大幅加筆やキャラクターの肝である台詞の変更にまで及んでいました」「これはもはやわたしの小説とは言えない」（谷津さん）。シリーズ第1巻の「からくり同心 景」（今年8月発売）についても同様の行為があったため、回収の上絶版にすることが決まりました。 シリーズ第1巻の「からくり同心 景」 同社は「原稿の無断改変は、決して行ってはならないことであり、弊社は深く反省するとともに、入稿チェック体制の厳重強化、編集
Twitterのエロ画像検出AIを検証
けたま @_ketama_ うーん？肌色率の高い画像を自動で不適切なコンテンツと判断する機能がTwitterに追加されたのか、投稿から数秒で報告してる人がいるのか…ԅ(˙ω˙ԅ)どっちだろ 2015-12-20 08:55:15
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
