「oriented graph」を解説文に含む見出し語の検索結果(21~30/52件中)
ナビゲーションに移動検索に移動計算機科学における表示的意味論(ひょうじてきいみろん、英: Denotational Semantics)とは、プログラミング言語の意味を形式的に記述する形式意味...
ナビゲーションに移動検索に移動計算機科学における表示的意味論(ひょうじてきいみろん、英: Denotational Semantics)とは、プログラミング言語の意味を形式的に記述する形式意味...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .stack{box-sizing:border-box}.mw-parser-output .stack>div{margin:1px;overflow:hidd...
.mw-parser-output .stack{box-sizing:border-box}.mw-parser-output .stack>div{margin:1px;overflow:hidd...
数学の結び目理論においてコンツェビッチ不変量(Kontsevich invariant)又はコンツェビッチ積分(Kontsevich integral)とは、反復積分によって定義される結び目または絡み...
数学の結び目理論においてコンツェビッチ不変量(Kontsevich invariant)又はコンツェビッチ積分(Kontsevich integral)とは、反復積分によって定義される結び目または絡み...
池内 克史(いけうち かつし)は、日本のコンピュータビジョン分野の計算機科学者。経歴・人物大阪府生まれ。大阪府立茨木高等学校卒業。京都大学工学部機械工学科卒業。東京大学大学院工学系研究科情報工学専攻博...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...