自由主義は、西洋の哲学者や経済学者の間で人気が高まった啓蒙時代に明確な運動となった。自由主義は、世襲的特権、国教、絶対君主制、王権神授説、そして伝統的な保守主義の規範を議会制民主主義と法の支配に置き換えることを目指していた。自由主義者はまた、重商主義的政策、王室独占およびその他の貿易障壁を撤廃し、自由市場を促進させた[13]。哲学者ジョン・ロックはしばしば自由主義を確かな流派として創設したと信じられており、各人は生命、自由および財産に対する自然の権利を有し、政府は社会契約に基づいてこれらの権利を侵害してはならないと付け加えた[14]。イギリスの自由主義の伝統は民主主義の拡大を強調してきたが、フランスの自由主義は権威主義の拒否を強調しており、建国と結びついている[15]。 1688年の名誉革命[16]、1776年のアメリカ独立、1789年のフランス革命の指導者たちは、王位の専制政治の武力によ
典型的なものを示せば次の通りである。 提示部（主調） - 嬉遊部 - 提示部（主調以外） - 嬉遊部 ………… - 追迫部（主調） この提示部ないし追迫部と嬉遊部の関係だけを見ると、リトルネロ形式と非常に似ている。 フーガでは各提示部において、下記のように各声部が同じ旋律を定められた変形を伴って順次奏するのが特徴であるが、普通、回ごとに各声部が違う順序で導入される。 上述のものはあくまでも典型的な例であって、標準的でないもの（主題が複数あるものや、ストレッタを欠くものなど様々）もありうる。 J.S.バッハの『平均律クラヴィーア曲集』第1巻、第16番 (ト短調）フーガの冒頭。応唱（上段、2小節目）の1音目に変応がみられる。 フーガの大きな特徴は、カノン同様、同じ旋律が複数の声部に順次現れるということである。 この部分を主題提示部（英・仏: exposition）、または単に提示部、主部と呼ぶ
チューリングの「計算可能数について──決定問題への応用」（1936年）において提示された[2]。同様なものを同年にエミール・ポスト (Emil Post) も独立に発表している[3]。構想の理由、動機についてはポストの論文が明確だが、機械自体に関する記述はチューリングの論文が詳細である。次いで、同時代に提示された他の計算モデルも計算可能性の理論からは同等であることが確認され、チューリング＝チャーチのテーゼはそれらを「計算可能」の定義とすることを提唱した。 ここでは非形式的（直感的）に述べる。理論的には形式的に述べる必要がある。 チューリングマシンには、いわゆるハードウェアに相当するものとして、 その表面に記号を読み書きできるテープ。長さは無制限（必要になれば順番にいくらでも先にシークできる[注 1]）とする テープに記号を読み書きするヘッド ヘッドによる読み書きと、テープの左右へのシークを
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
