論理学の確立には、ゴットロープ・フレーゲ、ジュゼッペ・ペアノ、バートランド・ラッセル、リヒャルト・デーデキントといった先人の業績が寄与しているが、現代証明論は一般にダフィット・ヒルベルトが確立したとされる。ヒルベルトは数学基礎論においてヒルベルト・プログラムと呼ばれる試みを立ち上げた。まずクルト・ゲーデルが独創的な研究を行い、ヒルベルト・プログラムに打撃を与えた。彼の完全性定理は、ヒルベルトの全ての数学を1つの有限主義的形式体系に還元するという目的に適っているように思われたが、その後の不完全性定理によってそれが不可能であることが示された。これらの研究はヒルベルト系と呼ばれる証明計算上で行われた。ゲーデルの証明論に関する研究と並行して、ゲルハルト・ゲンツェンは構造証明論と呼ばれることになる理論の基礎を築いていた。数年の間にゲンツェンは自然演繹とシークエント計算の中核部分を定式化し、直観論理の形式化の基盤を作り、解析的証明の概念を導入し、ペアノ算術の一貫性について初の組合せ的証明を行った。
証明は帰納的に定義されたデータ構造で表されることが多く、単純なリスト、入れ子リスト、木構造などがある。これらは論理体系の公理や推論規則によって構築される。そのため、証明論には構文論的（言語学の用語を使うと統語論的）性質があるが、対照的にモデル理論には意味論的（形式意味論も参照）性質がある。モデル理論、公理的集合論、再帰理論などと共に数学基礎論の四本柱とされている。証明論は哲学的論理学の一分野と見ることもでき、その場合の主要な興味は証明論的意味論であり、その技法的基礎として構造証明論 (structural proof theory) の考え方がある。
緑が生い茂るカンボジア・アンコール。ジャングル奥地の寺院跡で、かわいい2匹のトラ、クマルとサンガの兄弟が誕生する。 ある日、一発の銃弾がもとで、父トラが殺され、兄弟は離れ離れに。活発なクマルは若き冒険家エイダンに保護されるが、数奇な運命によりサーカスに売られ、本来の野生の獰猛さを失っていく。一方、おとなしいサンガは、総督の幼き息子ラウールの友として可愛がられるが、事故をきっかけに少年と引き離され、ある男の元へとやられる。男はなぐさみにサンガを闘虎に仕立てるのだった。 時が経ち、成長したトラの兄弟は、運命の皮肉により悲劇的な再会をする。闘わなければ、殺さなくてはならない敵として・・・
カンボジア、タイにロケし、ジャン＝ジャック・アノーによる原作を基に、アノー自身とアラン・ゴダールが脚本を執筆。その他、アカデミー賞を総なめにした『ダンス・ウィズ・ウルブズ』のプロデューサー、ジェイク・エバーツ等の一流スタッフが顔を揃え、人間とトラとの宿命的なドラマを、かつてない壮大なスケールで織り成していく。
2008年2月に発売予定であった夏川出演の作品『エリカ様』（レアル・ワークス）が、直前になって発売中止となる騒動が起きた。パッケージ写真の夏川の容姿が沢尻エリカによく似ていたことや、沢尻自身の態度や言動に注目が集まっていた時期だったこともあって発売前から話題となっていた作品だった。メーカーは発売中止の理由を明らかにしていない。また、翌月に発売予定だった『超激似!!! 衝撃! エ○カ様がついにAVデビュー!?』（V&Rプロダクツ）も発売中止となっている。
北海道札幌市出身。2007年7月にビデオメーカー・BEAUTYの専属モデルとしてAVデビュー。小柄ながら大人びた顔立ちの美少女タイプの女優。4作品に出演し専属を離れ、以降は多数のビデオメーカー作品に出演した。2009年4月の『解禁!!アナルFUCK』をもって引退を発表した。2011年6月に夏希アンジュ（なつき あんじゅ、1987年7月7日 - ）名義で再デビュー。
リコマ（Likoma District）は、マラウイ北部州の県。マラウイ湖内のリコマ島とチズムル島の2島で構成される県であり、周囲を完全にモザンビークの領海に囲まれていることから、マラウイの飛び領土となっている。また、中心となる都市はリコマ（Likoma Town）である。本稿ではこの都市についても述べる。
秦 永原（はた の ながはら、弘仁10年（819年） - 寛平4年12月18日（893年1月9日））は、平安時代前期の貴族。名は永厚とも記される。氏姓は秦宿禰のち惟宗朝臣。日向守・秦氏継の子。官位は従五位下・下野権介。
人数：16,000名以上、対応国：145ヶ国、対応言語：英語、フランス語、イタリア語、ドイツ語、スペイン語、ポルトガル語、ロシア語、タイ語、中国語、韓国語など世界450言語
『小春の春』（こはるのはる）は、1989年3月6日～4月7日にTBS「花王 愛の劇場」枠にて放送されていた日本のテレビドラマ。主演は片平なぎさ。
東口駅前のロータリーからは、新潟交通観光バス、越後交通、加茂市営の3社局による路線が運行されている。ただし、新潟交通観光バス運行の一部の路線は加茂駅には入らず、穀町バス停（東口徒歩約2分）から発着となる。
初老の男性ハンター（作中では KENNEL MASTER と表示されている）に飼われているドルーピーは他の猟犬たちとキツネ狩りに出ることになった。キツネ一頭を捕まえるごとに大きなステーキを一枚プレゼントという特典に脱兎のごとく飛び出す猟犬たちに対して、「僕ね、あわてるの嫌いさ」と余裕綽々のドルーピーはのろのろと出て行く。相手のキツネは賢く、ちょっとやそっとでは捕まらない難敵。粗暴で欲深い猟犬たちは巧みにあしらわれ、散々にやられてしまう。ライバルが脱落したところでドルーピーがキツネの家に現われ玄関をノック。出てきたキツネに「そろそろ捕まってよ」と頼む。キツネが取り付く島もなく断ると「ステーキがもらえないよ」と泣き出し、「実はね、キツネ1匹を捕まえるごとに大きなステーキがもらえるのよ」と話すドルーピー。これを聞いたキツネは狂喜し、「キツネ1匹ごとに? 何とかしてあげられそうよ」と親戚や仲間のキツネに次々に電話連絡し、ドルーピーは長蛇の列になるほどのキツネを捕まえて（引き連れて）ハンターの家へ帰ってくる。その晩、満身創痍になって戻ってきた猟犬たちが見たのは、ずらりとテーブルに並び、ステーキをご馳走に歌を歌いながらパーティーに興じる大勢のキツネたち。宴の中心にいたのはもちろんドルーピーだった。