矛盾許容論理 - Wikipedia
矛盾許容論理（むじゅんきょようろんり、Paraconsistent Logic）とは、矛盾を特別な方法で扱う論理体系。また、矛盾に対して耐性のある論理を研究・構築する論理学の一分野を指す。矛盾許容型論理とも。 矛盾許容論理は1910年ごろにはすでに存在していた（原始的な形ではアリストテレスまで遡る）。しかし、矛盾許容（Paraconsistent）という用語が使われるようになったのは 1976年であり、ペルー人哲学者 Francisco Miró Quesada が最初である[1]。 定義[編集] 古典論理や直観主義論理では、矛盾からはあらゆることが導かれる。この特徴を爆発律（英語版）[2]などと呼び、形式的には次のように表される: ここで は論理的帰結関係を意味する。言葉で表すならば、「AかつAでないならば、Bである」という意味である。このBは任意である、つまり全てが自明となる。 上記の
多値論理 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "多値論理" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2019年12月） 多値論理（たちろんり）とは、真理値の値を、いわゆる真偽値すなわち真と偽の2個だけでなく、3個あるいはそれ以上の多数の値とした論理体系で、非古典論理の一種である。 様々な「多値」[編集] 多値論理の背景のひとつに『真』『偽』以外に『不明』というのもあってよいのではないかという発想がある。そこから直接出てくるものは3値論理であるが、3個というのはどうにも収まりが悪く、4つの真理値を持つ体系も研究された。更にもっと多くの有限個、あるいは無限個の真理値を持つ体系などもあ
砂山のパラドックス - Wikipedia
砂山から砂粒を取り去っても依然として砂山のままだが、それから何度も取り続けて最終的に一粒だけが残った時に、その一粒だけを指して「これは砂山である」と言えるのか。 砂山のパラドックス（すなやまのパラドックス、英: paradox of the heap）は、述語の曖昧性から生じるパラドックスである。古典ギリシア語で"heap"を意味する「ソリテス」（σωρίτης、sōritēs）にちなんで[注釈 1]、ソリテス・パラドックス、ソライティーズ・パラドックス（英: sorites paradox）とも呼ばれる。 定義や境界値が明確でなく曖昧な概念をどう扱うかという問題であり、主に論理学の哲学・言語哲学において問題になる。というのも、論理学や数学などの科学においては、全ての概念が明確でなければならず、通常の方法では曖昧な概念を扱えないからである。 歴史とバリエーション[編集] このパラドックスの
ファジィ論理 - Wikipedia
ファジィ論理（ファジィろんり、英: Fuzzy logic）は、1965年、カリフォルニア大学バークレー校のロトフィ・ザデーが生み出したファジィ集合から派生した[1][2]多値論理の一種で、真理値が0から1までの範囲の値をとり、古典論理のように「真」と「偽」という2つの値に限定されない[3]ことが特徴である。ファジィ論理は制御理論（ファジィ制御）から人工知能まで様々な分野に応用されている。 ファジィ論理と確率論理は数学的に似ており、どちらも0から1までの値を真理値とするが、概念的には解釈の面で異なる。ファジィ論理の真理値が「真の度合い」に対応しているのに対し、確率論理では「確からしさ」や「尤もらしさ」に対応している。このような違いがあるため、ファジィ論理と確率論理では同じ実世界の状況に異なるモデルを提供する。 真理値と確率が0から1の範囲の値をとるため、表面的には似ているように思われる。例
インドの自然観--ヴァイシェーシカ学派の自然観
インドの自然観 ヴァイシェーシカ学派の自然観 －－インド多元実在論哲学の自然観 野沢正信著 目次 はじめに 1. 自然観とはなにか 2. ヴァイシェーシカの基本思想 -- パダールタの体系 3. ヴァイシェーシカ学派の｢実在｣ 4. ヴァイシェーシカ学派の自然観の概要 5. 多元論の定義とその一般的問題 6. 多元論の様相（１）原子論 7. 多元論の様相（２）九実体説 8. 多元論の様相（３）知覚と特殊 9. 多元論の様相（４）語と実在の対応説 10. 全体論 ārambhavāda 11. 内属 結び 参考文献 制作：野沢正信 無断転載禁止
流体と固体の境にある「流れる砂」：超高速撮影で分析に成功 | WIRED VISION
前の記事 エコなスパコン『Aquasar』：水冷式で消費電力を4割削減 流体と固体の境にある「流れる砂」：超高速撮影で分析に成功 2009年6月26日 Brandon Keim credit: John Royer サイトトップの画像は砂嵐。Wikimedia Commons 砂粒子が落ちるときに、しずくのような集合体が分散的に形成されるという現象を分析した研究論文が、『Nature』誌の6月25日号に発表された。その内容は、砂のしずくに関する従来の説明を覆すものだ。 これまでは、しずくは、砂粒子が衝突することでくっつきあって形成されると考えられてきたが、今回の論文では、しずくは、砂粒子を互いに引きつけあっている微弱な原子間力の持つ不安定性[表面張力が関係する「プラトー・レイリーの不安定性」]によって形成されるとし、その力の大きさを測定している(水道の蛇口から水が落ちる時にも類似の現象が起
FDTD法による弾性振動・波動の解析入門｜森北出版株式会社
FDTD法 流体中の弾性波 固体および圧電体内における弾性波動場の基本方程式 FDTD法による流体および固体中の弾性波解析の定式化 境界条件の設定 FDTD法による弾性波動・振動の解析例
近藤妥の Ｃ言語で始める Windowsプログラミング
近藤妥の Ｃ言語で始める Ｗｉｎｄｏｗｓプログラミング ようこそ、Ｗｉｎｄｏｗｓプログラミングの世界へ ここでは、Ｗｉｎｄｏｗｓ上で動くアプリケーションを開発するもっとも原始的でもっともパワフルな方法の基礎を説明します。そう、ＷｉｎｄｏｗｓのＷＩＮ３２ＡＰＩをＣ言語でダイレクトに用いる方法を説明するのです。 ＶＢなどのＲＡＤツールがもてはやされる昨今、なぜＣ言語でＷｉｎｄｏｗｓプログラミングなのでしょうか？たしかに、ＶＢなどのＲＡＤツールは、データベースとのやり取りをするユーザーインターフェースを作るのには十分です。また、ＭＦＣなどを用いる事により、高速なアプリケーションを容易に組むことは可能です。しかし、筆者の経験から極端な例を挙げると、ネットスケープナビゲーターのプラグインの開発には、いかなるＲＡＤツールやＭＦＣなどのクラスライブラリーも役に立ちませんでした。つまり、Ｒ
タダで始めるC/C++ プログラミング for Windows
1. はじめに Windows で C 言語や C++ 言語でのプログラムを作成するには以下のものが必要になります。 C/C++ コンパイラ C/C++ のコードを記述したソースファイルから実行ファイルを生成する C/C++ コンパイラ (とリンカ) が必須です。 統合開発環境 (IDE) C/C++ コンパイラとエディタさえあればプログラム開発はできますが，それだけではコマンドプロンプト (DOS 窓) でコマンドやオプションを入力しなければならず面倒です。ボタンを押すだけでコンパイルなどができる開発環境があると便利です。 テキストエディタ 統合開発環境にはソースをキーワードで色分け表示してくれるエディタが内蔵されているので必須というわけではありません。しかし，ちょっとソースファイルを見たい，とか，他人のソースを見ながらプログラミングしたい，などと言う場合にはテキストエディタを使うと便利
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
情報学類 主専攻実験 J–6 等式推論プログラミング 平成 13 年度 実験の手引き 山田俊行 平成 13 年 9 月 0 0.1 実験の概要 実験の目的 本実験は，等式推論を行うプログラムを作成すること�
intro.txt