HTTP ETag - Wikipedia
ETag（エンティティタグ）は、HTTPにおけるレスポンスヘッダの1つである。これは、HTTPにおけるキャッシュの有効性確認の手段の1つであり、ETagを利用してクライアントから条件付きのリクエストを行うことができる。そうすることで、コンテンツが変わらなければレスポンスをすべて返す必要がなくなるので、キャッシュを効率化し、回線帯域を節約できるようになる。ETagは複数人が同時にリソースを上書きしてしまうことへの対策となる、楽観的並行性制御に使うこともできる[1]。 ETagはあるURLから得られる、ある特定のバージョンのリソースに対する、明確でない識別子である。そのURLにあるリソースに何かしらの変化があれば、ETagも新しい値となる。このように設定されたETagは、一種のフィンガープリントとなり、2つのリソースが同じかどうかを容易に判定できるようになる。あるETagは特定のURLに対して
端数処理 - Wikipedia
シャープ Compet CS-2122L上の丸めセレクタ。左のツマミで切り上げ・四捨五入・切り捨てのいずれかを選択し、右のツマミで小数点以下の桁数を選択する。事務用電卓の中には、この機種のように計算結果を指定した桁数に丸めて表示できるものもある。 端数処理（はすうしょり）とは、与えられた数値を一定の丸め幅の整数倍の数値に置き換えることである。平たく、丸め（まるめ）ともいう。 常用的には、十進法で10の累乗（…100、10、1、0.1、0.01…）が丸め幅とされることが多いが、そうでない丸め幅をもつ処理は存在する。十進法以外のN進法について同様の概念を考えることもできる。 丸めの種類[編集] 凡例[編集] 丸めは任意の丸め幅に対し可能だが、以下では特に断らない限り、丸め幅を1とする（後段の「#例」では、丸め幅は0.1である）。任意の丸め幅で丸めるには、丸める前に丸め幅で割り、丸めた後に丸め幅
キログラム - Wikipedia
キログラム（記号は kg）は質量の SI 単位であり、プランク定数 h を単位 J s（kg m2 s−1 に等しい）で表したときに、その数値を 6.62607015×10−34 と定めることによって定義される。ここで、メートルおよび秒は c および ∆νCs に関連して定義される[3][注 1]。 c は真空中の光の速さ、 ∆νCs は 133Cs （セシウム）の超微細構造遷移周波数である。 この新定義によって、129年にわたって使用されてきた国際キログラム原器（IPK）が廃止された。日本の計量法体系では、計量単位令（平成4年政令第357号）が改正され、2019年5月20日に施行することにより変更された[4]。 2021年2月1日からは国際キログラム原器（IPK）の質量の国際合意値は、0.999999998(20) kg である（後述 #国際キログラム原器（IPK）の質量の不確かさ）。
CRISPR - Wikipedia
大抵のCRISPR座位には、cas遺伝子群、先行配列、リピート・スペーサー列の3要素が存在している。しかしその順序はここに示したとおりとは限らない[40][41]。また、CRISPR-Casシステムを構成するCasタンパク質群の種類や、作用機序の違いに応じてI型、II型、III型に大きく分類され、各CRISPR-Casシステムはそれぞれいくつかのサブタイプに分類される[42]。 リピートとスペーサー[編集] CRISPRリピートの要素は24から48塩基対で[43]通常は回文配列を含み、stem-loopヘアピン構造を形成する[44]。このリピート要素の間に似たような長さのスペーサーが介在している[43]。スペーサーの配列はプラスミドやファージの持つ配列と同一であったり[8][9][10]、あるいは自身のゲノム中の配列と同一(self-targeting spacers)であったりする[45
リレーションの正規化 - Wikipedia
この記事には複数の問題があります。改善やノートページでの議論にご協力ください。 脚注による出典や参考文献の参照が不十分です。脚注を追加してください。（2023年9月） ほとんどまたは完全に一つの出典に頼っています。（2023年9月） 出典検索?: "関係の正規化" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL 関係の正規化（かんけいのせいきか）は、関係データベース (リレーショナル・データベース) において、関係（リレーション）を正規形と呼ばれる形式に準拠させることにより、データの一貫性の維持と効率的なデータアクセスを可能にする関係設計を導くための方法である。正規形には様々なものが存在するが、いずれにせよ、正規化を行うことにより、データの冗長性と不整合が起きる機会を減らすことができる。 多くの関係デ
通院医療費公費負担制度 - Wikipedia
通院医療費公費負担制度（つういんいりょうひこうひふたんせいど）とは、精神保健及び精神障害者福祉に関する法律（精神保健福祉法）第32条に規定されていた精神科通院医療費の一部を公費負担医療制度であった。平成17年10月1日に廃止され、障害者自立支援法による自立支援医療に移行した。 概要[編集] 1965年（昭和40年）、精神衛生法の改正によって創設され、翌年よりスタートし[1]、2006年（平成18年）4月、障害者自立支援法の施行によって廃止された。通常は健康保険適用の場合、全体の医療費の30%の自己負担を求められるが、この制度を利用すると5%で済んだ（1995年〈平成7年〉、精神保健及び精神障害者福祉に関する法律〈精神保健福祉法〉改正以降）。地方公共団体（地方自治体）によっては残りの5%も公金で負担し、実質無料にもなった[2]。[リンク切れ]1999年（平成11年）の改正により2002年（平
世界線 - Wikipedia
世界線、世界面、世界体積はそれぞれ粒子、ひも、ブレーンの軌跡である 世界線（せかいせん、英: world line, 独: Weltlinie）とは、零次元幾何を持つ点粒子の時空上の軌跡を言う。一次元、二次元幾何を持つ物体の軌跡はそれぞれ世界面 (world sheet)、世界体積 (world volume) と呼ばれる。 特殊相対性理論での世界線[編集] 物体が速度一定である世界線のことを測地線という。世界線の曲線は次の三つに区別される。 光的 時間的 空間的 一般相対性理論での世界線[編集] 光円錐の例 時空が曲がっていることが上の特殊相対性理論の場合と異なっている。計量とその中での運動はアインシュタインの場の方程式により決定される。それは時空上の質量分布に依存している。また、計量から光的 (null)、空間的 (space-like)、時間的 (time-like) が決まる。しか
CAP定理 - Wikipedia
CAP定理はブリュワーの定理とも呼ばれ、分散コンピュータシステムのマシン間の情報複製に関する定理。ウェブサービスを想定して作られた定理。 定義[編集] ノード間のデータ複製において、同時に次の3つの保証を提供することはできない[1][2]。 一貫性 (Consistency) すべてのデータ読み込みにおいて、最新の書き込みデータもしくはエラーのどちらかを受け取る。 可用性 (Availability) ノード障害により生存ノードの機能性は損なわれない。つまり、ダウンしていないノードが常に応答を返す。単一障害点が存在しないことが必要。 分断耐性 (Partition-tolerance) システムは任意の通信障害などによるメッセージ損失に対し、継続して動作を行う。通信可能なサーバーが複数のグループに分断されるケース（ネットワーク分断）を指し、1つのハブに全てのサーバーがつながっている場合は、
板屋兵四郎 - Wikipedia
板屋 兵四郎（いたやひょうしろう、生年不詳 - 1653年）とは、江戸時代の加賀藩の土木技師。測量技術に優れ、金沢城の堀や兼六園に水を引く為の辰巳用水を開いた[1]。下村兵四郎とも[2]。 来歴[編集] 能登奥郡（珠洲郡・鳳至郡）にて小代官をつとめる。測量や和算、算盤に秀で、用水を開削して水田の灌漑をすすめた実績を加賀藩第三代藩主前田利常に認められ、辰巳用水の開削事業を任される。また能登では測量技術を駆使し、塩田の整備や千枚田の設計、金山開発に携わった。一説には辰巳用水が完成した後に謀殺されたとも伝わるが、板屋兵四郎についての資料は少なく、矛盾した記述も多いため、詳しい生い立ちや経歴は不明である[1][3]。 板屋神社[編集] 金沢市上辰巳町と袋町にあり、上辰巳町の方が御本社で兵四郎が主祭神とされている。また金沢神社の中に板屋神社の遥拝所があり、兵四郎のご神像が奉納されている[4][5]。
コンピュータプログラミングの概念・技法・モデル - Wikipedia
『コンピュータプログラミングの概念・技法・モデル』 (コンピュータプログラミングのがいねん・ぎほう・モデル、CTM、CTMCP、英: Concepts, Techniques, and Models of Computer Programming) は、一般的なコンピュータプログラミングの概念について説明した教科書であり、ピーター・ヴァン・ロイとセイフ・ハリディにより著された。 日本語訳の訳者は羽永洋である。 この教科書の略称はCTMもしくはCTMCPである。 ガウディ本と呼ばれることもある。 ピーター・ヴァン・ロイはルーヴァン・カトリック大学の教授であり、セイフ・ハリディはスウェーデン王立工科大学の教授である。 この教科書は2004年に MIT Press から出版され、2007年に日本語訳が翔泳社から出版された。 この教科書では、マルチパラダイムプログラミング言語Ozの注意深く選択され
Xorshift - Wikipedia
Xorshiftは疑似乱数列生成法の1つである。George Marsaglia（w:George Marsaglia）が2003年に提案した。演算が排他的論理和とビットシフトのみであるため高速である[1] などの特徴がある。 実装例[編集] Xorshiftアルゴリズム[2]のCによる実装例[3]: #include <stdint.h> struct xorshift32_state { uint32_t a; }; /* The state word must be initialized to non-zero */ uint32_t xorshift32(struct xorshift32_state *state) { /* Algorithm "xor" from p. 4 of Marsaglia, "Xorshift RNGs" */ uint32_t x = state
ランダウの記号 - Wikipedia
スターリングの公式はランダウの記号を用いてと書くこともできる。 ランダウの記号（ランダウのきごう、英: Landau symbol）は、主に関数の極限における漸近的な挙動を比較するときに用いられる記法である。 ランダウの漸近記法 (asymptotic notation)、ランダウ記法 (Landau notation) あるいは主要な記号として O （数字の0ではない）を用いることから（バッハマン-ランダウの）O-記法 (Bachmann-Landau O-notation[1])、ランダウのオミクロンなどともいう。 記号 O はドイツ語のOrdnungの頭字にちなむ[2]。 なおここでいうランダウはエトムント・ランダウの事であり、『理論物理学教程』の著者であるレフ・ランダウとは別人である。 ランダウの記号は数学や計算機科学をはじめとした様々な分野で用いられる。 概要[編集] ランダウの
聖パトリックの祝日 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "聖パトリックの祝日" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2014年3月） 聖パトリックの祝日の様子（アイルランド、コーク。2004年） 聖パトリックの祝日, ブエノスアイレス (アルゼンチン) 聖パトリックの祝日（せいパトリックのしゅくじつ、英: St. Patrick's Day、セイントパトリックス・デー）は、アイルランドにキリスト教を広めた聖人聖パトリックの命日。3月17日。カトリックの祭日であり、アイルランド共和国の祝祭日。 シャムロックを服につけたり、ミサを行ったりする。アイルランドでは何世紀も前からこの日を祝う伝統
レーベンシュタイン距離 - Wikipedia
レーベンシュタイン距離（レーベンシュタインきょり、英: Levenshtein distance）は、二つの文字列がどの程度異なっているかを示す距離の一種である。編集距離（へんしゅうきょり、英: edit distance）とも呼ばれる。具体的には、1文字の挿入・削除・置換によって、一方の文字列をもう一方の文字列に変形するのに必要な手順の最小回数として定義される[1]。名称は、1965年にこれを考案したロシアの学者ウラジーミル・レーベンシュタイン (露: Влади́мир Левенште́йн) にちなむ。 レーベンシュタイン距離は、同じ文字数の単語に対する置換編集に使われているハミング距離の一般化であると見なすことが可能である。レーベンシュタイン距離の更なる一般化として、例えば一回の操作で二文字を変換する等の方法が考えられる。 例[編集] 実際的な距離の求め方を例示すれば、「kitt
冪等 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "冪等" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2015年10月） 数学において、冪等性（べきとうせい、英: idempotence、「巾等性」とも書くが読み方は同じ）は、大雑把に言って、ある操作を1回行っても複数回行っても結果が同じであることをいう概念である。まれに等冪（とうべき）とも。抽象代数学、特に射影（projector）や閉包（closure）演算子に見られる特徴である。"idempotence" という単語はラテン語の "idem"（同じ=same）と"potere"（冪=power）から来ている。 主に以下の2つの定義
TK-80 - Wikipedia
TK-80 (Training Kit μCOM80) とは、日本電気 (NEC) の半導体部門[注 2]が1976年8月3日[1][2]に発売した、マイクロコンピューター（マイコン）システム開発のための「トレーニングキット」である。 概説[編集] NECのμCOM80つまり8ビットプロセッサのトレーニングキット（※）である。 NEC側はもともとはあくまでトレーニングキット（※）のつもりで当キットを構想・設計・発売、つまり当時まだ知る人がほとんどおらずそもそも需要すら無かったマイクロプロセッサというものの需要を掘り起こすために、マイコンシステムを業務として開発する可能性のある技術部門や企業の技術者などが購入することを想定していたが、実際には公表された仕様を見て、基本となる入出力装置を備えているので高価な端末を別途用意せずこのまま本体だけでも使え、しかも入出力が最初から一体化された仕様で設計
SageMath - Wikipedia
ウィリアム・スタイン（2011年6月） SageMath（セイジ、以前はSage、SAGEと記した）は数学の幅広い処理を扱うソフトウェアである。扱う処理は計算機代数、組み合わせ、数値計算など多岐に及ぶ。工学的応用に加え基礎科学の研究も対応している。 SageMathは2005年2月24日にフリーソフトウェアとしてGNU General Public Licenseの元で初版が公開された。その開発目的はMagma、Maple、Mathematica（いずれも計算機代数ソフトウェア）、MATLABの代替となるフリーかつオープンソースなソフトウェアを提供することであった[3]。開発は、米ワシントン大学の数学准教授のウィリアム・スタイン (William Stein) が主導して始まった。 SageMathはPythonプログラミング言語を使用しており、手続き型・関数型・オブジェクト指向によるプロ
オンプレミス - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "オンプレミス" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2024年2月） オンプレミス（英語: on-premises）とは、サーバやソフトウェアなどの情報システムを、使用者が管理している施設の構内に機器を設置して運用することをいう。プレミス（premise）は「構内」「店内」の意味。 「自社運用」ともいう[1]。プレミス、OnPと表記されることもある。 概要[編集] 元来は情報システムの構築・運用形態としては唯一であったため、それ自身を表す名称は必要とされなかった。しかし、1990年代末 - 2000年代前半にブロードバンドインタ
社会人基礎力 - Wikipedia
社会人基礎力（しゃかいじんきそりょく）とは、職場や地域社会などで仕事をしていく上で重要となる基礎的な能力を指す。経済産業省が提唱している概念である。 概要[編集] 2005年から2006年に経済産業省の経済産業政策局産業人材制作室が有識者を集めて開催した「社会人基礎力に関する研究会」（座長諏訪康雄）をもとに、読み書きを含む基礎学力と、職業知識や資格など専門知識に加えて、職場や地域社会で活躍をする上で必要になる第3の能力として社会人基礎力が定義された。 「前に踏み出す力」、「考え抜く力」、「チームで働く力」の3つを社会人基礎力の核としている。 社会人基礎能力の高い者にはチャレンジ精神やコミュニケーション能力などといった就職活動の際に企業の採用担当者が特に重要視しているスキルが身についているとされる。 2009年から経済産業省は社会人基礎力育成グランプリというイベントを実施している。 「前に踏
非線形システム論 - Wikipedia
非線形システム論（ひせんけいシステムろん、英語: nonlinear system theory）とは、線形システムでないシステム、特に非線形の常微分方程式で表された系を対象とした制御理論であり、その対象は実に多岐に渡る。 その中でも、状態方程式が無限回微分可能であるものについて集中的に研究され、線形システム論の概念の拡張を初め、微分幾何学の概念を応用して多くの成果が出始めている。その流れは大きく分けて 線形近似の有効領域を広げるもの 本質的に線形近似では制御できないもの の2つがある。前者については、線形システムに変換する線形化が代表的であり、後者については双線形システムや非ホロノミックシステムを対象とした研究が挙げられる。 主な概念[編集] モデル表現[編集] 状態方程式 (state equation) とくに入力について1次であるもの をアフィン系と呼ぶ。 解析手法[編集] 平衡点
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
