Copyright (c) レディースアイテム All Rights Reserved.

金融書籍

金融書籍ページ





用語

理論計算機科学(りろんけいさんきかがく、英語:theoretical computer science)は計算機を理論的に研究する学問で、計算機科学の一分野である。計算機を数理モデル化して数学的に研究することを特徴としている。数学的という言葉は広義には公理的に扱えるもの全てを指すので、理論計算機科学は広義の数学の一分野でもある。理論計算機科学では、現実のコンピュータを扱うことも多いが、チューリングマシンなどの計算モデルを扱うことも多い。

サブルーチン(英: subroutine)は、コンピュータプログラミングにおいて、プログラム中で意味や内容がまとまっている作業をひとつの手続きとしたものである。繰り返し利用されるルーチン作業をモジュールとしてまとめたもので、呼び出す側の主となるもの(メインルーチン)と対比してサブルーチン」呼ばれる。サブプログラム (subprogram) と呼ばれることもある。また、サブをつけずにルーチンと呼ぶこともある。