语言
没有数据
通知
无通知
線形論理(せんけいろんり、英: Linear logic)は、「弱化(weakening)規則」と「縮約(contraction)規則」という構造規則を否定した部分構造論理の一種である。「資源としての仮説 (hypotheses as resources)」という解釈をする。すなわち、全ての仮説は証
A に関して巡回的な(つまり、あるベクトル v と A の冪による像 Av, A2v, … により生成される)部分空間への極小分解を反映したものである。所与の正方行列からは唯一つの標準形しか得られず(それゆえ〈標準的〉で)、また正方行列 A, B が互いに相似となるのは
道理があること。
形のあるもの。 また, 形のあること。 形にあらわれたもの。
(1)電線を使って行う電気通信の方法。
位相幾何学において、ジョルダン曲線定理(ジョルダンきょくせんていり、Jordan curve theorem)あるいはジョルダンの閉曲線定理(へいきょくせんていり)とは、平面に置かれた自己交差を持たないどんな閉曲線(輪っか)も平面を「内側」と「外側」に分けるということを述べた定理。 数学的に正確に述べると以下のような内容である。
連続体の配置の変化は 変位場 によって記述することができる。変位場とは、物体中のすべての粒子の変位ベクトルを集めたベクトル場であり、変形後の配置と変形前の配置を関連づける。任意の2つの粒子間の距離は、変形が起こった場合にのみ変化する。変形を伴わない変位は剛体変位と呼ばれる。 変数jでラベルされた粒子の変位は次のように表すことができる;
有節歌曲形式(ゆうせつかきょくけいしき、英: strophic form、独: Strophenform)とは、歌曲に多く用いられる楽曲の形式である。歌詞が進むごとに異なる旋律を付けるのでなく、ひとつの旋律を何度も繰り返すように曲が付けられているものを言う。繰り返しの1回を節