2. 自己紹介 • 宮川 拓 (@miyakawa_taku) と申します • SI 屋です • JJUG 幹事です • Kink という JVM 言語を開発しています – https://bitbucket.org/kink/kink 1 3. 要旨 • ラムダ式の実行は invokedynamic で実現さ れます。その理由と、実行の流れを見ます – 論点整理 – ラムダ式の実行 (1) – invokedynamic の復習 – ラムダ式の実行 (2) – なぜ invokedynamic? – ラムダの直列化 2 ※注記 この資料は、 JDK, JRE の「仕様」と「実装」を厳密に区別していません。

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? あわせて読みたい 新人プログラマに知ってもらいたいメソッドを読みやすく維持するいくつかの原則 ペアプログラミングして気がついた新人プログラマの成長を阻害する悪習 「オブジェクト指向プログラミング」と「関数型プログラミング」のたった一つのシンプルな違い あきらめるにはまだ早い！ソースコードの品質向上に効果的なアプローチ 2015年に備えて知っておきたいリアクティブアーキテクチャの潮流 この記事について この記事は新人向けの研修内容を再編集してお送りいたします。 ここで述べる内容はどのようにして現在のプログラミングスタイルが生まれてきたかを

契約による設計と名前による型づけ 最近, 社内で契約による設計の話が雑談として何度か出ていて, id:hakobe932さんが社内勉強会で紹介していたり, id:shiba_yu36さんがWEB+DB PRESSでSmart::Argsで制約をチェックする記事を書いていたり, 活発な議論になっている. インスタンスのファクトリメソッドとオプショナルな型を組み合わせると事前・事後条件を満たすことが保証できて, id:hakobe932さんの資料で言うところの「要求型」と「保護型」の区別も明確になってよいという話を書こうかとおもっていた. (これはそのうち別で書く.) とはいえ, こんな話はもう言っている人がいるだろうと思ってちょっと調べていて, どういう語句で調べたらいいか考えていた. インスタンスの型からそれを生成したファクトリメソッドが特定できて, それによって事前・事後条件が保証される

JavaでMaybeを説明した以下の記事について, id:tozimaさんと某所*1でやりとりしていたら, 有益な話が出てきたのではないか, ということになったので, 紹介. 基本的にやりとりをそのまま*2抜粋したものに, 適宜補足を加えていきます. 発端 2012-06-29 04:29id:tozima こんな記事があった。 Java の語彙で Maybe を説明してみる - ぐるぐる～ 直和型のエンコーディングである、 でMaybeモナドを説明している、まっとうな記事です。気になったのは、上のエンコーディングを Java の上でやって、なにか変なことが起きないのかということ。例えば記事中では、 *3 みたいなことが、Javaでは禁止できない、ってことについて触れています。この他には変なことはおきないんでしょうか？ 僕には全然Java的な言語への直感がないので教えてください！！！ 「.

情シス業務の中で面倒な仕事、挑戦してみたい仕事は何ですか？　お勤め先の情シスの課題やご自身のキャリア、仕事のやりがいについてお聞かせください。アンケートの中では「情シス川柳」も募集しています。皆さまのアイデアをお待ちしております！

GsonのGはガンダムの「G」です（違 JavaでJSONを扱うときにいつもお世話になっております。 github.com で、タイトル通り、ハマったのでメモ。 変換対象のクラス こんな感じで共通部以外をジェネリクスでやっちゃうぜ的なイメージ。 class Hoge<T> { String name; int id; T value; @Override public String toString() { return "Hoge{" + "name='" + name + '\'' + ", id=" + id + ", value=" + value + '}'; } } class Fuga { String name; int id; public Fuga(String name, int id) { this.name = name; this.id = id; } @Ove

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? 注：本記事の内容はJavaで公式にドキュメントされているものではなく筆者の見解です。とはいえクラスを設計する上で有用な指針たり得ると思われるので公開したものです。 おさらい - 検査例外と非検査例外 Javaの例外クラスには「catchしないとコンパイルエラーになる」検査例外（チェック例外、checked exception）とそうでない非検査例外（非チェック例外、unchecked exception）があります。 検査例外は最近は嫌われる傾向がありC#では採用されていませんしAltJava言語も軒並み不採用、さらにはJavaの新しめ

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?

Javaのジェネリクスについて調べていると、以下のような記事を目にしました。 以下引用です。（http://qiita.com/pebblip/items/1206f866980f2ff91e77） コンパイル時に型情報は消去される パラメータ化された型や、型パラメータの持つ型情報はコンパイラによって消去される。これは型消去（type erasure)と呼ばれる。 例えば、以下の型変数Tを持つジェネリック型を考える。 ContainerはIntegerやBigDecimalなどのNumber型のみの値を保持するコンテナクラス。 class Container<T extends Number> { private T value; public Container(T value) { this.value = value; } public T get() { return value;

IT Japan Award 2009の経済産業大臣賞（グランプリ）は、三菱東京UFJ 銀行の「システム本格統合（Day2）プロジェクト」が受賞した。Day2の目的は旧東京三菱銀行と旧UFJ 銀行のシステムの完全統合だ。投資額2500 億円、総工数11万人月、ピーク時に6000人の技術者が参画した巨大プロジェクトを、大きなトラブルなく納期どおりに完遂したことが、グランプリ受賞につながった。審査委員会では、徹底したリスクの洗い出し、進捗管理といったプロジェクトマネジメントの手腕が高く評価された。 三菱東京UFJ銀行は、2006年1月に旧東京三菱銀行と旧UFJ銀行が合併した後、しばらく旧2行のシステムを並存させた。二つのシステムを一つにするのが「Day2」だ（図1）。Day2の特徴はその規模にある。プロジェクトに参加した技術者は、銀行とシステム関連会社の要員、IT企業の社員を含めピーク時には6

If you were looking for MSDN or TechNet blogs, please know that MSDN and TechNet blog sites have been retired, and blog content has been migrated and archived here. How to use this site Archived blogs are grouped alphabetically by the initial letter of the blog name. Select the initial letter from the TOC to see the full list of the blogs. You can also type the name of the blog or the title of the

AWK、Ada、Bash、Boo、C、C#、C++、Clojure、D、Erlang、Forth、Fortran、Go、Groovy、Haskell、Io、Java、JavaScript、Lisp、Lua、OCaml、Objective-C、PHP、Pascal、Perl、Pike、Prolog、Python、R、Ruby、Scala、Scheme、Smalltalk、Tcl でフィボナッチ数を求める処理時間を計測してみました。 フィボナッチ数は漸化式で求められます。 F0 = 0 F1 = 1 Fn+2 = Fn+1 + Fn フィボナッチ数を求めるアルゴリズムはいろいろありますが、今回は以下の再帰で求めるアルゴリズムで統一しました。 #include <stdio.h> int fib(int n) { if (n < 2) return n; return fib(n - 2) +

忙しい人のためのまとめ 一般に「オブジェクト指向プログラミング」と呼ばれる考え方には発案者が異なる二系統がある。（ただし簡単のため、次のうち前者から批判的に派生して生じたプロトタイプベースのオブジェクト指向はここには含めていない） アラン・ケイによる、変化に強い長期運用可能な遅延結合システムを SIMULA67 にあった「オブジェクト」をメッセージの受け手とすることで実現（オブジェクトにメッセージ送信）するアイデアに基づく「メッセージングのオブジェクト指向」と、 ビアルネ・ストラウストラップ（前後して抽象データ型を発案したリスコフ本人、オブジェクトクラスを考えたニガードらSIMULA陣営、Eiffelのメイヤーらも同様の着想を得ている）による、ユーザー定義型（抽象データ型）を SIMULA67 にあった「クラス」という言語機能を使って実現（カプセル化、継承、多態性）するアイデアに基づく「抽

http://java67.blogspot.sg/2014/01/why-string-class-has-made-immutable-or-final-java.html をテキトーに訳した。 Why String Class is made Immutable or Final in Java - 5 Reasons Stringについて聞かれないJavaの採用面接はほとんど無く*1、なぜJavaのStringはイミュータブルなのか？(Why String is Immutable in Java)はその最たるものと言えます。なぜJavaのStringはイミュータブルなのか？(Why String is Immutable in Java)は、言い換えると、なぜJavaのStringクラスはfinalなのか？(Why String class is made final in Ja