タグ

2005年12月9日のブックマーク (6件)

  • 【インフォシーク】Infoseek : 楽天が運営するポータルサイト

    日頃より楽天のサービスをご利用いただきましてありがとうございます。 サービスをご利用いただいておりますところ大変申し訳ございませんが、現在、緊急メンテナンスを行わせていただいております。 お客様には、緊急のメンテナンスにより、ご迷惑をおかけしており、誠に申し訳ございません。 メンテナンスが終了次第、サービスを復旧いたしますので、 今しばらくお待ちいただけますよう、お願い申し上げます。

  • Escape Codec Library: ecl.js

    日頃より楽天のサービスをご利用いただきましてありがとうございます。 サービスをご利用いただいておりますところ大変申し訳ございませんが、現在、緊急メンテナンスを行わせていただいております。 お客様には、緊急のメンテナンスにより、ご迷惑をおかけしており、誠に申し訳ございません。 メンテナンスが終了次第、サービスを復旧いたしますので、 今しばらくお待ちいただけますよう、お願い申し上げます。

  • WAIガイドライン:ページ制作

    WAIアクセシビリティガイドライン:ページ制作 この文書は、W3Cにより作成されW3Cワーキングドラフトとして公開されている "WAI Accessibility Guidelines: Page Authoring" (http://www.w3.org/TR/1998/WD-WAI-PAGEAUTH-19980918/) を、どら舗が翻訳したものです。 この文書の原文はワーキングドラフトです。将来の改訂が予定されていることにご注意ください。最新版の仕様書は http://www.w3.org/TR/WAI-WEBCONTENT/ にあります。 正式な仕様書はW3Cサイトにある英語版です。この日語版は参考にすぎません。 この文書には翻訳上の誤りがあるかもしれません。どら舗は翻訳の正確性を保証しません。あくまでご自身の責任でご利用ください。 お気付きの点がありましたらどら舗ま

  • 遅延評価 - Wikipedia

    この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "遅延評価" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2014年9月) 遅延評価(ちえんひょうか、英: lazy evaluation)や必要呼び(ひつようよび、英: call-by-need)は評価戦略の一種類であり、非正格な関数型言語で使用もされる。対義語は先行評価(英: eager evaluation)。 概要[編集] 評価しなければならない値が存在するとき、実際の計算を値が必要になるまで行わないことをいう。評価法が指示されているが実際の計算が行われていない中間状態の時それをプロミス(英: promise)や、計算の実体をさし

  • チューリングマシン - Wikipedia

    この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "チューリングマシン" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2011年12月) チューリングマシン チューリングマシン (英: Turing machine) は、アラン・チューリングが「計算可能性」に関する議論のために提示した抽象機械である[1]。 歴史[編集] チューリングの「計算可能数について──決定問題への応用」(1936年)において提示された[2]。同様なものを同年にエミール・ポスト (Emil Post) も独立に発表している[3]。構想の理由、動機についてはポストの論文が明確だが、機械自体に関する記述はチューリングの

    チューリングマシン - Wikipedia
  • Six Apart - Docs: Mobile Link Discovery 仕様

    このページでは XHTML/RSS/Atom においてモバイル版 URL へのリンクをメタデータに埋め込む仕様: Mobile Link Discovery について解説します。 (See English version of this page.) サマリ モバイル端末に最適化されたウェブページをもつサイト(Publisher と呼びます)は、link タグにその URL を以下のように記述します。 <link rel="alternate" media="handheld" href="..." /> こうすると、サーチエンジン、ブログサイト、ソーシャルブックマーキングサイトといった外部のサイトのモバイル版ページから、Publisher 側のモバイルページに正しくリンクすることができます。 このモバイルリンクは RSS や Atom フィードに記述することもできます。 例 http:/