ザ・リッツ・カールトン - Wikipedia
ザ・リッツ・カールトン (The Ritz-Carlton) は、マリオット・インターナショナルが世界規模でチェーンを展開しているホテルブランド。マリオット・インターナショナルに属している他のブランドとは一線を画した運営を行っている。第１号ホテルは「ザ・リッツ・カールトン・ボストン」であったが、2022年現在は経営が変わり、インド系の「タージ・ボストン」として営業している。 歴史[編集] セザール・リッツ[編集] セザール・リッツが、1898年パリに創業した「ホテル・リッツ」と、1899年ロンドンに開店した「カールトン・ホテル」（en, 1899-1940年）、1906年に同じくロンドンに創業した「リッツ・ロンドン」などのリッツが経営と運営に関わったホテルは、上流階級を中心に高い評価を受けた。セザール・リッツは1918年に死去したが、その後も未亡人が中心となり、リッツの名を冠したホテルの展
十五少年漂流記 - Wikipedia
『十五少年漂流記』（じゅうごしょうねんひょうりゅうき、仏: Deux Ans de Vacances）は、ジュール・ヴェルヌが1888年に発表した少年向けの冒険小説で、無人島に漂流した少年達が力を合わせて生活していく物語を描いている。日本語版題名としては初訳者の森田思軒による表題のほか、原題を直訳した『二年間の休暇』も用いられる。 以下の日本語表記は『二年間の休暇（上・下）』大友徳明訳 偕成社に従う プロローグ 1860年2月15日。イギリスの植民地であるニュージーランドの首都オークランド市に建つチェアマン寄宿学校は、夏休みに入った。100名余りの生徒はいずれも白人で、ニュージーランドへの移民であるイギリス人、フランス人、ドイツ人、アメリカ人などの子弟だった。1年生から5年生までの14名の子どもたちは、帆船スルギ号で2か月間のニュージーランド沿岸一周の旅へ出航する予定になっていたが、待ちき
Microsoftコードページ932 - Wikipedia
Template‐ノート:特殊文字に、このページに関する質問があります。（2023年1月） 質問の要約：Template:特殊文字で「Microsoftコードページ932（はしご高）」と書かれている場合があること この記事には複数の問題があります。改善やノートページでの議論にご協力ください。 出典がまったく示されていないか不十分です。内容に関する文献や情報源が必要です。（2011年11月） 出典は脚注などを用いて記述と関連付けてください。（2011年11月） 出典検索?: "Microsoftコードページ932" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL MS932とその他の日本語に関連した文字集合との関係オイラー図 Microsoft コードページ 932（マイクロソフト コードページ 932
継続 - Wikipedia
この項目では、プログラムの継続について記述しています。「継続」の語義については、ウィクショナリーの「継続」の項目をご覧ください。 計算機科学における継続（けいぞく、continuation）とは、プログラムを実行中のある時点において、評価されていない残りのプログラム（the rest of the program）を表現するものであり、手続き（procedure）あるいは関数（function）として表現されるものである[1]。 継続に相当する概念は1960年代初頭から存在しており、Algol 60のコンパイラの実装[2]などの文献にたびたび登場していたが、継続の利用に関する最も早い記述は、1964年のアドリアン・ファン・ワインハールデン (en:Adriaan van Wijngaarden) によるものである[1]。
Haskell - Wikipedia
Haskell は高階関数や静的多相型付け、定義可能な演算子、例外処理といった多くの言語で採用されている現代的な機能に加え、パターンマッチングやカリー化、リスト内包表記、ガードといった多くの特徴的な機能を持っている。また、遅延評価や再帰的な関数や代数的データ型もサポートしているほか、独自の概念として圏論のアイデアを利用し参照透過性を壊すことなく副作用のある操作（例えば 代入、入出力、配列など）を実現するモナドを含む。このような機能の組み合わせにより、手続き型プログラミング言語では記述が複雑になるような処理がしばしば簡潔になるばかりではなく、必要に応じて手続き型プログラミングを利用できる。 Haskell は関数型プログラミングの研究対象として人気が高い。あわせて Parallel Haskell と呼ばれるマサチューセッツ工科大学やグラスゴー大学によるものをはじめ、他にも Distribu
囚人のジレンマ - Wikipedia
この項目では、ゲーム理論について説明しています。横山秀夫原作の「囚人のジレンマ」（「第三の時効」所収）については「第三の時効」をご覧ください。 囚人のジレンマ（しゅうじんのジレンマ、英: prisoners' dilemma）とは、ゲーム理論におけるゲームの1つ。お互い協力する方が協力しないよりもよい結果になることが分かっていても、協力しない者が利益を得る状況では互いに協力しなくなる、というジレンマである[1]。各個人が合理的に選択した結果（ナッシュ均衡）が社会全体にとって望ましい結果（パレート最適）にならないので、社会的ジレンマとも呼ばれる[2]。 1950年に数学者のアルバート・タッカーが考案した[3]。ランド研究所のメリル・フラッド（英語版）とメルビン・ドレシャー（英語版）の行った実験をもとに、タッカーがゲームの状況を囚人の黙秘や自白にたとえたため、この名がついている[4]。 囚人の
情報の非対称性 - Wikipedia
完全情報下での買い手と売り手の力関係のバランスを示す図 契約理論と経済学において、情報の非対称性（じょうほうのひたいしょうせい、英: Information asymmetry）とは、取引における意思決定の研究で一方の当事者がもう一方よりも多くの、または優れた情報を持っている状態のことをいう。 情報の非対称性は取引における力関係の不均衡を生み出し、時には取引の非効率性を引き起こし、最悪の場合は市場の失敗を招く。この問題の例としては、逆選抜[1]、モラルハザード[2]、知識の独占[3]などがある。 情報の非対称性を可視化する一般的な方法は、片方に売り手、もう片方に買い手を置いた天秤である。売り手の方が多くの、または優れた情報を持っている場合、取引は売り手に有利に行われる可能性が高い（「力関係のバランスが売り手側に傾いている」）。例えば、中古車を売る場合、売り手は車の状態や市場価値について買い
LISP - Wikipedia
LISP（リスプ）は、関数型プログラミング言語である。S式と前置記法などが特徴である。 1958年秋から開発を始め[1]、1960年3月にLISP Iのマニュアルが書かれ[2]、1960年4月[3]に初めて論文発表されたLISPは、現在でも広範囲に使用されている高水準プログラミング言語の中ではFORTRAN、COBOLに次いで3番目に古い[4]（世界で3番目に作られたプログラミング言語という意味では無く、他の言語が使われなくなったという意味）。 これまでに多数の方言が存在してきたが、今日広く使われているLISP方言は、Common Lisp、Scheme、Clojureなどである。 元々、LISPは、アロンゾ・チャーチのラムダ計算表記法に影響を受け、コンピュータプログラムのための実用的かつ数学的な表記法として作られた。そして、すぐに人工知能研究に好まれるプログラミング言語になった。最初期の
ラムダ計算 - Wikipedia
この記事には参考文献や外部リンクの一覧が含まれていますが、脚注による参照が不十分であるため、情報源が依然不明確です。 適切な位置に脚注を追加して、記事の信頼性向上にご協力ください。（2020年5月） ラムダ計算（ラムダけいさん、英語: lambda calculus）は、計算模型のひとつで、計算の実行を関数への引数の評価（英語: evaluation）と適用（英語: application）としてモデル化・抽象化した計算体系である。ラムダ算法とも言う。関数を表現する式に文字ラムダ (λ) を使うという慣習からその名がある。アロンゾ・チャーチとスティーヴン・コール・クリーネによって1930年代に考案された。1936年にチャーチはラムダ計算を用いて一階述語論理の決定可能性問題を（否定的に）解いた。ラムダ計算は「計算可能な関数」とはなにかを定義するために用いられることもある。計算の意味論や型理論
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
