トロッコ問題 - Wikipedia
この記事には複数の問題があります。改善やノートページでの議論にご協力ください。 脚注による出典や参考文献の参照が不十分です。脚注を追加してください。（2024年7月） 独自研究が含まれているおそれがあります。（2024年3月） トロッコ問題（トロッコもんだい、英: trolley problem）あるいはトロリー問題とは、「ある人を助けるために他の人を犠牲にするのは許されるか？」という形で功利主義と義務論の対立を扱った倫理学上の問題・課題。 フィリッパ・フットが1967年に提起し、ジュディス・ジャーヴィス・トムソン（英語版） 、フランセス・キャム（英語版）、ピーター・アンガー（英語版）などが考察を行った。人間は一体どのように倫理・道徳的なジレンマを解決するかについて知りたい場合は、この問題は有用な手がかりとなると考えられており、道徳心理学、神経倫理学では重要な論題として扱われている。 人工
Apache Solr - Wikipedia
Solr（ソーラー）は、オープンソースの全文検索システム。Apacheソフトウェア財団のLuceneプロジェクトのサブプロジェクトとして開発されている。 概要[編集] 全文検索エンジンライブラリLuceneをベースに、管理画面やキャッシュ機構を取り入れたアプリケーション。 機能上の特徴は、検索結果にファセットと呼ばれる検索結果を特定の軸でクラスタリング、それぞれの件数情報を付加することができること。商用の検索エンジンでもこの機能があるものは少ない。 構造上の特徴は、内部はいくつかのコンポーネントに分かれ、各所にプラグイン機構を持っているため拡張性に優れる、また、さまざまなキャッシュを持つことからより多くの検索クエリを捌けるようになっていること。 なお、v1.3になって追加されたDataImportHandler (DIH) という追加機能（contribに収録）を使うと、Oracleをはじ
神の存在証明 - Wikipedia
前3者は、カントが『純粋理性批判』の第三章「純粋理性の理想」において中世以来の神の存在証明に対する反論のために独自にまとめたものである。 目的論的証明[編集] 目的論的証明とは、例えば、「世界と自然の仕組みの精巧さや精妙さは、人間の思考力や技術を超えている」という考えを前提とし、「世界にこのような精巧な仕組みや因果が存在するのは、『人知を超越した者』の設計が前提になければ説明がつかない、つまり、神は存在する」という主張による証明である。 これはカントにおいては自然神学的証明とも呼ばれる。 本体論的証明[編集] アンセルムスやデカルトが、このような形の神の存在証明を試みたので有名である。この証明はいくつかのヴァリエーションを持つが、「存在する」という事態を属性として捉え、例えば次のような論理を展開する。 まず、「可能な存在者の中で最大の存在者」を思惟することができる。ここで、「任意の属性Pを
我思う、ゆえに我あり - Wikipedia
「我思う、故に我在り」（われおもう、ゆえにわれあり、仏: Je pense, donc je suis[1]、羅: Cogito ergo sum）は、デカルトが仏語の自著『方法序説』（Discours de la méthode）の中で提唱した有名な命題である。『方法序説』の他、『省察』、『哲学原理』、『真理の探究』でも類似した表現が使われているが、一様でなく、その解釈について争いがある。ラテン語訳のCogito, ergo sum（コーギトー・エルゴー・スム、cogito =我思う、ergo = 故に、sum = 我在り）との標題が有名だが、これは第三者の訳による『真理の探求』で用いられたもので、デカルト自身がこのような表現をしたことはない。『方法序説』の幾何学部分以外は、神学者のエティエンヌ・ド・クルセル（Étienne de Courcelles）がラテン語に訳し、デカルト自身が校
HTTPステータスコード - Wikipedia
HTTPステータスコードは、HTTPにおいてWebサーバからのレスポンスの意味を表現する3桁の数字からなるコードである。RFC 7231等によって定義され、IANAがHTTP Status Code Registryとして管理している。以下に一覧を示す。 1xx Informational 情報[編集] リクエストは受け取られた。処理は継続される。 100 Continue 継続。クライアントはリクエストを継続できる。サーバがリクエストの最初の部分を受け取り、まだ拒否していないことを示す。 例として、クライアントがExpect: 100-continueヘッダをつけたリクエストを行い、それをサーバが受理した場合に返される。 101 Switching Protocols プロトコル切替。サーバはリクエストを理解し、遂行のためにプロトコルの切り替えを要求している。 102 Processin
ルートヴィヒ・ウィトゲンシュタイン - Wikipedia
言語の写像理論（Picture theory of language）、真理関数、事態（State of affairs）、論理的真実・論理的必然性（Logical truth、Logical necessity）、意味の使用説（Meaning is use）、言語ゲーム、私的言語論、家族的類似、規則遵守（Rule following）、生活形式、ウィトゲンシュタインの信仰主義（Wittgensteinian fideism）、反実在論、ウィトゲンシュタインの数理哲学（Ludwig Wittgenstein's philosophy of mathematics）、日常言語学派（Ordinary language philosophy）、人工言語学派（理想言語学派）、意味の懐疑論（Meaning scepticism）、記憶の懐疑論（Memory scepticism）、意味論的外在主義（
ユニットテスト・フレームワーク一覧 - Wikipedia
以下は様々なプログラミング言語のためのコード駆動型のユニット・テスト・フレームワークの一覧である。全てではないが、これらの幾つかはxUnitに基づいている。 表の各列の説明 (分類)[編集] 名前: この列はフレームワークの名前及び、Wikipedia内にその項目があればそれへのリンクを含む。 xUnit: この列はフレームワークがxUnit型のフレームワークであるかどうかを示す。 TAP: この列はフレームワークがTAP準拠のテスト・ハーネスを出力できるかどうかを示す。 ジェネレータ: この列はフレームワークがデータ・ジェネレータをサポートするかどうかを示す。データ・ジェネレータはあるテストの入力データを自動的に生成し、生成した各データについてそのテストを実行する。 フィクスチャ: この列はフレームワークがテスト毎のフィクスチャをサポートするかどうかを示す。テスト毎のフィクスチャは個々の
)
シバン (Unix) - Wikipedia
「＃!」[1]や「ハッシュバン」はこの項目へ転送されています。URLに使われるものについては「[[URIフラグメント#hash-bang（英語版）]]」をご覧ください。 シバンまたはシェバン (英: shebang) とはUNIXのスクリプトの #! から始まる1行目のこと。起動してスクリプトを読み込むインタプリタを指定する。番号記号と感嘆符から、ハッシュ・バン(hash bang)またはシェル・バン(shell bang)、シャープ・バン(sharp bang)とも言うが、これらを縮めたシェバンという呼び方が一般的かつ簡素である[2]。 例[編集] パスを直接指定する。Bourne shell の例。 #!/bin/sh echo 'Hello world!' Ruby言語のインタプリタ ruby の例（env コマンドを用いたトリック）。 #!/usr/bin/env ruby put
名前付きパイプ - Wikipedia
名前付きパイプ（英: named pipe）は、UNIXおよびUnix系の通常のパイプを拡張したもので、プロセス間通信の技法の1つ。その概念は Microsoft Windows にもあるが、意味論は大幅に異なる。通常のパイプは「無名」であり、使用しているプロセスが動作中のみ存在する。名前付きパイプは永続的で、プロセスが消滅しても存在し続けるので、使わなくなったら削除する必要がある。名前付きパイプはファイルのように扱うことができ、プロセス間通信 (IPC) を行うためにプロセスがオープンして使用する。一般にパイプの動作はFIFOだが、名前付きパイプは、ファイルシステム中での種別（通常ファイル、ディレクトリ、デバイスファイル、etc）として「FIFO」と呼ばれている。 Unix系[編集] 通常のシェルで使用する無名のパイプとは異なり、名前付きパイプはファイルシステムを使用する。mkfifo(
RubyGems - Wikipedia
RubyGemsは、Ruby言語用のパッケージ管理システムであり、Rubyのプログラムと（"gem" と呼ばれる）ライブラリの配布用標準フォーマットを提供している。gemを容易に管理でき、gemを配布するサーバの機能も持つ。Rubyバージョン1.9以降では標準ライブラリの一部となっている。 Gem コマンド[編集] gem コマンドは gem パッケージのビルド, アップロード, ダウンロード, インストールに使われる。 Gem 使用法[編集] RubyGems の機能は apt-get に似たものとなっている。 インストール: gem install mygem アンインストール: gem uninstall mygem インストール済みの gem リスト表示: gem list --local 利用可能な gem のリスト表示: gem list --remote RDoc ドキュメン
テストダブル - Wikipedia
テストダブル (Test Double) とは、ソフトウェアテストにおいて、テスト対象が依存しているコンポーネントを置き換える代用品のこと。ダブルは代役、影武者を意味する。 テストを実行するには、被試験システムに加えて、テスト対象が依存するコンポーネント (DOC; Depend-On Component) が必要になる。しかし、依存コンポーネントは、常に利用できるとは限らない。依存コンポーネントがテスト環境で利用できない理由には、次のようなものが挙げられる[1]。 入手できない。 テストで使いたい結果を返さない。 実行に時間がかかるなどの、望ましくない副作用がある。 こういった問題を回避するには、依存コンポーネントを、テスト用のコンポーネントと入れ替えるテクニックが利用できる。この代用のコンポーネントを、テストダブルと呼ぶ。 テストダブルのパターン[編集] ジェラルド・メサローシュは、テ
不動点コンビネータ - Wikipedia
「Yコンビネータ」は不動点演算子について説明しているこの項目へ転送されています。カリフォルニア州の企業については「Yコンビネータ (企業)」をご覧ください。 不動点コンビネータ（ふどうてんコンビネータ、英: fixed point combinator、不動点結合子、ふどうてんけつごうし）とは、与えられた関数の不動点（のひとつ）を求める高階関数である。不動点演算子（ふどうてんえんざんし、英: fixed-point operator）、パラドキシカル結合子（英: paradoxical combinator）などとも呼ばれる。ここで関数 の不動点とは、 を満たすような のことをいう。 すなわち高階関数 が不動点コンビネータであるとは、 任意の関数 に対し、 とすると, が成立する 事を指す。 あるいは全く同じことだが、不動点コンビネータの定義は、任意の関数 に対し、 が成立する事であるとも
難解プログラミング言語 - Wikipedia
英語版記事を日本語へ機械翻訳したバージョン（Google翻訳）。 万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。 信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。 履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。 翻訳後、{{翻訳告知|en|Esoteric programming language|…}}をノートに追加することもできます。 Wikipedia:翻訳のガイドラインに、より詳細な翻
数学記号の表 - Wikipedia
「数学記号」はこの項目へ転送されています。ウィキペディアにおける数式の書き方については「ヘルプ:数式の書き方」をご覧ください。 数学的概念を記述する記号を数学記号という。数学記号は、数学上に抽象された概念を簡潔に表すためにしばしば用いられる。 数学記号が示す対象やその定義は、基本的にそれを用いる人に委ねられるため、同じ記号に見えても内容が異なっているということがあれば、逆に、異なって見える記号が同じ対象を示しているということもある[注 1]。従って本項に示す数学記号とそれに対応する数学的対象は、数多くある記号や概念のうち、特に慣用されうるものに限られる。 記号論理の記号[編集] 以下の解説において、文字 P, Q, R はそれぞれ何らかの命題を表すものとする。 記号 意味 解説
ラムダ計算 - Wikipedia
この記事には参考文献や外部リンクの一覧が含まれていますが、脚注による参照が不十分であるため、情報源が依然不明確です。適切な位置に脚注を追加して、記事の信頼性向上にご協力ください。（2020年5月） ラムダ計算（ラムダけいさん、英語: lambda calculus）は、計算模型のひとつで、計算の実行を関数への引数の評価（英語: evaluation）と適用（英語: application）としてモデル化・抽象化した計算体系である。ラムダ算法とも言う。関数を表現する式に文字ラムダ (λ) を使うという慣習からその名がある。アロンゾ・チャーチとスティーヴン・コール・クリーネによって1930年代に考案された。1936年にチャーチはラムダ計算を用いて一階述語論理の決定可能性問題を（否定的に）解いた。ラムダ計算は「計算可能な関数」とはなにかを定義するために用いられることもある。計算の意味論や型理論な
Internet Relay Chat - Wikipedia
Internet Relay Chat（インターネット・リレー・チャット、略称 : IRC）とは、サーバを介してクライアントとクライアントが会話をする枠組みの名称である。インスタントメッセンジャーのプロトコルの一つに分類される。また、これに基づいて実装されるソフトをIRCクライアントと呼び、しばし略してクライアントもIRCと呼ばれる事がある。文章のみをやり取りして会話を行い、DCCなどを利用することでファイル転送も対応する。 TCPを通信用のプロトコルとして主に用いる。TLSで暗号化することもできる。 歴史[編集] Internet Relay Chat（以下「IRC」と記述する）は1988年8月にフィンランドの OuluBox というBBSで使われていたMUTと呼ばれるプログラムの代替としてヤルッコ・オイカリネン (Jarkko Oikarinen) によって作られた[1]。BITNET
cURL - Wikipedia
cURL（カール[1]）は、さまざまなプロトコルを用いてデータを転送するライブラリとコマンドラインツールを提供するプロジェクトである。cURLプロジェクトは libcurl と curl の2つの成果を生んでいる。[2] libcurl[編集] libcurlとはフリーで使いやすいクライアントサイドURL転送ライブラリであり、2013年10月現在、DICT、FILE、FTP、FTPS、GOPHER、HTTP、HTTPS、LDAP、LDAPS、SCP、SFTP、TELNET、TFTPのスキームをサポートしている[3]。2010年2月9日のバージョン7.20.0以降はIMAP、POP3、POP3S、SMTP、SMTPS、RTSPもサポートしている。 libcurlはまたX.509証明書、HTTP POST、HTTP PUT、FTPアップロード、kerberos、HTTPのフォームによるアップロ
Preboot Execution Environment - Wikipedia
Preboot eXecution Environment（PXE、ピー・エックス・イー、ピクシー）は、コンピュータのブート環境のひとつ。インテルの策定したネットワークブートの規格である。ネットワークブートを利用することにより、ストレージをもたないクライアントコンピュータや、ストレージに別のOSが導入されているクライアントコンピュータがサーバ上のOSイメージを使用して起動できる。 概要[編集] PXEブート環境を構築することで、HDDなどのストレージを持たないコンピューター（シンクライアントの類）へOSイメージを送り込んで動作させたり、DVDドライブなどインストールメディアを持たないコンピューターへインストールイメージを送り込んでインストーラーを起動させたりすることが可能になる。 構成[編集] PXEによるネットワークブートには次の構成が必要である。 クライアント PXEに準拠したソフトウ
ハノイの塔 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "ハノイの塔" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2017年7月） 8つの円盤のハノイの塔 ハノイの塔（ハノイのとう、英: Tower of Hanoi）は、パズルの一種。 バラモンの塔または ルーカスタワー（英: Lucas' Tower）[注 1]とも呼ばれる。 ルール[編集] 以下のルールに従ってすべての円盤を右端の杭に移動させられれば完成。 3本の杭と、中央に穴の開いた大きさの異なる複数の円盤から構成される。 最初はすべての円盤が左端の杭に小さいものが上になるように順に積み重ねられている。 円盤を一回に一枚ずつどれかの杭
食事する哲学者の問題 - Wikipedia
食事する哲学者の問題（しょくじするてつがくしゃのもんだい、Dining Philosophers Problem）とは、並列処理に関する問題を一般化した例である。古典的なマルチプロセスの同期（排他制御）問題であり、大学レベルの計算機科学課程にはほぼ確実に含まれている。 1965年、エドガー・ダイクストラは5台のコンピュータが5台のテープ装置に競合アクセスするという同期問題を提示した。間もなく、この問題はアントニー・ホーアによって「食事する哲学者の問題」に変形して語られることとなった[1][2][3]。 問題[編集] 5人の哲学者が食事したり、考え事をしたりしている。彼らの前には、真ん中にスパゲッティの入った大きなボウルが置かれた丸い食卓がある。その食卓には5枚の皿が置かれ、皿と皿の間にフォークが1本ずつ置かれている。（近年では、食器を「フォーク」ではなく「箸」として紹介する例も見られる[4
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
