今北産業pedia

脳内の興奮性シナプス伝達を担う、イオンチャネル型のグルタミン酸受容体である。

グルタミン酸が結合すると速やかにチャネルが開き、ナトリウムイオンなどを透過させる。

記憶や学習の基盤となるシナプス可塑性において、受容体数の増減が重要な役割を果たす。

神経伝達物質GABAに反応する受容体で、中枢神経系における主要な抑制性受容体である。

リガンド門扉型イオンチャネルであり、結合すると塩化物イオンを流入させて神経活動を抑制する。

抗不安薬や睡眠薬、麻酔薬などの多くの薬物がこの受容体を標的として作用する。

神経伝達物質GABAを認識する代謝型受容体の一種である。

Gタンパク質を介してカリウムチャネルを開口させ、抑制性信号を伝達する。

筋弛緩薬バクロフェンの標的であり、痙性麻痺の治療などに関与する。

抑制性神経伝達物質であるγ-アミノ酪酸と結合する受容体の総称。

イオンチャネル型のGABAAと代謝型のGABABの2つの主要なタイプがある。

中枢神経系の興奮を抑制し、抗不安薬や睡眠薬の主要な作用点として重要である。

与えられたn個の要素から、すべての置換を効率的に生成するためのアルゴリズム。

要素の交換を最小限に抑えるように設計されており、再帰的または反復的な実装が可能。

計算量が最適であり、順列生成の標準的な手法として計算機科学で広く知られている。

周期表の13族と15族の元素を組み合わせた半導体材料の総称。

シリコンと比較して電子移動度が高く、光の吸収や発光の効率に優れる特徴を持つ。

LED、レーザーダイオード、高速通信用デバイス、太陽電池などに広く利用される。

入力データの格納領域以外に、追加のメモリ領域をほとんど必要とせずに処理を行う手法。

空間計算量が非常に小さく抑えられるため、メモリ資源が限られた環境で有利である。

代表例として、バブルソートやクイックソート、ヒープソートなどの並べ替えが挙げられる。

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

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

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

脳内の興奮性神経伝達を担う主要な受容体の一つで、イオンチャネル共役型受容体に分類される。

マグネシウムイオンによるブロックや、活性化にグリシンを必要とするなどの複雑な制御機構を持つ。

記憶や学習に関わるシナプス可塑性に深く関与し、アルツハイマー病などの疾患との関連も研究されている。

分散システムにおいて、信頼性の低いネットワーク上で複数のノードが合意を形成するためのプロトコル。

レスリー・ランポートによって提唱され、一部のノードが故障してもシステム全体で一貫性を保つ。

分散データベースやクラスタ管理システムにおけるリーダー選出や状態複製などの基盤技術として使われる。

プロダクションシステムにおいて、多数のルールと事実を高速に照合するためのアルゴリズム。

ネットワーク状のデータ構造を構築し、過去の照合結果を再利用することで計算量を削減する。

エキスパートシステムやビジネスルール管理システムの推論エンジンで採用されている。

コンピュータサイエンスの歴史において、初期のプログラミング言語を比較するために考案された課題。

配列の読み込み、関数の適用、条件分岐、出力といった基本操作を含む短いプログラム。

クヌースとパルドが論文で発表し、言語ごとの構文や機能の違いを明示する例題として使われた。

コンピュータのCPUにおいて、命令を順不同に実行するためのハードウェアアルゴリズム。

レジスタ・リネーミングと予約ステーションを用いることで、データ依存による待機を最小化する。

高性能プロセッサの命令レベルの並列性を引き出すための基盤技術として広く採用された。

脳や免疫系に広く分布する、アセチルコリンを結合してイオンを通す膜タンパク質の一種である。

学習や記憶、炎症反応の抑制に関与しており、アルツハイマー病などの治療標的として注目されている。

5つの同一サブユニットからなるホモ五量体構造を持ち、カルシウムイオン透過性が高いのが特徴。

特定の人物や物体を認識する際にのみ反応する、脳内の単一神経細胞の仮説。

複雑な視覚情報が最終的に一つの細胞に集約されるという極端な考え方である。

現在は複数の細胞が協調して認識する「分散表現」説が主流となっている。

神経伝達物質であるアセチルコリンと結合し、信号を伝えるタンパク質。

ニコチン受容体とムスカリン受容体の2種類に大きく分類される。

筋肉の収縮や副交感神経の活動など、生体内で極めて重要な役割を担う。

子宮内膜の損傷により、子宮腔内に癒着が生じて閉鎖される疾患。

人工妊娠中絶や流産手術後の合併症として発症することが多い。

月経不順や不妊症の原因となり、治療には癒着剥離手術が行われる。

瞳孔の対光反射が消失または遅延し、腱反射の減弱を伴う神経学的疾患。

多くの場合、片方の瞳孔が散大したままになり、近接調節も遅れるのが特徴である。

良性の経過をたどることが多く、特別な治療を必要としない場合がほとんどである。

生体分子であるアデノシンと結合し、細胞内に情報を伝達する受容体。

4つのサブタイプが存在し、心拍数の抑制や睡眠の調節に関与する。

カフェインはこれらの受容体に拮抗することで、覚醒作用をもたらす。

コンピュータシステムの並列化による高速化の限界を示す法則。

プログラムの一部を並列化しても、残りの直列部分が全体の性能を制約する。

並列処理の設計において、投資対効果を予測するための重要な指標となる。

中性子照射などにより、結晶格子中の原子が本来の位置から弾き飛ばされる現象。

弾き飛ばされた原子が蓄積する「ウィグナー・エネルギー」は、発熱や変形の原因となる。

原子炉の安全管理において、黒炭減速材の劣化を防ぐために考慮すべき重要な要素。

統計力学のイジング模型などのシミュレーションで、スピンの集団を一度に反転させる手法。

相転移付近で計算効率が著しく低下する「臨界スローイングダウン」を劇的に改善する。

クラスター形成アルゴリズムの一種であり、モンテカルロ法の精度向上に貢献した。

根拠のない引用が繰り返されることで、いつの間にか事実として定着してしまう現象。

証拠の欠如が無視され、多くの文献に引用されていること自体が信頼性の根拠とされる。

科学論文や報道において、誤った情報が拡散・固定化されるリスクとして警戒されている。

孤立した系において、エネルギーの総量は形が変わっても常に一定であるという法則。

熱、光、運動、電気など、エネルギーは相互に変換されるが、消滅したり生成したりしない。

物理学の最も根本的な原理の一つであり、あらゆる科学技術の設計の基礎となっている。

ディスクの読み書きヘッドを効率的に動かすためのスケジューリング手法。

一方向に移動しながら要求を処理し、端に到達すると逆方向に折り返す。

HDDのアクセス効率向上や実際の昇降機の制御システムに利用される。

入力データが時系列に従って順次与えられ、全データを見ずに即座に判断を下す手法。

将来の入力を予測できない状況下で、いかに最適な解に近い結果を出すかが課題となる。

ページ置換や株取引、リアルタイムのデータ処理など、動的な環境で広く活用される。

脳内の神経伝達物質であるグルタミン酸に反応する、イオンチャネル型受容体の一種。

神経細胞の興奮性伝達やシナプス可塑性に関与し、脳の機能を調節する役割を担う。

てんかんや神経変性疾患との関連が指摘されており、新しい治療薬の研究対象となっている。

騒がしい環境の中でも、自分に必要な特定の音や会話を選別して聞き取れる現象。

注意を向けた対象の情報を脳が優先的に処理することで、周囲の雑音を無視できる。

音声認識技術の向上や、聴覚障害者の補聴器開発における重要な研究テーマである。

形式論理学において、証明図から「カット」と呼ばれる中間ステップを取り除けるという定理。

任意の証明は、遠回りせずに直接的な推論のみで構成できることを数学的に示した。

計算機科学における型理論や、自動定理証明のアルゴリズムの基礎となっている。

浮動小数点数の計算において、丸め誤差の蓄積を最小限に抑えるための加算手法。

計算途中で失われる微小な値を補正項として保持し、次の加算で反映させる。

数値解析やシミュレーションなど、高い精度が要求される計算処理において重要な役割を果たす。

硫黄、セレン、テルルなどのカルコゲン元素同士が結合してできる化合物。

異なるカルコゲン原子が共有結合を形成し、独特の半導体特性や光学的性質を示す。

太陽電池の材料や相変化メモリなど、次世代の電子デバイス素材として研究が進んでいる。

大麻に含まれる成分や体内の内因性物質と結合する、Gタンパク質共役受容体。

脳に多いCB1と免疫系に多いCB2があり、食欲、痛み、記憶などの調節を担う。

エンドカンナビノイドシステムとして知られ、生体の恒常性維持に重要な役割を果たしている。

2種類の金属を接合して加熱した際、拡散速度の差によって接合面が移動する現象。

原子の移動に伴い、拡散が速い側に微細な空孔（カーケンドール・ボイド）が形成される。

半導体パッケージの信頼性低下の原因となる一方で、中空ナノ粒子の合成手法としても利用される。

地球と生物圏が一つの巨大な自己調節システムとして機能しているという仮説。

生物が環境に働きかけることで、生命に適した状態が維持されていると考える。

ジェームズ・ラブロックが提唱し、環境保護運動や地球システム科学の発展に大きな影響を与えた。

円周率（π）を非常に高速に計算するための反復アルゴリズム。

反復ごとに精度が倍々で向上する（2次収束）という驚異的な収束速度を持つ。

コンピュータを用いた円周率の世界記録更新において、主要な手法として長年採用されてきた。

限られた高速メモリ（キャッシュ）に、どのデータを残すかを決定する制御手法。

参照頻度の高いデータを保持することで、システム全体の処理速度を大幅に向上させる。

LRUなどが代表的で、CPUやWebブラウザ、データベースなどで広く使われる。

視線を移動させる際、現在の注視点を消してから目標を出すと、反応速度が速くなる現象。

脳の注意解除が事前に行われることで、眼球運動（サッカード）の潜時が短縮される。

視覚心理学や脳科学において、注意の制御メカニズムを調べるための実験手法として使われる。

一階述語論理の定理証明において、エルブランの定理に基づく初期の手法。

論理式の充足不能性を判定するために、基底例を順次生成して検証する。

計算効率に課題があったが、後の自動定理証明技術の基礎となった。

項書き換え系において、与えられた等式の集合を完備な書き換え系に変形する手法。

合流性と停止性を備えることで、項の等価性を効率的に判定可能にする。

自動定理証明や数式処理システムの最適化などに広く応用されている。

スペルチェック機能が、誤字を意図しない別の単語に自動修正してしまう現象。

かつて「cooperation」がアップル本社所在地の「Cupertino」に修正されたことに由来する。

文脈を無視した修正により、公文書などで奇妙な誤変換が発生することがある。

SF作家アーサー・C・クラークが提唱した、科学と未来に関する3つの指針。

「十分に発達した科学技術は、魔法と見分けがつかない」という第3法則が有名。

科学の可能性を否定する専門家の限界や、未知の探求の重要性を説いている。

アーサー・C・クラークが提唱した法則で、特に「魔法と見分けがつかない」ものを指す。

高度な技術が未開文化や過去の人々には超自然現象に見えることを示唆する。

科学技術の進歩がもたらす驚異的な変化を表現する言葉として広く引用される。

巡回セールスマン問題において、近似比1.5を保証する近似アルゴリズム。

最小全域木と最小重量マッチングを組み合わせ、オイラー閉路を構築する。

多項式時間で動作し、一般的な距離空間におけるTSPの解法として重要である。

生まれつき2つ以上の頸椎が癒合していることで、首の可動域が制限される疾患。

短い首、低い後ろ髪の生え際、頸部可動制限という3つの特徴的な徴候を持つ。

脊柱側弯症や聴覚障害などの合併症を伴うことがあり、定期的な経過観察が必要。

完備半順序集合上のスコット連続な関数は、最小不動点を持つという定理。

計算機科学において、再帰的なプログラムの定義に数学的な意味を与える。

不動点はボトム要素からの近似の極限として構成的に求められる。

計算理論において、任意の計算可能な関数が自分自身のプログラムを参照できるという定理。

自己複製プログラム（クワイン）の存在を理論的に証明する根拠となる。

プログラムが自身のソースコードを知らなくても、その挙動をシミュレート可能にする。

多発神経炎、臓器肥大、内分泌異常、M蛋白、皮膚症状を特徴とする難病。

各症状の頭文字をとってPOEMS症候群とも呼ばれる。

骨髄腫細胞が産生する血管内皮増殖因子（VEGF）が病態に深く関与している。

任意の有限オートマトンが、単純群とリセットオートマトンの組み合わせで分解できるという定理。

代数的オートマトン理論における中心的な成果であり、構造の複雑さを分類する。

群論の知見を計算モデルの解析に応用した画期的な理論である。

コンピュータの計算量あたりの消費エネルギーが、約1.5年ごとに半減するという法則。

ムーアの法則のエネルギー版とも言われ、モバイル機器の普及を支える背景となった。

半導体の微細化や電力制御技術の向上により、長期間にわたって成立している。

並列計算において、問題サイズを大きくすれば並列化による加速効果も向上するという法則。

並列化できない部分が固定されていても、全体の処理量を増やせば効率が改善することを示す。

アムダールの法則が示す限界に対し、実用的な並列処理の有効性を肯定した。

神経系において神経細胞（ニューロン）を支持し、栄養補給や環境維持を行う細胞。

アストロサイト、オリゴデンドロサイト、ミクログリアなどの種類がある。

かつては単なる「糊」と考えられていたが、現在は情報処理にも関与することが判明している。

津波が浅瀬に近づく際、水深の減少に伴って波高が急激に増大することを記述する法則。

波高は水深の4分の1乗に反比例するという関係式で表される。

海岸付近での津波被害の予測や防災計画において極めて重要な知見である。

「十分に複雑なCやFortranのプログラムは、Common Lispの半分を粗悪に実装したものを含む」。

フィリップ・グリーンスパンが提唱した、プログラミング言語の表現力に関する皮肉。

言語自体が持つ抽象化能力の欠如が、再発明やバグを招くことを警告している。

脳内の主要な興奮性伝達物質であるグルタミン酸を受け取るタンパク質。

記憶や学習に関わるNMDA型や、速い伝達を担うAMPA型などが存在する。

過剰な活性化は神経細胞死を招き、てんかんや認知症などの疾患とも関連する。

未整列のデータベースから特定のデータを探索する、量子コンピュータ向けのアルゴリズム。

古典的な探索がN回必要なのに対し、√N回の試行で目的のデータを見つけ出せる。

量子状態の振幅を増幅させる手法を用いており、暗号解読などへの応用が期待される。

暗号系の安全性は、鍵以外のすべてが公表されても保たれるべきであるという原則。

アルゴリズムの秘匿に頼る「隠蔽によるセキュリティ」の危険性を警告している。

現代の暗号設計における最も基本的な指針の一つである。

進行性の歩行障害や認知症を主症状とする、極めて稀な遺伝性のプリオン病。

脳内にアミロイド斑が大量に沈着し、神経細胞が破壊される。

1936年に報告され、プリオンタンパク質遺伝子の変異が原因であることが判明している。

手指失認、左右失認、失算、失書の4つの症状が同時に現れる神経疾患。

優位半球（通常は左半球）の角回付近の損傷によって引き起こされる。

日常生活において、自分の指の識別や計算、文字を書くことが困難になる。

「科学的発見に発見者の名前がつくことはない」という皮肉的な法則。

統計学者のスティグラーが提唱したが、この法則自体もマートンが先に指摘していた。

科学史における命名の不正確さや先取権争いの複雑さを指摘している。

アモルファスシリコンに光を照射し続けると、電気伝導度が低下する現象。

光によって材料内部に欠陥が生じることが原因と考えられている。

太陽電池の長期的な変換効率低下を招く要因として、材料開発の課題となっている。

宇宙線が地球の雲の形成に影響を与え、気候を変動させるという仮説。

宇宙線が空気分子をイオン化し、それが雲の核となって雲量を増やすとされる。

太陽活動と地球温暖化の関係を説明する理論の一つだが、科学的な議論が続いている。

統計力学のイジング模型などをシミュレーションするためのモンテカルロ法の一種。

スピンの集団（クラスター）を一度に更新することで、相転移付近での計算効率を劇的に高める。

臨界減速の問題を解決する手法として、計算物理学で広く利用されている。

細胞表面に存在し、セロトニンと結合して情報を細胞内に伝えるタンパク質。

脳内の感情調節、睡眠、食欲、消化管の運動など多岐にわたる機能を制御する。

抗うつ薬や偏頭痛治療薬など、多くの医薬品の標的となっている。

特定の作業に長時間没頭した結果、日常生活の思考や夢にそのイメージが現れる現象。

ゲーム『テトリス』をプレイし続けた人が、現実の景色をブロックに見立ててしまうことに由来する。

脳の可塑性や、反復作業が認知に与える影響を示す事例として研究されている。

2つのプロセスが共有メモリを介して互いに排他制御を行うための、最初期のアルゴリズム。

特別なハードウェア命令を必要とせず、ソフトウェアのみで相互排除を実現する。

現代ではより効率的な手法があるが、並列処理の理論的基礎として重要。

一階述語論理の論理式の妥当性を判定するための、初期の自動定理証明アルゴリズム。

命題論理の充足可能性問題（SAT）を解くDPLLアルゴリズムの基礎となった。

計算機による論理推論の自動化における先駆的な成果である。

量子コンピュータが、古典コンピュータよりも圧倒的に速く問題を解けることを示した例。

関数が「定数」か「均衡」かを、わずか1回の試行で判定することができる。

量子アルゴリズムの優位性を理論的に証明した、歴史的に重要な手法。

集合論や論理学において、論理和と論理積の否定に関する基本的な法則。

「AかつB」の否定は「Aの否定またはBの否定」に等しいことを示す。

プログラミングの条件分岐を整理する際など、論理設計の現場で不可欠。

中枢神経系に存在し、神経伝達物質ドーパミンと結合して情報を伝える受容体。

D1からD5までの型があり、運動調節、意欲、報酬系など多様な機能を担う。

パーキンソン病や統合失調症の治療薬の多くが、この受容体を標的としている。

ドーパミン作動性神経の末端に存在し、自ら放出したドーパミンを検知する受容体。

過剰な放出を抑制するフィードバック機構として働き、神経活動の安定を保つ。

薬物依存や精神疾患の病態解明において、重要な研究対象となっている。

大気中の酸素の同位体比が、海水中の酸素の同位体比よりも重くなる現象。

陸上植物の光合成と呼吸の過程で、特定の同位体が優先的に取り込まれることが原因。

古気候学において、過去の生物活動や環境変化を推定する指標として使われる。

アセチルコリンやニコチンに反応してイオンを透過させる、イオンチャネル型受容体。

神経筋肉接合部での筋肉収縮や、脳内での報酬系・認知機能に関与する。

タバコ依存症のメカニズムや重症筋無力症の病態と深く関わっている。

あらゆる問題に対して、常に他の手法より優れた万能な最適化アルゴリズムは存在しない。

特定の問題で高い性能を出す手法は、別の問題では必ず平均以下の性能になる。

機械学習において、モデルの選択が対象データに依存することを理論的に示した。

英単語を改行する際、適切な位置にハイフンを挿入するための計算手順。

言語ごとの綴りの規則や例外辞書を組み合わせて、読みやすい組版を実現する。

TeXなどの文書作成ソフトに搭載され、美しいテキストレイアウトを支えている。

ゲーム理論において、繰り返されるゲームでは多様な戦略が均衡として成立しうるという定理。

将来の利得を重視する場合、互いに協力し合う状態が合理的な選択肢となることを示す。

特定の証明者がおらず、専門家の間で「周知の事実」とされていたためこの名がついた。

結晶にX線を照射した際、特定の角度で強い反射（回折）が起きる条件を示す法則。

結晶格子の間隔とX線の波長、入射角の関係を「nλ = 2d sinθ」という式で表す。

X線結晶構造解析の基本原理であり、物質の原子配列を特定するために不可欠。