この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "同値関係" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2016年12月) 数学において、同値関係(どうちかんけい、英: equivalence relation)とは二項関係であって反射的、対称的、推移的の3つの性質を満たすものをいう。そのことから、与えられた集合上の1つの同値関係はその集合を同値類に分割(類別)することが導かれる。 同値関係にあることを表すのに用いられる記法は文献によってさまざまであるが、与えられた集合上の同値関係 R に関して2つの元 a, b が同値であることを "a ~ b" や "a ≡ b" で表すこと
反射関係(はんしゃかんけい、英: reflexive relation)は、数学における二項関係の一種。二項関係には反射性 (reflexivity) のものと無反射性 (irreflexivity) のものがある(無反射性の事を非反射性とよぶ文献もある)。なお、ここでの(二項)関係は X × X という形式であり、集合 X からそれ自身への関係である。 概要[編集] 集合 X における反射的な関係 R は、X の全ての元 a について、a が自分自身と R の関係を持つ。数学的記法では次のように表される。 . 無反射的な関係 R は、X の全ての元 a について、a が決して自分自身と R の関係を持たない。数学的記法では次のように表される。 . 反射閉包(reflexive closure)R = は、R = = {(x, x) | x ∈ X} ∪ R と定義される。これはすなわち、
高いパフォーマンスと多くのベンダによるサポート表明で本命の1つとなった仮想マシンモニタ「Xen」。日本語による情報が少ないXenを、実際に動かしてみよう。(編集部) みやもとくにお<wakatono@todo.gr.jp> 2005/3/8 Xenは、仮想マシン環境を実現するためのソフトウェアです。「仮想化技術のアプローチと実装」で解説したように、仮想化技術は数種類に大別できます。Xenはその中で、最も伝統的な方式を採用した仮想化技術です。 Xenを取りあえず動かしてみよう Xen 1.0の当時はデモCDがありましたが、Xenについて理解するには実際の環境で動かしてみるのが一番良いでしょう。最新版のバイナリインストールキットには、Xenアーキテクチャ版のLinuxカーネルバイナリも含まれています。これを使えば手軽に動かしてみることができます。 なお、Xenを動作させる環境に重要なファイルな
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "全単射" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2016年1月) 数学において、全単射(ぜんたんしゃ)あるいは双射(そうしゃ)(bijective function, bijection) とは、写像であって、その写像の終域となる集合の任意の元に対し、その元を写像の像とする元が、写像の定義域となる集合に常にただ一つだけ存在するようなもの、すなわち単射かつ全射であるような写像のことを言う。例としては、群論で扱われる置換が挙げられる。 全単射であることを1対1上への写像[上への1対1写像] (one-to-one onto map
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "単射" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2015年9月) 数学において、単射(たんしゃ、英: injection, injective mapping)とは、相異なる元の値が相異なる写像のことをいう。一対一写像(いったいいちしゃぞう、英: one-to-one mapping)ということもある(紛らわしいが、これは全単射を意味する一対一対応とは異なる)。 単射であり全射でない写像 f: A → B の例。 全単射 f: A → B の例。 定義[編集] 集合 A を定義域、集合 B を終域とする写像 f: A → B が条件
出典は列挙するだけでなく、脚注などを用いてどの記述の情報源であるかを明記してください。記事の信頼性向上にご協力をお願いいたします。(2021年12月) 数学において、写像が全射的(ぜんしゃてき、英: surjective, onto)であるとは、その終域となる集合の元はどれもその写像の像として得られることを言う。即ち、集合 X から集合 Y への写像 f について、Y の各元 y に対し f(x) = y となるような X の元 x が(一般には複数あってもよいが)対応させられるとき、写像 f は全射 (surjection, onto mapping/function) であるという。全写(あるいは全写像)とも書く。 域 X(赤)から余域 Y(青+黄)への写像 f の模式図(余域 Y の内側の小さい楕円(黄)は f の値域)。これは一般には全射を表していない(一つも青に塗られる点がないと
Windows Linux Mac OS Firefox 2 Firefox 3 All Mozilla Firefox の最も一般的なキーボードショートカットの一覧表です。 GNOME で Emacs スタイルのテキスト編集ショートカットを有効にしているときは、 それらを Firefox 内でも使用できます。 Emacs テキスト編集ショートカットが (CtrlCmd+K のように) 既定のショートカットと衝突する場合、フォーカスがテキストボックス内にあれば Emacs ショートカットが優先します。(ロケーションバーや検索バー内も含む) このような場合は、代わりに使用できるキーボードショートカットが一覧にあればそれを使用してください。
Gmailには新着メールをAtomフィードで出力する機能がある。これを使えば、Gmailの新着メールをRSSリーダーで高速にチェックできるようになる。 Gmailの新着メールをRSSリーダーで読むためには、以下のURLをRSSリーダーに登録すればよい。認証は「あり」に設定し、IDとパスワードはそれぞれGmailにログインするためのユーザー名とパスワードを登録しておく。 URL:https://mail.google.com/mail/feed/atom/ 以下の画面は、タブブラウザ「Sleipnir」の「Headline-Readerプラグイン」で、Gmailの新着メッセージを表示したところだ。各メッセージが1つの記事としてリスト表示されるので、Gmailあてに届いた数多くの新着メールを高速にチェックするのに非常に便利だ。 POP対応のメールソフトで受信する方法に比べると、アプリケーション
ジョルダンは、携帯・PHS向けに提供する経路検索サイト「乗換案内NEXT」で、鉄道の運行状況に異常が発生した場合、メールで通知してくれる機能「運行情報メール」の提供を開始した。 「運行情報メール」は、普段利用する路線で、運転見合わせや遅延が発生した場合、メールで通知してくれる機能。対象路線は、ユーザーが登録した定期券情報にあわせた区間と、その区間に関係する路線となる。発生時刻や原因、状況を知らせる第一報のみ配信され、続報はサイト上から確認できる。配信時間は、「7時~22時」「平日のみ」などで指定できる。 公式メニューからのアクセスは、iモード版が「交通/地図」→「乗換案内」から、EZweb版が「地図・交通・旅行」→「鉄道・乗換」から、ソフトバンクモバイル版は「交通・グルメ・旅行」→「鉄道」→「乗換案内」から、ウィルコム版は「エリア&グルメ」→「乗換案内」から。 ■ URL ジョルダン ht
Yamin Li, Professor Computer Architecture Laboratory Faculty of Computer and Information Sciences Hosei University Koganei, Tokyo 184-8584 Japan Email yamin@hosei.ac.jp; yamin@computer.org; yamin@ieee.org Advanced Computer Organization and Architecture Distributed and Parallel Computer Architecture Parallel Multithreaded Architecture Interconnection Networks Fault Tolerant Computing Computer Arith
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く