便利サイト

知らないだけの便利なサイトって
たくさんあると思うんですよ
まだ見つけていないだけの
便利なサイトに出会えると
いいですよね

色々な便利なサイトを紹介しています
便利サイト

形式体系に関係する科学の総称である。
論理学、数学、システム科学に加え、
計算機科学、情報理論、情報学、
ミクロ経済学、統計学、言語学などといった
分野の理論ベースの細分野がこれに含まれる。
形式科学で扱うのは記号システムによって
記述される抽象的構造であり、
結果は公理や理論上のアイデアから
推論のみによって導き出される。
これは、自然科学が現実世界を扱い、
観測・観察から得られた知識をもとに
結果を導き出すのと対照的である。
しかし、形式科学で扱う体系は
現実世界のものをモチーフしたものが多い。
また、形式科学の結果は自然科学において
現実世界を簡潔に理解するための構造を
つくるのに応用されることが多い。
形式科学で扱う体系は純粋に
理論的なものであるので、
現実世界そのものではない。
しかし、時として理論的な
モデルは現実世界を完全に描写することができるとか、
理論が現実そのものであるなどと
信じられてしまうことがある。

学際的な学問の領域の1つであり、
自然、生命、医療、
社会科学にわたる広範な領域で、
複雑な対象を"システム"として把握し、
対象固有の領域知としてではなく、
認識装置 としてのシステムモデルや
システム的性質によって、
対象を把握・分析し、
またそれらを人工物としてデザインし、
或は合成・分解・制御・マネージ
しようとする学問体系である。
この学問は、多様な分野に適用可能な、
可能な限り学際的で異領域を
つなぐ事のできる認識地図や
諸モデルを構築することを目標としている。

情報と計算の理論的基礎、
及びそのコンピュータ上への
実装と応用に関する研究分野である。
コンピュータ科学には様々な分野がある。
コンピュータグラフィックスのように
応用に力点がある領域もあれば、
理論計算機科学と呼ばれる
分野のように数学的な性格が
強い分野もある。計算科学は
科学技術計算という計算需要に
応えるための分野であり、
それを実現する手段の研究は
高性能計算である。