検索結果
ナビゲーションに移動
検索に移動
- [[Category:ソフトウェア工学]] …3キロバイト (76 語) - 2023年4月29日 (土) 14:16
- [[Category:ソフトウェア工学]] …4キロバイト (108 語) - 2024年8月28日 (水) 11:41
- {{otheruses|[[化学工学]]におけるスケールアップ|[[電気通信]]や[[ソフトウェア工学]]におけるスケールアップ|スケーラビリティ}} …2キロバイト (79 語) - 2013年1月17日 (木) 20:36
- [[Category:ソフトウェア工学]] …8キロバイト (285 語) - 2024年10月25日 (金) 12:56
- <!--[[ソフトウェア工学]]における--><!-- ← ソフトウェア工学という語はホーア論理のようにガチガチに形式的なものを指しては、あまり使われない-->'''ホーア論理'' [[Category:ソフトウェア工学]] …12キロバイト (681 語) - 2022年6月8日 (水) 11:19
- …, Ontario, Canada, 2000, ISBN 1-58113-195-X, pp.195 - 203</ref>。[[電気通信]]や[[ソフトウェア工学]]において、[[システム工学|システム]]または[[コンピュータネットワーク|ネットワーク]]または[[アルゴリズム]]の、持つべき望ましい特性の1つ …9キロバイト (183 語) - 2023年3月10日 (金) 05:08
- …]である。[[オペレーションズリサーチ]]、[[アルゴリズム]]理論、[[計算複雑性理論]]と関連していて、[[人工知能]]、[[数学]]、および[[ソフトウェア工学]]などの交差する位置にある。組合せ最適化では、厳密解が簡単に求まる場合もあれば、そうでない場合もある。厳密解を求めるのが難しいと思われる問題を解くため …6キロバイト (125 語) - 2025年3月10日 (月) 03:06
- …=American Mathematical Soc.|isbn=978-0-8218-8381-5|page=20}}</ref>第一ベッチ数の[[ソフトウェア工学]]への応用は、[[循環的複雑度]]を参照のこと。 …11キロバイト (619 語) - 2025年1月30日 (木) 16:55
- [[Category:ソフトウェア工学]] …11キロバイト (253 語) - 2024年11月24日 (日) 17:15
- [[Category:ソフトウェア工学]] …13キロバイト (741 語) - 2024年11月28日 (木) 01:54
- *[[ソフトウェア工学]] …33キロバイト (1,629 語) - 2023年9月15日 (金) 12:54
- 多くの場合は矢印の形状によって意味が変わることはないが、[[ソフトウェア工学]]の[[統一モデリング言語|UML]]のような形状によって意味の異なる例も存在する。同じ意味を示す矢印でも、国や地域によってフォルムが変わることもある …15キロバイト (492 語) - 2025年1月5日 (日) 11:17
- …論]]で研究される一種のオートマトンである。[[情報工学]]や計算機科学では、アプリケーションの動作のモデリング、デジタルシステムのハードウェア設計、ソフトウェア工学、コンパイラ設計、通信[[プロトコル]]の設計、計算と言語に関する研究などで幅広く活用されている。 …32キロバイト (1,828 語) - 2024年12月30日 (月) 20:14
- [[Category:ソフトウェア工学]] …31キロバイト (1,509 語) - 2024年7月8日 (月) 02:41
- * [[ソフトウェア工学]] …76キロバイト (3,418 語) - 2025年2月20日 (木) 09:08
- …る斬新で難しいタスクを解決できる」とし、GPT-4は「汎用人工知能システムの初期バージョン（しかしまだ未完成）とみなすのが妥当だろう」と主張し、「[[ソフトウェア工学]]の受験者の試験に合格するシステムが、本当の意味で知的ではないと言えるだろうか？<ref>{{cite news |last1=Metz |first …115キロバイト (8,850 語) - 2024年12月2日 (月) 15:32