full abstraction - keigoiの日記
full abstraction ... λ計算とかπ計算とか表示的意味論のお話ではよく出てくる概念なんですが、未だによくわからないなーとつぶやいていたら id:sumii さんに教えていただいた。 もったいないのでここに残しておきます。 full abstraction の私的な説明 計算体系Aと計算体系(もしくはモデル)B があるとして、 その間の変換を C[・] : A -> B、 〜A と 〜B をそれぞれの計算体系(かモデル)における等価性とします。 すべてのAの項 ta1とta2について C[ta1] 〜B C[ta2] ならば ta1〜A ta2 ... adequacy(soundness) ta1 〜A ta2 ならば C[ta1] 〜B C[ta2] ... completeness この両方が成り立つとき、 変換は fully abstract であるといいます。 た
ACM Queue - BASE: An ACID Alternative: In partitioned databases, trading some consistency for availability can lead to dramatic improvements in scalability.
Parallel Programming with Transactional Memory While still primarily a research project, transactional memory shows promise for making parallel programming easier. Erlang for Concurrent Programming Designed for concurrency from the ground up, the Erlang language can be a valuable tool to help solve concurrent problems. A Conversation with Steve Bourne, Eric Allman, and Bryan Cantrill In part two o
Bandwidth-delay product - Wikipedia
In data communications, the bandwidth-delay product is the product of a data link's capacity (in bits per second) and its round-trip delay time (in seconds).[1] The result, an amount of data measured in bits (or bytes), is equivalent to the maximum amount of data on the network circuit at any given time, i.e., data that has been transmitted but not yet acknowledged. The bandwidth-delay product was
kikulog
kikulog 記事一覧 カテゴリー別記事一覧201410 2014/10/22 江本勝氏の死去 201409 2014/09/12 生協の「書評対決」の書評 201407 2014/07/04 「いちから聞きたい放射線のほんとう」サポートページ 201406 2014/06/04 「いちから聞きたい放射線のほんとう」訂正箇所 201404 2014/04/23 朝日新聞に書評が出るようです [kikulog 647] 2014/04/09 理研CDBの騒動について [kikulog 646] 2014/04/07 博士論文中での剽窃について [kikulog 645] 201403 2014/03/17 「いちから聞きたい・・」のあとがき [kikulog 644] 2014/03/03 論文: Structural flexibility of intrinsically disord
Image manifolds - potasiumchの日記
Image manifolds というのは結構面白そう。 Unsupervised learning of image manifolds by semidefinite programming Weinberger, K.Q. and Saul, L.K. International Journal of Computer Vision, October, 2006, 70(1):77-90 基本的には次元圧縮の文脈から出てきたらしい。でもPCAとかみたいに軸を選んで subspace を張りなおすのではなくて、高次元空間上のデータ点（たとえば２次元画像など）の集合が「Ｓ」とか「し」みたいにぐねぐねしている場合に、その近傍の関係は保持したまま引き伸ばして「｜」とすると。 面白いのは、引き伸ばした空間上で interpolation なり extrapolation をすることで、わりと自
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Econbrowser: Dating business cycle turning points
