独立性

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

独立性

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

「財務諸表監査」の記事における「独立性」の解説

＜監査基準第二 一般基準2＞ 監査人は、監査を行うに当たって、常に公正普遍の態度を保持し、独立の立場を損なう利害や独立の立場に疑いを招く外観を有してはならない。 との定めがあるように、監査人は他者の影響圧力に屈せず独立した立場で監査を行う必要がある。 また、外観的な独立性も重要である。これは監査人が被監査会社の社長の息子であるといった外部から見て監査に対して疑いをかけられるような状態を言う。いくら真に独立を保っていても外部者に疑惑を抱かせる結果となってしまうため、監査人は企業の従業員もしくは経営者の親族でないこと、および特別な利害関係がないことを明白にしなければならない。

独立性 (Isolation)

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/12/03 10:02 UTC 版)

「並行性制御」の記事における「独立性 (Isolation)」の解説

トランザクション同士が互いに影響を与えることはできない。さらに言えば、中断されたトランザクションの効果は他のトランザクションから見えない。独立性を提供することが並行性制御の主な目的である。

独立性

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/05/06 21:54 UTC 版)

「保証」の記事における「独立性」の解説

保証債務は、それによって担保されている主たる債務とは別個独立の債務である。

独立性

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/03/18 22:09 UTC 版)

「ビデオゲームジャーナリズム」の記事における「独立性」の解説

最初のコンシューマーゲームが登場して以来、自主制作のゲームのファンジン（同人誌）が出てきたとはいえ、殆どのゲーマーの生活にインターネットが浸透したことでビデオゲームのジャーナリズムにおいて独立ライターが発言できるようになった。大手ゲームパブリッシャーの殆どが当初は無視していたが、コミュニティが影響力と献身的な読者層を拡大していき、プロレベルの（またはプロに近い）執筆が増えていったことからそれらの大企業の注目を集めていった。 独立ビデオゲームサイトは一般に非営利団体で、収益は運営費用と時にはライターへの支払いに回される。独立の名前が示すように、企業やスタジオと提携しているわけではないが、無規制のサイトモデルには偏見がつきものである。多くの独立サイトがブログ形式である。読者が記事を書き、編集チームによって調整される「ユーザー提出型」のモデルもまた人気である。 近年では一部の大規模独立サイトがより大きなメディア企業（多くの場合Ziff Davis）に買収され始めており、Ziff Davisは複数の独立系サイトを所有している。 2013年から2014年にかけてIGNとGameSpotは大規模なレイオフを発表した 。

独立性(Isolation)

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

「ACID (コンピュータ科学)」の記事における「独立性(Isolation)」の解説

トランザクション中に行われる操作の過程が他の操作から隠蔽されることを指し、日本語では分離性、独立性または隔離性ともいう。より形式的には、独立性とはトランザクション履歴が直列化されていることと言える。この性質と性能はトレードオフの関係にあるため、一般的にはこの性質の一部を緩和して実装される場合が多い。 預金残高の例では、残高100万円の口座Aから残高200万円の口座Bに1万円送金する場合の操作が 口座Aの残高から1万円を引く 口座Bの残高に1万円を加える の順序で行われたとする。取りうる内部状態は、 時点口座A口座B送金前 100万円 200万円 実行中 99万円 200万円 送金後 99万円 201万円 の3つになるが、外部からは送金前と送金後のいずれかの状態しか観測できない。

独立性

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/08 15:26 UTC 版)

「ツェルメロ＝フレンケル集合論」の記事における「独立性」の解説

重要な命題の多くはZFCとは独立である（ZFCから独立な命題の一覧を参照）。独立性は通常、強制法によって証明される。強制法によってZFCの可算推移モデル（巨大基数公理で拡張されることもある）を拡張し、問題の命題を満足することが示される。すると、命題の否定を満たすための別の方法が示される。強制法による独立性の証明では、算術的命題、他の具体的な命題、および巨大基数公理からの独立性が自動的に証明される。 ZFCに依存しない命題のいくつかは、構成可能集合などの特定の内部モデル（英語版）に該当することが証明できる。ただし、構成的集合について真であるいくつかの命題は、仮定された巨大基数公理と整合しない。 強制法で、次の命題がZFCから独立であることを証明できる。 連続体仮説 ダイヤモンド原理 ススリンの仮説 マーティンの公理（これはZFCの公理ではない） 構成可能性公理（V=L）（英語版） （これもZFCの公理ではない） 備考： V=L の無矛盾性は内部モデル（英語版）によって証明できるが、強制法ではできない。ZFのどのモデルも、切り出して ZFC + V=L のモデルとすることができる。 ダイヤモンド原理は、連続体仮説とススリンの仮説の否定を含意する。 マーティンの公理と連続体仮説の否定は、ススリンの仮説を含意する。 構成可能集合は、一般化連続体仮説、ダイヤモンド原理、マーティンの公理、およびクレパ仮説を満たす。 クレパ仮説の否定は、到達不能基数の存在と同等の無矛盾性である(equiconsistent)。 強制法の変種を用いて、選択公理の無矛盾性と証明不可能性、すなわち、選択公理のZFからの独立性を示すこともできる。選択公理の無矛盾性は、内部モデル L が選択公理を満たしていることを証明することで（比較的）簡単に検証できる（したがって、ZFのどのモデルにもZFCのサブモデルが含まれているため、Con(ZF)はCon(ZFC)を含意する）。強制法は選択公理を保持するため、選択公理を満たすモデルから選択公理と矛盾するモデルを直接生成することはできない。ただし、強制法を使用して、ZFは満たすがCは満たさないサブモデルを含むモデルを作成できる。 独立性を証明する他の方法は、強制法ではなく、ゲーデルの第二不完全性定理に基づくものである。このアプローチでは、独立性を証明したい命題を用いて、ZFCの集合モデルの存在を証明する。この場合、Con(ZFC)は真となる。 ZFCはゲーデルの第二定理の条件を満たすため、ZFCの無矛盾性をZFCでは証明できない（ZFCが実際に無矛盾である場合）。したがって、ZFCでそのような証明ができる命題はない。この方法で、巨大基数の存在をZFCで証明できないことは証明できるが、ZFCが所与のときに巨大基数の存在を仮定することが無矛盾であることは証明できない。

独立性

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/03/28 04:02 UTC 版)

「財務会計基準審議会」の記事における「独立性」の解説

2009年6月、政治的圧力に応じて時価会計を改訂したFASBは、投資家諮問委員会に酷評された。ロビイスト達は銀行のために、不良資産向けの特別な会計処理を適用する許可を得ていた。

独立性

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/11/16 09:56 UTC 版)

「条件付き確率」の記事における「独立性」の解説

詳細は「独立 (確率論)」を参照 2つのランダムな事象 A と B は P ⁡ ( A ∩ B ) = P ⁡ ( A ) P ⁡ ( B ) のとき、またそのときに限り独立である。あるいは独立な事象 A と B については P ⁡ ( A ∣ B ) = P ⁡ ( A ) かつ P ⁡ ( B ∣ A ) = P ⁡ ( B ) である。言い換えれば、A と B が独立ならば、条件 B の下での A の条件付き確率は A の周辺確率に等しく、また同様に条件 A の下での B の条件付き確率は B の周辺確率に等しい。