形式手法と AWS のおいしい関係。- モデル検査器 Alloy によるインフラ設計技法 #jawsfestaJAWS Festa 東海道 2016 の発表スライドです。モデル検査器 Alloy を用いて AWS のリソースをモデル化し、仕様からインフラ設計を自動で生成する流れをお見せします。Read less
JJUG CCC 2017 Spring で Haskell on JVM について話してきました - チェシャ猫の消滅定理
先日行われた JJUG CCC 2017 Spring で、JVM 上で動作する Haskell について発表してきました。 思ったほど怖くない！ Haskell on JVM 超入門 #jjug_ccc #ccc_l8 from y_taka_23 www.slideshare.net メインになるコンテンツはふたつの JVM 言語、Frege と Eta です。 今回はあくまでも Java のイベントなので、発表前半では Haskell の基本概念、特にモナドについてそれなりの時間を割いて説明してみました。さらにそれを踏まえて後半ではモナドを利用した Java ライブラリの呼び出しに焦点を当て、Frege と Eta それぞれの戦略の違いについて解説しています。 そもそも Haskell on JVM というマニアックで Java そのものと無関係なテーマ、かつ時間的に最後の枠というこ
スマホで遊べるカードヒーロー！ - カードヒーロー@スマホ
[2016/09/24]「ダロス」と「クレア」と「テトカ」を強化。いずれもアタックの威力強化になります。 [2016/06/26]「レベルチェンジ」と「グングニエル」の仕様変更。詳細についてはカード詳細ページからご確認下さい。 [2016/05/28]「水晶の壁」の弱体化と「エクスチェンジ」の仕様変更。詳細についてはカード詳細ページからご確認下さい。 [2016/05/15]「スーパーマスター」を追加。＠スマホ初のオリジナルマスターになります [2016/04/13]ヘッダーのメインメニューをページ内で開くように改修。 [2016/03/12]対戦リプレイのログメッセージ表示内容を最適化 [2016/03/08]TOPページにツイッターフィードを導入 [2016/03/08]ユーザー情報管理画面からツイッターID登録機能を導入 [2016/03/06]ヴァルテルとルージュのカード性能を強化
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
