Ktz @ktz_alias えーJavaって、List<Hoge> list = Arrays.asList(new Hoge {{ ... }})できないのー？ 2013-09-03 14:00:37
JavaのGenericメソッドで、匿名クラスを引数にする場合の型解決講座
Ktz @ktz_alias えーJavaって、List<Hoge> list = Arrays.asList(new Hoge {{ ... }})できないのー？ 2013-09-03 14:00:37
型理論 なんて自分には関係ないと思っているあなたへ
This document contains definitions and proofs about natural numbers, functions, and theorems in Coq. It defines natural numbers as inductive types, defines addition as a recursive function, and proves theorems like 1+1=2. It also contains definitions for monads and proofs about monad bind being associative in Coq.
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
