「抽象化される」を解説文に含む見出し語の検索結果(61～70/756件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/12 13:46 UTC 版)「エンタープライズモデリング」の記事における「経済モデリング」の解説経済モデリング（英語...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/14 16:23 UTC 版)「形式手法」の記事における「自動証明」の解説一方、システムの正当性の証明を自動的に生成す...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/08/29 07:01 UTC 版)「認知言語学」の記事における「認知文法」の解説詳細は「認知文法」を参照 認知文法はロナル...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/12/16 04:51 UTC 版)「アンドレ・ヴェイユ」の記事における「谷山豊によるヴェイユ評」の解説谷山・志村予想の発案...
(PHP 4 >= 4.0.6, PHP 5 <= 5.0.5)dbx_connect — 接続/データベースをオープンする説明object dbx_connect ( mixed module, s...
viewビュー - 視点。ビュー (コンピュータ) - ある観点からのデータや画像の表示[1]。配列や文字列のようなデータの実体に対して、指定した範囲のみを参照するといったインターフェ...
Write once, run anywhere（WORA、@media screen{.mw-parser-output .fix-domain{border-bottom:dashed 1px}}...
Write once, run anywhere（WORA、@media screen{.mw-parser-output .fix-domain{border-bottom:dashed 1px}}...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
Jump to navigationJump to search形式仕様記述（けいしきしようきじゅつ、英: formal specification）とは形式手法のひとつで、何らのシステムなど...