Proofs and Types
Based on a short graduate course on typed lambda-calculus given at the Université Paris VII in the autumn term of 1986-7. Published by Cambridge University Press (Cambridge Tracts in Theoretical Computer Science, 7), ISBN 0 521 37181 3; first published 1989, reprinted with corrections 1990. Here is the story of how the translation came about: Jean-Yves had mentioned the notes to Paul at a conferen
笑わないと開かないソニーの冷蔵庫が2012年グッドデザイン賞を受賞
ソニーコンピュータサイエンス研究所で研究している笑顔にならないと開かない冷蔵庫「ハピネスカウンター」が2012年度グッドデザイン賞ベスト100を受賞しました。これは東京大学の暦本純一さんの研究によるもので、日常生活の中で積極的に笑顔をつくることを促進するためのものだそうです。 Happiness Counter（ハピネスカウンター） | | Sony Computer Science Laboratories, Inc. https://www.sonycsl.co.jp/tokyo/383/ これが「ハピネスカウンター」の笑顔を検出する部分。スマイルマークの上にカメラがついています。 冷蔵庫の前で笑うと、スムーズに扉が開くようになっています。 暦本純一さんの研究である「HappinessCounter」を解説したムービーは以下から。 HappinessCounter: Smile-Enc
ホーア論理 - Wikipedia
この記事の正確性に疑問が呈されています。問題箇所に信頼できる情報源を示して、記事の改善にご協力ください。議論はノートを参照してください。（2016年4月） 疑問点：トリプルの定義からすでに通常の定義と異なっている。例もおかしい ホーア論理（ホーアろんり、英: Hoare logic）とは、公理的意味論の立場でプログラムの正当性について厳密に推論するために第一階述語論理を拡張した形式論理の言語を言う。 プログラムの正しさを証明するためのロバート・フロイドによる流れ図に関する方法[1]を基に、計算機科学者のアントニー・ホーアによって提案された[2]。 概要[編集] ホーア論理には、単純な命令型言語の全構成要素についての公理と推論規則が備わっている。当初の論文にあったそれら規則に加えて、ホーアや他の研究者は様々な言語要素に関する規則を開発した。並行性に関する規則、プロシージャに関する規則、分岐に
Bisimulation - Wikipedia
This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Bisimulation" – news · newspapers · books · scholar · JSTOR (February 2017) (Learn how and when to remove this template message) In theoretical computer science a bisimulation is a binary relation betwee
π-calculus - Wikipedia
In theoretical computer science, the π-calculus (or pi-calculus) is a process calculus. The π-calculus allows channel names to be communicated along the channels themselves, and in this way it is able to describe concurrent computations whose network configuration may change during the computation. The π-calculus has few terms and is a small, yet expressive language (see § Syntax). Functional prog
複雑性クラス - Wikipedia
複雑性クラス一覧[編集] 以下の一覧の各複雑性クラスには補問題の集合である 'Co' の付くクラスが存在する。例えば、問題 L が NP に含まれるなら、その補問題は Co-NP に属する。 #P - NP問題の解を数える問題 #P完全 - #P の中で最も難しい問題群 AH - 算術的階層 AP - 交替性チューリングマシンで多項式時間で解ける問題のクラス BPP - 乱択アルゴリズムで多項式時間で解ける問題のクラス（解はおそらく正しい） BQP - 量子コンピュータで多項式時間で解ける問題のクラス（解はおそらく正しい） Co-NP - 非決定性機械で "NO" であることが多項式時間で決定可能な問題のクラス Co-NP完全 - Co-NP の中で最も難しい問題群 DSPACE(f(n)) - 決定性機械で空間計算量 O(f(n)) で解ける問題のクラス DTIME(f(n)) - 決定
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://web.mit.edu/jxiao/Public/publication/2012/CVPR/paper.pdf
Photo Tourism: Microsoft Research, Interactive Visual Media Group