tokyotaplreading @ ウィキ内検索 / 「TAPL 読書会@東京 第12回」で検索した結果
-
TAPL 読書会@東京 第12回
2012年2月11日開催 人数が集まらなかったためTAPLとは関係ないことをもくもくとやってました
-
TAPL 読書会@東京 第11回
みずしまさんを交えてsubtypingのあたり 15 Subtyping 15.1 Subsumption 15.2 The Subytpe Relation s-refl s-trans s-rcdwidth s-rcddepth 15.2.1 S-rcdwith, s-rcddepth, s-rcdperm each embody a different sort of flexibility in the use of records. contravariant covariant Top Finally, it is convenient to have a type that is a subtype of every type. Formally, the subtype relation is the...
-
TAPL 読書会@東京 第13回
qx2012年3月10日開催 第18章 後で埋める 第19章 ちょっとやった Fetherweight Java 演習問題はやってない
-
TAPL 読書会@東京 第14回
2012年4月12日開催 第20章
-
TAPL 読書会@東京
TAPL読書会＠東京 Wikiへようこそ まとめページ TAPL読書会＠東京 第0回 TAPL読書会＠東京 第1回 TAPL読書会＠東京 第2回 TAPL読書会＠東京 第3回 (2011年 月 日開催) TAPL読書会＠東京 第4回 TAPL読書会＠東京 第5回 (2011年 月 日開催) TAPL読書会＠東京 第6回 (2011年5月7日開催) TAPL読書会＠東京 第6回 (2011年5月7日開催) TAPL読書会＠東京 第7回 (2011年7月9日開催) TAPL読書会＠東京 第7回 (2011年7月9日開催) TAPL読書会＠東京 第8回 (2011年9月10日開催) TAPL読書会＠東京 第9回 (2011年11月9日開催) TAPL読書会＠東京 第10回 (2011年12月11日開催) TAPL読書会＠東京 第11回 (2012年1月21日開催) TAPL読書会＠東京 第12...
-
TAPL 読書会＠東京 第18回
2012年11月17日開催 21.7あたりから 21.8 まで
-
TAPL 読書会＠東京 第15回
2012年9月8日開催 F が invertible であるとき partial function supportF ∈ U → P(U) は次のように定義される supportF(x) = { X if X ∈ Gx and ∀X ∈ Gx. X ⊆ X ↑ if Gx = 空集合 The support function is lifted to sets as follows supportF(x) = {U x ∈x supportF(x) if ∀x ∈ X. supportF(x)↓ ↑ otherwise 下向き矢印は何を意味しているの? → 定義域 defined parial function は数学的には× 21.5.2...
-
TAPL 読書会＠東京 第16回
2012年9月8日開催 21.5 Membership Checking some universe U に関する generating function F と element x ∈ U が与えられたときに x falls in the greatest fixed point of F かどうかをどのように判定するか
-
TAPL 読書会＠東京 第19回
2012年12月15日開催 21.9から21章最後まで
-
TAPL 読書会＠東京 第17回
2012/10/14 lift についてさらに → モナドって何なのよ 21.5.1 問題文 lift 1+ という関数があったとする 1+ 2 → 3 1+ 1 → 2 この関数を「lift」して元の集合に対して扱えるようにする 1+ [2 3] → [3 4] 1+ [2 5 6] → [3 6 7] greatest point of F least fixed point generating set for x 21.5.1 定義 G_x = {X⊆U | x ∈ F(X)} 関数が invertible F が invertible で partial function support_F ∈ U → P(U) が次のように定義されているとき support_F(x) = { X ...
-
@wiki全体から「TAPL 読書会@東京 第12回」で調べる
更新順にページ一覧表示
|
作成順にページ一覧表示
|
ページ名順にページ一覧表示
|
wiki内検索
