竹内関数 - Wikipedia
竹内関数（たけうちかんすう）は、プログラミング言語処理系のベンチマークなどに使われる、再帰的に定義された関数である。 概要[編集] 再帰的に定義される、3個の引数 x, y, z をとる次のような関数である。 特に変わる所は無いがLisp版[1]も参照のこと。定義からわかるように処理を次々にたらい回しにしていくことから、たらいまわし関数[2]、たらい関数 (Tarai function) とも呼ばれる（後述のマッカーシー版との混同を避けるためこの名で呼ばれることのほうが多いが、こちらの定義のほうがオリジナルである。マッカーシー版を特にTak関数として区別する場合もある）。電電公社研究員（当時）の竹内郁雄が、1974年の夏前の頃、後述するような特性のある関数をあれこれ考えていた、ある日の午前に思いついたものである[3]。竹内関数と命名したのは野崎昭弘である[4]。 特性として、他のよくベンチ
Android端末一覧 - Wikipedia
この記事には複数の問題があります。改善やノートページでの議論にご協力ください。 出典がまったく示されていないか不十分です。内容に関する文献や情報源が必要です。（2021年3月） 古い情報を更新する必要があります。（2021年3月） 日本中心に書かれており、世界的観点からの説明がされていないおそれがあります。（2014年10月） 出典検索?: "Android端末一覧" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL Android端末一覧（アンドロイドたんまついちらん）ではGoogleが開発した、スマートフォンやタブレットコンピュータに代表されるモバイル機器向けのオペレーティングシステムであるAndroidの端末を一覧として示す。 移動体通信事業者網対応端末一覧[編集] 移動体通信事業者、いわゆる携帯
−0 - Wikipedia
−0（マイナスゼロ）、あるいは負のゼロとは、数値のゼロにマイナスの符号をつけたものである。 通常の算術では、負のゼロは単なるゼロ（及び正のゼロ、+0）と同じであるが、これらを分ける方が望ましい場合や、分けて扱わざるを得ない場合がある。 そのようなケースとして、以下のものがある 極限。例えば右方極限を x → +0 と左方極限を x → −0 と書いて区別する場合 コンピュータの数値表現においてゼロの表現が一意でない場合 数学[編集] +0, −0, +∞, −∞ は通常、極限操作を表す記号として用いられ、実数上の元とは扱われない。これは任意の実数 c に対する +c, −c についても同様である。 しかし、煩雑さを避けるため、標語的に正負のゼロや無限大を実数であるかのように表記することがしばしば行われる。 コンピュータの数値表現と負のゼロ[編集] IEEE 754における負のゼロ[編集]
パレートの法則 8:2の法則
パレートの法則（パレートのほうそく）は、イタリアの経済学者ヴィルフレド・パレートが発見した冪乗則。経済において、全体の数値の大部分は、全体を構成するうちの一部の要素が生み出しているとした。80:20の法則、ばらつきの法則とも呼ばれる。 概要[編集] パレートは所得統計を分析して、所得分布が安定的であり、時代によって変化しないという結論を出した。この結論からは、社会の所得格差は平等にならないが、不平等も強化されないことになる[1]。パレートの法則は、関数のパラメータ（パレート指数）によって所得分布を時間・空間的に比較したもので、貧困についての最初の数学的な研究ともいわれている[注釈 1][3]。 しかし、パレートが発表した当時から難点があった。パレートの法則は低所得層に当てはまらないという問題があり、パレート自身も認めていた[3]。パレートが用いた統計はイタリアやスイスのいくつかの都市と、プ
画像転送プロトコル - Wikipedia
画像転送プロトコル（英: Picture Transfer Protocol、PTP）は国際映像産業協会（英語版）（英: International Imaging Industry Association）により開発されたプロトコルであり、これを用いることによってデバイスドライバを追加することなくデジタルカメラから画像を転送できるようになる。プロトコルはISO 15740として標準化されている。 また、USBインプリメンターズ・フォーラム（英: USB Implementers Forum）によって、PTPがUSB用に “静止画像キャプチャデバイスクラス”（英: still image capture device class）として標準化された。それゆえPTPを用いている機器はUSBをデフォルトで転送メディアに用いている。 USB PTPは、デジタルカメラの接続プロトコルとしてのUSB
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
