計算機科学への応用

ウィキペディア小見出し辞書

計算機科学への応用

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/05/22 02:56 UTC 版)

「適応度」の記事における「計算機科学への応用」の解説

詳細は「遺伝的アルゴリズム」、「進化的計算」、および「最適化問題」を参照 自然選択説を計算に応用した遺伝的な最適化問題では、集団内の個体のもつさまざまな特徴から適応度を算出し個々の個体が問題に適当かを判定する。この適応度を判定する関数を適応度関数と呼ぶ。算出された適応度が高い個体は多くの子孫を残し、適応度が低い個体は子孫をあまり残さずに最終的に絶滅していくことで求める解に徐々に近づいていく。 適応度地形は最適化問題でも用いられ、山登り法、最急降下法、共役勾配法、焼きなまし法などの最適化アルゴリズム（英語版）は、適応度地形上での最良の値（最大値または最小値）を探索すると考えられる。

計算機科学への応用

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/12/07 18:51 UTC 版)

「ボトム型」の記事における「計算機科学への応用」の解説

部分型付けシステムにおいて、ボトム型はすべての型の部分型である 。（ただしその逆は成り立たない。つまり、すべて型の部分型が必ずしもボトム型であるとはいえない。）値を返さない関数（例えば無限ループや例外の送出、プログラムの終了など）の戻り値の型を表すのに使われる。 ボトム型は正常な返却ではないことを示すために使用されるので、普通は一切の値を持たない。これとは対照的にトップ型はシステム上可能なすべての値におよび、また、ユニット型はただ1つの値を持つ。ボトム型はいわゆるVoid型と混同されることがあるが、Void型に対してどんな操作も定義されないとはいえ、Void型は実際にはユニット型である。 ボトム型は次のような目的でよく使用される。 関数または計算が発散、つまり呼び出し側に結果を返さないことを知らせるため。 （これは必ずしもプログラムが終了に失敗することを意味するわけではない。サブルーチンは呼び出し側へ戻ることなく終了したり、継続のような他の手段によって脱出する可能性がある。） エラーを表すため。この利用法は主に、エラーを区別することが重要でない、理論色の強いプログラミング言語で見られる。産業色の強いプログラミング言語では、一般的にオプション型（タグ付きポインタを含む）や例外処理などの他の手法を使う。