ブックマーク / ja.wikipedia.org (135)

  • ミューテックス - Wikipedia

    ミューテックス (英: mutex) とは、コンピュータプログラミングにおける技術用語。クリティカルセクションでアトミック性を確保するための排他制御や同期機構の一種である。「mutex」という語は「mutual exclusion」 (相互排他、排他制御) の省略形である。ここでは、狭義の排他制御について述べる。 概要[編集] セマフォをクリティカルセクションの排他制御に用いる時、セマフォでは(初期値が1でなければ)複数のタスクがクリティカルセクションに入ることを許可するのに対し、ミューテックスでは同時に一つのタスクのみがクリティカルセクションに入ることを許可する(ここで言うタスクとは、スレッドまたはプロセスを指す)。挙動はセマフォ変数の初期値を1にする事と等価。このようなタスク優先度とリンクしないミューテックスを、バイナリセマフォと呼ぶ場合もある。 狭義には、ミューテックスの場合にそれを

  • シドニー・ハーバー・ブリッジ - Wikipedia

    深く入り組んだポート・ジャクソン湾(シドニー湾)の南岸にあるシドニーと、北岸にある近郊の町を道路と路面電車で繋ぐため、1923年に着工、1932年に完成したシングルアーチ橋である。正式開通は、1932年3月19日[1]。 橋の両端に高さ89 mの石張りの支柱(パイロン)がそそり立ち、ここを支えに巨大な鋼鉄のアーチがかかる。全長は約1,500m、パイロン間の長さは約500 m[2]。アーチの最上部の高さは134mで、建設当時はシドニーで最も高い建物だった。シドニー・オペラハウスと並ぶシドニーのシンボルである。 ノースシドニーとシドニー西部を結ぶハイウェイ(8車線の車道)とシティレールの複線の鉄道線路(路面電車の廃止後に、鉄道用に転用された)に加え、自転車専用道と歩道が走っており、車線が世界一多い橋としても知られている。また、「最も幅の広い橋」としてギネス世界記録の認定を受けていたが[1]、2

    シドニー・ハーバー・ブリッジ - Wikipedia
  • 富士宮やきそば - Wikipedia

    富士宮やきそば 富士宮やきそば(ふじのみややきそば)は、静岡県富士宮市[1]のご当地グルメである焼きそば。古くから当地でべられてきた焼きそばに新たに「富士宮やきそば」と命名した名称であり、1999年に富士宮市の町おこしについて話し合いをしている際に、独自性がある地元の焼きそばに着目したのがきっかけである[2]。 御当地人気料理特選に選ばれており、B級グルメの人気を決めるB-1グランプリにおいては第1回と第2回は第1位、第3回は特別賞となった。町おこしの成功例として取り上げられることもある。 富士宮やきそばは、通常のやきそばとは製法や調理法、使う品が異なる点があり、次の3つが挙げられる。 富士宮やきそば専用の麺を使用する。富士宮やきそば学会は「マルモ品」「曽我めん」「叶屋」「さのめん(旧木下製麺所)」の麺を指定麺としている。 油かす(富士宮では「肉かす」と呼ぶ)を使用する。 仕上げに削

    富士宮やきそば - Wikipedia
  • Qt - Wikipedia

    Qt Core GUI向け以外のコアとなるクラスを保持する。 Qt Gui GUIのメインとなるクラスを保持する。OpenGLを含む。 Qt Multimedia 音楽、動画、ラジオ、カメラなどのマルチメディア機能を実装する。 Qt Multimedia Widgets マルチメディア機能を実現するウィジェット群。 Qt Network ネットワークプログラミングを簡単にするためのクラス群。 Qt QML QMLとJavaScriptに関するクラスを保持している。 Qt Quick カスタムユーザーインターフェイスを備えた高度に動的なアプリケーションを構築するためのフレームワーク。 Qt Quick Controls デスクトップ風のユーザーインターフェイスを作るためのQt QuickベースのUIコントロール群。 Qt Quick Dialogs Qt Quickアプリケーションにシステム

    Qt - Wikipedia
  • サングリア - Wikipedia

    この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "サングリア" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2017年3月) サングリア サングリア(西: sangría[注 1][注 2])は、スペインやポルトガルでよく飲まれているフレーバードワインの一種。 赤ワインに、一口大またはスライスした果物と甘味料を入れ、風味付けとしてブランデーあるいはスパイス(シナモンなど)を少量加え、一晩寝かす。 日では、酒類製造免許がないものが通常のレシピで造ると酒税法違反となる(後述)。 概要[編集] 使用する果物にはレモン、リンゴ、バナナ、オレンジなどがある。甘味料としては砂糖・蜂蜜あるいはオレ

    サングリア - Wikipedia
  • バーナム効果 - Wikipedia

    出典は列挙するだけでなく、脚注などを用いてどの記述の情報源であるかを明記してください。 記事の信頼性向上にご協力をお願いいたします。(2014年2月) バーナム効果(バーナムこうか、英: Barnum effect)とは、星座占いなど個人の性格を診断するかのような準備行動が伴うことで、誰にでも該当するような曖昧で一般的な性格をあらわす記述を、自分、もしくは自分が属する特定の特徴をもつ集団だけに当てはまる性格だと捉えてしまう心理学の現象。 1956年にアメリカ合衆国の心理学者、ポール・ミール(英語版)が、興行師 P・T・バーナムの "we've got something for everyone"(誰にでも当てはまる要点というものがある)という言葉に因んで名付けた。アメリカの心理学者バートラム・フォア(英語版)名をとってフォアラー効果(Forer effect)ともいう[1]。被験者に何ら

  • 清洲城 - Wikipedia

    五条川と河畔に植えられている桜。 清洲城と桜 清洲城(きよすじょう)は、尾張国春日井郡清須(現愛知県清須市一場)にあった日の城。尾張国の中心部に位置し、一時期尾張国の守護所として栄え、京鎌倉往還と伊勢街道が合流し中山道にも連絡する交通の要所として重視された。 応永12年(1405年)、尾張・遠江・越前守護の管領斯波義重によって築城された。または永和元年(1375年)[1]ともされる。当初は、尾張守護所である下津城の別郭として建てられたが、文明8年(1476年)に守護代織田家の内紛により下津城が焼失し、文明10年(1478年)に守護所が清洲城に移転することで尾張国の中心地となった。一時期、「織田弾正忠家」の当主織田信秀が清須奉行として居城した以外は常に清洲織田氏(織田大和守家)の居城としてあり、尾張下四郡を支配する守護代織田家の城として機能した。 織田信秀が古渡城に拠点を移すと守護代織田

    清洲城 - Wikipedia
  • トラジャ族 - Wikipedia

    トラジャ族の乳児のための墓 トラジャ族(トラジャぞく、Toraja)は、インドネシアのスラウェシ島にある南スラウェシ州および西スラウェシ州の山間地帯に住むマレー系の先住少数民族。総人口約65万人のうち約45万人はタナ・トラジャ(en)県(en)(「トラジャの地」の意)に居住している[1]。トラジャ族のほとんどはキリスト教を信奉し、イスラム教と「アルク」(aluk‐「道(the way)」の意)と呼ばれる土着のアニミズムが続く。インドネシア政府は、このアニミズム信仰をアルクトドロ教(Aluk To Dolo‐「祖法‐Way of the Ancestors」の意[2])と定義している。彼らは、その特徴的な家屋や壮大な死葬儀式だけでなく、コーヒーのブランドにも使われる民族名からも知られている。 トラジャ族は、スラウェシ島中央部および南部の山岳地帯に居住する、トラジャ語系統の言語を話す部族である

    トラジャ族 - Wikipedia
  • バーボン・ウイスキー - Wikipedia

    19世紀のバーボン・ウイスキーの瓶 バーボン・ウイスキー (英: bourbon whiskey)は、アメリカ合衆国ケンタッキー州を中心に生産されているウイスキー(アメリカン・ウイスキー)の1種。略して「バーボン」とも呼ばれる。 1789年(合衆国発足の年)、エライジャ・クレイグ牧師によって作られ始めたのが最初といわれている。 バーボンという名前はフランスの「ブルボン朝」に由来する。アメリカ独立戦争の際にアメリカ側に味方したことに感謝し、後に合衆国大統領となるトーマス・ジェファーソンがケンタッキー州の郡のひとつを「バーボン郡」と名づけた。それが同地方で生産されるウイスキーの名前となり、定着したものである。したがってかつてバーボン・ウィスキーというのは、地理的な呼称、つまりケンタッキー州で生産されたコーン・ウィスキーのことを指す呼称であった[1]。しかし後にバーボン・ウィスキーとコーン・ウィ

    バーボン・ウイスキー - Wikipedia
  • 琥珀 - Wikipedia

    「こはく」はこの項目へ転送されています。かつて運行していた列車については「八戸線」を、2019年公開の日映画については「こはく (映画)」を、漫画『Dr.STONE』の登場人物については「Dr.STONE#石神村」をご覧ください。 この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "琥珀" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2024年7月) 琥珀のペンダント 古代から続く琥珀の道(古代から琥珀市場が開かれていたポーランド、カリシュ市) 2003年に再建された、サンクトペテルブルク・エカテリーナ宮殿の「琥珀の間」 琥珀(こはく)またはコハク(英: amber、アンバー)は、

    琥珀 - Wikipedia
  • 有限オートマトン - Wikipedia

    UMLステートマシン[編集] 統一モデリング言語(UML)には状態機械(ステートマシン)を記述するための豊富な意味論と記法がある。UMLの状態遷移図は従来の有限オートマトンの主な利点を踏襲しつつ、その欠点を克服している。大きな拡張としては、状態の階層化や直交状態の導入があり、動作の記法も拡張されている。ミーリ・マシンもムーア・マシンも記述できる。ミーリ・マシンのように状態だけでなく、イベント(入力)をきっかけとして遷移するようにも書けるし、ムーア・マシンのように遷移ではなく状態と開始動作や終了動作を対応付けることもできる。 SDLステートマシン[編集] 仕様及び記述言語(SDL) はITUの標準規格であり、遷移の際の以下のような動作を表す記号を定義している。 イベント送信 イベント受信 タイマ開始 タイマキャンセル 別の並行動作するステートマシンを開始 判断 SDLには、Abstract

    有限オートマトン - Wikipedia
  • オートマトン - Wikipedia

    この項目では、計算のアルゴリズムについて説明しています。 ジャミロクワイの音楽アルバムについては「オートマトン (アルバム)」をご覧ください。 機械人形については「オートマタ」をご覧ください。 ゲームメディアのAUTOMATONについては「AUTOMATON」をご覧ください。 オートマトン理論 オートマトン (単数形: 英: automaton [ɔːˈtɑməˌtɑn], 複数形: オートマタ(automata [ɔːˈtɑmətə])) とは、自動人形などとも呼ばれる「オートマタ」と同じ語であるが、計算理論において、計算モデルに関して有限オートマトンなどの総称として使われる。また特に「オートマトン理論」と呼ばれる分野では、計算機械のうち計算可能性の点でチューリングマシンよりも制限されているものを特に指して言うこともある。 有限オートマトン 決定的有限オートマトン (Determinis

    オートマトン - Wikipedia
  • Object Constraint Language - Wikipedia

    出典は列挙するだけでなく、脚注などを用いてどの記述の情報源であるかを明記してください。 記事の信頼性向上にご協力をお願いいたします。(2017年2月) Object Constraint Language(OCL)は、統一モデリング言語 (UML) モデルに適用する規則を記述するための宣言型言語である。IBMが開発し、UML標準の一部となった。初期のOCLは、単なるUMLの形式仕様記述言語としての拡張であったが、その後 UMLだけでなく Object Management Group (OMG) の Meta-Object Facility (MOF) のメタモデル全般を扱うようになった。Object Constraint Language (OCL) は Meta-Object Facility などのモデルやメタモデルについて、図表の形式では表現できない制約やクエリを表現することができ

  • 論理包含 - Wikipedia

    P ⇒ Q のベン図による表現 同じくベン図による表現 論理包含(ろんりほうがん、含意(がんい)、内含、英: implication、IMP)は、第1命題が偽または第2命題が真のときに真となる論理演算である。条件文(じょうけんぶん、英: conditional)とほぼ同じものである。論理的帰結(英: logical consequence)や伴意(英: entailment)とは異なる物である。 2つの命題 と に対する論理包含を などと書き、「 ならば 」や「 は を含意する」と読む。また の形をした命題を仮言命題(hypothetical proposition)、 をその前件(antecedent)、 をその後件(consequent)などと呼ぶ[1]。 ペアノは、1889年に出版した『算術の諸原理(羅: Arithmetices Principia: Nova Methodo Ex

    論理包含 - Wikipedia
    kintheworld
    kintheworld 2009/02/05
    >ある人が「この仕事が成功しなければ辞表を出す」と言ったとしよう。
  • ハノイの塔 - Wikipedia

    この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "ハノイの塔" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2017年7月) 8つの円盤のハノイの塔 ハノイの塔(ハノイのとう、英: Tower of Hanoi)は、パズルの一種。 バラモンの塔または ルーカスタワー(英: Lucas' Tower)[注 1]とも呼ばれる。 以下のルールに従ってすべての円盤を右端の杭に移動させられれば完成。 3の杭と、中央に穴の開いた大きさの異なる複数の円盤から構成される。 最初はすべての円盤が左端の杭に小さいものが上になるように順に積み重ねられている。 円盤を一回に一枚ずつどれかの杭に移動させる

    ハノイの塔 - Wikipedia
  • 集合論 - Wikipedia

    この記事には参考文献や外部リンクの一覧が含まれていますが、脚注によって参照されておらず、情報源が不明瞭です。 脚注を導入して、記事の信頼性向上にご協力ください。(2023年3月) 集合論 集合論(しゅうごうろん、英語: set theory)は、集合とよばれる数学的対象をあつかう数学理論である。 通常、「集合」はいろいろな数学的対象の集まりを表していると見なされる。これは日常的な意味でのものの集まりやその要素、特定のものが入っているかいないか、という概念を包摂している。現代数学の定式化においては集合論がさまざまな数学的対象を描写する言葉をあたえている。集合論は数学の公理的な基礎付けをあたえ、数学的な対象を形式的に「集合」と「帰属関係」によって構成することが可能になる。また、集合論の公理として何を仮定するとどんな体系が得られるか、といった集合それ自体の研究も活発に行われている。 集合論におけ

    集合論 - Wikipedia
  • 青い鳥 - Wikipedia

    この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "青い鳥" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2020年9月) チルチルとミチル (1910年映画) 『青い鳥』(あおいとり、フランス語:L'Oiseau bleu)は、モーリス・メーテルリンク作の童話劇。1908年発表。初版は5幕10場、最終版は6幕12場[1]:126。 貧しい木こりの子供であるチルチル(Tyltyl)とミチル(Mytyl)の兄妹が、クリスマス・イヴの夢の中で老婆の姿をした妖精ベリリュンヌ(Bérylune)(若月訳では「ベリーリウンヌ」(ベリリウンヌともいう))に頼まれ、彼女の病気の娘のために、幸福の青

    青い鳥 - Wikipedia
  • 餃子の王将 - Wikipedia

    餃子の王将のロゴ餃子の王将 四条大宮店(直営1号店) (京都府京都市中京区) 餃子の王将の看板メニューである焼き餃子。 餃子の王将 空港線豊中店 (大阪府豊中市)看板の上部に「京都」と書かれている。 餃子の王将 早稲田夏目坂通り店(2018年) 餃子の王将(ぎょうざのおうしょう)は、株式会社王将フードサービスが京阪神地区を中心に全国展開する餃子を売りにした中華料理チェーン。 単に「王将」と呼ばれることもあるが、後述の「大阪王将」と区別するために「京都王将」と呼ばれることもある[1][2][3]。看板に「京都」と明記してある店舗も存在する。 2024年3月31日現在、直営店545店舗(うち海外2店舗)、フランチャイズ186店舗の計731店舗を展開している[4]。なお、青森・岩手・秋田・山形・福島・島根・宮崎・沖縄の各県[注 1]には未出店となっている。 チェーンの代表的な店舗の形態である。

    餃子の王将 - Wikipedia
  • トーマス・エジソン - Wikipedia

    A Day with Thomas Edison (1922年) トーマス・アルバ・エジソン(英: Thomas Alva Edison[1][注 1]、1847年2月11日 - 1931年10月18日)は、アメリカ合衆国の発明家、起業家。スポンサーのJPモルガン、秘書のサミュエル・インサル、そしてメロン財閥とアメリカの電力系統を寡占した[2]。Life誌が1999年に発表した「この1000年で最も重要な功績を残した世界の人物100人」において第1位に選出されている[3]。 概略[編集] 傑出した発明家として知られ、生涯におよそ1,300もの発明と技術革新を行った人物である。たとえば蓄音器、白熱電球[4]、活動写真である[5][注 2][注 3]。エジソンはJ・P・モルガンから巨額の出資・援助をしてもらい、Edison General Electric Company(エジソン・ゼネラル・

    トーマス・エジソン - Wikipedia
  • 内田樹 - Wikipedia

    内田 樹(うちだ たつる、1950年9月30日 - )は、日のフランス文学者、武道家(合気道凱風館館長。合気道七段、居合道三段、杖道三段[1])、翻訳家、思想家[2]、エッセイスト、元学生運動家[3]。神戸女学院大学名誉教授。学位は修士(旧東京都立大学・1980年、フランス文学専攻)。専門はフランス現代思想[4]。立憲民主党パートナー[5]。 東京大学文学部卒業。旧東京都立大学大学院人文科学研究科修士課程修了。 高校を中退したが、大学入学資格検定を経て東大に入学、文学部仏文科卒。東京都立大学大学院人文科学研究科博士課程単位取得退学。フランス現代思想を専門とし、大学で教鞭を執る。 『ためらいの倫理学』(2001年)以来、エマニュエル・レヴィナスをはじめ思想の簡明な解説や、知的エッセイを数多く執筆。少子高齢化、成熟した資主義経済の末路への予測から、消費を基盤とした経済システムが終焉を迎えつ

    内田樹 - Wikipedia