「C Programming Language」を解説文に含む見出し語の検索結果(741～750/1529件中)
.mw-parser-output .pathnavbox{clear:both;border:1px outset #eef;padding:0.3em 0.6em;margin:0 0 0.5em...
f(x, y) = −(x² + y²) + 4 で与えられる放物面のグラフ。(0, 0, 4) での最大値が赤い点で示されている。数学の計算機科学やオペレーションズリサーチの分野における数理最適化（...
f(x, y) = −(x² + y²) + 4 で与えられる放物面のグラフ。(0, 0, 4) での最大値が赤い点で示されている。数学の計算機科学やオペレーションズリサーチの分野における数理最適化（...
TLA+パラダイムAction登場時期1999年4月23日 (23年前) (1999-04-23)[1]設計者Leslie Lamport最新リリースTLA+2/ 2...
.mw-parser-output .pathnavbox{clear:both;border:1px outset #eef;padding:0.3em 0.6em;margin:0 0 0.5em...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
この記事には複数の問題があります。改善やノートページでの議論にご協力ください。出典がまったく示されていないか不十分です。内容に関する文献や情報源が必要です。（2022年11月）独自研究が含まれているお...
この記事には複数の問題があります。改善やノートページでの議論にご協力ください。出典がまったく示されていないか不十分です。内容に関する文献や情報源が必要です。（2022年11月）独自研究が含まれているお...
圏論においてクライスリ圏（クライスリけん、英: Kleisli category）とは、『すべてのスタンダード構成は関手の随伴対から得られるか』という予想に対し、ハインリッヒ・クライスリが解答...
圏論においてクライスリ圏（クライスリけん、英: Kleisli category）とは、『すべてのスタンダード構成は関手の随伴対から得られるか』という予想に対し、ハインリッヒ・クライスリが解答...