分離超平面定理 - Wikipedia
分離超平面定理の概略図。 分離超平面定理（ぶんりちょうへいめんていり、英: separating hyperplane theorem, hyperplane separation theorem）は n 次元ユークリッド空間上の互いに素な凸集合に関する幾何学における 2 つの定理を指す。 一つ目の定理は、互いに素な凸集合の両方が閉集合であってかつ少なくともいずれか 1 つの凸集合がコンパクト集合である場合、2 つの閉凸集合の間に 1 つの超平面が存在でき、また閉凸集合の間に 2 つの平行な超平面を隙間を作って置くことができることを示す。 二つ目の定理は、互いに素な凸集合があり両者が開集合である場合、2 つの開凸集合の間に 1 つの超平面をはさむことができるが、2 つの開凸集合の間には必ずしも隙間が存在するわけではないことを示す（従って第一の定理と異なり、複数の超平面を重ねずに挟むことがで
)
テンプレート (プログラミング) - Wikipedia
この項目では、主にC++の言語仕様について説明しています。 入力と雛形に基づいてデータを出力するソフトウェアについては「テンプレートエンジン」をご覧ください。 特にウェブページにおけるテンプレートエンジンについては「Webテンプレート」をご覧ください。 使用頻度の高いコードの断片については「スニペット」をご覧ください。 プログラミングにおけるテンプレートは、静的型付けのプログラミング言語でデータ型を抽象化してコードを書くことを可能にする機能であり、C++やD言語においてはジェネリックプログラミングに用いられる。 C++のテンプレートは後から追加された機能だが、多重継承や演算子多重定義と並ぶ重要な機能となった。STL (Standard Template Library) はテンプレートによって構築された汎用的なアルゴリズムやデータ構造を含むソフトウェアフレームワークとなっている。 C++[
カウチサーフィン - Wikipedia
カウチサーフィン (The CouchSurfing Project) は、インターネット上の無料国際ホスピタリティー・コミュニティーであり、現在世界で最も大きなホスピタリティー・エクスチェンジ・ネットワークである。英語の「カウチ」（couch, 日本語で言うソファー）とサーフィンを併せた名称である。CSともいう。 海外旅行などをする人が、他人の家に宿泊させてもらう（カウチをサーフさせてもらう）という形式の相互的な思いやりや信頼による制度である。コミュニティーの軸にしたウエブサイトにて、プロフィール、身分確認制度、メンバー同士の評価等により、世界各地のメンバー間で連絡を取り相談の上で宿泊が決まる。 2004年1月1日に公式に開始したカウチサーフィンは各国マスコミの過熱報道を受け、2009年9月の時点では、200か国に亙る130万人のメンバーがいる。（日本にて活躍しているメンバーは1300人
リエゾン - Wikipedia
この項目では、フランス語における連声について説明しています。英語における連声については「リンキング」をご覧ください。 この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "リエゾン" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2020年9月） リエゾン（仏: liaison）とは、フランス語における（外）連声の一種で、語を単独では読む場合には発音されない語末の子音字が、直後に母音が続く場合に発音される現象を言う。リエゾンはしばしば連音とも訳されるが、「連音」という用語はリエゾン以外の音現象をも指すことがありうるので注意を要する。 概要[編集] 現代フランス語は母音の連続を嫌う傾向があり、
Tagged Image File Format - Wikipedia
TIFF （ティフ、Tagged Image File Format）は、ビットマップ画像の符号化形式の一種である。タグと呼ばれる識別子を使うことによって、様々な形式のビットマップ画像を柔軟に表現できる。 概要[編集] TIFFフォーマットは、1986年にマイクロソフトおよびAldus（1994年、アドビに合併）によって開発された画像データフォーマット。画像データを、解像度や色数、符号化方式が異なるものでも様々な形式で一つのファイルにまとめて格納できるため、アプリケーションソフトに依存することがあまり無いフォーマットであると言える。何度かの改訂によって拡張が行われているが、その多くはタグの追加という形を取っており、過去に作られたデータとの互換性に配慮されている。現在[いつ?]主流となっているのはTIFF Revision 6.0（以下TIFF6.0）だが、後に発行されたAdobe Page
ウェンディ・カルロス - Wikipedia
ウェンディ・カルロス（Wendy Carlos、1939年11月14日 - ）は、アメリカ合衆国のシンセサイザー奏者、作曲家。元の名前はウォルター（Walter）で、1972年に男性から女性への性別適合手術を行った[1]。姓は「カーロス」と表記されることもある[2][3]。 経歴 ロードアイランド州ポータケットに生まれた[4]。1953年、セント・ラファエル・アカデミーに入学。1958年から1962年までブラウン大学で音楽と物理学を学んだ[5]。コロンビア大学で作曲の修士号を取得した。 1968年10月、最初のアルバムである『スウィッチト・オン・バッハ（Switched-On Bach）』を発表[6]。モーグ・シンセサイザーを駆使したバッハ作品の演奏で、レイチェル・エルカインドのプロデュースの下、ウェストサイド・マンハッタンの地下スタジオで製作を行った[7]。グレン・グールドも絶賛し、新し
ADSR - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "ADSR" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2023年4月） ADSR は、シンセサイザー等、電子楽器の制御信号を設定する機能のひとつ。エンベロープ・ジェネレーター (Envelope Generator) によってコントロールされるパラメータで、Attack、Decay、Sustain、Releaseの頭文字である。 概要[編集] シンセサイザー（アナログシンセサイザーの場合）の3つの音声信号の機能 (VCO/VCF/VCA) は、任意の電圧で制御する事により作動する。また、ノートオン・ノートオフ（鍵盤楽器にたとえると、鍵
ラクレット - Wikipedia
ラクレット（スイス ヴァレー州） ラクレット（フランス語:raclette）は、ヴァレー州を中心とするスイスおよびフランス サヴォア地方のチーズ断面を熱で溶かして削ぐ料理、あるいはこの料理に用いるチーズを指す。呼び名はフランス語の俚言（パトワ）で「削る」を意味する"racler"から。ヴァレー州以外ではスライスした長方形のチーズを溶かすことが多い[1]。 料理[編集] チーズの断面を直火で熱して溶けた部分を削ぎ、皮付きのジャガイモなどに絡めて食べる。ピクルスを付け合わせとする。ヴァレー州を中心としたスイス全土、スイス国境に近いフランスのサヴォア地方などの伝統料理の1つである。チーズを火で溶かす古い記録として16世紀のものが残っている[1]。現代では火ではなく、電気ヒータによりチーズ断面を加熱する器具や、薄切りのチーズを小さなトレイに載せて加熱するラクレットグリル[2]もある。 テレビアニメ
ミルヒライス - Wikipedia
シナモンと砂糖を添えたミルヒライス ミルヒライス（ドイツ語：Milchreis、デンマーク語：Risengrød、スウェーデン語：Risgrynsgröt）は、ドイツや北欧を中心にヨーロッパの広い範囲で食べられている料理の一種である。 米を牛乳で炊き、シナモンで香り付けをしたり、砂糖やジャムなどで甘くして食べる。ライスプディングの一種であり、温かい状態で食する。デザートではなく主食として食されるほか、トルテやケーキの具に使われることもある。アゼルバイジャンのミルクピラフは、バター、サフラン、ドライフルーツ、塩、 砂糖で味付けをする。 材料の米には、加熱調理すると粘り気の出る短粒種が用いられる。そのため、料理だけではなく、短粒米（ジャポニカ米）そのものを指す言葉としても、ミルヒライスの名称が使われることが多い。 温めた牛乳を注ぐと食べられるインスタントのものや、カップヨーグルトのような容器に
シュトゥルーデル - Wikipedia
アプフェルシュトゥルーデル シュトゥルーデル（独: Strudel）は、詰め物を幾層にも巻く甘い菓子であり、クリームを添えて供されることが多い。18世紀にハプスブルク君主国中で知られるようになり人気を得た。 シュトゥルーデルはオーストリア料理と最も結びついているが、以前のオーストリア＝ハンガリー帝国に属するこの地域全体の伝統的な菓子である。 国外ではあまり知られていないが、特に肉や野菜をくるんだものは粉の食事（Mehlspeise）とも呼ばれ、その名の通りそれだけで立派な食事として扱われることも多い[要出典]。 最も古いシュトゥルーデルのレシピは1696年の手書きのレシピであり、ウィーン市立図書館が所蔵する[1]。この菓子は東ローマ帝国または中東の菓子と類似した起源を持つ（バクラヴァおよびトルコ料理参照）[2]。それがクロアチアとボスニア経由でオーストリアの食卓に持ち込まれているため、ブレ
SLAM - Wikipedia
SLAM（スラム）とは、自己位置推定と環境地図作成を同時に行うことを言う。 正式名称は、Simultaneous Localization and Mapping。 Lidarなどのセンサを搭載した移動体が走行を行いながら周囲の環境をセンシングすることで、二次元もしくは三次元の環境地図の作成を行う。同時に移動体の移動量の推定を逐次的に行うことで環境地図上での自己位置推定も行われる。カーナビのように既存の地図上でのGPSを用いた自己位置推定とは異なり、地図の存在しない屋内などの環境でも自己位置推定が行える。 位置の推定やマップ作成で利用されるセンサには、レーザーレンジスキャナー(測域センサ、Lidar)、カメラ、エンコーダ、マイクロフォンアレイなどが用いられることが多い。 身近な利用例として、電機系各社が販売するロボット掃除機が挙げられる。この場合、清掃の対象の居室の形状、及びその室内に対す
マリア・シュナイダー - Wikipedia
マリア・シュナイダー（Maria Schneider、1960年11月27日 - ）は、アメリカの指揮者、作曲家、アレンジャー。ギル・エヴァンスの弟子でもある。 来歴[編集] シュナイダーはアメリカ合衆国ミネソタ州、ウィンダム（英語版）に生まれた。ミネソタ大学で音楽理論と作曲を学んで1983年に卒業した後、イーストマン音楽学校で1985年に音楽の修士号を取得、さらにマイアミ大学で1年間学んだ。イーストマン音楽学校を卒業後ギル・エヴァンスにアレンジャーとして弟子入りし、『ハスラー2』や『Absolute Beginners』などの映画や、スティングの曲などに携わっている。また1986年から1991年の間ボブ・ブルックマイヤーのもとでも学んだ。彼女の作品はギル・エヴァンスはもちろんのこと、グラミー賞受賞者のボブ・ベルデン、ルー・マリーニなど、他のジャズ作曲家の特徴が見られる。 1993年、シュ
コンピュータ歴史博物館 - Wikipedia
マウンテンビューのコンピュータ歴史博物館 コンピュータ歴史博物館のCray-2スーパーコンピュータ コンピュータ歴史博物館に展示されているGoogleのカスタムのサーバーラック コンピュータ歴史博物館（Computer History Museum）は、アメリカ合衆国カリフォルニア州のマウンテンビューにある1996年設立の博物館である。 歴史[編集] コンピュータ歴史博物館は元々、1996/1997年 コンピュータ博物館歴史センター（The Computer Museum History Center = TCMHC）として、モフェット連邦飛行場（英語版）のNASA用地で始まった。[1] 1999年にコンピュータ博物館 (ボストン)（英語版）が閉鎖されて、翌年その収蔵品の一部はボストン科学博物館へ、その大部分がTCMHCへ送られてきた。 2001年に現在の名前に変わり、この情報時代のストー
トラフィックシェーピング - Wikipedia
トラフィックシェーピング（英: Traffic shaping）とは、コンピュータネットワークのトラフィック（通信量）を制御し、パケットを遅延させることで通信性能を最適化/保証し、レイテンシを低減し、帯域幅を確保することである[1]。パケットシェーピングともいう。 概要[編集] より具体的には、パケット群（ストリームあるいはフローともいう）に遅延を加えて、事前に定義された制約に従うようにする操作である[2]。トラフィックシェーピングはコンピュータネットワークに送り込まれるトラフィックを制御する手段を提供するもので、ある期間ごとに制限する方式（帯域幅調整）、最大転送レートを制限する方式（レート制限）、GCRAのようなもっと複雑な方式がある。方式や目的は様々だが、トラフィックシェーピングは常にパケットの遅延で実現される。一般にネットワークの端点でネットワークに流入させるトラフィックを制御するが
国防高等研究計画局 - Wikipedia
国防高等研究計画局本庁舎（2022年） 国防高等研究計画局（こくぼうこうとうけんきゅうけいかくきょく、Defense Advanced Research Projects Agency）は、軍用技術の開発および研究を行うアメリカ国防総省の特別の機関である。日本語では防衛高等研究計画局、国防高等研究事業局などとも表記される。略称はダーパ（DARPA）。ARPAの時期にインターネットの原型であるARPANET・全地球測位システムのGPSを開発したことで知られている。 概要[編集] アメリカ国防総省・国防総省内部部局。大統領と国防長官の直轄の組織で、アメリカ軍から直接的な干渉は受けない[要出典]。構成人員は300人ほど。 DARPA長官の下には約150名の技術系職員がプロジェクトマネージャーとして各分野の研究をおこなっている。技術系職員は公募による民間人が大半であり軍人は少ない[要出典]。任期は
アルヴァ・ノト - Wikipedia
アルヴァ・ノト（Alva Noto）の活動名で知られるカールステン・ニコライ (Carsten Nicolai、1965年- ) は、ドイツのミュージシャン。ジャンルはエレクトロニカ・グリッチ（英語版）・ミクロサウンド（英語版）・実験音楽など。坂本龍一とのコラボレーションにより日本国内での知名度も高まった。実験音楽のミュージシャン、池田亮司とのユニット・Cyclo.での活動でも知られる。 少年時代に蝙蝠に魅せられ、蝙蝠とコミュニケーションがとれると信じていた。それが音楽的興味や外見に影響を及ぼしているとされる。建築とランドスケープデザインを学んだのち、音と空間の理論的性質へ興味をいだき追求しはじめた。 彼は音をループ回路のオシレータと音声信号発振器を用いて変形させる。シークエンサーは使用しないが、リズム構造を曲に加えるための編集は行なっている。クリック音、グリッチは装飾的な添加ではなく、曲
デンマーク料理 - Wikipedia
Rugbrød（ライ麦パン）とピクルスを添えたフリカデラ デンマーク料理（デンマークりょうり）は、農民による地元産食材料理に始まり、19世紀の調理技術向上と産業革命以降の物品の広い流通により高められた。スモーブロー (smørrebrød) として知られるオープンサンドイッチは、基本的に昼食の食事であるが、様々な豪華な食材を調理して乗せたものはデンマークの名物料理としても知られる。温かい食事は伝統的にフリカデラ（ミートボール）のような挽き肉の料理か、またはflæskesteg（皮付きローストポーク）やKogt torsk（茹でたタラ）のマスタードソースと付け合わせ添えのような、より十分な肉や魚の料理である。デンマークはカールスバーグやツボルグといったビール、アクアビットやビターズで有名であるが、今は輸入ワインの人気が上がっている。 デンマークのシェフは、大陸の料理に刺激を受け、高級な地元産
コピ・ルアク - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "コピ・ルアク" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2016年12月） ジャコウネコの糞 コピ・ルアク（インドネシア語：Kopi Luwak）とは、ジャコウネコの糞から採られる未消化のコーヒー豆のことである[1]。「コピ」はコーヒーを指すインドネシア語、「ルアク」はマレージャコウネコの現地での呼び名である[2]。 日本では、コピ・ルアク、コピ・ルアック、ルアック・コーヒーと呼ばれることが多い。独特の香りを持ったコピ・ルアクは、産出量が少ないその希少性により、高額で取り引きされている。 産地と名称[編集] コピ・ルアクはインドネシ
ハイパースレッディング・テクノロジー - Wikipedia
この記事には複数の問題があります。改善やノートページでの議論にご協力ください。 出典がまったく示されていないか不十分です。内容に関する文献や情報源が必要です。（2017年12月） 出典は脚注などを用いて記述と関連付けてください。（2020年10月） 脚注による出典や参考文献の参照が不十分です。脚注を追加してください。（2020年10月） 出典検索?: "ハイパースレッディング・テクノロジー" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL ハイパースレッディング・テクノロジー (英: Hyper-Threading Technology、HTT) とは、インテルのハードウェアマルチスレッディング実装に対する同社の商標である。当初は、NetBurstマイクロアーキテクチャにおける同時マルチスレッディング
中華料理店過程 - Wikipedia
確率論において、中華料理店過程(ちゅうかりょうりてんかてい、英: Chinese restaurant process)とは離散確率過程の一種で、各時刻nにおいて集合{1,2,…,n}の分割Bnが次のようなルールで決定されるようなものを指す。時刻n=1では、B1={1}であり、時刻nでの分割Bnから時刻n+1における分割Bn+1が次のように定まる。 Bnがm個の部分からなるとき、各部分の大きさを|bi|, i=1,...,mとするなら、|bi|/(n+1)の確率でbiにn+1が追加される。 確率 1 / (n+1)で、大きさが1でn+1のみを含むものが新たな部分として追加される。 このような計算によりランダムに生成された分割は{1,...,n}のラベルを付け直しても、その分割が生成される確率が変化しない。 定義[編集] 無限にたくさんの円卓が並べられた中華料理店を考える。各々の円卓もまた無
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
