Back

ⓘ 計算機科学 - 計算機科学教育, 理論計算機科学, リフレクション, 計算機科学, 計算機科学哲学, 計算機工学, 計算科学 ..




                                               

計算機科学教育

計算機科学 (けいさんきかがく、英: computer science 、コンピュータ科学)とは、情報と計算の理論的基礎、及びそのコンピュータ上への実装と応用に関する研究分野である。コンピュータ科学には様々な分野がある。コンピュータグラフィックスのように応用に力点がある領域もあれば、理論計算機科学と呼ばれる分野のように数学的な性格が強い分野もある。計算科学は科学技術計算という「計算需要」に応えるための分野であり、それを実現する手段の研究は高性能計算である。また、一見わかりやすい分類として、計算機工学など「ハードウェア」と、プログラミングなど「ソフトウェア」という分類があるが、再構成可能コンピューティングのよう ...

                                               

理論計算機科学

理論計算機科学 (りろんけいさんきかがく、英語:theoretical computer science)は計算機を理論的に研究する学問で、計算機科学の一分野である。計算機を数理モデル化して数学的に研究することを特徴としている。「数学的」という言葉は広義には公理的に扱えるもの全てを指すので、理論計算機科学は広義の数学の一分野でもある。理論計算機科学では、現実のコンピュータを扱うことも多いが、チューリングマシンなどの計算モデルを扱うことも多い。 この分野のテーマの例を以下に挙げる(特に意図や理由のある選出ではない)。 ラムダ計算:計算機のモデルの一つであるラムダ計算を研究する学問。 アルゴリズム論:ある関数に対する具体的な ...

                                               

リフレクション (計算機科学)

計算機科学における 自己反映計算 (reflection、リフレクション)とは、計算機システムにおいて対象レベルとメタレベルを分離し、データとしてシステム自身を 因果結合 することで対象レベルの推論や計算に関するメタな情報を、メタレベルで明示的に記述して操作することをいう。因果結合を実現する方法は複数存在する。

                                               

計算機科学哲学

計算機科学哲学 とは、計算機科学についての考察から生ずる哲学的問題に関する学問分野である。 プログラミングという行為のみを対象としている訳ではなく、計算機システムの開発や保守を支援する概念や方法の、全体的な研究を意味すると理解されている。 物理学哲学や数学哲学の様に、計算機科学哲学を発展させようとする幾つかの試みにも関わらず、計算機科学哲学の内容、目的、焦点、或は話題についての方向性はまだ存在しない。 以上の様に、計算機科学哲学は、計算機システムを実装や分析に就いての概念や方法の発明に関連するメタ活動を扱う分野である。

                                               

計算機工学

計算機工学 (けいさんきこうがく、英語:Computer Engineering、 コンピュータ工学 )は、計算機科学と、電子工学などのコンピュータの実現に必要となる工学分野を組み合わせた学問分野である。たとえば、コンピュータの設計者は、ハードウェアやソフトウェアについての科学やそれらの統合に関しての他に、ある程度の電子工学などの知識を必要とする(さらには冷却などについても考える必要があるかもしれない)。従って、電子工学の中でも、いわゆる「弱電」を主とし、電気工学寄りな部分(いわゆる「強電」)や物理学的側面には、一般には重きを置かない(たとえばスーパーコンピューティングのための高速素子の研究など、例外もある)。 ...

                                               

計算科学

計算科学 (けいさんかがく、英: computational science )は、数学的モデルとその定量的評価法を構築し、計算機を活用して科学技術上の問題を解決する学問分野である。具体的には、様々な問題の計算機によるシミュレーションやその他の計算手法の適用を指す。

                                     

ⓘ 計算機科学

  • 計算機科学 けいさんきかがく 英: computer science コンピュータ 科学 とは 情報と 計算 の理論的基礎 及びそのコンピュータ上への実装と応用に関する研究分野である コンピュータ 科学 には様々な分野がある コンピュータグラフィックスのように応用に力点がある領域もあれば 理論 計算機科学
  • 理論 計算機科学 りろんけいさんきかがく 英語 theoretical computer science は 計算機 を理論的に研究する学問で 計算機科学 の一分野である 計算機 を数理モデル化して数学的に研究することを特徴としている 数学的 という言葉は広義には公理的に扱えるもの全てを指すので 理論計算
  • 計算機科学 における自己反映 計算 reflection リフレクション とは 計算機 システムにおいて対象レベルとメタレベルを分離し データとしてシステム自身を因果結合 causally connect することで対象レベルの推論や 計算 に関するメタな情報を メタレベルで明示的に記述して操作することを
  • 計算機科学 哲学の内容 目的 焦点 或は話題についての方向性はまだ存在しない 以上の様に 計算機科学 哲学は 計算機 システムを実装や分析に就いての概念や方法の発明に関連するメタ活動を扱う分野である 計算機 援用証明 人工知能哲学 情報哲学 数学哲学 科学 哲学 技術哲学 Turner
  • 計算機 工学 けいさんきこうがく 英語 Computer Engineering コンピュータ工学 は 計算機科学 と 電子工学などのコンピュータの実現に必要となる工学分野を組み合わせた学問分野である たとえば コンピュータの設計者は ハードウェアやソフトウェアについての 科学
  • 計算 科学 けいさんかがく 英: computational science は 数学的モデルとその定量的評価法を構築し 計算機 を活用して 科学 技術上の問題を解決する学問分野である 具体的には 様々な問題の 計算機 によるシミュレーションやその他の 計算 手法の適用を指す 計算 科学 は 計算機科学
  • 佐藤 雅彦 さとう まさひこ 1947年 - は 理論 計算機科学 者 京都大学名誉教授 数理論理学に基づくプログラム理論 定理証明 構成的プログラミング環境の 計算機 上での実現を研究テーマとしている 1971年東京大学理学部数学科卒 73年同大学院修士課程修了 京都大学数理解析研究所 東北大学電気通
  • 計算機科学 の未解決問題 けいさんきかがくのみかいけつもんだい とは 計算機科学 における未解決の問題のこと Pとは多項式時間で解答の見つかる問題のクラスを表し これに対しNPは多項式時間で解答が検証できる問題のクラスを表す クラスPの問題は同時にクラスNPであることは証明されている つまりP NP
  • 計算機科学 においてスーパークラス 英: superclass とは 他の下位クラスの派生元となる上位クラスのことである スーパークラスは親クラスや基底クラスとも呼ばれる スーパークラスから派生したクラスは子クラス 派生クラス あるいはサブクラスとして知られている クラスAがクラスBのサブクラスであるとき クラスAはクラスBを拡張
  • Computational Science AICS から名称が変更された 計算 科学 研究機構は000000002010 - 07 - 01 - 00002010年7月に次世代スーパーコンピュータの共用に係る業務と 計算 資源の利活用を通じた 計算 科学 と 計算機科学 の連携による研究と発展のために設立された
  • 計算機科学 コンピュータ 科学 Computer Science をはじめとして 周辺の学術分野ではComputer コンピュータ の訳語として 計算機 が使われることが多いが 専門用語 学術用語というよりジャーゴン的である なお コンピュータ 科学
  • 松岡 聡 まつおか さとし 1963年 - は 日本の 計算機科学 者 東京都出身 1982年私立武蔵高校卒 1986年東京大学理学部情報 科学 科卒 高校3年から修士課程までの間 創業期のハル研究所に関わり 後に任天堂代表取締役となる岩田聡と共同でファミリーコンピュータ専用ソフト ピンボール の開発等に携わる

Users also searched:

...
...
...