タグ

2010年3月24日のブックマーク (3件)

  • ホーア論理 - Wikipedia

    この記事の正確性に疑問が呈されています。問題箇所に信頼できる情報源を示して、記事の改善にご協力ください。議論はノートを参照してください。(2016年4月) 疑問点:トリプルの定義からすでに通常の定義と異なっている。例もおかしい ホーア論理(ホーアろんり、英: Hoare logic)とは、公理的意味論の立場でプログラムの正当性について厳密に推論するために第一階述語論理を拡張した形式論理の言語を言う。 プログラムの正しさを証明するためのロバート・フロイドによる流れ図に関する方法[1]を基に、計算機科学者のアントニー・ホーアによって提案された[2]。 概要[編集] ホーア論理には、単純な命令型言語の全構成要素についての公理と推論規則が備わっている。当初の論文にあったそれら規則に加えて、ホーアや他の研究者は様々な言語要素に関する規則を開発した。並行性に関する規則、プロシージャに関する規則、分岐に

  • karetta.jp Top

    コンピュータ(29) インターネット(6) プログラミング(23) オープンソース(9) パズル(4) ビジネス(6) 経済(1) 社会(7) 法律(1) 科学(3) 神秘、オカルト(1) 数学(0) 教育(2) エッセイ(11) 読書(1) 日記(0) 料理(1) ペット(3) 文芸(2) 詩、ポエム(2) 音楽(1) 語学(1) 住宅(2) 生活(8) 趣味(2) 美容(1) 健康(3) ユーモア(1) 海外(2) 旅行(2) 全て表示

  • ナナピ(nanapi)で個人的に役に立った投稿まとめ - かちびと.net

    ライフレシピ・ナナピで個人的に 助かった、役に立った投稿をメモ 代わりにまとめます。ブクマが分散 していたので整理も兼ねて。はてブ がたくさん付いてる投稿が多いので 目新しい内容は無いかもしれません。 役に立つ、立たない、というのはその人の環境次第だと思いますのでその辺ご理解下さい。内容は一貫性ありません。順不同。 初心者のためのPayPal(ペイパル)の基礎知識 なかなか敷居が高いと思っていらっしゃる方も多そうなPaypalですが、これは凄く分かりやすい内容でした。下部のリンク集も参考にするとより良さそうです。 初心者のためのPayPal(ペイパル)の基礎知識 クレジットカードをなくした時の対応表 恥ずかしながら何度か無くしているのですが、100%の確率で焦る、というか凹んで合理的に動けないのでこういった知識が備わっていると被害にあう確率も減るのでは。 クレジットカードをなくした時の対応