かっこいい専門用語集
Miscかっこいい専門用語を集めるページです。
ライマンαの森
https://ja.wikipedia.org/wiki/%E3%83%A9%E3%82%A4%E3%83%9E%E3%83%B3%CE%B1%E3%81%AE%E6%A3%AE
ライマンαの森 （英: Lyman-alpha forest）とは、分光観測天文学の用語。遠方にある銀河やクェーサーなどの天体を光源として、このスペクトルを観測すると、途中の星間ガス中の物質原子が励起され、特定の波長が吸収されて暗くなる。
圧縮アーティファクト
圧縮アーティファクト（英語: compression artifact）とは、非可逆圧縮の適用によって引き起こされるメディア（画像、音声、映像）の顕著な歪みである。
ポテンシャル付き箙
https://ja.wikipedia.org/wiki/%E7%AE%99_(%E6%95%B0%E5%AD%A6)
数学、特に結合代数の表現論において箙（えびら）あるいはクイバー（英: quiver）とは、多重辺とループを許す有向グラフのことである。
ハイゼンベルク描像 (Heisenberg picture)
量子力学を定式化するにあたり、演算子（可観測量やその他）が時間発展し、状態ベクトルは時間に依存しないとする理論形式のこと。状態ベクトルが時間発展し、演算子が時間に依存しないシュレーディンガー描像とは等価の結果を与える。
トポロジカル絶縁体 (Topological insulator)
トポロジカル絶縁体とは、バルク部分は絶縁体であるが物質界面は導電性を示す時間反転対称性と自明なトポロジカル秩序を有する物質のことである。
スポラディックE層 (Sporadic E propagation)
スポラディックE層とは春から夏ごろにかけて、主に昼間に上空約100km付近に局地的に突発的（スポラディック）に発生する特殊な電離層である。
鳳-テブナンの定理 (Ho-Thévenin's theorem)
https://ja.wikipedia.org/wiki/%E3%83%86%E3%83%96%E3%83%8A%E3%83%B3%E3%81%AE%E5%AE%9A%E7%90%86
テブナンの定理は、多数の直流電源を含む電気回路に負荷を接続したときに得られる電圧や負荷に流れる電流を、単一の内部抵抗のある電圧源に変換して求める方法である。
可観測 (Observable)
http://www.gifu-nct.ac.jp/elcon/labo/endo-n/endo/lecture/syscon/node6.html
ある有限の時刻tfまでの零入力応答y(t)を観測することによって，初期状態x(t0)=x0を一意に決定できるとき，システムは可観測であるという．
非ホロノミック系 (Nonholonomic system)
http://www.iis.u-tokyo.ac.jp/~suzukitk/research-nh-j.html
「非ホロノミック」とは何でしょう？難しいですね。 「力学系の拘束条件が可積分でないこと」「ドリフトがあること」「入力の数よりも多くの座標を制御できる」といったところでしょうか。
推力偏向ノズル (Thrust vectoring nozzle)
https://ja.wikipedia.org/wiki/%E6%8E%A8%E5%8A%9B%E5%81%8F%E5%90%91
推力偏向（すいりょくへんこう）とは、ロケットエンジンやジェットエンジン、スクリュープロペラなど、噴流ないしその反作用によって推力を得るメカニズムにおいて、噴流の向きを変えることで、推力の向きを偏向させることである。 航空機では、固定翼のジェット機で、ジェットエンジンの噴流の向きをノズルで変えることで行われる。
ブルースカイ・カタストロフィ (Bluesky catastrophe)
https://twitter.com/HayatoChiba/status/794893997516812288
力学系において周期解が分岐する７つのメカニズムのうち、最後に発見されたもの。カオスよりも後。有界領域において無限の長さを持つ周期解が生じうる。
宇宙際タイヒミュラー理論 (Inter-universal Teichmüller theory)
2012年8月30日、望月は ABC予想を証明する論文をインターネット上で発表した。イギリスの科学誌ネイチャーによると、望月は新たな数学的手法を開発し、それを駆使して証明を展開している。
ABC予想の証明に先立って構築した宇宙際タイヒミューラー理論(Inter-universal Teichmüller theory)の正否の判定には数年間以上かかるだろうと言われている。
メトロポリス光輸送 (Metropolis light transport)
メトロポリス光輸送 はメトロポリスサンプリング ( Metropolis Sampling ) と呼ばれる計算物理学で用いられているモンテカルロ法の、CG レンダリングへの応用である。
森ドリーム空間 (Mori dream space)
http://www.ms.u-tokyo.ac.jp/~toshi/jjm/JJMJ/JJM_JHP/contents/takagi_jp/7th/TL-McKernan.pdf
X が射影的多様体で、その Cox 環が有限生成であるとき、X を、森ドリーム空間と呼ぶ。
名前が示す通り、森ドリーム空間は、たいへん多くのよい性質を持つ。任意の切断環は有限生成であり、フリップは常に終止し、極小モデルの集合には自然な組み合わせ論的構造が入り、これらはすべて、ある Thaddeus マスター空間の幾何学的不変式論によってコントロールされる。
メルセンヌ・ツイスター (Mersenne twister)
メルセンヌ・ツイスタ (Mersenne twister、通称MT) は擬似乱数列生成器 (PRNG) の1つである。
既存の疑似乱数列生成手法にある多くの欠点が無く、高品質の疑似乱数列を高速に生成できる。
ラムダ・キューブ (Lambda cube)
ラムダ・キューブ (Lambda cube) とは、8つの異なる型付きラムダ計算の関係を表した図である。
