今北産業pedia

複数のスレッドが共有データにアクセスする際、ロックを使用せずに整合性を保つ手法。

Lock-freeはシステム全体の進行を、Wait-freeは各スレッドの完了を保証する。

デッドロックを回避し、高い並列性とリアルタイム性が求められるシステムで利用される。

テキサス・インスツルメンツ社が策定した、DSP向けデジタル信号処理アルゴリズムの標準規格。

アルゴリズムの再利用性を高めるため、メモリ管理やリソース割り当てのインターフェースを定義する。

異なるベンダーが作成したソフトウェアを同一のシステム上で容易に統合することを可能にする。

論理学において、AがBを包含する時、両者の共通概念のみを含む中間的な命題が存在する定理。

一階述語論理の重要な性質であり、理論の分割や定義可能性の研究に用いられる。

ウィリアム・クレイグによって1957年に証明された。

整数nの分割において、dで割り切れない数への分割数は、各数がd回未満現れる分割数に等しい。

オイラーの分割定理（奇数への分割と異なる数への分割）を一般化したもの。

組合せ論や数論におけるパーティション理論の重要な定理の一つ。

他人の評価が低い状態から高い状態へ変化した時、最初から高い時よりも好感度が増す現象。

逆に、高評価から低評価へ転じた場合は、最初から低い時よりも嫌悪感が強くなる。

心理学における対人魅力の変動が感情に与える影響を説明するモデルである。

任意のC*環が、あるヒルベルト空間上の有界線形作用素の環と同型であるという定理。

抽象的な代数構造を、具体的な作用素の集まりとして実現できることを示す。

量子力学の数学的基礎や、非可換幾何学の発展において極めて重要な役割を果たす。

弾性体において、荷重のかかり方が異なっても、離れた場所での応力分布はほぼ等しくなるという原理。

局所的な複雑さを無視して、全体の荷重条件だけで遠方の解析ができることを保証する。

構造計算を簡略化する際の理論的根拠として、機械・土木工学で多用される。

LEDの性能向上とコスト低下に関する経験則。コストは10年で10分の1になる。

同時に、1個のパッケージから得られる光量は10年で20倍に向上するという予測。

照明技術の進化を予測する「LED版ムーアの法則」として知られている。

完備距離空間において、稠密な開集合の可算個の共通部分は再び稠密であるという定理。

空間が「スカスカ」な集合の集まりで構成できないことを示唆している。

関数解析学において、一様有界性の原理などの重要な定理を導く基礎となる。

情報の非対称性がある場合、外部補助なしに効率的な取引を実現することは不可能とする定理。

売り手と買い手が互いの評価額を知らない市場における限界を示している。

メカニズムデザインや経済学において、市場の失敗を説明する重要な成果。

自分の体や周囲の物体が、実際より大きく、または小さく見える症状。

時間の経過が遅く感じられたり、空間が歪んで見えたりすることもある。

偏頭痛の前兆や、子供のウイルス感染に伴って一時的に現れることが多い。

周期表の下方の重い元素において、s軌道の電子が反応に関与しにくくなる現象。

原子核の正電荷が強く、s電子が内側に強く引き付けられるために起こる。

鉛が+4価よりも+2価で安定である理由などを説明する。

技術進歩の速度が指数関数的に向上し、進化のペースが加速するという概念。

レイ・カーツワイルが提唱し、ムーアの法則をより広範な進化プロセスに適用した。

将来的に人工知能が人間を超える「技術的特異点」の根拠とされる。

コンピュータ将棋などの探索において、探索の限界の直後で起きる悪化を予測できない現象である。

目先の不利を先延ばしにするだけの無意味な手を指してしまい、結果としてより大きな損失を招く。

探索の深さを動的に変えたり、静止評価を導入したりすることで、この問題を回避する工夫がなされる。

猫免疫不全ウイルスへの感染により、免疫機能が徐々に低下していく疾患。

猫エイズとも呼ばれ、主に喧嘩による噛み傷から唾液を介して感染が広がる。

発症すると口内炎や日和見感染症を繰り返し、最終的には死に至ることもある。

3DCGにおいて、遠くにある物体から順に重ね塗りして描画する最も単純な手法。

奥から手前へ描くことで、最終的に正しい前後関係の画像が得られるという考え方。

計算負荷は低いが、物体が互いに食い込んでいる場合に正しく処理できない欠点がある。

生物の進化の仕組みを模倣して最適解を探す計算手法。

突然変異や交配を繰り返し、より優れた解を世代交代させながら導き出す。

AIや最適化問題に使われる。

生物の進化を模倣して、複雑な問題の解決策を探る手法。

交配や突然変異をシミュレーションし、最適な答えを絞り込んでいく。

最適化問題の解決に有効。