MS萩原さんのセッション。同名の書籍（元ネタはDBマガジンの同名の連載）が元になっていて、そのダイジェスト版＋最新の動向の補足、という形。とても示唆に富んでいるんだけど、抽象的な上に、1つ1つのトピックがめちゃめちゃ重たいので、きちんと理解しようとすると調べる量がとても多くなってしまう上に、そもそも理解しきるのが難しすぎる。とりあえずは現段階の自分の稚拙な理解をもとに、こんなことじゃないかなーと補足しながら書いていく。 アーキテクチャの原則アーキテクトにとっては、アーキテクチャの原則を理解することが重要。アーキテクチャの原則は、インフラなどが変化しても変わらず、クラウドでも通用する。 アーキテクチャ先行定義の原則アーキテクチャは先行定義せねばならぬ、という原則。アーキテクチャ設計を含むソフトウェア開発は、こんな風な流れになるはず。 モデリングとアーキテクチャ設計の双方のインプットとして、シ

DDD Sample Application version1.1.0: ユースケーススライスから見たアプリケーション構造の確認（2）

前回は、シンプルな参照の機能が、サンプル上でどのように構成されているかを確認した。今回は、積荷の一覧・詳細表示で参照機能の構成を確認しつつ、積荷の新規登録・状態更新まで確認してみたい。 配送状況の詳細表示積荷の一覧・詳細表示 積荷の新規登録積荷の状態更新配送ルート候補検索積荷への配送ルート設定配送状況の更新配送状況の更新（バッチ） 積荷一覧・詳細表示の概要 これは、商品発送側が現在管理対象になっている積荷の情報を確認するためのもの。おなじみの一覧・詳細表示アプリだ。アプリケーション内では、Booking と呼ばれている。Booking （Trackingもそうだが）はコンテキストなのだろうか？ この機能は、一見すると配送状況の詳細表示と同じように思えるが、内部的には異なった作りになっており、Web層の Controller からリモートサービスとして構成された BookingService

前回まででユースケース、アプリの全体構造までを確認したところで、今回はユースケースごと（ユーザーイベントごと）のアプリケーション構造を追っていく。ユーザーイベントを再掲する。 配送状況の詳細表示積荷の一覧・詳細表示 積荷の新規登録積荷の状態更新配送ルート候補検索積荷への配送ルート設定配送状況の更新配送状況の更新（バッチ）まとめてやろうかと思っていたが、思った以上に長くなったので1イベント per 1エントリで進めることにした。今回は一番上、配送状況の詳細表示。 配送状況詳細表示の概要 主に、顧客が発注商品の配送状況を確認するために使う機能。アプリケーション内では、Tracking という言葉で呼ばれている。 Web インタフェースから情報を参照するだけの機能なので、Spring WebMVCのコントローラから Repository 経由でデータを取得して表示するだけのシンプルな作りになって

出来るよ！ class Rows {} interface Query<E extends Query<E>> { E findAll(String str); E where(String pred); E orderBy(String col); E limit(int n); Rows execute(); } class MyQuery<E extends MyQuery<E>> implements Query<MyQuery<E>> { public MyQuery<E> findAll(String str) { return this; } public MyQuery<E> where(String pred) { return this; } public MyQuery<E> orderBy(String col) { return this; } public My

クラス定義の段階で型パラメータが決まっている場合(以下のようなクラスが該当)、Classから型パラメータで指定された型を得ることができます。(↓のクラスだと、HogeSet.classからSetの型パラメータであるString.classがとれる。) // クラス定義の段階でSetのパラメータを決めているSetの実装。 class HogeSet implements Set<String> { ... 手順 Class#getGenericInterfaces(),Class#getGenericSuperclass()で親クラスのTypeを取得できます。 戻り値は親クラスやインターフェイスがパラメータ化されている場合ParameterizedTypeになります。 そうでない場合は、Classが返されます。 ParameterizedTypeの場合、ParameterizedType#g

自分めも。だけどわかる人教えてください。 public static void main(String...args) { Integer a = 1; Long b = 2; Object result = method(a, b); // resultの型は？ } static <T> T method(T a, T b) { return null; } このmethod(a, b)の型推論で、Tはどのような型に算出されるかという問題。 15.12.2.8 Inferring Unresolved Type Argumentsを追いかけながら進んでいく感じ。ただし、型推論の後半部分だけ。 おさらいしておくと、Integer, Long はそれぞれ下記のような宣言。 class Integer extends Number implements Comparable<Integer>

型パラメータつきクラスHoeがあるとして、指定された型パラメータをHoeクラスの中から知る方法。 public class Hoe<E> { private Class<E> type; public Hoe(E... e) { @SuppressWarnings("unchecked") Class<E> type = (Class<E>) e.getClass().getComponentType(); this.type = type; } public Class<E> getType() { return type; } } こうすると、具体的な型パラメータを取得できる。 例えば Hoe<Fuga> hoe = new Hoe<Fuga>(); という文があった場合、hoe.getType()はFuga.classになる。 かなり裏技的だけど。

まじめにJavaの型推論書いてるのでメモ。capture-#xとか分かるようになるかも。 レビューに付き合ってくださる方は Java SE Specifications からPDFをダウンロードしておくとよいかと*1。 捕捉変換の概要 捕捉変換(capture conversion)は言語仕様の「5.1.10 Capture Conversion」にあります。5回くらい読まないとまともに理解できないので趣旨だけ簡単に パラメータ化型*2に出現する型引数にはワイルドカード*3を含めることができる ワイルドカードは型そのものではなくて型の範囲(集合)を表現する*4 変数の参照などの式には捕捉変換が適用され、パラメータ化型からワイルドカードが除去される ワイルドカードを含むパラメータ化型に捕捉変換を適用すると、すべてのワイルドカードが一時的な型変数に置き換えられる コンパイルエラーの時によく出る

ジェネリクスねた。 Java Generics and Collections: Speed Up the Java Development Process の9.4 Strategy に出てくる話です。 @Test public void test() throws Exception { Aaa<Bbb> hoge = new Bbb(); Bbb bbb = hoge.asSubtype(); Aaa<Ccc> foo = new Ccc(); Ccc ccc = foo.asSubtype(); } interface Aaa<T extends Aaa<T>> { T asSubtype(); } static class Bbb implements Aaa<Bbb> { public Bbb asSubtype() { return this; } } static clas

@masaru_b_cl とジェネリクスの話をしていて、継承の際に型変数に具体的な型をバインドして単純化したりするんだよ、みたいな話をしていたのだけど、コード例がないとイメージしにくいと思うのでちょっと書いておこう。 二つの型変数 I, O をもつinterfaceがあったとする。 public interface Executor<I, O> { O exec(I in); } この実装クラスとしてListを受け取って合計を返すSumIntegerクラスを考えよう。 public class SumInteger implements Executor<List<Integer>, Integer>{ public Integer exec(List<Integer> in) { int ret = 0; for (int value : in) { ret += value; } re

ごきげんうるわしゅぅ。 さて、今回はジェネリックスの話題。 ジェネリックスになれてくるとうっかり書いてしまうのが、以下のコード。 public class MyArray<E>{ private E[] elements; public MyArray(int n){ elements = new E[n]; } public E get(int index){ return elements[index]; } public void set(int index, E value){ elements[index] = value; } } これは機能しそうですが、実際には以下でコンパイルエラーになります。 elements = new E[n]; え？なぜできないの？って考えてしまうのですが、Eなどの具象化不可能型*1は配列を生成できないのです。 回避方法その1 えぇい、Listにして

Java基礎文法最速マスター - いろいろ解析日記をリスペクト。 Javaの変態文法・技法一覧です。Javaの基礎をある程度知っている人はこれを読めばJavaの変態をマスターしてJavaを書くことができるようになっています。簡易リファレンスとしても利用できると思いますので、これは足りないと思うものがあれば教えてください。 1.基礎 エンクロージング型内部classの作成 外部classのインスタンスに紐付くインスタンスを生成します。外部クラスのインスタンス - 内部クラスのインスタンス間に、クラス - インスタンスのような関係を持たせることができます。 public class Outer { public class Inner { } } というようなクラスを作った場合、 Outer o = new Outer(); Inner i = o.new Inner(); となります。new

概要 Ver. 4.0 C# 4.0 で、ジェネリクスの型引数に共変性・反変性を持たせることが可能になりました。 （共変性・反変性という言葉の意味は「covariance と contravariance」参照。） ジェネリックの共変性・反変性 ジェネリクスの共変性・反変性というものがどういうものかというのを説明する前に、まず背景を。 ジェネリックコレクションに関して、昔から以下のようなことをしたいという要望がありました。 List<string> strings = {"aa", "bb", "cc"}; List<object> objs = strings; これを認めてしまうと何がまずいかというと、 以下のような不正な値の書き換えが起こり得る。 // strings と objs は同じオブジェクト objs[0] = 5; // int に書き換えられたらまずい string s

JavaとScalaとC#のジェネリクスは、いずれも継承を持ったオブジェクト指向言語においてParametric Polymorphismを実現するための手段であり、それぞれ異なった特性を持っている。というわけで、それぞれの言語においてジェネリクスがどのようにサポートされているかを比較した表を用意してみた。後で気が向いたら、各項目の説明を追加するかも。 Java(5.0以降) Scala C#(4.0) ジェネリックなクラス ○ ○ ○ ジェネリックなメソッド ○ ○ ○ 型パラメータの上限 ○ ○ ○ 型パラメータの下限 × ○ × 型パラメータの推論 ○ ○ ○ 全ての型のサブタイプ(ScalaにおけるNothing) × ○ × definition-site variance × ○ ○ use-site variance ○(Wildcard) ○(Existential Typ

ジェネリクスと同じくJDK1.5で導入された、Class.cast()について調べてみた。 Class.cast()とは うまい事型を変換してくれる便利機能かと思ったら、全然違った。 Objectで表されているけど実は中身はInteger、とかそういう時に使う。 キャスト演算子。 import java.util.*; public class CastTest { public static void main(String[] args) { Object obj = 123; Integer i = Integer.class.cast(obj); } } キャスト演算子との違い やりたい事はキャスト演算子もClass.cast()も同じ。 何事もない時は、キャスト演算子と同じ。 でも、キャストに失敗した時の挙動が違う。 Class.cast()を使うと、キャスト出来なかった場合は、

Generics（総称型）のプログラミングはJava言語（バージョン5以降）で最も習得が困難な文法*1の一つです。私自身、時々どうやって文法エラーを修正すべきか悩むこともあるくらいで、実際かなり複雑です。Genericsの導入は賛否両論なので、実際Javaに導入したのは間違いだったという議論もある一方で、静的な型安全性を重視するプログラマーもいます。 好き嫌いはともかくとして、Javaプログラマーとしては、一度きちんとGenericsの正しい使い方（=使い勝手のよい総称型やメソッドの正しい定義方法）について勉強しておいてもよいと思います。 Java Generics and Collections: Speed Up the Java Development Process 作者: Maurice Naftalin,Philip Wadler出版社/メーカー: O'Reilly Media

高階関数というものをご存知か。関数自身を引数あるいは戻り値に取る関数のことである。「高階」は「こうかい」と読む。その昔「たかしな」と読んだ人がいたとか、いないとか。 先のエントリ「HttpSessionを型安全にする」では「javax.servlet.http.HttpSessionのsetAttribute()/getAttribute()のようなモノをどうやって型安全にするか」という動機付けから、 public class KeyValue<K> { public <T> void put(K<T> key, T value){} } といったことをやろうとして、Javaの言語仕様上、型変数に型変数を持たせることができないので実現できないと述べた。 簡単に解説すると、ここでKayValueはHashMap的なキーを渡せば値を返すオブジェクトで、型変数Kはキーの集合体を表現している。ty

Java5における総称型（generics）の導入に伴い、Javaの型システムは以前と比べて高機能になった反面、理解するためのハードルが高くなっています。もちろん、Javaの型についてきちんと理解するためには言語仕様を勉強すればよいのですが、手っ取り早く理解するための方法としてリフレクションAPIを使ってみるというのが有効です。リフレクションAPIの先祖はJava1.xのころから存在しており、フィールド、メソッド、クラスなどの情報を実行時に取得するためのものですが、総称型に合わせてJava5から新しいAPIが追加されています。ここではリフレクションAPIを使い、Java5の新しい型システムについてまとめてみたいと思います。 JDK1.4までの型はすべてClassクラスのインスタンスに一対一対応する JDK1.4までに存在していた型はパターンに分けると以下の3通りに分類できます。 基本型（i

異なる型のオブジェクトの順序比較が今回のテーマ。 Javaの場合、オブジェクトの順序を比較する王道はふたつある。 ひとつはjava.lang.Comparable *1（こんぺあらぶる）を実装する「自然順序付け」と呼ばれる方法。 public class A implements Comparable<A> { int a; @Override public int compareTo(A o) { return this.a - o.a; } } もうひとつはjava.util.Comparator （こんぱれーたー）を用いる方法。*2 public class MyComparator implements Comparator<A> { @Override public int compare(A o1, A o2) { return o1.a - o2.a; } } 見て分かるよう

理解はできるけどそれだけだな 「ピザ屋の匂いって、全部他人が注文したものから香る匂いだと思うと、悔しいよな」と友人に言ったら「理解はできるけどそれだけだな」と言われた。全く持ってその通りだ。この言葉を発する時、自分は日本語のテクニックだけで言葉を作っていて、伝えたい想いとかそう…

『qpstudy３周年記念LT大会　〜新人さん、業界にようこそ！〜 with ビール』に参加＆LTしてきました！ 14時から始まって簡単なメインセッションの後、20人くらいのLTが19時近く？まで！ いやー、さすがに飲み疲れましたｗ 自分のLT資料です qpstudy3周年記念LT大会 from Tomohiro Ikeda 今回のやりたかったのはこのへんでした なにか新人さんが参考になる話をする ライブオペレーション ライブオペレーションについては、開発系の勉強会の『ライブコーディング』と同じ感じで、 みんなでだれかのオペレーションを見て それについていろいろ議論する と楽しいかなーと。 初挑戦だったので、テキパキ行かずに何やってるかうまく伝えられなかったですが、なかなか楽しかったのでまたやりたいと思います！ あとはライブオペレーションでやったことについて、ザッと解説しておきます！ ライ

前回、git の運用指針 - Life like a clown と言う記事を書きましたが、git の事をよく理解しない状態のまま取り急ぎ作成したために、やはりいろいろとまずい所があったようです*1。指摘された点としては、「merge や rebase の理解がまずい」、「git-flow はしんどいから GitHub Flow の方が良い」等がありました。これらに関しては一つずつ調べながら、自分が理解した範囲で一度まとめてみようと思います。取りあえず、今回は git merge から。 尚、merge や rebase について調べていると こわくない Git と言う非常に分かりやすくて良い資料（スライド）が見つかりました。git 上で何らかのブランチ戦略を取って開発を行う場合、ひとまずこの資料に目を通す（通させる）と良いかもしれません。 git merge (Non Fast-Forw

Fabric は、Python 製のデプロイ・システム管理ツールです。 最近、構築や運用を自動化するための様々なツールが出てきています。 構成管理ツールの Puppet や Chef が有名ですが、使うまでに覚えることが多いのが欠点です。 しかし、Fabric は非常にシンプルなツールで、今からすぐに使うことができます。 Fabric はデプロイ・システム管理ツールで、類似のツールとして Ruby 製の Capistrano があります。 Fabric の最大の特長は、シェルスクリプトを書き慣れた人がいきなり利用できるところです。 シェルスクリプトとしてまとめていたコマンドをそのまま run() メソッドや sudo() メソッドで囲むだけで、使うことができます。 シェルスクリプトを使っていていると、いくつもの問題に遭遇します。 名前空間の管理 変数の扱い 複雑なデータ構造がない(せいぜい

個人的には割と大変だったので、その辺をまとめておきます。 ニュースリリースはこちら。 http://www.nautilus-technologies.com/topics/20130409.html 要するに本部系バックエンド基幹システムの「一式」のクラウド移行です。完全なミッションクリティカルシステムで、止まった段階で業務に確実に影響が出ます。 システムの機能概要 1.売上の確定処理と債権管理 POSデータの直結です。売上確定処理を行います。同時に債権管理も行い、F/Bからの入金データをそのままつなぎ込み、入金処理・債権の消し込み処理を実行します。マッチングは自動処理できるものは処理を行い、ヒューリスティックなものはユーザー判断に従います。 2.仕入・費用の計上と確定処理、および支払いデータの作成 費用・在庫の計上確定処理です。当時に支払データの確定処理を行います。EDI（BMS）との

イベント主催 ライトニングトーク ライトニングトークの勉強会・第2回Light Lightning Talk（LLT）は大盛況、参加者に良いモノを得て頂けた！ #lightlt このエントリーの流し読みっ！ 主催したライトニングトーク勉強会は盛況のうちに終了 人の話を真剣に聞くこと。自分の話を真剣にすること。新たな繋がりも生まれた！ 第三回、ぜったいにやります！ 私が主催している第2回のライトニングトーク勉強会「Light Lightning Talk」が2013/04/13 14:00から新宿のトラベラーズ・コワーキングで行われ、無事盛況のうちに終了しました。 ▼お世話になったトラベラーズ・コワーキングさんはこちら 新宿トラベラーズ・コワーキング － 電源コンセント・無線LANが使えるノマドワーキングスペース ▼第2回LLTの告知ページです。主催や参加者、テーマ概要はこちらをどうぞ。 第

サバカン屋のサバ缶はre:Inventで通用したのか＆すぐに使える！最新運用ネタ #re:Port2016Kohei Hoshi

サービス終了のお知らせ NAVERまとめは2020年9月30日をもちましてサービス終了いたしました。 約11年間、NAVERまとめをご利用・ご愛顧いただき誠にありがとうございました。

サービス終了のお知らせ NAVERまとめは2020年9月30日をもちましてサービス終了いたしました。 約11年間、NAVERまとめをご利用・ご愛顧いただき誠にありがとうございました。

サービス終了のお知らせ NAVERまとめは2020年9月30日をもちましてサービス終了いたしました。 約11年間、NAVERまとめをご利用・ご愛顧いただき誠にありがとうございました。

サービス終了のお知らせ NAVERまとめは2020年9月30日をもちましてサービス終了いたしました。 約11年間、NAVERまとめをご利用・ご愛顧いただき誠にありがとうございました。

サービス終了のお知らせ NAVERまとめは2020年9月30日をもちましてサービス終了いたしました。 約11年間、NAVERまとめをご利用・ご愛顧いただき誠にありがとうございました。

DevelopersIOは、AWS、iOS/Androidアプリ、ビッグデータ、Alexa等の最新技術情報からリモートワークや働き方に関する記事まで多彩なトピックを紹介するクラスメソッドのオウンドメディアです。

A slide for the hands-on session at Scala Kansai Summit 2018, originally presented by Kitora-san in 2017. 15.7.11 HiRoshima.R #4 Lightning Talks @imyuaotiの発表資料です。 ※注意※（2015.7.19追記） Rでは処理速度が遅いという理由で for関数の使用は避けるべきと考えられています。 本来は，処理を高速化をしたい場合，以下をうまく活用してください。 ・apply関数 ・foreachパッケージ，pforeachパッケージ 【参考資料】 「勝手に添削：for関数を使った繰り返し処理によるヒストグラムの一括出力 #rstatsj」 http://qiita.com/hoxo_m/items/5127c31f3eafd6be7428 （h

QA Hackathonが東京であったので、PrePANとCinnamonの開発をしてきました。 PrePAN id:antipopさんと相談して、とにかくレビューをちゃんとしてもらわないと話にならないから、コメントがついたりしたらアプリケーションの通知と一緒に、メールでも通知しようという話になり、それを実装しました。 PrePAN New Feature: Email Notification | kentaro [blogs.perl.org] 上のような感じで、自分の投稿したモジュールや自分のコメントしたモジュールに新しくコメントがつくと、メールで通知が来るようになりました。通知をやめたい場合はプロフィール画面から設定が可能です。 あとついでにユーザページのURLを変えたりしました。これまではuserのidをbase58 encodeしたURLになっていたのですが(http://pr

ログ解析というのはインフラエンジニアの基礎の基礎です。アプリケーションが定まればそれなりのログ解析ツールは存在します。Debianのstableですら数十のツールがあります。 とはいえ、実際のログというのは往々にしてアプリケーション毎に全然ちがっているのでツールは役に立ちません。結果としてgrepを駆使したり、はたまたRDBに突っ込んだりして試行錯誤することになります。 見事に解析できたとしても、それを可視化することを考えると楽できることを考えておきたいわけです。 そこで役に立つのはログ解析SaaS．Sumologic, SplunkStorm, Logglyなどけっこうありますが、qpstudyではSumoLogicを紹介してみました。GUIでログを横断的に絞り込めますし、その処理構文はいつでも繰り返すことのできるすぐれものです。 無料で使えるサイズでかなりのことができますので、ちょっと