hpprc/jawiki-books-paragraphs huggingface dataset:
旭川医科大対策
本項は、旭川医科大学の入学試験対策に関する事項である。
旭川医科大学は、北海道旭川市にある医科系単科大学である。医学部医学科の2次試験では理科はなく、英語と数学の2科目だけである。医学部看護学科は学科試験はない。科目別に見ていくと、英語は標準的な問題が多いが、数学は医科系大学らしい難問が多い。
共通テスト

当該大学の二次試験は非常に難易度の高い問題であり差がつきにくい上に、面接の配点が非常に高い。また、前期・後期ともに共通テストの配点が高いため、共通テストをどれだけ取れたかが勝敗を決めるといっても過言ではない。実際に取るべき点数に関して、医学科に関しては傾斜配点で85%確保を目標にしておきたい。
前期試験

90分で3題出題される。1題目は日本語で答える長文読解問題、2題目は英語で答える長文読解問題、3題目は自由英作文である。全体を通して記述量が非常に多い。医科系大学としては珍しく、医療関連のテーマが出題されることは少なく、科学・教育・社会など様々なジャンルから出題される。
前期試験

一般的な対策としては、まず英語の長文問題集を1~2冊こなそう。その際に、分からない単語や箇所がいくつかあるはずだから、文意や文脈から判断して適切な意味に訳すことができるようになるために、まずは辞書を引かずに推測して訳してみると良い。また、和訳したらそれで終わりという学習態度ではなかなか英語の力はつかないので、出来れば暗唱できるくらい読み込むことを勧める。この過程で単語や使えるフレーズ、さらに英語の感覚を身につけることができるのである。
前期試験

英作文に関しては何か英作文用の参考書を1冊決めて徹底的にやりこむと良い。問題はすべて解くのと同時に、例文をすらすら暗唱できるようになるまで定着させるとなお良い。
前期試験

120分で4題出題される。1996年度までは微分・積分が3問、確率・統計が1問というのが基本構成だったが、それ以降は微分・積分が2問、その他の分野から2問という傾向のことが多い。
前期試験

問題を俯瞰すると、シンプルでオーソドックスな問題が多いように思えるかもしれないが、計算力を要する重厚な問題が多く、実際に答案を書くとなるとなかなか思うように行かないことが多い。大問1題あたり3つ程度の設問に分かれているので、部分点は比較的稼ぎ易いが、最後の設問は手ごたえのある難問であることが多く、完答は容易ではない。
前期試験

このような数学の試験に対応するには高等学校で出てくる基礎事項や定型的な解法は一通り網羅し使いこなせるようになっておく必要がある。その上で、演習の際の計算は必ず最後まで自分の手で正確に書き上げるようにするべきである。
後期試験

物理・化学・生物のうち2科目を選択して解答する。
模試

旭川医科大対応模試というものは存在しないが、河合塾では医学部受験者用の模試を行っている。また、年に3回行われる駿台全国模試では多くの医学部志望者が受験するので、それを受けてみるというのも一つの手である。さらに河合塾・駿台で行われているマーク模試は必ず受験しておきたい。受験時の心構えのひとつとして、ありきたりではあるが模試の判定や偏差値に一喜一憂する必要はあまりないということを明記しておきたい。そもそも得点は入試本番当日の自分のコンディションや問題との相性次第で大幅に変動するものだし、模試と実際の入試とでは難易度や問題の癖が全く異なるからである。実際、現役浪人関係なく、秋の模試等でC判定やD判定を出してしまった生徒が、直前期で実力が一気に伸びて合格したケースも存在するので、最後まで諦めずに勉強を続ける姿勢をもつことも大切である。
More C++ Idioms/インタフェースクラス(Interface Class)
クラスのインタフェースをその実装から分離することは、よい品質のオブジェクト指向ソフトウェア設計/プログラミングにとって基盤となるものである。 オブジェクト指向プログラミングに対して、分離の原理的な機構がインタフェースクラス(Interface Class)である。 しかし、C++ では(例えば Java などと比較して)、そのような分離を表現する専用の機構を提供していない。 Java では、interface キーワードが、抽象が持つべき public なメソッドのみを定めるために使われる。 C++ はそのようなキーワードを持たないが、インタフェースクラス(Interface Class)イディオムを使うことで、その機能性を大体表現することができる。 抽象の public なメソッドのみを表現し、実装を一切提供しないという発想である。 実装の欠如は、インタフェースクラスのインスタンスが存在できないということも意味する。
インタフェースクラスは、仮想デストラクタと、純粋仮想関数のみを含む。 これにより、他の言語(例えば Java)の interface と似た構成を提供する。 インタフェースクラスは、例えば基本クラス中の純粋仮想関数宣言のような多態的なインタフェースを定めるクラスである。 クラス階層を使うプログラマは、基本クラスを通じて、階層中のクラスのインタフェースのみとやりとりすることでクラス階層を使うことができる。
全てのインタフェースクラスは仮想デストラクタを持つべきである。 仮想デストラクタにより、shape が多態的に delete されたときに、派生クラスの正しいデストラクタが呼び出されることが保証される。 さもなくば、リソースリーク(解放漏れ)の好機となる。 インタフェースクラスを使って設計を表現することによる利益はたくさんある。
ほとんど全ての良い C++ オブジェクト指向ソフトウェア
C++ Interface Classes - An Introduction
More C++ Idioms/能力照会(Capability Query)
あるオブジェクトがあるインタフェースに対応しているかどうかを実行時に確認する。
実装からインタフェースを分離することは、良いオブジェクト指向ソフトウェア設計の習慣である。 C++ では、インタフェースクラス(Interface Class)イディオムが、実装からインタフェースを分離するために使われ、いかなる抽象の public メソッドも実行時多態性を用いて呼び出される。 インタフェースクラスイディオムの例を拡張し、ある 1 つの具象クラスが、以下のように複数のインタフェースを実装することがあるかもしれない。
ここで、抽象 Rollable クラスへのポインタのコンテナがあるとして、インタフェースクラスイディオムに記述されているとおり、全てのポインタに対して roll 関数を呼び出すことができる。
あるオブジェクトがある特定のインタフェースを実装しているかどうか、前もって知ることができない場合がある。 あるオブジェクトが複数のインタフェースクラスを継承している場合に、そのような状況がよく発生する。 あるオブジェクトがあるインタフェースを実装しているかどうかを、実行時に正確に調べるために、能力照会(Capability Query)イディオムが使われる。
C++ において、能力照会は、典型的には無関係な型間に対する dynamic_cast として表現される。
dynamic_cast のこの使い方は、しばしば クロスキャスト(cross-cast) と呼ばれる。 なぜなら、階層を上下するというよりも、階層を横切って(across)変換を行うからである。 我々の Shape と Rollable による階層の例では、Rollable への dynamic_cast は Circle に対してのみ成功し、Square に対しては成功しない。なぜなら Square は Rollable から継承していないからである。
能力照会の多用は、大抵、悪いオブジェクト指向設計の兆候である。
Acyclic Visitor Pattern - Robert C. Martin.
Capability Queries - C++ Common Knowledge by Stephen C. Dewhurst
コンメンタール破産法
法学>民事法>民事訴訟法>コンメンタール破産法
破産法の逐条解説書。 条文の参照に際しては法令データ提供システムかウィキソース等もご利用ください。
コンメンタール破産規則
法学>民事法>民事訴訟法>コンメンタール破産法>>コンメンタール破産規則
破産法の逐条解説書。 条文の参照に際しては法令データ提供システムかウィキソース等もご利用ください。
民法第906条
法学>民事法>コンメンタール民法>第5編 相続 (コンメンタール民法)
条文

(遺産の分割の基準)
参考

明治民法において、本条には以下の規定があった。趣旨は、第843条を経て第842条に継承されたが、2011年改正により削除された。
民事訴訟法第29条
法学>民事法>コンメンタール民事訴訟法
条文

(法人でない社団等の当事者能力)
不動産登記法第27条
法学>民事法>不動産登記法>コンメンタール不動産登記法
条文

(表示に関する登記の登記事項)
不動産登記法第58条
法学>民事法>不動産登記法>コンメンタール不動産登記法
条文

(共用部分である旨の登記等)
不動産登記法第44条
法学>民事法>不動産登記法>コンメンタール不動産登記法
条文

(建物の表示に関する登記の登記事項)
敷地権

日本においては、土地と建物は別個の不動産とされるが、区分所有建物と敷地利用権の分離処分が原則として禁じられている(建物の区分所有等に関する法律第22条)。
敷地権

敷地権の対象となる権利は、登記されたものに限られる(登記できない使用貸借は敷地権とならない)。敷地権の登記により、敷地権の目的である土地については職権で登記される(第46条)。敷地権の登記がされると、以降の所有権、先取特権、質権、抵当権等に関する登記については原則として、専有部分の登記記録にのみ記録がされる。これは敷地権の目的である土地の敷地権についてされた登記としての効力も持ち(第73条)、土地と建物を別々に登記するという制度における例外的なものとなる。
不動産登記法第34条
法学>民事法>不動産登記法>コンメンタール不動産登記法
条文

(土地の表示に関する登記の登記事項)
解説

第27条では土地及び建物の表示に関する登記事項について規定しているが、本条では、土地の表示に関する登記事項について規定している。
解説

本条第2項の法務省令は、#不動産登記規則掲載のもののうち、第99条、第100条が該当する。なお、地番、地番と市、区、郡、町、村及び字との関係は不動産登記規則第97条、第98条に規定されている。
解説

(地番区域)
解説

(地番)
解説

(地目)
解説

(地積)
不動産登記法第36条
法学>民事法>不動産登記法>コンメンタール不動産登記法
条文

(土地の表題登記の申請)
不動産登記法第51条
法学>民事法>不動産登記法>コンメンタール不動産登記法
条文

(建物の表題部の変更の登記)
不動産登記法第86条
法学>民事法>不動産登記法>コンメンタール不動産登記法
条文

(建物を新築する場合の不動産工事のw:先取特権の保存の登記)
気象学/大気の組成
大気

大きな青い不思議、それは私たちが吸う空気と出す汚れに満たされています。ほとんどすべてのみなさんがご存知のように、私たちは酸素を吸います。空気として知られる大気中の混合物の中で、酸素ではなく窒素が第一の成分であるということは、実際かなり驚くべきことです。全種類の気体が大気を構成しますが、私たちの日常の生活において目に付くものは少数で、酸素、二酸化炭素、オゾンくらいです。
大気

ニューズ、新聞、本、ご両親、友達や先生から、二酸化炭素が大気を汚染しているというのを聞いたことがあるでしょうが、完全に悪いというわけではありません。二酸化炭素は私たちの惑星と私たちを凍死しないように暖めてくれる気体の一種です。もちろん、悪い面もあります。二酸化炭素が多すぎると地球を熱し暑くなりすぎます。
大気

オゾンは最もよく耳にする気体の一つですがあまり知られていません。オゾン、またはO3は、通常の二つではなく三つの酸素原子のグループになる酸素です。オゾンは有害な紫外線(日焼けやガンを引き起こし、死に至ることもあります)が私たちに入らないようにしてくれます。もちろん、多くの人が“オゾンホール”を耳にしたことがありますが、一つより多くの穴がありそれが絶えず成長し続けているということは多くの人は知りません。私たちはオゾン、オゾンホールとそれが引き起こす問題をみていきます。
層

ただ空を見上げただけでは、大気に層があるということは分からないでしょう。しかし実際に層はあるのです。ケーキに違った味の層があるように。これらの層とそれをつなぎ合わせるアイシングは大気中にほとんど正確かつ同様に見つかります。これらの層はそれぞれ私たちの惑星と天気に異なる役割を果たします。層については次のセクションで深く掘り下げていきます。
民事訴訟法第42条
法学>民事法>コンメンタール民事訴訟法
条文

(補助参加)
民事訴訟法第186条
法学>民事法>コンメンタール民事訴訟法
条文

(調査の嘱託)
不動産登記法第94条
法学>民事法>不動産登記法>コンメンタール不動産登記法>不動産登記令>不動産登記規則>不動産登記事務取扱手続準則
条文

(抵当証券に関する登記)
解説

w:抵当証券を参照。
不動産登記法第119条
法学>民事法>不動産登記法>コンメンタール不動産登記法>不動産登記令>不動産登記規則>不動産登記事務取扱手続準則
条文

(登記事項証明書の交付等)
解説

w:登記事項証明書を参照。
不動産登記法第156条
法学>民事法>不動産登記法>コンメンタール不動産登記法
条文

(審査請求)
条文

第156条
解説

w:不動産登記#審査請求を参照。
不動産登記法第157条
法学>民事法>不動産登記法>コンメンタール不動産登記法
条文

(審査請求事件の処理)
条文

第157条
解説

w:不動産登記#審査請求を参照。
民事訴訟法第185条
法学>民事法>コンメンタール民事訴訟法
条文

(裁判所外における証拠調べ)
More C++ Idioms/代数的階層(Algebraic Hierarchy)
密接に関連した複数の代数的な抽象(数)を単一の汎用的な抽象に隠蔽し、汎用的なインタフェースを提供する。
Smalltalk のような純粋なオブジェクト指向言語では、変数は、オブジェクトへの実行時の束縛であり、ラベルのように働く。 変数をあるオブジェクトに束縛するということは、オブジェクトにラベルを貼り付けるようなものである。 これらの言語における代入は、ラベルをあるオブジェクトからはがして、別のオブジェクトに貼り付けることに例えられる。 一方、C/C++ では、変数は、オブジェクトに対するラベルではなく、アドレスやオフセットの別名である。代入はラベル付けし直すことではなく、古い内容を新しい内容で上書きすることを意味する。代数的階層(Algebraic Hierarchy)イディオムは、C++ でオブジェクトへの束縛を示す弱い変数をシミュレートするため委譲された継承(delegated polymorphism)を用いる。 代数的階層(Algebraic Hierarchy)イディオムはまた、その実装で封筒・便箋(Envelope Letter)イディオムを使用する。 以下のようなコードを書けるようにすることが、このイディオムの背景にある動機である。
以下が、代数的階層(Algebraic Hierarchy)イディオムの実装を示す完全なコードである。
Advanced C++ Programming Styles and Idioms by James Coplien, Addison Wesley, 1992.
More C++ Idioms/仮想コンストラクタ(Virtual Constructor)
あるオブジェクトのコピーか、新しいオブジェクトを、その具体的な型を知ることなしに生成する。
初期化におけるファクトリメソッドの使用
クラス階層中のメンバ関数の多態的な呼び出しを使うことは、オブジェクト指向プログラミングのコミュニティではよく知られたことである。 それは、is-a(~は~である) 関係 (より現実的に言えば behaves-as-a(~として振る舞う)関係)を実装する方法の一つである。 クラス階層中の生存期間管理(生成、コピー、破棄)関数を多態的に呼び出すことも場合によっては便利である。
C++ は、仮想デストラクタによってオブジェクトの多態的な破棄に(言語組み込みの機能で)対応しているが、 オブジェクトの生成やコピーに対しては同様のものは存在しない。 C++ では、オブジェクトの生成には常にその型をコンパイル時に知っている必要がある。 仮想コンストラクタ(Virtual Constructor)イディオムは、C++ で多態的なオブジェクトの生成やコピーを可能とする。
仮想コンストラクタはオブジェクトの生成に create() メンバ関数を用い、コピー生成に clone() メンバ関数を用いて以下のように書ける。
Manager クラスは 2 つの純粋仮想関数を実装し、型名(Manager)を用いてその型のオブジェクトを生成する。 duplicate 関数は、どのように仮想コンストラクタイディオムが使用されるかを示している。 duplicate 関数は、実際にはなにを複製しているかを知らない。 (実際には Manager かもしれないし Programmer かもしれない) Employee を複製していることを知っているだけである。 正しいインスタンスを生成する責任は派生クラスに委譲されている。 それゆえ、 Employee を頂点とするクラス階層に将来さらに派生クラスが追加されたとしても、duplicate 関数は変更に対して影響を受けない。
Manager クラスの clone および create メンバ関数の返値の型は Employee ではなく、そのクラス自身(Manager)である。 C++ は、派生クラスが関数をオーバーライドするとき、返値の型を基本クラスの関数の返値の型の派生型とすることができる。 この言語機能は、共変の返値型(co-variant return types)として知られている。
リソースの所有権を正しく扱うためには、clone() および create() 関数をファクトリ関数とみなし、その返値に対してリソースの返値(Resource Return)イディオムを利用すべきである。 しかし、返値の型は shared_ptr<Employee> と shared_ptr<Manager> のようになり、もはや共変の返値型ではなくなりコンパイルに失敗するはずである。 そのような場合では、派生クラスの仮想コンストラクタ関数は親クラスと正確に同じ型を返さなければならない。
不動産登記法第120条
法学>民事法>不動産登記法>コンメンタール不動産登記法>不動産登記令>不動産登記規則>不動産登記事務取扱手続準則
条文

(地図の写しの交付等)
不動産登記法第121条
法学>民事法>不動産登記法>コンメンタール不動産登記法>不動産登記令>不動産登記規則>不動産登記事務取扱手続準則
条文

(登記簿の附属書類の写しの交付等)
不動産登記法第122条
法学>民事法>不動産登記法>コンメンタール不動産登記法
条文

(法務省令への委任)
解説

本条は、不動産登記規則制定の根拠規定である。
解説

根拠の詳細な解説は不動産登記法第15条の解説を参照。
不動産登記法第72条
法学>民事法>不動産登記法>コンメンタール不動産登記法
条文

(抹消された登記の回復)
不動産登記法第73条
法学>民事法>不動産登記法>コンメンタール不動産登記法>不動産登記令>不動産登記規則>不動産登記事務取扱手続準則
条文

(敷地権付き区分建物に関する登記等)
会社法第216条
法学>民事法>商法>コンメンタール会社法>第2編 株式会社 (コンメンタール会社法)>第2編第2章 株式 (コンメンタール会社法)
条文

(w:株券の記載事項)
民事訴訟法第61条
法学>民事法>コンメンタール民事訴訟法
条文

(訴訟費用の負担の原則)
会社法施行規則第72条
法学>民事法>商法>会社法>会社法施行規則 (コンメンタール会社法)
条文

(議事録)
会社法施行規則第98条
法学>民事法>商法>会社法>会社法施行規則 (コンメンタール会社法)
条文

(取締役)
会社法施行規則第100条
法学>民事法>商法>会社法>会社法施行規則 (コンメンタール会社法)
条文

(業務の適正を確保するための体制)
会社法施行規則第99条
法学>民事法>商法>会社法>会社法施行規則 (コンメンタール会社法)
条文

(社債を引き受ける者の募集に際して取締役会が定めるべき事項)
明治学院大対策
本項は、明治学院大学の入学試験対策に関する事項です。
明治学院大学は、東京都港区にある文系学部からなる私立大学です。ヘボン式ローマ字の考案者として知られる宣教師ジェームス・カーティス・ヘボンが1863年に開設した英学塾を源流としている大学です。なお、明治大学とは全く関係がありません。入試の特徴としては、英語が他の科目に比べ難しいことです。英語が苦手な者は、他の科目(国語、地歴公民、数学など)でしっかりと得点しなければなりません。
科目別対策

英語 試験時間は70分。例年、全学部統一入試、学部別入試すべて大問4題で共通しています。〔1〕長文を読ませ、5つの設問に対して英文の内容に一致するものを、4つの英文選択肢からひとつずつ選ばせる問題。〔2〕対話文を読ませ、5つの設問に対して英文の内容に一致するものを、4つの英文選択肢からひとつずつ選ばせる問題。〔3〕長文を読ませ、その内容を200字以内の日本語で要約させる問題。〔4〕英文でテーマを与え、そのテーマについて100~150語程度の英文エッセイを書かせる問題となっています。
科目別対策

〔3〕の要約問題と〔4〕の自由英作文はかなり難易度も高いので、受験生の間で差が出ます。英語が得意な受験生はここで周囲に差をつけましょう。一方苦手な受験生は、部分点を取りに行き、他の科目でカバーするのが重要です。
科目別対策

自由英作文に関しては、エッセイといわれていますので、それらしい文体で書くことが望ましいと思われます。パラグラフ(序論、本論、結論)で書くようにしましょう。本論のところは、Firstly, Secondly...のように順序だてて書きましょう。わかりやすい英文で書くことが重要です。難しい表現は出来るだけ避けるようにしましょう。対策としては、熟語集や会話表現集を用いて役立ちそうな例文を探しまず暗記、そして練習として実際に文章にすることをおすすめします。
科目別対策

国語 試験時間は60分で、大問2題(現代文1題・古文1題)と、漢字の読み書きが10問独立した問題として出題されるという形式で、難易度は私立大学の国語(現代文・古文)としては標準的なレベルです。
科目別対策

現代文は、近年、比較的読みやすい随筆文の出題が目立ちます。出題形式は記号式と記述式ですが、記述量も多くて20字程度です。なので国語が苦手な受験生もかなりの点数がとれると思われます。漢字は書きとり8問、読み2問の構成。過去問を使い回した問題も見られるため、過去問対策はしっかりやっておきましょう。古文は標準レベルで、単語の意味や解釈、文法問題、最近では和歌の解釈も出題されています。日頃の実力がそのまま反映される問題といえるでしょう。
科目別対策

日本史 大問数は3題で試験時間は60分です。大問1と2は正誤と空欄補充の選択式問題で標準レベルです。大問3は記述式で、比較的難度が高く、そこそこひねくれた、出題範囲が極めて狭くヤマのかけにくい問題が目立ちますので、全時代・全分野の学習を偏ることなくやっておきたいものです。また、『盧舎那仏』や『斎藤実と高橋是清の役職名』、『恭仁京のあった都道府県名』など、「こんな用語まで書かせるのでしょうか?」と言いたくなるほどの問題がどの日程においても多いため、満点を狙うのではなく、教科書レベルの問題を確実に解答することを心掛けたいものです。記述対策で使用する問題集は1冊に留めて、何週も反復して完璧にしておきましょう。
科目別対策

世界史 大問数は4題で試験時間は60分です。標準レベルです。記述式が基本で穴埋めとそれに関連する問題の量が圧倒的に多いです。確実な知識が求められているということでしょう。また、問題文に特徴があり、ある有名な人物の演説を出典にしたりすることがあります。さらに細かい知識を問う問題が出題されることもあり、例えば2009年度ではカンボジアの「真臘」を平気で漢字で書かせたり、受験生が手薄になる東南アジアの問題をやたらに多く出題したりします。この辺の対策も必要になります。しかし、基本問題が大半ですのでこのあたりの問題を確実に点数を取れることが第一の重要です。最近では、受験生が手薄になりがちな近代史の出題は、もはや必須です。
その他

明治学院大学は過去に出題した問題を出題するという特徴がありますので、できれば3年分以上の過去問をやっておきたいものです。
浜松医科大対策
本項は、浜松医科大学の入学試験対策に関する事項である。
浜松医科大学は、静岡県浜松市にある医科系単科大学である。入試問題は、医科系単科大学らしい難度の高い問題が中心で、合格者平均点も65%前後と低めである。
センター試験

浜松医科大学は医学部のなかでもセンター試験の比重が高い。また、前述のとおり、本学の2次試験では高得点はなかなか望めないため、センター試験を大きく取りこぼすことは不合格につながる。まずはセンター試験で高得点をとる勉強をする必要がある。
模試

浜松医科大受験者用専用模試というものは存在しないが、河合塾や代々木ゼミナールなどの大手予備校では医学部受験者用模試を開催している。これらを受験することは自分の現在位置を知るのに大いに役立つだけでなく、医学部全体としての自己の位置を知るのにも有効である。この他、当大学のレベルを考え、駿台ハイレベル模試も積極的に受験することを勧める。
英語

まず学校で配布される英語の長文問題集を1~2冊こなそう。教科書やテキストで取り扱われている文章を全文和訳し、教師など第三者に添削してもらうと良い。その際に、分からない単語や箇所がいくつかあるはずだから、文意や文脈から判断して適切な意味に訳すことができるようになるために、まずは辞書を引かずに推測して訳してみると良い。また、和訳したらそれで終わりという学習態度ではなかなか英語の力はつかないので、出来れば暗唱できるくらい読み込むことを勧める。この過程で単語や使えるフレーズ、さらに英語の感覚を身につけることができるのである。
英語

さらにテキストの文章には必ず「移植問題」などのテーマが少なくとも1つはあるはずであるから、それについて自分で書籍などで調べ、考えてみることも大切である。(特に告知問題など医療関連のテーマにたくさん触れておきたい。)英作文に関しては何か英作文用の教科書(学校で配布されるはず。)を1冊決めて徹底的にやりこむと良い。問題はすべて解くのと同時に、例文をすらすら暗唱できるようになるまで定着させるとなお心強い。
数学

微分積分の煩雑な計算を要する問題を中心に出題される。また、医学と絡めた問題が特徴的であったが、2013年度以降は出題されていない。
理科

標準レベルの問題が多いものの、各大問の最後の問題は難しいことがある。 大問によって難易度の差が大きいので、どの問題を捨ててどの問題を解くか、 という取捨選択も必要となってくる。 微積分を扱った問題も散見されるので、ある程度の慣れは必要。 「難問題の系統とその解き方」や「名問の森」といった問題集で 演習を積んでおくとよいだろう。
理科

他の単科系医大と比較して、穏当な出題が目立つ。 ただ濃淡電池など、高校では扱わないテーマについての出題もみられるので、 得点源にするためには、ハイレベルな問題集である程度演習をしておく必要がある。 過去問を実際に時間を計って解いてみると、どういった問題を解けばよいのかと いうことが分かるだろう。
理科

人体の構造について聞かれるなど、単科医大らしい出題が目立つ。 記述問題のウェートも大きく、しっかり記述しないと得点になりにくい。 問題難易度は単科医大の中でも高いほうである。 傾向の似た札幌医大や京都府立医大の問題なども参考にしておくと役に立つだろう。
会社法第501条
法学>民事法>商法>コンメンタール会社法>第2編 株式会社 (コンメンタール会社法)>第2編第9章 清算 (コンメンタール会社法)
条文

(条件付債権等に係る債務の弁済)
民事訴訟法第77条
法学>民事法>コンメンタール民事訴訟法
条文

(担保物に対する被告の権利)
民事訴訟法第78条
法学>民事法>コンメンタール民事訴訟法
条文

(担保不提供の効果)
民事訴訟法第79条
法学>民事法>コンメンタール民事訴訟法
条文

(担保の取消し)
民事訴訟法第80条
法学>民事法>コンメンタール民事訴訟法
条文

(担保の変換)
会社法第976条
法学>民事法>商法>コンメンタール会社法>第8編 罰則 (コンメンタール会社法)
条文

(過料に処すべき行為)
条文

2019年改正により、以下のとおり改正。
会社法施行規則第102条
法学>民事法>商法>コンメンタール会社法>会社法施行規則 (コンメンタール会社法)
条文

(会計参与報告の内容)
会社法施行規則第104条
法学>民事法>商法>コンメンタール会社法>会社法施行規則 (コンメンタール会社法)
条文

(計算書類の閲覧)
不動産登記法第91条
法学>民事法>不動産登記法>コンメンタール不動産登記法
条文

(共同抵当の代位の登記)
条文

第91条
不動産登記法第106条
法学>民事法>不動産登記法>コンメンタール不動産登記法
条文

(仮登記に基づく本登記の順位)
不動産登記法第107条
法学>民事法>不動産登記法>コンメンタール不動産登記法
条文

(仮登記の申請方法)
不動産登記法第108条
法学>民事法>不動産登記法>コンメンタール不動産登記法
条文

(仮登記を命ずる処分)
不動産登記法第109条
法学>民事法>不動産登記法>コンメンタール不動産登記法
条文

(仮登記に基づく本登記)
不動産登記法第110条
法学>民事法>不動産登記法>コンメンタール不動産登記法>不動産登記令>不動産登記規則>不動産登記事務取扱手続準則
条文

(仮登記の抹消)
不動産登記法第112条
法学>民事法>不動産登記法>コンメンタール不動産登記法
条文

(保全仮登記に基づく本登記の順位)
不動産登記法第113条
法学>民事法>不動産登記法>コンメンタール不動産登記法
条文

(保全仮登記に係る仮処分の登記に後れる登記の抹消)
不動産登記法第114条
法学>民事法>不動産登記法>コンメンタール不動産登記法>不動産登記令>不動産登記規則>不動産登記事務取扱手続準則
条文

(処分禁止の登記の抹消)
民事訴訟法第305条
法学>民事法>コンメンタール民事訴訟法
条文

(第一審判決が不当な場合の取消し)
民事訴訟法第306条
法学>民事法>コンメンタール民事訴訟法
条文

(第一審の判決の手続が違法な場合の取消し)
民事訴訟法第331条
法学>民事法>コンメンタール民事訴訟法
条文

(控訴又は上告の規定の準用)
民事訴訟法第325条
法学>民事法>コンメンタール民事訴訟法
条文

(破棄差戻し等)
民事訴訟法第281条
法学>民事法>コンメンタール民事訴訟法
条文

(控訴をすることができる判決等)
不動産登記法第115条
法学>民事法>不動産登記法>コンメンタール不動産登記法>不動産登記令>不動産登記規則>不動産登記事務取扱手続準則
条文

(公売処分による登記)
不動産登記法第116条
法学>民事法>不動産登記法>コンメンタール不動産登記法>不動産登記令>不動産登記規則>不動産登記事務取扱手続準則
条文

(官庁又は公署の嘱託による登記)
条文

第116条
不動産登記法第117条
法学>民事法>不動産登記法>コンメンタール不動産登記法>不動産登記令>不動産登記規則>不動産登記事務取扱手続準則
条文

(官庁又は公署の嘱託による登記の登記識別情報)
不動産登記法第118条
法学>民事法>不動産登記法>コンメンタール不動産登記法>不動産登記令>不動産登記規則>不動産登記事務取扱手続準則
条文

(収用による登記)
民法第398条の22
法学>民事法>コンメンタール民法>第2編 物権 (コンメンタール民法)
条文

(根抵当権の消滅請求)
民事訴訟法第47条
法学>民事法>コンメンタール民事訴訟法
条文

(独立当事者参加)
解説

一般的に、1項前段を「詐害防止参加」、後段を「権利主張参加」と呼ぶ。
解説

権利主張参加の要件は「訴訟の目的の全部若しくは一部が自己の権利であること」である。これは、本訴請求と参加請求が実体法上非両立関係にある場合をいうと考えられる。
民法第1017条
法学>民事法>コンメンタール民法>第5編 相続 (コンメンタール民法)
条文

(遺言執行者が数人ある場合の任務の執行)
参考

明治民法において、本条には相続の承認・放棄に関する以下の規定があった。趣旨は、民法第915条に継承された。
トルコ語
以下は詳細未定
ウィクショナリー日本語版も参照。
会社法施行規則第64条
法学>民事法>商法>コンメンタール会社法>会社法施行規則 (コンメンタール会社法)
条文

(書面による議決権の行使について定めることを要しない株式会社)
解説

委任状勧誘を行なう会社の書面による議決権行使に関する規定
会社計算規則第28条
法学>民事法>商法>会社法(コンメンタール会社法)>会社計算規則
条文

(利益準備金の額)
会社計算規則第6条
法学>民事法>商法>会社法(コンメンタール会社法)>会社計算規則
条文

(負債の評価)
民事訴訟法第81条
法学>民事法>コンメンタール民事訴訟法
条文

(他の法令による担保への準用)
自転車のパンクの修理
ここでは自転車のパンクの修理法について説明します。
修理の手順

必要なものを用意する。上の「準備するもの」を参考にしてください。
修理の手順

タイヤを地面から浮かせる。自転車をひっくり返すのが一番簡単ですが、専用のスタンドがあるならそれを利用したほうがいいでしょう。
修理の手順

まず、外しやすいようにタイヤの空気を抜きます。その後、栓の根元にあるナットを外しておきます。
修理の手順

タイヤを外します。タイヤレバーをタイヤとリムの間に差し込み、てこの原理を利用してリムの外側に引っ張り出します。元に戻らないようにレバーをスポークに引っ掛けて固定します。これを繰り返すことでタイヤをリムから外すことができます。
修理の手順

タイヤが外れたら、その隙間からチューブを丁寧に引き出します。
修理の手順

チューブが外れたら栓を元に戻し、空気を入れます。
修理の手順

空気が漏れる音が聞こえる場合、そこに穴があると考えられます。
修理の手順

穴が見つからない場合、チューブを少しずつ水につけてみてください。穴があるところからは空気が漏れるため、泡が出てきます。穴が見つかったら、チューブはよく拭いておいてください。
修理の手順

穴を見つけたら、ゴムを貼りやすいように穴の周りを紙やすりで平らにします。
修理の手順

穴の周りにのりを塗ります。のりが乾いたら穴の上からゴムを貼ります。
修理の手順

ゴムを貼ったら、ハンマーで上から叩いてなじませます。
修理の手順

穴を見つけるときの手順を再度行い、穴がふさがれていることと他に穴がないことを確認してください。
修理の手順

栓をリムの穴に通し、ナットを軽く止めます(位置固定のため)。
修理の手順

チューブをタイヤの内部に入れます。このとき、チューブに少し空気を入れておくといいでしょう。
修理の手順

タイヤレバーを使い、タイヤをリムの中に入れます。
修理の手順

タイヤが完全に入ったら、栓がまっすぐになるようにナットで固定します。
会社法第670条
法学>民事法>商法>コンメンタール会社法>第3編 持分会社 (コンメンタール会社法)
条文

(債権者の異議)
倒産処理法
法学>民事法>民事訴訟法>倒産処理法
日本における倒産処理の手続きに関する法律の教科書。
本教科書の範囲

本教科書は、日本における倒産処理の法体系について論ずる。
本教科書の範囲

倒産・経営破綻にいたると、倒産者の債権者は自己の債権を回収にかかる。一般的に、契約などで、その債務は「期限の利益」を失っているため、倒産者は、これに抗すべき法的根拠を持っていない。しかし、こうした債権回収(これを「個別執行」という)を無制限に認めると、以下の事態が予想され、法秩序の観点から望ましくない状況が現出するおそれが生ずる。
本教科書の範囲

このような事態を避けるべく、個別執行を停止して、倒産者にかかる全ての債権を「整理(しばしば、倒産処理の別称となる)」し、全ての債権者の満足度をあげる手続きが倒産処理である。執行の局面から、個別執行に対して、これは「包括的執行」と捉えられる。
本教科書の範囲

倒産処理のタイプは、大きく、「私的手続か法的手続か」「再建型手続か清算型手続か」の二つの観点から分類される。
本教科書の範囲

その結果、倒産処理は大きく「私的再建型手続」「私的清算型手続」「法的再建型手続」「法的清算型手続」に分類しうるが、私的手続の場合、「再建型」「清算型」を厳格に分類する意味が乏しい(手続の経過に応じて柔軟に移行しうるし、スポンサー企業により合併や子会社化といった処理は「再建型」とも「清算型」ともいえる)ので、「私的手続」としてまとめ、法的手続を「再建型」と「清算型」に分類して論ずるのが一般的である。
本教科書の範囲

上述のように、倒産処理には大きく分けて4種類があり、さらに、実際の適用や法律は何種類にも分類されるが、包括的執行として以下の共通する流れがあり、各々の局面において、それを実現するための手段を異にしていると理解すべきである。
本教科書の範囲

平成13年9月発表 私的整理に関するガイドライン研究会「私的整理に関するガイドライン」
本教科書の範囲

民事再生法
本教科書の範囲

会社更生法
本教科書の範囲

破産法
商業登記法第1条
法学>民事法>商業登記法>コンメンタール商業登記法
条文

(目的)
解説

本条は、商業登記法の目的を示したもの。
解説

商業登記法は、実体法である商法・会社法等の諸規定からの委任を受け、その具体的な登記手続きを定めることで、会社等の信頼維持と安全かつ円滑な取引を補完することを目的としている。
商業登記法第1条の3
法学>民事法>商業登記法>コンメンタール商業登記法
条文

(登記所)
解説

本条は、登記の事務を行う行政機関を定めたもの。
解説

となっている。
商業登記法第2条
法学>民事法>商業登記法>コンメンタール商業登記法
条文

(事務の委任)
解説

本条は、法務大臣が登記所の事務を他の登記所に委任することができる旨を定めたものである。実際、登記事務委任規則が制定されている。
商業登記法第3条
法学>民事法>商業登記法>コンメンタール商業登記法
条文

(事務の停止)
解説

本条は、法務大臣が登記所の事務を停止しなければならない事由が生じたときに、期間を定めて停止できる旨を定めたもの。
熊本大対策
本項は、熊本大学の入学試験対策に関する事項である。
熊本大学は、熊本県熊本市にある総合大学である。旧制官立医大を基とする医学部医学科は毎年非常に高い倍率(6 - 8倍)となり激戦である。熊本大学の入学試験において、センター試験の割合が非常に高い(特に文系学部)ので、センター試験対策はしっかりやらなければならない。多くの学部の目安は70%である。ただし、医学部医学科と薬学部は他の学部のようにはいかず、医学部医学科は85%、薬学部は80%の得点が求められる。
科目別対策

英語 解答時間は120分である。例年4大問構成で、長文読解2題,和文英訳1題,会話文1題である。会話文以外はいずれも記述問題である。長文読解問題は、1つは自然科学系、もう1つは社会科学系を主題としたものが例年出題されており、文系・理系の受験生両方に公平な出題になっている。長文自体は、大学入試標準レベルであるため、高校の授業に沿ってしっかりと英語学習をしていれば問題ない。試験時間が問題量に対して十分に余裕があるため、じっくりと丁寧に解いていこう。和文英訳は、日本語の文章中に下線部が引かれたと部分を英文にするものが多い。和文英訳の対策としては、単語集や熟語集に載っている例文を丸暗記することである。暗記した例文を組み合わせて解くのである。難しい構文を敢えて使おうとすることは厳禁である。
科目別対策

国語 解答時間は120分である。問題構成は現代文2題・古文・漢文の計4題。現代文は評論と小説または詩という組み合わせが続いている。かなりの長文(特に評論)を読ませるわりに、設問は、評論は3問(うち1問は書き取り)、小説または詩は2問と極端に少なく、一問一問が非常に重い。現代文では、読みにくい文章が出題される(例:現古融合文、難解な現代詩)ため、古文・漢文をしっかりと得点できるようにしよう。問題を解くときも古文・漢文から先に解く方が良い。
科目別対策

数学 基本から標準的な問題が中心で、文系、理系ともに微分法・積分法(数学II・III)、ベクトル、数列が頻出である。標準的な問題が多いため、教科書と入試標準レベルの参考書(例:黄色チャート)をしっかりやれば、満点も十分狙える。ただし、医学部医学科のみ、数問やや難しい問題が出題されるので、医学部医学科受験生はプラスアルファ応用力を身につけるための問題集もやっておくべきである。
科目別対策

理科 物・化・生すべて、標準問題が多く、難しい問題は出題されない。得意な者は8割以上狙うことも十分可能である。医学部医学科の受験生はセンターで生物が必須であることに注意。(2018年度から廃止)
模試

大手三予備校では代々木ゼミナールが九州地区限定で熊本大プレテストを実施していたが、2015年実施分より廃止となった。ただし、九州・山口地区で主に展開されている予備校である北九州予備校や、熊本の壺渓塾では毎年11月に熊大プレテストを実施している。
本項は、熊本大学の入学試験対策に関する事項である。
熊本大学は、熊本県熊本市にある総合大学である。旧制官立医大を基とする医学部医学科は毎年非常に高い倍率(6 - 8倍)となり激戦である。熊本大学の入学試験において、センター試験の割合が非常に高い(特に文系学部)ので、センター試験対策はしっかりやらなければならない。多くの学部の目安は70%である。ただし、医学部医学科と薬学部は他の学部のようにはいかず、医学部医学科は85%、薬学部は80%の得点が求められる。
科目別対策

英語 解答時間は120分である。例年4大問構成で、長文読解2題,和文英訳1題,会話文1題である。会話文以外はいずれも記述問題である。長文読解問題は、1つは自然科学系、もう1つは社会科学系を主題としたものが例年出題されており、文系・理系の受験生両方に公平な出題になっている。長文自体は、大学入試標準レベルであるため、高校の授業に沿ってしっかりと英語学習をしていれば問題ない。試験時間が問題量に対して十分に余裕があるため、じっくりと丁寧に解いていこう。和文英訳は、日本語の文章中に下線部が引かれたと部分を英文にするものが多い。和文英訳の対策としては、単語集や熟語集に載っている例文を丸暗記することである。暗記した例文を組み合わせて解くのである。難しい構文を敢えて使おうとすることは厳禁である。
科目別対策

国語 解答時間は120分である。問題構成は現代文2題・古文・漢文の計4題。現代文は評論と小説または詩という組み合わせが続いている。かなりの長文(特に評論)を読ませるわりに、設問は、評論は3問(うち1問は書き取り)、小説または詩は2問と極端に少なく、一問一問が非常に重い。現代文では、読みにくい文章が出題される(例:現古融合文、難解な現代詩)ため、古文・漢文をしっかりと得点できるようにしよう。問題を解くときも古文・漢文から先に解く方が良い。
科目別対策

数学 基本から標準的な問題が中心で、文系、理系ともに微分法・積分法(数学II・III)、ベクトル、数列が頻出である。標準的な問題が多いため、教科書と入試標準レベルの参考書(例:黄色チャート)をしっかりやれば、満点も十分狙える。ただし、医学部医学科のみ、数問やや難しい問題が出題されるので、医学部医学科受験生はプラスアルファ応用力を身につけるための問題集もやっておくべきである。
科目別対策

理科 物・化・生すべて、標準問題が多く、難しい問題は出題されない。得意な者は8割以上狙うことも十分可能である。
模試

大手三予備校では代々木ゼミナールが九州地区限定で熊本大プレテストを実施していたが、2015年実施分より廃止となった。ただし、九州・山口地区で主に展開されている予備校である北九州予備校や、熊本の壺渓塾では毎年11月に熊大プレテストを実施している。
ウィキブックスを探検するには
ウィキブックスを探検したいなら、あなたは下記のような方法を試してみましょう。
WP:AES
w:Wikipedia:自動生成される編集要約
このページはウィキブックス日本語版の外へのソフトリダイレクトです。
民法第571条
法学>民事法>コンメンタール民法>第3編 債権 (コンメンタール民法)
条文

削除
条文

瑕疵担保責任については同時履行の抗弁が適用される旨を定めていた。改正前から、担保責任の法的性質を債務不履行責任とする立場からは確認規定にすぎないとされた一方、法定責任説からは、担保責任による損害賠償請求権、解除権等を法律により認められた特別の責任であると解し、双務契約上の債権とはしないため、本条は必須とされていた。法改正により、債務不履行責任としたため、第533条が直接適用されることは明らかであるため、本条は削除された。
条文

(売主の担保責任と同時履行)
民事訴訟法第5条
法学>民事法>民事訴訟法>コンメンタール民事訴訟法
条文

(財産権上の訴え等についての管轄)
条文

2011年改正により第15号の括弧書きを削除
民事訴訟法第115条
法学>民事法>コンメンタール民事訴訟法
条文

(確定判決等の効力が及ぶ者の範囲)
解説

既判力の主観的範囲といわれる。
解説

法的安定性の観点からいえば、既判力の主観的範囲はできるだけ広いほうが望ましい。しかし、それでは手続保障が全く与えられなかった者も既判力を生じる判断に拘束されることになり、手続的正義に反する。そこで、既判力はその訴訟における当事者にだけ及ぶのが原則である(本条一号)。ただし、例外的に、何らかの形で代替的手続保障が図られている者、また固有の手続保障を与える必要のない者には、既判力を拡張してよいと考えられる(本条二号ないし四号)
Mizar/はじめに
はじめに

近い将来、コンピュータを使って、数学の証明問題は正しいか否かが、すぐに判定できるようになるのが主流となることは間違いないと考えられています。 現在でも、様々なProof Checkerが誕生しています。しかし、使い勝手が悪かったり、汎用性の問題でなかなか普及して来ませんでした。 そのような中で、このMizarは数学の様々な分野(集合論、群論、数論、位相幾何、離散数学、etc.)を証明し形式化してきました。その定義、定理の数 は2008年8月現在、論文数1011編、著者207名、定理46506、定義8804 、証明の型756となっています。 また、システムの保守をポーランドのビャウィストク大学 (University of Białystok)、カナダのアルバータ大学、日本の信州大学で行っています。
はじめに

Proof checker。 プログラミング言語と同様に、厳密に数学の証明をする数式処理システムのひとつです。 数学を形式化し、ひとつの論文(article)とし、誰もがその引用ができるように作られています。
はじめに

主に以下の構成によって成り立っており、これらが入れ子構造(ネスティング)をともなって処理し証明を行っています。 論理的に正しければ1(Ture)、間違っていると0(False)を結果として返します。内部的にこれらの、乗算によって処理をしているので、証明の中に一ヶ所でもFalseがあると、結果がFalseとなってしまいます。
Mizar/構文
書き方
この処理系では正しいことを『1』、正しくないことを『0』とします。 従って、処理系の内部では、上記の処理は以下の処理のように取り扱われる。
型と書式の確認をした後で、
の処理を行い。
の結果は
となり、正しいということになる。 だから、『assume』は英訳では仮定なのだが、Mizarの処理系では『not』となり、 『thus ~ by ラベル』 は 『ラベル and ~ 』となる。
数学/証明
数学/定義
命題A⇒Bを証明するために
・対偶法:同値式を証明する方法。 ちなみに同値なものとして、¬B⇒¬Aや、¬A∨Bなどがある。
・背理法:(¬A∨B)の否定式であるA∧¬Bを仮定し、矛盾を導びきだす。
ある論理式の否定である論理式を作る時は、 ∀,∃,∨,∧,命題Qを∃,∀,∧,∨,命題¬Qに置き換える。
命題論理は以下の記号を使って表される。
また、A⇒B then B⇒A よりA⇔B とすることも出来る
命題関数
集合 U 上で定義された命題 A(x) を考える。命題 A(x) が真となるような集合Uの要素 x の集合を、 命題関数 A(x) の真理集合といい、Aで表す。
それぞれの命題関数の真理集合は次のようになる。
∀x∈U:A(x)⇒B(x)の成立している図
AはBの十分条件、BはAの必要条件である
Uの空間上でBの方がA以上の広い空間を持つ。このとき、全集合Uを集合A,Bと論理記号(∨,∧,¬)を使っていかにして表すか?! という問題に帰着できる。
即ち、以下の図で表すことができる。
¬A∨B
この真理集合の考えを用いると、A⇒B の証明は視覚的に行うことができる。すなわち、
A(x) ⇒ B(x) を証明するには、A⊂B であることを確かめればよい。(記号は⊂でも⊆でもどちらでも良い)
実際に、A(x) ⇒ B(x) の真理集合は、A^∪B であり、命題がトートロジーであることから A^∪B=U に等しい。このとき、
A=A∩U=A∩(A^∪B)=(A∩A^)∪(A∩B)=A∩B⊂B から、A⊂B
逆に、A⊂B とすると、
U=A^∪A⊂A^∪B⊂U から、A^∪B=U
よって、命題 A(x) → B(x) は、トートロジーである。
例えば、全集合U:(生物)の中で、A:(人間)ならばB:(動物)である。
A,B⊂U:A⊂B
以下の4つの命題関数は同値である。
裏
トートロジー(恒真命題) tautology
真理値が全て、1(真)である命題を、トートロジーという。
このように、全集合Uを埋め尽くすことが出来ればトートロジーになる。
従って、Aと¬Aを重ねると
∨=
となり、被い尽くすことが出来たので、トートロジーである。
矛盾命題 contradiction
真理値が全て、0(偽)である命題を、矛盾命題という。
同様に
∧=
となり、埋めている部分が無いので、矛盾命題となる。
同値関係
読み方(⇒:ならば、 &:かつ)
推移律と等価な関係
数学の証明は厳密性を保つため「一階述語論理」を使って行う。 「無限」に関する議論も「有限」と同様にして扱うことが可能となる。
∀:全称記号 ∃:存在記号
関係記号 Ψ(x,y)における同値関係 関係記号Ψ(x,y)は、集合における写像に対応している。 ただし、この場合は、ある固体領域内における要素と要素の対応関係とみるべきである。
限量記号(∀、∃)と、関係記号Ψ(x,y)を組み合わせた場合、 固体領域 (a,b) を考えてみる。この場合の対応関係は、以下の4通りである。 (a,b)、(a,a)、(b,a)、(b,b) この、Ψ(x,y)の組み合わせは以下のようになる。
∀x∀yΨ(x,y)⇔ ((a,a)∧(a,b))∧((b,a)∧(b,b))⇔(a,a)∧(a,b)∧(b,a)∧(b,b):全てのxについて、全てのyが、Ψ(x,y)において対応する
∀y∀xΨ(x,y) ⇔ ((a,a)∧(b,a)) ∧ ((a,b)∧(b,b))⇔ (a,a)∧(b,a) ∧ (a,b)∧(b,b):全てのyについて、全てのxが、Ψ(x,y)において対応する
∃x∃yΨ(x,y) ⇔ ((a,a)∨(a,b)) ∨ ((b,a)∨(b,b))⇔ (a,a)∨(a,b) ∨ (b,a)∨(b,b):あるxについて、あるyが、Ψ(x,y)において対応する
∃y∃xΨ(x,y) ⇔ ((a,a)∨(b,a)) ∨ ((a,b)∨(b,b))⇔(a,a)∨(b,a) ∨ (a,b)∨(b,b):あるyについて、あるxが、Ψ(x,y)において対応する
∀x∃yΨ(x,y) ⇔ ((a,a)∨(a,b)) ∧ ((b,a)∨(b,b))⇔ ((a,a)∨(a,b)) ∧ ((b,a)∨(b,b)):全てのxについて、あるyが、Ψ(x,y)において対応する
∃x∀yΨ(x,y) ⇔ ((a,a)∧(a,b)) ∨ ((b,a)∧(b,b))⇔ ((a,a)∧(a,b)) ∨ ((b,a)∧(b,b)):あるxについて、全てのyが、Ψ(x,y)において対応する
∀y∃xΨ(x,y) ⇔ ((a,a)∨(b,a)) ∧ ((a,b)∨(b,b))⇔ ((a,a)∨(b,a)) ∧ ((a,b)∨(b,b)):全てのyについて、あるxが、Ψ(x,y)において対応する
∃y∀xΨ(x,y) ⇔ ((a,a)∧(b,a)) ∨ ((a,b)∧(b,b))⇔ ((a,a)∧(b,a)) ∨ ((a,b)∧(b,b)):あるyについて、全てのxが、Ψ(x,y)において対応する
「二階述語論理」とは数学的帰納法、f(f(x))、などのように論理演算がそれ自身を含むものをいう。 従って自己を含む為に、その論理演算が証明可能か否かを判断できない命題が存在する。(ゲーデルの不完全定理)
数学の証明(Proof Check)はMizarという数理処理システムで行うことができる。
Mizar/環境部
証明の型(まずはmodeで探してみる)
ライブラリーファイル一覧
Mizar/article
論文(article)
Mizar/本体部
begin
Mizar/本体部/証明したい式
述語論理記法で表記する
定義式
記号
数学証明
Mizar/本体部/定義式/変数定義
新しい変数を導入する場合には
いくつかの変数の属性を持った、新しい変数を作る
Mizar/本体部/証明
証明の形式、骨組み:(スケルトン)
[論理式] proof [証明法] end;
変数rを再定義する場合には
ラベル付けを行う。(同じラベルの場合には直前のラベルが引用される)
that ラベル:式
such that ラベル:式
assume 仮定式
Mizar/本体部/結果
証明終了は次のいずれかになる。
hence は then + thus ということです。
式より矛盾する
式より矛盾しない
ラベル1,ラベル2の式によって示せた
ラベル1,ラベル2の式によって結果 が示せた
Mizar/本体部/proof
証明方法の流れとしては、次のパターンが考えられる。
否定(対偶法、背理法、など)
∵
場合分けして証明するとき。
hereby = thus + now
Mizar/本体部/型
変数に型を定義する
Mizar/mode型
mode 型
型の宣言方法
型変換
数学/Proof Checker
数学の証明正誤判断器(proof checker)にはバッチ型と対話型がある。
数量経済史
数量経済史(すうりょうけいざいし、cliometrics)とは、歴史学の一つである経済史の分野と、計量経済学の学際的学問である。アメリカの経済学者であるダグラス・ノースらによって形成された。日本語では、計量経済史とも訳される。経済史的な事項に対して、ミクロ経済学、マクロ経済学のモデルを適用させ、文献などの資料から経済統計を算出し、計量経済学の手法で、分析対象の経済活動に対して推定を試みる学問のことである。
Mizar/本体部/置換
置換処理を行う為に次のようなパターンがある
等しい
以下の意味と置き換える
Mizar/定義型
あるmodeと別の属性(attribute)をもつmodeを組み合わせて新しいデータタイプの熟語を作り出せる
演算子作成(functor):n個の変数を組み合わせてある変数を作る記号を定義する
Mizar/定義
vocabularyファイル(*.voc)
structureの場合
Mizar/本体部/定義式
⇔
定義中のラベルは :~: で表す。
※abstractファイルを作る場合には、 定義のラベルは
定理のラベルは
となります。
と等しい≡
置く⇒
正の値をもつ
置換
民事訴訟法第259条
法学>民事法>コンメンタール民事訴訟法
条文

(仮執行の宣言)