ブラウザよりも高速アクセス！
13 関係: 参照透過性、専門用語、プログラミング言語、分散コンピューティング、コンピュータ、ジョン・ペンドリー、光学迷彩、理論物理学、透過率 (光学)、透過性 (情報工学)、透明、概念、性質。
参照透過性
参照透過性（さんしょうとうかせい、Referential transparency）は、計算機言語の概念の一種である。ある式が参照透過であるとは、その式をその式の値に置き換えてもプログラムの振る舞いが変わらない(言い換えれば、同じ入力に対して同じ作用と同じ出力とを持つプログラムになる)ことを言う。具体的には変数の値は最初に定義した値と常に同じであり、関数は同じ変数を引数として与えられれば同じ値を返すということになる。当然変数に値を割り当てなおす演算である代入 (Assignment) を行う式は存在しない。このように参照透過性が成り立っている場合、ある式の値、例えば関数値、変数値についてどこに記憶されている値を参照しているかということは考慮する必要がない、即ち参照について透過的であるといえる。 参照透過性が成り立つ言語は式の値がプログラムのテキストから定まるという特徴から宣言型言語 (Declarative language) と呼ばれたり、関数の数学的性質が保たれるという特徴から純粋関数型言語 (Pure functional language) と呼ばれたりする。一方変数の値の変更が認められているような参照透過的でない言語を手続き型言語と呼ぶ。ただ、手続き型言語は機械語プログラミングとの繋がりという歴史的な事情により手続きが式でなく命令列で表現されたことから命令型言語と呼ばれることもあり、そのような場合との対比で単に式（例えば関数や変数の組み合わせ）でプログラムが表現されているだけの言語、あるいは高階関数の仕組みを備えた言語をひっくるめて、代入が可能であるかないかを問わず、関数型言語と呼ぶことも多い。結局現状では単に関数型言語という場合は参照透過的な言語（即ち純粋関数型言語）とそうでない関数型言語を両方とも含むということになっている。 また以上に関連して分散処理を記述する場合に、あるデータがどのノード上にあるかを意識せず透過的にアクセスできるという性質も参照透過性と呼ばれる。.
専門用語
専門用語（せんもんようご）とは、ある特定の職業に従事する者や、ある特定の学問の分野、業界等の間でのみ使用され、通用する言葉・用語群である。テクニカルターム（英語 technical term）とも言われる。.
プログラミング言語
プログラミング言語（プログラミングげんご、programming language）とは、コンピュータプログラムを記述するための形式言語である。なお、コンピュータ以外にもプログラマブルなものがあることを考慮するならば、この記事で扱っている内容については、「コンピュータプログラミング言語」（computer programming language）に限定されている。.
新しい！!: 透過性とプログラミング言語 · 続きを見る »
分散コンピューティング
分散コンピューティング（ぶんさんコンピューティング、英: Distributed computing）とは、プログラムの個々の部分が同時並行的に複数のコンピュータ上で実行され、各々がネットワークを介して互いに通信を行いながら全体として処理が進行する計算手法のことである。複雑な計算などをネットワークを介して複数のコンピュータを利用して行うことで、一台のコンピュータで計算するよりスループットを上げようとする取り組み、またはそれを実現する為の仕組みである。分散処理（ぶんさんしょり）ともいう。並列コンピューティングの一形態に分類されるが、一般に並列コンピューティングと言えば、同時並行に実行する主体は同じコンピュータシステム内のCPU群である。ただし、どちらもプログラムの分割（同時に実行できる部分にプログラムを分けること）が必須である。分散コンピューティングではさらに、それぞれの部分が異なる環境でも動作できるようにしなければならない。例えば、2台の異なるハードウェアを使ったコンピュータで、それぞれ異なるファイルシステム構成であっても動作するよう配慮する必要がある。 問題を複数の部分問題に分けて各コンピュータに実行させるのが基本であり、素数探索や数多く試してみる以外に解決できない問題の対処として用いられているものが多い。分散コンピューティングの例としてBOINCがある。これは、大きな問題を多数の小さな問題に分割し、多数のコンピュータに分配するフレームワークである。その後、それぞれの結果を集めて大きな解を得る。一般的に処理を分散すると一台のコンピュータで計算する場合と比べ、問題データの分配、収集、集計するためのネットワークの負荷が増加し、問題解決の為のボトルネックとなるため、部分問題間の依存関係を減らすことが重要な課題となる。 分散コンピューティングは、コンピュータ同士をネットワーク接続し、効率的に通信できるよう努力した結果として自然に生まれた。しかし、分散コンピューティングはコンピュータネットワークと同義ではない。単にコンピュータネットワークと言った場合、複数のコンピュータが互いにやり取りするが、単一のプログラムの処理を共有することはない。World Wide Web はコンピュータネットワークの例であるが、分散コンピューティングの例ではない。 分散処理を構築するための様々な技術や標準が存在し、一部はその目的に特化して設計されている。例えば、遠隔手続き呼出し (RPC)、Java Remote Method Invocation (Java RMI)、.NET Remoting などがある。.
新しい！!: 透過性と分散コンピューティング · 続きを見る »
コンピュータ
ンピュータ（Computer）とは、自動計算機、とくに計算開始後は人手を介さずに計算終了まで動作する電子式汎用計算機。実際の対象は文字の置き換えなど数値計算に限らず、情報処理やコンピューティングと呼ばれる幅広い分野で応用される。現代ではプログラム内蔵方式のディジタルコンピュータを指す場合が多く、特にパーソナルコンピュータやメインフレーム、スーパーコンピュータなどを含めた汎用的なシステムを指すことが多いが、ディジタルコンピュータは特定の機能を実現するために機械や装置等に組み込まれる組み込みシステムとしても広く用いられる。電卓・機械式計算機・アナログ計算機については各項を参照。.
新しい！!: 透過性とコンピュータ · 続きを見る »
ジョン・ペンドリー
ョン・ブライアン・ペンドリー (Sir John Brian Pendry、FRS FInstP、1943年7月4日 -) はイギリスの理論物理学者。屈折率の研究と初めて実用的な「透明マント」を考案したことで有名。インペリアル・カレッジ・ロンドンで理論固体物理学の教授を務めており、そこで物理学科長(1998年 – 2001年)と理学部長(2001年 – 2002年)も務めた。ケンブリッジ大学のダウニング・カレッジ（学部時代の出身）の名誉フェローであり、IEEEフェローである。2014年にシュテファン・ヘル、Thomas Ebbesenとともにカヴリ賞ナノサイエンス部門を受賞した。受賞理由は「光学顕微鏡と光学イメージングの解像限界による制約についての長年の信念を壊したナノ光学の分野への変革的貢.
新しい！!: 透過性とジョン・ペンドリー · 続きを見る »
光学迷彩
ウイカといった多くの頭足類は信号のためや背景と調和させるために素早く色を変化させることができる。 光学迷彩（こうがくめいさい、、）は、視覚的（光学的）に対象を透明化する技術の事である。自然界ではカメレオンやイカ、タコ等の保護色を変える擬態などがみられるが、人間の手による光学迷彩はSF作品等に登場する未来の科学技術であった。 2000年代に入り、メタマテリアルなどの新素材を用いることによって、一定の迷彩が実現されている。軍事利用だけでなく、コンピュータ支援外科やメタバースやユビキタスコンピューティングの分野でも研究が進められている。.
理論物理学
論物理学（りろんぶつりがく、）は、物理学において、理論的な模型や理論的仮定（主に数学的な仮定）を基に理論を構築し、既知の実験事実（観測や観察の結果）や、自然現象などを説明し、かつ未知の現象に対しても予想する物理理論を扱う分野のこと。実験物理学と対比して使われる言葉。 手段として、伝統的な紙と鉛筆によるもの以外に、現在ではコンピュータによる数値的なシミュレーション、数値解析、物理シミュレーションなどにおいて使用される計算機も重要なものの一つとなっている。このシミュレーションなどによる計算物理学分野も、通常は理論物理学に含める。ただ計算物理学を、理論、実験以外の第三の分野と捉える考え方もある。 物理学が理論物理学と実験物理学に分化したのは、19世紀後半から20世紀初頭にかけての物理学の急速な発展に原因がある。それまでの物理学の知識の集積は、一人の物理学者が実験と理論の両方を十分カバーできる程度のものであった。しかし急速な発展の結果、物理学の領域はあまりにも巨大化・複雑化しすぎて、全体を把握することが困難となった。理論的な考察を行なうために習得しなければならない数学的手法や既存の物理理論も膨大な量になって、習得に何年もかかるようになった。このため、それぞれ担当分野に分かれて研究を進める他なくなったのである。ロシア（旧ソ連）のレフ・ダヴィドヴィッチ・ランダウが自国の物理学者志望の学生に課した「理論ミニマム」教程（最低限の知識）にもそれが現れている。.
透過率 (光学)
透過率（とうかりつ、英語: transmittance）または透過度（とうかど）とは、光学および分光法において、特定の波長の入射光が試料を通過する割合である。 ここで、I_0 は入射光の放射発散度、I は試料を通過した光の放射発散度である。試料の透過率は百分率で示すこともある。 透過率は吸光度 A と次の関係にある。 あるいは、自然対数を使うと、次のようになる。 この式とランベルト・ベールの法則から、透過率は次のようにも表せる。 ここで \alpha は吸収係数、x は経路長である。 光学材料では、表面（界面）で光が反射されるため、素材自体の透過率のことを内部透過率、界面をふくめた全体の透過率を外部透過率と呼ぶ。.
新しい！!: 透過性と透過率 (光学) · 続きを見る »
透過性 (情報工学)
以下はヒトとコンピュータとのインタラクションにおける透過性（とうかせい、）の説明である。プログラミングにおける透過性は参照透過性を参照。 ヒューマンマシンインターフェースにおいてユーザーが技術的詳細に悩まずに済む使い易さの側面であり、例えば、プログラムがディスプレイの解像度を自動認識する方がユーザーにいちいち質問するものよりも「透過的」であると言える。 ネットワークにおいては、同一のユーザーインターフェイスやアプリケーションインターフェイスで異なる論理動作をサポートするソフトウェアは「透過的」であると言える。例えば、Network File System は遠隔地にあるファイルをあたかもローカルな記憶装置に置かれているかのようにアクセスできるようにしている。 同様に、一部のファイルシステムは「透過的」にデータの圧縮と解凍を行い、より多くのファイルを記憶媒体上に格納できるようにしており、ユーザーは特別な技術的知識を必要としない。他にも透過的にファイルを暗号化するファイルシステムもある。また、様々なデータベースを利用できるようにアプリケーションにデータベースアクセスのための抽象化層を開発することがある。この抽象化層はデータベースへの「透過的」なアクセスを実現するものである。オブジェクト指向プログラミングでは、実装の異なる同一インターフェイスを使用することによって透過性を実現する。 8ビットクリーンな通信ネットワークは、制御文字がどのように送られるかといった知識なしに任意のファイルを転送できる。電子メール等の8ビットクリーンではない通信ネットワークでは、制御文字や8ビット文字の通過できない文字を送信する前に通過できる文字に変換し、受信した後で元に戻すことによって、該通信ネットワークで転送できる文字の知識なしにファイルを転送できる透過性を実現する。.
新しい！!: 透過性と透過性 (情報工学) · 続きを見る »
透明
透明な水晶 透明（とうめい）とは、物体の反対側や内部にあるものが透けて見えること。曇ったり、歪んだりはしているが見える「半透明」もあれば、極端な場合には間にある物体が存在しないかのように感じられる。 転じて「透明な」「透明性」などの形で、比喩として様々な意味・文脈でも用いられる概念である。特に行政や企業の運営状況等の公開に関連して「透明性」の語が用いられる。.
概念
概念（がいねん、哲学では仏: notion、独: Begriffというが、日常的に仏: concept、独: Konzeptという。コンセプトは前記フランス語から由来している）は、命題の要素となる項（Terminus）が表すものであり、言い換えれば、それが言語で表現された場合に名辞（Terminus）となるものが概念である。 事象に対して、抽象化・ 普遍化してとらえた、思考の基礎となる基本的な形態として、脳の機能によってとらえたもの。.
性質
記載なし。
