「記号表記」を解説文に含む見出し語の検索結果(121~130/254件中)
ナビゲーションに移動検索に移動時相論理(Temporal Logic)とは、時間との関連で問題を理解し表現するための規則と表記法の体系である。時相論理では、「私はいつも腹ペコだ」、「私はそのうち腹ペコ...
ナビゲーションに移動検索に移動 脱線した鉄道車両チェコ・プラハの特急旅客車脱線係数(だっせんけいすう、英: derailment quotient)とは、鉄道車両の車輪に負荷する横圧を輪重で除...
ナビゲーションに移動検索に移動 脱線した鉄道車両チェコ・プラハの特急旅客車脱線係数(だっせんけいすう、英: derailment quotient)とは、鉄道車両の車輪に負荷する横圧を輪重で除...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
ナビゲーションに移動検索に移動2006年ゴールデンリンクス大会種:ISUカレンダー掲載国際大会(シニアを含む)シーズン:2006 - 2007日程:10月13日 -...
ナビゲーションに移動検索に移動2006年ゴールデンリンクス大会種:ISUカレンダー掲載国際大会(シニアを含む)シーズン:2006 - 2007日程:10月13日 -...