タグ

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

  • アベノマスク - Wikipedia

    配布されたマスクとパッケージ アベノマスクは、新型コロナウイルス感染症(COVID-19)の流行下に2020年4月から日で配布されたガーゼ製布マスクの俗称[1][2]。急激な需要の増大で発生した不織布マスク不足の解消を目的として、安倍政権が約260億円をかけて[3]全世帯に2枚ずつ配布した[1][2][4]。 全世帯向けのほか介護施設などにも配布され[5][6][7][8]、世界でもAbenomaskとして広く報道されていた[9][10]。 概要[編集] 新型コロナウイルス感染症対策部の第25回会議にて全世帯への布マスク2枚配布を表明する安倍晋三・内閣総理大臣(右から2人目)。なお、安倍は布マスクを着用しているが周囲の国務大臣は不織布マスクを着用している(2020年4月1日、総理大臣官邸にて)2020年の3月頃から新型コロナウイルス感染症の世界的な流行が日でも大きな問題になると、マス

    アベノマスク - Wikipedia
  • チューリングマシン - Wikipedia

    チューリングの「計算可能数について──決定問題への応用」(1936年)において提示された[2]。同様なものを同年にエミール・ポスト (Emil Post) も独立に発表している[3]。構想の理由、動機についてはポストの論文が明確だが、機械自体に関する記述はチューリングの論文が詳細である。次いで、同時代に提示された他の計算モデルも計算可能性の理論からは同等であることが確認され、チューリング=チャーチのテーゼはそれらを「計算可能」の定義とすることを提唱した。 ここでは非形式的(直感的)に述べる。理論的には形式的に述べる必要がある。 チューリングマシンには、いわゆるハードウェアに相当するものとして、 その表面に記号を読み書きできるテープ。長さは無制限(必要になれば順番にいくらでも先にシークできる[注 1])とする テープに記号を読み書きするヘッド ヘッドによる読み書きと、テープの左右へのシークを

    チューリングマシン - Wikipedia
  • テクスチャマッピング(Texture mapping):3次元コンピュータグラフィックス - Wikipedia

    3次元コンピュータグラフィックス(さんじげんコンピュータグラフィックス、英: three-dimensional computer graphics)は、コンピュータの演算によって3次元空間内の仮想的な立体物を2次元である平面上の情報に変換することで奥行き感(立体感)のある画像を作る手法である。3DCG(スリーディーシージー)と略記されることも多い。20世紀末からのコンピュータ技術の急速な発達と性能向上によって、従来は大企業や大きな研究所でしか得られなかった高精細で高品質の3次元画像が、21世紀初頭現在ではパーソナルコンピュータ (PC) やゲーム機、スマートフォンでも実時間で得られるようになっている。 毎年夏にアメリカ合衆国で開催されるCGの祭典「SIGGRAPH」(シーグラフ)にて、世界中の多くの研究者により最新のCGの論文が発表され、技術更新がなされている。 3DCGは、ユーザーが仮

    テクスチャマッピング(Texture mapping):3次元コンピュータグラフィックス - Wikipedia
    kabakiyo
    kabakiyo 2016/11/01
  • シリアライズ - Wikipedia

    この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "シリアライズ" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2020年8月) コンピュータプログラミングにおいて、シリアライズ (英: serialize) もしくはシリアル化という用語は、次のような異なる2つの意味を有する。 コンピュータ実行時の用語として:一つあるいは複数の「コンピュータ資源」(コンピュータ作動時に必要なもの、通常プログラム実行時に要求されるコンピュータリソース。具体例:CPU、メモリ、入出力先など)を、複数の主体(具体例:プログラム)が利用しようとする際、一時点に一つの主体だけが利用するように、順番づけて調整す

    kabakiyo
    kabakiyo 2012/01/17
    シリアライズとマーシャリングが同義語。
  • イースター・エッグ (おまけ要素) - Wikipedia

    この記事には複数の問題があります。改善やノートページでの議論にご協力ください。 出典がまったく示されていないか不十分です。内容に関する文献や情報源が必要です。(2016年1月) 独自研究が含まれているおそれがあります。(2024年3月) 出典検索?: "イースター・エッグ" おまけ要素 – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL イースター・エッグ(英: Easter egg)とは、コンピュータのソフトウェア・書籍[要説明]・CDなどに隠されていて、来の機能・目的とは無関係であるメッセージや画面の総称である。ユーモアの1種とされることもある。多くの場合、企画・開発スタッフの一覧などに隠されているが、ちょっとしたゲームなどの場合もある。また、アニメーションや音楽を伴って表示されることもある。 これ

    kabakiyo
    kabakiyo 2012/01/10
    素敵。
  • ハテナ (生物) - Wikipedia

    ハテナ(Hatena arenicola)は、奇妙な細胞分裂で注目を浴びた微生物である。なお、属名は日語に由来する。 井上勲(筑波大学教授)と岡典子(日学術振興会特別研究員)によって砂浜で採集した砂から発見された。この『ハテナ(Hatena)』という属名は、研究室内での愛称であった『ハテナ虫』に由来し、種小名のラテン語で「砂の中に住む」を意味するarenicolaは、砂を採集した岡により提案された。 この微生物は、カタブレファリスの仲間の鞭毛虫である。葉緑体のような緑色の構造を持つが、これはプラシノ藻類のNephroselmisの1種に由来する共生体で、いわゆる細胞内共生である事が確認されている。細胞内共生していても、共生体には独自の核は保ったままである。 元の藻類とハテナの細胞内の共生体とを比較すると、共生体化した場合にミトコンドリアやゴルジ体が貧弱になり、基底小体などは消失して

    kabakiyo
    kabakiyo 2011/10/01
    はてなを間違えてハテナで検索したら出てきてビックリ!
  • 特異なバグ - Wikipedia

    特異なバグ (英: unusual software bugs) とは、ソフトウェアバグの中でも特に修正が難しいものを言う。いくつかの種類があるが、直感的に理解しがたいような理論を発表した科学者に由来して名前が付いているものが多い。 ハイゼンバグは、それを調査しようとすると変貌したり消えたりするバグである。 ハイゼンバグの例: リリース版では発生するがデバッグ版(-DDEBUGコンパイルオプション等)では発生しない。 普通に実行すれば発生するがデバッガなどの環境では発生しない。 ユーザーの環境では発生するが開発者の環境では発生しない。 結合テストでは発生するが同じチェックをしているはずの単体テストでは発生しない。 何が起きているのか調べようと出力命令を入れると(いわゆる「printfデバッグ」)発生しなくなる。 競合状態によって発生している。 この名前は不確定性原理を提唱したハイゼンベルク

    kabakiyo
    kabakiyo 2011/07/13
    バグにもいろんな名前が付いてたんだw 親近感が湧くww
  • ドナルド・クヌース - Wikipedia

    ドナルド・アーヴィン・クヌース[1](Donald Ervin Knuth [kəˈnuːθ][2], 1938年1月10日 -)は、数学者・計算機科学者。スタンフォード大学名誉教授[3]。 クヌースによるアルゴリズムに関する著作 The Art of Computer Programming のシリーズはプログラミングに携わるものの間では有名である[4]。アルゴリズム解析と呼ばれる分野を開拓し、計算理論の発展に多大な貢献をしている。その過程で漸近記法で計算量を表すことを一般化させた。 計算機科学への貢献とは別に、コンピュータによる組版システム TeXフォント設計システム METAFONT の開発者でもあり、Computer Modern という書体ファミリも開発した。 作家であり学者であるクヌースは[5]、文芸的プログラミングのコンセプトを生み出し、そのためのプログラミングシステム

    ドナルド・クヌース - Wikipedia
  • 分枝限定法 - Wikipedia

    分枝限定法(ぶんしげんていほう、英: branch and bound, BB)は、各種最適化問題(特に離散最適化と組合せ最適化)の最適解を求める汎用アルゴリズムである。分枝操作(英: branching operation)と限定操作(英: bounding operation)から構成される。全ての解候補を体系的に列挙するもので、最適化された量の上限と下限の概算を使って、最適でない候補は「ひとまとめに」捨てられる。 1960年、A. H. Land と A. G. Doig が線型計画法の手法として最初に提案した。 関数 の最小値を求める最適化問題を考える。 とする。 分枝限定法には2つの手続きが必要である。 分枝 第一は分枝操作である。場合分けにより部分問題に分割する。つまり、与えられた集合 に対して、 となるような複数の集合 に分割(分枝)する手続きである。 における の最小値を

    kabakiyo
    kabakiyo 2010/08/13
  • タイソン・ゲイ - Wikipedia

    タイソン・ゲイ(英語: Tyson Gay, 1982年8月9日 - )は、アメリカ合衆国の陸上競技選手(短距離)。ケンタッキー州レキシントン出身。身長181cm、体重80kg。 幼い頃は地域の野球クラブに所属。当時から足が速く、盗塁を得意としていた。中学3年生(15歳)の時に、陸上クラブに所属していた1歳上の姉の影響で陸上を始める[1]。 高校では陸上部に所属し、100mのケンタッキー州チャンピオンに1999年から3年間輝いている。しかし、全国大会では5位に入ったのが最高で、高校時代の自己ベストは100mが10秒46、200mが21秒23だった。陸上部の活動がない時期にはアメフト部にも所属していた[1]。 当時の体重は短距離選手としては痩せている65kgほどで、そのせいもあって大学進学の際に強豪校からのスカウトはなかった。そんな中、バートン・コミュニティ大学(2年制)のコーチだったランス

    タイソン・ゲイ - Wikipedia
  • 押井守 - Wikipedia

    東京都大田区大森出身[2]。東京都立小山台高等学校、東京学芸大学教育学部美術教育学科卒。静岡県熱海市在住。2008年度から2009年度まで東京経済大学コミュニケーション学部の客員教授を務めた[3]。 2017年時点で日SF作家クラブ会員だったが[4]、2024年6月時点の会員名簿には名前がない[5]。 日のアニメーション監督で、世界三大映画祭すべてに出品したことがある唯一の監督である(2018年現在)。 1977年、竜の子プロダクションに入社し、アニメーション業界へ。『一発貫太くん』や、『ヤッターマン』で演出デビュー[6]。1979年、スタジオぴえろに移籍。1980年、NHK総合テレビで『ニルスのふしぎな旅』を放送。演出を担当し、同作の劇場版で初監督(2015年に劇場初公開)。 『うる星やつら』のテレビシリーズのチーフディレクターなどを担当し「視聴率男」の異名をとった。1983年『うる

    押井守 - Wikipedia
    kabakiyo
    kabakiyo 2010/08/02
  • 糖衣構文 - Wikipedia

    糖衣構文(とういこうぶん、英: syntactic sugar あるいは syntax sugar)は、プログラミング言語において、読み書きのしやすさのために導入される書き方であり、複雑でわかりにくい書き方と全く同じ意味になるものを、よりシンプルでわかりやすい書き方で書くことができるもののことである。 構文上の書き換えとして定義できるものであるとも言える[* 1]。 syntactic sugar の直訳に近い構文糖(こうぶんとう)という用語も使われる。また外来語としてそのままシンタックス・シュガーとも呼ばれる。糖衣構文あるいは構文糖衣とするのは少々意訳的だがよく使われている[* 2]。 語源は「取り扱いやすい」を意味する sweet の第一義が「(砂糖のように)甘い」であることから[1][2]。 糖衣構文はプログラムの意味としては同じものを、よりわかりやすい構文で書けるものである。ジャー

  • オナニー - Wikipedia

    この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "オナニー" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2008年3月) オナニー(ドイツ語: Onanie)は、性交ではなく、自分の手や器具などを用いて自らの性器を刺激し、性的快感を得る行為である。自慰、手淫、マスターベーション(英語)、セルフプレジャー(英語)などともいう。 一般にヒトでは、男性の場合は射精とオルガズム、女性の場合はオルガズムのみにより目的が達成するとされる。中世までは主に宗教的な立場から忌むべき行為とされ、近代では医学的な立場から害であるとされたが、現代では一般的な行為とされ、医学的にも行為に特別な害があるとは

    kabakiyo
    kabakiyo 2010/04/18
    歴史があるんだなぁ。
  • 畳み込み - Wikipedia

    この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "畳み込み" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2016年7月) 2つの正方形による畳み込み。解として得る波形は三角波となる。黄色の領域で示されている面積が2つの方形波の合成積である。 正方形がRC回路に入力された場合の出力信号波形を得るために、RC回路のインパルス応答と方形波の畳み込みを行っている。 黄色の領域で示されている面積が合成積である。 畳み込み(たたみこみ、英: convolution)とは、関数 g を平行移動しながら関数 f に重ね足し合わせる二項演算である。あるいはコンボリューションとも呼ばれる。 定義[編集]

    畳み込み - Wikipedia
  • 遅延評価 - Wikipedia

    この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "遅延評価" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2014年9月) 遅延評価(ちえんひょうか、英: lazy evaluation)や必要呼び(ひつようよび、英: call-by-need)は評価戦略の一種類であり、非正格な関数型言語で使用もされる。対義語は先行評価(英: eager evaluation)。 概要[編集] 評価しなければならない値が存在するとき、実際の計算を値が必要になるまで行わないことをいう。評価法が指示されているが実際の計算が行われていない中間状態の時それをプロミス(英: promise)や、計算の実体をさし

  • 代数的データ型 - Wikipedia

    代数的データ型(だいすうてきデータがた、英: algebraic data type)とはプログラミング、特に関数型プログラミングや型システムにおいて使われるデータ型である。それぞれの代数的データ型の値には、1個以上のコンストラクタがあり、各コンストラクタには0個以上の引数がある。 代数的データ型の値(データ)の感覚的な説明としては、引数で与えられた他のデータ型の値を、コンストラクタで包んだようなもの、である。コンストラクタに引数がある代数データ型は複合型(他のデータ型を組み合わせて形成する型)である。

  • 型推論 - Wikipedia

    型推論(かたすいろん、英: type inference)とはプログラミング言語の機能の1つで、静的な型付けを持つ言語において、変数や関数シグネチャの型を明示的に宣言しなくても、変数宣言における初期化のための初期値や、関数呼び出しにおける実引数などといった、周辺情報および文脈などから自動的に(暗黙的に)各々の型を決定する機構のこと。言語によってはtype deductionと呼ばれることもある。 推論に失敗するとその時点でエラーを報告できるため、少なくとも誤った型を用いることによるバグは回避できる。また、アルゴリズムの記述に集中できるのでプログラムの抽象度が上がるというメリットもある。型名が長大な場合に、型推論による省略によってコード全体の見通しをよくすることにもつながるが、一方で統合開発環境による支援(コードエディター上のツールチップなど)が得られない環境では、一見して型が分からないこと

    kabakiyo
    kabakiyo 2009/10/18
  • 型システム - Wikipedia

    プログラミング言語はさまざまな値を扱う。代表的かつ最も原始的なものは数値や文字列だが、一般的に有限の資源制約があるコンピュータにとって都合のよい内部表現が使われ、例えば数値には32ビットや64ビットといった固定サイズの整数型や浮動小数点数型が、文字列には特定の文字コード集合によって符号化された整数値の羅列(文字配列)が使われることが多い。文字列の表現には最後の文字(番兵)に0を使用するゼロ終端文字列(ヌル終端文字列)が使われることもあれば、長さ情報を別途整数値で保持する複合データ構造が使われることもある。三角関数は浮動小数点数を引数にとり浮動小数点数を返す。先頭の文字を大文字にする関数は文字列を引数にとり文字列を返す。ユーザーからの入力を数値として扱うためには、文字列を解釈して数値を返す関数が必要である。ここで、3.14 や "hoge" といった値について「浮動小数点数」や「文字列」とい

  • 静的型付け - Wikipedia

    静的型付け(せいてきかたづけ、英: static typing)は、値やオブジェクトの型安全性を、コンパイル時に検証するというコンピュータプログラミングの型システムの方法である。型の検査はソースコードの解析によって行われる。変数代入、変数束縛、関数適用、型変換といったプログラム記述箇所での型安全性がチェックされる。型エラーの場合は、コンパイルエラーに繋げられることが多い。 対義語は動的型付けであり、こちらでは値やオブジェクトの型安全性を実行時に検証する。型の検査はランタイムシステムの実行時型情報(RTTI)の照会などによる実行時プロセス上の解析で行われる。 概要[編集] プログラミング言語で書かれたプログラムにおいて、変数や、サブルーチンの引数や返り値などの値について、その型が、コンパイル時など、そのプログラムの実行よりも前にあらかじめ決められている、という型システムの性質のことである。

  • メタ構文変数 - Wikipedia

    この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "メタ構文変数" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2011年1月) メタ構文変数(メタこうぶんへんすう、metasyntactic variable)は、プログラミング言語の記述で使われる識別子の一種。サンプルプログラムなどで意味のない名前が必要な場合に利用される「意味のない名前」であることが広く知られた識別子のことである。 プログラミング言語では識別子(変数や関数などの名前のこと)を自由に定義できる。しかし、サンプルプログラムなどでまったく意味の無い変数に付ける適当な名前がないために困ってしまうことがある。適当にどんな名