定理1.4.6 は論理式の形だけを見れば論理値を考えなくても適用できるようになっている。この節では、意味を考えなくても、決められた式の変形だけで正しい命題を作成できるような規則を与える。記号列の集合を形式的な規則で定義したものを形式的体系（formal…

上記の条件を満たす「Γ|=φ」の形の「行」を証明（Proof）と呼ぶ。とくに、一番最後に書いてある式が証明された式である。 条件：どの「行」もそれがすぐに正しいことがわかるか、それ以前に現れる「行」をいくつか見ればすぐに正しいことがわかる。さらに注…

恒真命題 （Tautology） 論理式φがφに現れる命題変数の任意の解釈で真になるとき“|= φ”と書き，φを恒真命題と呼ぶ． 意味論的帰結（） 論理的推論は「→」に着目すると見やすくなるので，次のような定義をする．論理式Γ，φに大使，「Γ→φ」が恒真命題のとき「Γ…

フルスタックフレームワークとはUIやDB、セキュリティなどの基本的な問題領域にAll in oneな環境を提供するもの各コンポーネント毎のフレームワークではそれらを組み合わせて動作させることに一定以上の複雑さが有り、特別なノウハウが必要となる。フルスタ…

フレームワークとは 【framework】 - 意味/解説/説明/定義 ： IT用語辞典 http://e-words.jp/w/E38395E383ACE383BCE383A0E383AFE383BCE382AF.html ソフトウェアの世界では、アプリケーションソフトを開発する際に頻繁に必要とされる汎用的な機能をまとめて提…

モジュール (Module)とは、工学などにおける設計上の概念で、システムを構成する要素となるもの。いくつかの部品的機能を集め、まとまりのある機能を持った部品のこと。モジュールに従っているものをモジュラー (modular)という。入出力を絞り込み、標準化す…

トランザクションとは 【transaction】 - 意味/解説/説明/定義 ： IT用語辞典 http://e-words.jp/w/E38388E383A9E383B3E382B6E382AFE382B7E383A7E383B3.html トランザクションとは、関連する複数の処理を一つの処理単位としてまとめたもの。金融機関のコンピ…

http://www.atmarkit.co.jp/news/analysis/200707/17/trans.html : トランザクションメモリはマルチコアの救世主となるのか？ − ＠IT これに対して、1993年にMaurice Herlihy氏とJ.Eliot B. Moss氏が提案したコンセプトがトランザクションメモリ（Transactio…