hpprc/jawiki-books-paragraphs huggingface dataset:
X86アセンブラ/算術演算命令
算術演算命令

算術演算命令は、 2 つのオペランドを取る。デスティネーション (転送先) とソース (転送元) である。 デスティネーションは、レジスターか、メモリーでの位置でなくてはならない。 ソースは、メモリーでの位置、レジスター、定数のどれかでなくてはならない。 二つのうち少なくとも一つは、レジスターでなくてはならない。 操作は、ソースとデスティネーションの両方を、メモリーでの位置にすることはできないためである。
算術演算命令

この命令は、srcをdestに加算する。 計算結果は、destに格納される。
算術演算命令

つまり、MASN や NASM の文法を使う場合には、結果は最初の引数に格納される。 GAS の文法を使う場合には、結果は 2 番目の引数に格納される。
算術演算命令

この命令は ADD と同じようであるが、デスティネーションからソースを減算する。
算術演算命令

mul arg
算術演算命令

この命令は「arg」に A レジスターのバイト長に応じた値を乗算する。 下表を参照のこと。
算術演算命令

2 番目の場合、古いプロセッサー向けに書かれたコードとの後方互換性のため、ターゲットは EAX ではない。
算術演算命令

imul arg
算術演算命令

MUL と同じであるが、符号付き数値のみを扱う。
算術演算命令

div arg
算術演算命令

この命令は、レジスターの内容を「arg」で除算する。 下表を参照のこと。
算術演算命令

%eax が設定されていれば、「cltd (MASM の文法では CDQ)」を使うことで、%edx を用意できる。
算術演算命令

商が商の格納先レジスターに合わなかった場合、数値オーバーフロー例外が発生する。 操作の後、全てのフラグは未定義の状態になる。
算術演算命令

idiv arg
算術演算命令

DIV と同じであるが、符号付き数値のみを扱う。
算術演算命令

neg arg
算術演算命令

引数の符号を算術的に反転させる。つまり 2 の補数を取る。
コード例

実際に、C言語のプログラムをGCCでアセンブリコードに変換してみて、どのような命令が使われているかを学びましょう。
コード例

-S でアセンブリコードに変換すると、下記のようになります。
キャリーあり算術演算命令

キャリーあり加算。 destにsrc + キャリーフラグを加算し、結果をdestに格納する。 通常、加算命令でレジスターの 2 倍の長さの値を扱うのを助ける。 以下の例では、sourceは 64 ビットの数値であり、destinationに加算される。
キャリーあり算術演算命令

ボローあり減算。 src + キャリーフラグをdestから減算し、結果をdestに格納する。 通常、減算命令でレジスターの 2 倍の長さの値を扱うのを助ける。
インクリメントとデクリメント

inc arg
インクリメントとデクリメント

引数のレジスターの値を 1 ずつインクリメントする。 ADD arg, 1よりずっと早く動作する。
インクリメントとデクリメント

dec arg
インクリメントとデクリメント

引数のレジスターの値を 1 ずつデクリメントする。
ポインターの算術演算

lea 命令は、算術演算にも使うことができ、特にポインターの算術演算に使われる。 アドレス計算命令を参照のこと。
一般社団法人及び一般財団法人に関する法律第128条
(貸借対照表等の公告) 第百二十八条 一般社団法人は、法務省令で定めるところにより、定時社員総会の終結後遅滞なく、貸借対照表(大規模一般社団法人にあっては、貸借対照表及び損益計算書)を公告しなければならない。 2 前項の規定にかかわらず、その公告方法が第三百三十一条第一項第一号又は第二号に掲げる方法である一般社団法人は、前項に規定する貸借対照表の要旨を公告することで足りる。 3 前項の一般社団法人は、法務省令で定めるところにより、定時社員総会の終結後遅滞なく、第一項に規定する貸借対照表の内容である情報を、定時社員総会の終結の日後五年を経過する日までの間、継続して電磁的方法により不特定多数の者が提供を受けることができる状態に置く措置をとることができる。この場合においては、前二項の規定は、適用しない。
自然環境保全法
日本の自然環境保全法及び同法に基づく自然環境保全地域等に関する教科書である。
概要

w:自然環境保全法を参照。所管は環境省である。本法の公布、施行をもって、自然保護法制の体系が形成され、当時の公害・環境法整備が一段落したとされた。
概要

主な改正として、
概要

がある。
条文

構成等を含めてコンメンタール自然環境保全法参照。
目的

自然公園法その他の自然環境の保全を目的とする法律と相まって、自然環境を保全することが特に必要な区域等の生物の多様性の確保その他の自然環境の適正な保全を総合的に推進することにより、広く国民が自然環境の恵沢を享受するとともに、将来の国民にこれを継承できるようにし、もって現在及び将来の国民の健康で文化的な生活の確保に寄与すること (第1条)
目的

環境基本法の施行以前は、自然環境の保全に関し基本となる事項を定めるということがあったが、これについては同法に移行した。
目的

「自然公園法その他の自然環境の保全を目的とする法律と相まって」については、自然環境の保全に関係する法令は多岐にわたる。#自然公園法との関係、コンメンタール自然環境保全法第1条を参照。
目的

本法と自然公園法(国立公園法1932年制定、同法を発展解消させた形で1957年公布)は、ともに自然保護に関する目的で、区域を指定して法令で行為への規制をかけるもの(いわゆる自然保護区)であるが、本法の制定時の経緯もあり、両者の重複適用は排除されている。さらに、両法の指定区域間(自然環境保全地域等 - 自然公園)での指定換えも殆ど行われていない。
目的

詳細は「自然公園法と自然環境保全法」を参照。
財産権の尊重及び他の公益との調整

本法に基づく規制は、財産権、他の公益への影響が大きいため、第3条に、財産権の尊重及び他の公益との調整に関する規定を設けている。
財産権の尊重及び他の公益との調整

詳細はコンメンタール自然環境保全法第3条を参照。
自然環境保全地域等

本法は、区域を指定して法令で行為への規制をかけるもので、その規制の適用を受ける地域に、原生自然環境保全地域、自然環境保全地域、都道府県自然環境保全地域がある(これらを総称して「自然環境保全地域等」という)。
自然環境保全地域等

#財産権の尊重及び他の公益との調整で記載しているような問題もあり、指定については地元の要望、理解が薄い現状がある。
自然環境保全地域等

詳細は、w:自然環境保全地域を参照。
自然環境保全地域等

原生自然環境保全地域とは、
自然環境保全地域等

のうち、当該自然環境を保全することが特に必要なもので、環境大臣が指定したものである(第14条)。この国又は地方公共団体が所有する土地に限定される理由に、下記のとおり行為規制と私権との調整が困難なことがある。
自然環境保全地域等

第17条第1項に「してはならない」行為が列挙されている。自然環境保全地域、都道府県自然環境保全地域と対比すると、「禁止制」とも言える。
自然環境保全地域等

例外として、次のものがある。
自然環境保全地域等

違反に対しては、罰則がある(第53条、第54条)。
自然環境保全地域等

自然環境保全地域とは、
自然環境保全地域等

のうち、自然的社会的諸条件からみてその区域における自然環境を保全することが特に必要なもので、環境大臣が指定したものである(第22条)。
自然環境保全地域等

都道府県自然環境保全地域とは、
自然環境保全地域等

で、都道府県が条例により指定するものである(第45条)。
自然環境保全地域等

自然環境保全地域、都道府県自然環境保全地域とも、さらに、特別地区、海域特別地区(自然環境保全地域のみ)、普通地区に区分される。
自然環境保全地域等

自然環境保全地域、自然公園とも、右に記載のいずれかの地区・地域に含まれる。
自然環境保全地域等

特別地区における許可制、普通地区における届出制がある。
自然環境保全地域等

自然環境保全地域における違反に対しては、本法に罰則がある(第53条、第54条、第55条、第56条)。
自然環境保全地域等

自然環境保全地域に関する保全計画に基づいて行う事業であって、当該地域における生態系の維持又は回復を図るものをいう(第30条の2)。これは、自然公園法にも類似の規定がある。
自然環境保全地域等

各都道府県の都道府県自然環境保全地域について規定する条例を掲載する。なお、リンク設定の制約から例規集ページへのリンクとなっているものもあり、その場合は条例名等でさらに検索することが必要となる。
会社法第967条
法学>民事法>商法>会社法>コンメンタール会社法>第8編 罰則
条文

(取締役等の贈収賄罪)
条文

2022年、以下のとおり改正(施行日2025年6月1日)。
東大対策/1985年国語第2問
次の二つの詩は同作者の作品である。 作者の見方、感じ方について、各自の感想を百六十字以上二〇〇字以内で記せ。
解答の指針・解説

解答の指針・解説
東大対策/1985年国語第2問/解答の指針・解説
大変古い出題ではあるが、『東大入試至高の国語「第二問」』において、冒頭から、「第二問」の典型として取り上げられている問題である。なお、この作者は、話題の金子みすずであり、出題当時は、いわゆる再発見の直後であった。
出題の意図や、特性の詳細については、機会を見つけて『東大入試至高の国語「第二問」』を参照いただきたいところであるが、ここでは、これを受験テクニック的に解答する指針について解説する。
問題を解くに当たって、最初に、全体構成を眺める習慣をつけたほうがいい。これは、科目・出題形式を問わず全ての受験問題に共通することではあるが。
ざっと見る。「問題文」がある。「詩」が2つ掲げてある。
ここで、この2つの詩を材料に何かを書くのだなと想像する。一般に、材料が複数提示されている場合は、「対比して述べよ」という形式の出題であることが多いし、言外にその意を含んでいると考えても多くは間違えることはない。「対比する」とは、複数のものの、共通点と相違点を明確にすることと考えればよい。
「問題文」を読む必要がある。これは大変重要である。「問題文を読む」ということは、求められているものは何かを理解し、解答の方向と構成を立てるという作業であるからである。
この問題の、問題文はこれだけである。非常に短い。これをさっと読んで、「この詩の感想文を200字までで書くんだな」と理解すると、出題の意図を誤解しかねない。受験問題は採点されるものである。採点者にとって、分析的に判断できるように、すなわち、「このことと、このことについて記述されていれば得点」というように作成されているものであり、決して、印象により採点されるものではない。
次に、上の問題設定に即して考える。
商業登記規則第11条
法学>民事法>コンメンタール商業登記法>コンメンタール商業登記規則
条文

(管轄転属の場合の措置)
商業登記規則第2条
法学>民事法>コンメンタール商業登記法>コンメンタール商業登記規則
条文

(管轄転属の場合の措置)
商業登記規則第13条
法学>民事法>コンメンタール商業登記法>コンメンタール商業登記規則
条文

(非常持出置)
商業登記規則第14条
法学>民事法>コンメンタール商業登記法>コンメンタール商業登記規則
条文

(裁判所への書類の送付)
商業登記規則第18条
法学>民事法>コンメンタール商業登記法>コンメンタール商業登記規則
条文

(登記事項証明書等の請求の通則)
商業登記規則第28条
法学>民事法>コンメンタール商業登記法>コンメンタール商業登記規則
条文

(手数料等の納付)
商業登記規則第20条
法学>民事法>コンメンタール商業登記法>コンメンタール商業登記規則
条文

(登記事項要約書の請求)
商業登記規則第32条
法学>民事法>コンメンタール商業登記法>コンメンタール商業登記規則
条文

(閲覧)
自然公園法第86条
法学>環境法>自然公園法>コンメンタール自然公園法
条文

第86条
解説

第1号は、環境大臣(国立公園)又は都道府県知事(国定公園)の認可を受けて公園事業の一部を執行する者が対象となる。
解説

第2号は、環境大臣(国立公園)又は都道府県知事(国定公園)の認定を受けて利用調整地区の区域内へ第23条第三項に規定する期間内に立ち入る者が対象となる。偽りその他不正の手段により利用調整地区への立入りの認定を受けることは第84条に処罰規定がある。
解説

第3号、第4号は、第25条に基づく指定認定機関が対象となる。
解説

第5号、第6号は、普通地域における届出に係る行為に関する規定である。第6号は、届出後30日間の着手禁止期間の規定に違反することに関する規定である。特別地域、海域特別地域における許可に係る行為に関する規定は、第83条第3項に規定されている。
解説

第7号、第8号は、第35条に基づく報告を求められた者及び同条に基づく立入検査を受ける者に関するに関する規定である。
解説

第9号、第10号は、利用のための規制に違反することが対象となる。
解説

第11号は、第62条に基づく実地調査に対する妨害行為等が対象となる。
商業登記規則第38条の3
法学>民事法>コンメンタール商業登記法>コンメンタール商業登記規則
条文

(登記官による本人確認)
48時間でSchemeを書こう/エラー処理と例外
現在のところ、コード中の様々な場所でエラーを無視するか、暗黙の内に#fや0などの「デフォルト値」を与えています。いくつかの言語 - PerlやPHP等 - はこの方針で問題ないようです。しかしながら、それは大抵エラーが表面上は問題ないようにプログラム中を推移し、のちに大きな問題となって顕れるという、プログラマにとってデバッグしにくいものとなることを意味します。エラーが起こったその時にそれを報告し、直ちに実行を中止できればいいですね。
そのためには、第一に、Haskellの組み込みのエラー関数を使えるようControl.Monad.Errorをインポートする必要があります。
Debianベースのシステムではlibghc6-mtl-devがインストールされていることが必要です。
次に、エラーを表すデータ型を定義しなくてはならないでしょう。
これらのコンストラクタは私たちがたった今必要とするよりは少し多いですが、インタプリタで今後どんな問題が起こり得るのか見ておくのもよいでしょう。次に、様々な型のエラーの表示方法を定義し、LispErrorをShowのインスタンスにします。
次のステップは私たちの定義したエラーの型を" Error型のインスタンスにすることです。これはGHCの組み込みのエラー処理関数の恩恵にあずかるには必須の手続きです。Errorのインスタンスとなるには、単にError型のインスタンスを前のエラーメッセージからかそれ自身で作る関数を提供すればいいだけです。
そしてLispErrorを投げるか値を返す関数を表す型を定義します。 どのようにparseが例外を表現するのにEither型を使ったか覚えていますか?私たちもここで同じアプローチを取ります。
型コンストラクタは関数のようにカリー化され、関数のように部分適用することが出来ます。完全な型はEither LispError IntegerかEither LispError LispValでしょうが、私たちはThrowsError LispValなどと書きたいのです。そこで、EitherをLispErrorに部分適用して、どんな型にも使うことのできるThrowsError型コンストラクタを作ります。
Eitherはさらなるモナドの例の一つです。この場合、Eitherアクション間で持ち回られる「追加情報」はエラーが発生したかしなかったかです。bindはEitherアクションが通常の値を持っていれば与えられた関数を適用し、そうでなければ何もせずにそのままエラーを受け渡します。このような仕組みは他の言語では例外によって実現されていますが、Haskellは遅延評価するので、このために新たな制御構造を導入する必要がないのです。bindが値が既にエラーだと判断すれば、関数が呼ばれることはありません。
Eitherモナドは通常のモナドのための関数に加え、2つの特別な関数を提供します。
私たちのプログラムでは、全てのエラーをその文字列表現に変えて、普通の値として返すことにします。そのためのヘルパー関数を作りましょう。
trapErrorの結果は、常に非エラー値(Right)を持つEitherアクションです。他の関数から値を利用できるように、Eitherモナドから値を取り出す方法も用意しなくてはなりません。
extractValueはLeftコンストラクタに関して意図的に未定義にしてあります。Leftの時はHaskell側にエラーがあることを表すからです。extractValueをcatchErrorの後にのみ使うことにしているので、変な値を残りのプログラム中に入れ込むよりはさっさと失敗する方がよいです。
これで基本的なインフラが整ったので、今度はエラー処理関数を使う段です。私たちのパーサがエラー時に単に"No match"という文字列を返していたことを覚えていますか?それをParseErrorにラップして投げるようにさせましょう。
ここでは、まずParseErrorをLispErrorのコンストラクタであるParserでラップし、組み込み関数throwErrorを使ってThrowsErrorモナドにして返します。readExprがモナド値を返すようになったので、もう一方の場合もreturnでラップしなければなりません(return val)。
次に、evalの型をモナドを返すように変え、戻り値をそれに合うように変えて、知らないパターンに出会ったときにエラーを投げる節を加えます。
関数適用の節がeval(モナドを返す)を再帰的に呼ぶので、その節を変える必要があります。まず、mapをmapM、モナドを扱う関数を値のリストにmapし、bindで結果の値を配列し、モナド中の値の結果をリストで返す関数に変えます。Errorモナドでは、この配列は全ての計算を順番に行いますが、その内のどれか一つでも失敗すればエラーを返し、Right [results]を成功時に、Left errorを失敗時に返します。そして、モナドのbindを使って部分適用されたapply funcにその結果を渡し、ここでも前の操作が失敗であったならばエラーを返します。
次に、与えられた関数を認識しなければエラーを投げるようにapply自身を変えます。
私たちはreturnを関数適用($ args)に加えませんでした。代わりに、プリミティブの型を変え、lookupから返された関数自身ThrowsErrorアクションを返すようにします。
そして、もちろん、それらプリミティブを実装するnumericBinop関数を、一つしか引数が与えられなければエラーを投げるように変えなければいけません。
一引数のみの場合を捉えるには、@パターンを使います。エラー報告のために実際に渡された引数自体を使いたいからです。ここで、私たちは正確に一要素だけのリストを求めていて、かつその要素が何であるかは気にしません。また、私たちはunpackNumの結果を並べるのにmapMを使わねばならず、それはunpackNumの呼び出しそれぞれがTypeMismatchで失敗するかもしれないからです。
最後に、この一連の巨大なエラーモナド群を使うためにmain関数を変える必要があります。これはIOとErrorという二つのモナドを扱わなければいけなくなるので、ちょっと複雑になるかもしれません。なので、またdo記法を使うことにします。というのも一つのモナドが他のモナドに入れ子になっているときにpoint-free styleを使うのはほぼ不可能だからです。
この新たな関数がやっていることは以下の通りです。
新しいコードをコンパイル・実行して、いくつかエラーを投げさせてみてください。
このコードをビルドするには--makeフラグと、予想されるように、これまでのlisting全てを加える必要があると何人かの読者から報告を受けました。これはGHCにimport文に記された依存関係全てを探し出して完全な実行ファイルをビルドするように指示します。上のコマンドは私のシステムでは上手くいきますが、あなたのところで駄目だった場合、--makeを試してみてください。
自然公園法第4章
法学>環境法>自然公園法>コンメンタール自然公園法
日本の法律自然公園法第4章には、罰則に関する規定がある。
条文

第4章 罰則
条文

第82条
条文

第83条 - コンメンタール自然公園法第83条#条文参照
条文

第84条
条文

第85条
条文

第86条 - コンメンタール自然公園法第86条#条文参照
条文

第87条
条文

第88条
条文

第89条
条文

第90条
解説

第4章 - 上記各条は、罰則に関する規定である。刑罰等の種類ごとに次の本法条項に違反することが対象として掲載されている(掲載順は基本的に本章掲載順)。
解説

環境大臣又は都道府県知事による、原状回復等の命令(第15条、第16条)、中止命令等(第34条)に違反した場合の規定である。
解説

コンメンタール自然公園法第83条#解説参照
解説

指定認定機関関係の秘密保持義務に違反した場合の規定である。
解説

環境大臣又は都道府県知事による、改善命令(第11条、第16条)、普通地域における禁止、制限、必要な措置を執るべき旨の命令(第33条)、公園管理団体に対する改善命令(第52条)の各命令に違反した場合の規定である。
解説

コンメンタール自然公園法第86条#解説参照
解説

第82条、第83条、第85条、第86条の違反者が法人である場合の規定である。第84条については、同条に違反者が法人である場合の規定があるため、ここでは規定されていない。
解説

国立公園事業に係る、事業執行に関する軽微な変更(第10条)、事業の休廃止(第13条)、認可の失効(第14条)の各種届出(国定公園事業に係るものはいずれも第16条)に関する規定に違反した場合の規定である。
解説

利用調整地区への立入りの認定を受けた者が立入認定証を携帯しないで立ち入った場合の規定である。利用調整地区への立入りの認定を受けていない者が立ち入った場合は、第23条違反の問題となり、第83条に規定される。
解説

都道府県立自然公園に関する条例に基づく処罰の規定である。
商業登記規則第34条
法学>民事法>コンメンタール商業登記法>コンメンタール商業登記規則
条文

(帳簿等の保存期間)
条文

当該年度の翌年から五年間
商業登記規則第36条
法学>民事法>コンメンタール商業登記法>コンメンタール商業登記規則
条文

(電磁的記録の構造等)
商業登記規則第1条
法学>民事法>コンメンタール商業登記法>コンメンタール商業登記規則
条文

(登記簿の編成)
48時間でSchemeを書こう/REPLの作成
今まで、私たちはコマンドラインから一つだけ式を取って評価し、結果を表示して終了することで満足してきました。これは計算機にしては上出来ですが、人々の思うところの「プログラミング」っぽくはないですね。新しい関数や変数を定義し、後でそれを参照したりしたいものです。でもその前に、終了せずに複数の式を実行できるシステムを作らなければなりません。
プログラム全体を一度に実行してしまうのではなく、私たちはread-eval-print loopを作ることにします。これは対話的にコンソールからの式をひとつづつ読み込んで実行し、式それぞれの後に結果を表示します。後で入力された式はそれより前で定義された変数を参照でき(次の章の後には)、それによって関数のライブラリを作りあげることができるようになります。
始めに、いくらか追加のIO functionsをインポートする必要があります。次の行をプログラムの冒頭に加えてください。
次に、私たちの行うIOタスクを簡単にするためいくつかの補助関数を用意します。文字列を表示してストリームをすぐにフラッシュする関数が要ります。出力がバッファに溜め込まれたままになって、ユーザはついにプロンプトや結果を見ることがないようなことがあると困りますから。
そして、プロンプトを表示して入力から一行読み込む関数を作ります。
mainから文字列をパースして評価しエラーを補足する部分を抜き出して一つの関数にします。
そして文字列を評価して結果を表示する関数を書きます。
それではこれら全てを一緒にしましょう。入力を読み、関数を実行し、結果を表示するという過程を無限ループするのが目標です。組み込み関数interactはほぼ私たちの目的通りのことをしますが、ループしてくれません。sequence . repeat . interactという組み合わせを使えば無限ループはできますが、今度はそれから抜け出すことができなくなります。そこで自前でループを定義しましょう。
最後にアンダースコアの付いた名前は、Haskellにおける一般的な命名規約に沿ったもので、繰り返すが値を返さないモナド関数を表します。until_は終了を判断する述語、その前に実行するアクション、そして入力に対して行うアクションを返す関数を引数に取ります。後者2つはIOのみならずどんなモナドに対しても働くように一般化されています。そのため、それらの型は型変数mを使って表され、Monad m =>という型制約を付けてあります。
再帰的な関数のみならず、再帰的なアクションも書くことができるのに注目してください。
今や必要なものが全て調ったので、REPLを簡単に書くことができます。
そしてmain関数を編集して、一つだけ式を実行するか、REPLに入ってquitと打つまで式の評価を続けるようにします。
コンパイル・実行して試してみましょう。
48時間でSchemeを書こう/Scheme関数の定義
さて、私たちは変数を定義できるようになったので、関数をもっとよく拡張することができるでしょう。このセクションのあとに、私たちはSchemeの中でオリジナル関数を定義し、他の関数から呼ぶことができるようになるでしょう。私たちの実装は、終わりに近づいています。
新しいLispValコンストラクタを定義するところから始めましょう。
私たちはprimitivesのために別のコンストラクタを追加しました。というのも、私たちは +やeqv?等を変数に格納して関数に渡せるようになりたいのです。PrimitiveFuncコンストラクタはThrowsError LispValに対して、引数のリストを取るような関数を扱います。それはprimitiveのリストに格納されているものと同じタイプです。
私たちは同様に、ユーザー定義型関数を扱うためのコンストラクタが欲しいわけです。私たちは4つの情報を扱います。
これはrecord型の例になります。レコード型は Haskell では少し不格好なので、ここでは実演目的のためだけに用います。しかし、レコード型は大きなスケールのプログラミングには非常に重要です。
次に、私たちは新しい型を含めるために、show関数を編集しましょう。
全てを表示するのではなく、primitives に対しては"<primitive>"という単語をだけを、ユーザー定義型関数に対してはヘッダー情報だけを出力します。これは、レコード型に対するパターンマッチングの一例にもなっています。そして一般的な代数タイプは、まさにパターンがコンストラクタの呼び出しのようになっています。フィールド名は、最初に書かれ、束縛される変数名が後に続きます。
次に、applyを変更する必要があります。関数の名前を渡す代わりに、実際の関数に置き換えられるLispValを渡すようにすると、コードがシンプルになります。私たちに必要なのは、ただ関数が吐き出す値を読むことであり、それを適用することなのです。
私たちがユーザー定義型関数にはちあわせたとき、この興味深いコードが起きます。Recordsは名フィールド名(見られるよりも上に)か、フィールドポジションの両方にマッチするパターンで、後の方で使います。
この関数が行う一番始めのことは、期待されている引数の数に対して、パラメーターの長さをチェックことです。もしマッチしていないのならば、エラーを吐きます。私たちは、より読みやすくするためのローカル関数であるnumを定義し、このプログラムに短い断片で作ってみましょう。
呼び出しがされた途端に出てくると、呼び出しの大半はモナディックパイプの中で、引数が新しい環境に束縛され、関数のボディの中にある式が評価されることになります。私たちが行うこの処理をパラメーターの名前や(既に評価された)引数の値をペアのリストを通ってzipするということになります。だから、私たちはこれを取りますし、関数のクロージャ(現在の環境では、まだ出来ません。これは私たちに辞書型スコープがないといけません)、そして関数の中で評価するための新しい環境を作るために、彼らが使われるでしょう。関数の全体としてはIOThrowsErrorである、IO型が結果となり、そして私たちは複合モナドの中にliftIOする必要があるわけです。
今や、残された引数を、ローカル関数として使われているbindVarArgを使って、varArgs変数変数に束縛するときです。もし関数がvarArgsを取れないのなら(Nothing節のことですね)、私たちはただ存在している環境を返します。同様に、私たちは、変数の名前をkeyとして、残った引数を値として、単独のリストを作成し、bindVarsに渡します。既に変数へ束縛されている引数全てを無視するための、ビルドイン関数である、drop を使うことを、可読性のために、remainingArgsは、ローカル変数として定義しています。
最後のステージは、この新しい環境の中で、関数のボディーを評価することです。そのために、ローカル変数であるevalBodyを使います。これは、関数のボディの中で、モナディック関数であるeval envに対して、全ての節をマッピングし、最後の節の値を返します。 今や変数の中で、primitivesを、普段の値として扱うことができるので、プログラムがスタートしたときに、これらを束縛する必要がでてきます。
これは、最初のnull環境を取り、PrimitiveFuncラッパーで構成された、名前と値のペアの枝葉を作り、そして新しい環境に対して、新しいペアを束縛します。私たちは同様に、runOneとrunReplをprimitiveBindingsの代わりに編集しなくてはいけません。
最終的に、私たちはlambda と define関数をエバリューターの中でサポートできるよう編集する必要があります。私たちは、IOThrowsErrorモナドの中で、関数オブジェクトを作るための、ちょとした簡単ことを、手助けしてくれる少しの関数を作り始めてみましょう。
ここで、makeNormalFunc と makeVarArgs は、 makeFunc の最初の引数が、通常の関数と可変長引数の関数用に適切に設定された特殊型とみなすことができます。これはコードを簡潔にするために如何にファーストクラスの関数を使うかという良い例です。
今、私たちは更なるeval節を追加することで、これらを使えるようにしましょう。彼らは、変数を定義する節の後、そして関数が適応される前に追加されるべきです。
これらは、かたちを解きほぐすためのパターンマッチングを使って、適応する関数の手助けをします。この定義の場合ですと、私たちは同様に、ローカル環境の中で変数を束縛できるよう、アウトプットをdefineVarに流し込みます。私たちは同様に、liftThrowsを外すために、関数を適応する節を編集する必要があります。というのは、applyは既にIOThrowsErrorかモナドの中で動いているからです。
さて、コンパイルして、プログラムを走らせることができるようになりました、これを使ってリアルなプログラムを書いてみましょう!
商業登記規則第36条の2
法学>民事法>コンメンタール商業登記法>コンメンタール商業登記規則
条文

(登記事項証明書等の有効期間)
商業登記規則第33条の4
法学>民事法>コンメンタール商業登記法>コンメンタール商業登記規則
条文

(電子署名の方法)
商業登記規則第33条の14
法学>民事法>コンメンタール商業登記法>コンメンタール商業登記規則
条文

(識別符号の変更)
音声学
音声学には以下のような効用があります。
自然公園法第36条
法学>環境法>自然公園法>コンメンタール自然公園法
条文

第36条
解説

第1項は、集団施設地区の指定に関する規定である。
解説

第2項により、第5条第3項及び第4項の規定を準用することにより、集団施設地区の指定及び指定の解除並びにその区域の変更については、官報等で公示することによりその効力を生ずることとなる。
コンメンタール独立行政法人農業者年金基金法
コンメンタール>コンメンタール独立行政法人農業者年金基金法
独立行政法人農業者年金基金法(最終改正:平成二一年六月二四日法律第五七号)の逐条解説書。
コンメンタール独立行政法人農業者年金基金法施行令
コンメンタール>コンメンタール独立行政法人農業者年金基金法施行令
独立行政法人農業者年金基金法施行令(最終改正:平成二一年一二月一一日政令第二八五号)の逐条解説書。
コンメンタール独立行政法人農業者年金基金法施行規則
コンメンタール>コンメンタール独立行政法人農業者年金基金法施行規則
独立行政法人農業者年金基金法施行規則(最終改正:平成二一年一二月一一日農林水産省令第六四号)の逐条解説書。
コンメンタール租税特別措置法施行令
コンメンタール>コンメンタール租税特別措置法>コンメンタール租税特別措置法施行令
租税特別措置法施行令(最終改正:平成二二年九月二九日政令第二〇六号)の逐条解説書。
コンメンタール長期優良住宅の普及の促進に関する法律
コンメンタール>コンメンタール長期優良住宅の普及の促進に関する法律
長期優良住宅の普及の促進に関する法律(最終改正:平成二一年五月二〇日法律第三八号)の逐条解説書。
コンメンタール長期優良住宅の普及の促進に関する法律施行令
コンメンタール>コンメンタール長期優良住宅の普及の促進に関する法律施行令
長期優良住宅の普及の促進に関する法律施行令(平成二十一年二月十六日政令第二十四号)の逐条解説書。
コンメンタール長期優良住宅の普及の促進に関する法律施行規則
コンメンタール>コンメンタール長期優良住宅の普及の促進に関する法律施行規則
長期優良住宅の普及の促進に関する法律施行規則(最終改正:平成二二年五月二四日国土交通省令第三二号)の逐条解説書。
国民年金法附則(昭和六〇年五月一日法律第三四号)第5条
コンメンタール>国民年金法 (前)(次)
条文

(用語の定義)
国民年金法附則(平成六年一一月九日法律第九五号)第11条
コンメンタール>国民年金法 (前)(次)
条文

(任意加入被保険者の特例)
民事調停法第16条
コンメンタール民事調停法(前)(次)
条文

(調停の成立・効力)
マンション標準管理規約(単棟型)第2条
法学>民事法>コンメンタールマンション標準管理規約(単棟型) (前)(次)
条文

(定義)
コメント

なし
マンション標準管理規約(単棟型)第15条
法学>民事法>コンメンタールマンション標準管理規約(単棟型) (前)(次)
条文

(駐車場の使用)
商業登記法第92条
法学>民事法>コンメンタール商業登記法
条文

(同時申請)
コンメンタール厚生年金保険の保険給付及び国民年金の給付に係る時効の特例等に関する法律施行規則
コンメンタール>コンメンタール厚生年金保険の保険給付及び国民年金の給付に係る時効の特例等に関する法律施行規則
厚生年金保険の保険給付及び国民年金の給付に係る時効の特例等に関する法律施行規則(最終改正:平成二一年一二月二八日厚生労働省令第一六七号)の逐条解説書。
コンメンタール厚生年金保険の保険給付及び国民年金の給付に係る時効の特例等に関する法律
コンメンタール>コンメンタール厚生年金保険の保険給付及び国民年金の給付に係る時効の特例等に関する法律
厚生年金保険の保険給付及び国民年金の給付に係る時効の特例等に関する法律(平成十九年七月六日法律第百十一号)の逐条解説書。
介護保険法第9条
コンメンタール介護保険法(前)(次)
条文

(被保険者)
介護保険法第131条
コンメンタール>コンメンタール介護保険法(前)(次)
条文

(保険料の徴収の方法)
地方自治法第231条
法学>行政法>コンメンタール地方自治法(前)(次)
条文

(歳入の収入の方法)
介護保険法第129条
コンメンタール介護保険法(前)(次)
条文

(保険料)
介護保険法施行令第40条
コンメンタール>コンメンタール介護保険法施行令(前)(次)
条文

(法第131条に規定する政令で定める年金給付等)
介護保険法施行令第41条
コンメンタール>コンメンタール介護保険法施行令(前)(次)
条文

(特別徴収の対象となる年金額)
介護保険法施行令第42条
コンメンタール>コンメンタール介護保険法施行令(前)(次)
条文

(特別徴収対象年金給付の順位)
介護保険法第132条
コンメンタール>コンメンタール介護保険法(前)(次)
条文

(普通徴収に係る保険料の納付義務)
所得税法第9条
法学>コンメンタール>コンメンタール所得税法
条文

(非課税所得)
所得税法第35条
コンメンタール所得税法
条文

(雑所得)
所得税法第74条
法学>コンメンタール>コンメンタール所得税法
条文

(社会保険料控除)
国民年金法第87条
コンメンタール>国民年金法 (前)(次)
条文

(保険料)
国民年金法第88条
国民年金法 (前)(次)
条文

(保険料の納付義務)
国民年金法第102条
コンメンタール>国民年金法 (前)(次)
条文

(時効)
国民年金法第96条
コンメンタール>国民年金法 (前)(次)
条文

(督促及び滞納処分)
国民年金法附則(昭和六〇年五月一日法律第三四号)第8条
コンメンタール>国民年金法 (前)(次)
条文

(国民年金の被保険者期間等の特例)
国民年金法第10条
コンメンタール>国民年金法 (前)(次)
条文

(任意脱退)
国民年金法附則第3条
国民年金法 (前)(次)
条文

(被保険者の資格の特例)
国民年金法第52条の2
コンメンタール>国民年金法 (前)(次)
条文

(支給要件)
国民年金法第52条の3
コンメンタール>国民年金法 (前)(次)
条文

(遺族の範囲及び順位等)
国民年金法第52条の4
コンメンタール>国民年金法 (前)(次)
条文

(金額)
国民年金法第89条
コンメンタール>国民年金法 (前)(次)
国民年金法第90条
コンメンタール>国民年金法
国民年金法第90条の2
コンメンタール>国民年金法 (前)(次)
国民年金法附則第5条
コンメンタール>国民年金法 (前)(次)
条文

(任意加入被保険者)
国民年金法附則第9条の2
コンメンタール>国民年金法 (前)(次)
条文

(老齢基礎年金の支給の繰上げ)
国民年金法附則(平成一六年六月一一日法律第一〇四号)第23条
コンメンタール>国民年金法 (前)(次)
条文

(任意加入被保険者の特例)
厚生年金保険法附則第8条
コンメンタール>厚生年金保険法 (前)(次)
条文

(老齢厚生年金の特例)
厚生年金保険法附則(昭和六〇年五月一日法律第三四号)第60条
コンメンタール>厚生年金保険法 (前)(次)
条文

(老齢厚生年金の加給年金額等の特例)
厚生年金保険法附則(平成六年一一月九日法律第九五号)第27条
コンメンタール>厚生年金保険法 (前)(次)
条文

(老齢厚生年金等の受給権者に係る老齢基礎年金の支給の繰上げの特例等)
国民年金法附則第9条の2の2
コンメンタール>国民年金法 (前)(次)
条文

(老齢厚生年金の支給繰上げの請求ができる者等に係る老齢基礎年金の支給の繰上げの特例)
国民年金法附則(平成一六年六月一一日法律第一〇四号)第9条
コンメンタール>国民年金法 (前)(次)
条文

(老齢基礎年金の額の計算に関する経過措置)
国民年金法附則(平成一六年六月一一日法律第一〇四号)第10条
コンメンタール>国民年金法 (前)(次)
国民年金法第27条
コンメンタール>国民年金法 (前)(次)
条文

(年金額)
国民年金法第94条
コンメンタール>国民年金法 (前)(次)
条文

(保険料の追納)
国民年金法第90条の3
コンメンタール>国民年金法 (前)(次)
国民年金法施行令第6条の9
コンメンタール>コンメンタール国民年金法施行令 (前)(次)
条文

(法第90条の2第2項第一号 及び第90条の3第1項第一号 の政令で定める額)
国民年金法第5条
国民年金法 (前)(次)
条文

(用語の定義)
国民年金法第26条
国民年金法 (前)(次)
条文

(支給要件)
国民年金法第25条
コンメンタール>国民年金法 (前)(次)
条文

(公課の禁止)
国民年金法第18条
コンメンタール>国民年金法 (前)(次)
条文

(年金の支給期間及び支払期月)
国民年金法第19条
コンメンタール>国民年金法 (前)(次)
条文

(未支給年金)
解説

年金給付の受給権者が死亡時に支給状況が発生していた年金給付の受領者
国民年金法第29条
コンメンタール>国民年金法 (前)(次)
条文

(失権)
国民年金法第115条
コンメンタール>国民年金法 (前)(次)
条文

(基金の給付)
国民年金法第127条
コンメンタール>国民年金法 (前)(次)
条文

(加入員)
国民年金法第127条の2
コンメンタール>国民年金法 (前)(次)
条文

(準用規定)
国民年金法第128条
コンメンタール>国民年金法 (前)(次)
条文

(基金の業務)
国民年金法附則第9条
国民年金法 (前)(次)
条文

(老齢基礎年金等の支給要件の特例)
国民年金法附則第7条
コンメンタール>国民年金法 (前)(次)
条文

(被保険者期間に関する特例)
国民年金法施行令第12条の2
コンメンタール>コンメンタール国民年金法施行令 (前)(次)
条文

(支給の繰上げの際に減ずる額)
国民年金法附則第9条の3
コンメンタール>国民年金法 (前)(次)
条文

(旧陸軍共済組合等の組合員であつた期間を有する者に対する老齢年金の支給)
国民年金法施行令第4条の5
コンメンタール>コンメンタール国民年金法施行令 (前)(次)
条文

(支給の繰下げの際に加算する額)
国民年金法第28条
コンメンタール>国民年金法 (前)(次)
条文

(支給の繰下げ)
国民年金法附則(昭和六〇年五月一日法律第三四号)第14条
コンメンタール>国民年金法 (前)(次)
条文

(老齢基礎年金の額の加算等)
国民年金法第30条
コンメンタール>国民年金法 (前)(次)
条文

(支給要件)
解説

例外
国民年金法第30条の4
コンメンタール>国民年金法 (前)(次)
国民年金法第36条の3
コンメンタール>国民年金法 (前)(次)
国民年金法第33条
コンメンタール>国民年金法 (前)(次)
条文

(年金額)
国民年金法附則(平成一六年六月一一日法律第一〇四号)第7条
コンメンタール>国民年金法 (前)(次)
条文

(国民年金法による年金たる給付等の額の計算に関する経過措置)
条文

続く
国民年金法附則(昭和六〇年五月一日法律第三四号)第20条
コンメンタール>国民年金法 (前)(次)
条文

(障害基礎年金等の支給要件の特例)
国民年金法第37条
コンメンタール>国民年金法 (前)(次)
条文

(支給要件)
国民年金法第38条
コンメンタール>国民年金法 (前)(次)
条文

(年金額)
国民年金法第39条
コンメンタール>国民年金法 (前)(次)
国民年金法第39条の2
コンメンタール>国民年金法 (前)(次)
国民年金法第20条
コンメンタール>国民年金法 (前)(次)
条文

(併給の調整)
雇用保険法第61条
コンメンタール>コンメンタール労働>雇用保険法 (前)(次)
条文

(高年齢雇用継続基本給付金)
自然公園法第37条
法学>環境法>自然公園法>コンメンタール自然公園法
条文

第37条
解説

本条は、利用のための規制に関する規定である。特別地域、海域公園地区、集団施設地区内が対象となる。
解説

本法は「利用の増進を図る」法律であるが(第1条)、利用を目的としていない自然環境保全法には、該当する条文がない。
解説

2021年4月2日の第204回国会 環境委員会 第4号では本項についても議論が行われ、観光客による撮影を目的としたヒグマへのみだりな餌やりを止めるため、マナーとしての周知では限界があるとして、第3項の追加が議論された。
自然公園法第2章第7節
法学>環境法>自然公園法>コンメンタール自然公園法
自然公園法第2章第7節には、公園管理団体に関する規定がある。
条文

第2章 国立公園及び国定公園
条文

第7節 公園管理団体
条文

第49条
条文

第50条
条文

第51条
条文

第52条
条文

第53条
条文

第54条
解説

上記各条は、公園管理団体に関する規定である。公園管理団体とは、一定の能力を有する法人(一般社団法人等)を、その申請により環境大臣(国立公園について)、都道府県知事(国定公園について)が公園管理団体として指定し、自然の風景地の管理主体及び公園内の利用施設の維持管理主体等として位置づけられるものである。
解説

公園管理団体の指定に関する規定である。
解説

公園管理団体の行う業務に関する規定である。
解説

「風景地保護協定に基づく自然の風景地の管理その他の自然の風景地の保護に資する活動」(第50条)は、環境大臣及び地方公共団体との密接な連携の下に行われなければならないことに関する規定である。
解説

環境大臣又は都道府県知事から公園管理団体に対する改善命令に関する規定である。
解説

公園管理団体の指定取消に関する規定である。取消の理由として、第52条の命令に違反した場合を挙げている。
解説

国又は地方公共団体から公園管理団体に対して、その業務の実施に関し必要な情報の提供又は指導及び助言を行うことに関する規定である。
商業登記法第102条
法学>民事法>コンメンタール商業登記法
条文

(清算結了の登記)
商業登記規則第82条
法学>民事法>コンメンタール商業登記法>コンメンタール商業登記規則
条文

(添付書面)
民事再生法第18条
法学>民事法>コンメンタール>コンメンタール民事再生法>民事再生法第18条(前)(次)
条文

(民事訴訟法 の準用)
条文

再生手続に関しては、特別の定めがある場合を除き、民事訴訟法 の規定を準用する。
民事再生法第19条
法学>民事法>コンメンタール>コンメンタール民事再生法>民事再生法第19条(前)(次)
条文

(最高裁判所規則)
条文

この法律に定めるもののほか、再生手続に関し必要な事項は、最高裁判所規則で定める。
民事再生法第22条
法学>民事法>コンメンタール>コンメンタール民事再生法>民事再生法第22条(前)(次)
条文

(破産手続開始等の申立義務と再生手続開始の申立て)
条文

他の法律の規定により法人の理事又はこれに準ずる者がその法人に対して破産手続開始又は特別清算開始の申立てをしなければならない場合においても、再生手続開始の申立てをすることを妨げない。
民事再生法第23条
法学>民事法>コンメンタール>コンメンタール民事再生法>民事再生法第23条(前)(次)
条文

(疎明)
民事再生法第24条
法学>民事法>コンメンタール>コンメンタール民事再生法>民事再生法第24条(前)(次)
条文

(費用の予納)
民事再生法第24条の2
法学>民事法>コンメンタール>コンメンタール民事再生法>民事再生法第24条の2(前)(次)
条文

(意見の聴取)
条文

裁判所は、再生手続開始の申立てがあった場合には、当該申立てを棄却すべきこと又は再生手続開始の決定をすべきことが明らかである場合を除き、当該申立てについての決定をする前に、労働組合等(再生債務者の使用人その他の従業者の過半数で組織する労働組合があるときはその労働組合、再生債務者の使用人その他の従業者の過半数で組織する労働組合がないときは再生債務者の使用人その他の従業者の過半数を代表する者をいう。第246条第3項を除き、以下同じ。)の意見を聴かなければならない。
民事再生法第25条
法学>民事法>コンメンタール>コンメンタール民事再生法>民事再生法第25条(前)(次)
条文

(再生手続開始の条件)
条文

次の各号のいずれかに該当する場合には、裁判所は、再生手続開始の申立てを棄却しなければならない。
民事再生法第26条
法学>民事法>コンメンタール>コンメンタール民事再生法>民事再生法第26条(前)(次)
条文

(他の手続の中止命令等)
民事再生法第27条
法学>民事法>コンメンタール>コンメンタール民事再生法>民事再生法第27条(前)(次)
条文

(再生債権に基づく強制執行等の包括的禁止命令)
民事再生法第28条
法学>民事法>コンメンタール>コンメンタール民事再生法>民事再生法第28条(前)(次)
条文

(包括的禁止命令に関する公告及び送達等)
民事再生法第29条
法学>民事法>コンメンタール>コンメンタール民事再生法>民事再生法第29条(前)(次)
条文

(包括的禁止命令の解除)
民事再生法第20条
法学>民事法>コンメンタール>コンメンタール民事再生法>民事再生法第20条(前)(次)
条文

削除
民事再生法第31条
法学>民事法>コンメンタール>コンメンタール民事再生法>民事再生法第31条(前)(次)
条文

(担保権の実行手続の中止命令)
民事再生法第32条
法学>民事法>コンメンタール>コンメンタール民事再生法>民事再生法第32条(前)(次)
条文

(再生手続開始の申立ての取下げの制限)
民事再生法第33条
法学>民事法>コンメンタール>コンメンタール民事再生法>民事再生法第33条(前)(次)
条文

(再生手続開始の決定)
民事再生法第34条
法学>民事法>コンメンタール>コンメンタール民事再生法>民事再生法第34条(前)(次)
条文

(再生手続開始と同時に定めるべき事項)
民事再生法第35条
法学>民事法>コンメンタール>コンメンタール民事再生法>民事再生法第35条(前)(次)
条文

(再生手続開始の公告等)
民事再生法第36条
法学>民事法>コンメンタール>コンメンタール民事再生法>民事再生法第36条(前)(次)
条文

(抗告)
民事再生法第37条
法学>民事法>コンメンタール>コンメンタール民事再生法>民事再生法第37条(前)(次)
条文

(再生手続開始決定の取消し)
民事再生法第39条
法学>民事法>コンメンタール>コンメンタール民事再生法>民事再生法第39条(前)(次)
条文

(他の手続の中止等)
民事再生法第40条
法学>民事法>コンメンタール>コンメンタール民事再生法>民事再生法第40条(前)(次)
条文

(訴訟手続の中断等)
民事再生法第40条の2
法学>民事法>コンメンタール>コンメンタール民事再生法>民事再生法第40条の2(前)(次)
条文

(債権者代位訴訟等の取扱い)
民事再生法第41条
法学>民事法>コンメンタール>コンメンタール民事再生法>民事再生法第41条(前)(次)
条文

(再生債務者等の行為の制限)
民事再生法第42条
法学>民事法>コンメンタール>コンメンタール民事再生法>民事再生法第42条(前)(次)
条文

(営業等の譲渡)
民事再生法第43条
法学>民事法>コンメンタール>コンメンタール民事再生法>民事再生法第43条(前)(次)
条文

(事業の譲渡に関する株主総会の決議による承認に代わる許可)
参照条文

民間事業者による信書の送達に関する法律第2条
参照条文

民間事業者による信書の送達に関する法律第6条
参照条文

民間事業者による信書の送達に関する法律第29条
民事再生法第44条
法学>民事法>コンメンタール>コンメンタール民事再生法>民事再生法第44条(前)(次)
条文

(開始後の権利取得)
民事再生法第45条
法学>民事法>コンメンタール>コンメンタール民事再生法>民事再生法第45条(前)(次)
条文

(開始後の登記及び登録)
民事再生法第46条
法学>民事法>コンメンタール>コンメンタール民事再生法>民事再生法第46条(前)(次)
条文

(開始後の手形の引受け等)
民事再生法第47条
法学>民事法>コンメンタール>コンメンタール民事再生法>民事再生法第47条(前)(次)
条文

(善意又は悪意の推定)
参照条文

前二条
民事再生法第48条
法学>民事法>コンメンタール>コンメンタール民事再生法>民事再生法第48条(前)(次)
条文

(共有関係)
民事再生法第49条
法学>民事法>コンメンタール>コンメンタール民事再生法>民事再生法第49条(前)(次)
条文

(双務契約)
民事再生法第50条
法学>民事法>コンメンタール>コンメンタール民事再生法>民事再生法第50条(前)(次)
条文

(継続的給付を目的とする双務契約)
民事再生法第51条
法学>民事法>コンメンタール>コンメンタール民事再生法>民事再生法第51条(前)(次)
条文

(双務契約についての破産法の準用)
民事再生法第52条
法学>民事法>コンメンタール>コンメンタール民事再生法
条文

(取戻権)
解説

取戻権 - そもそも再生債務者に属しない財産を再生債務者の保有財産から除く権利
参照条文

取戻権
民事再生法第53条
法学>民事法>コンメンタール>コンメンタール民事再生法
条文

(別除権)
民事再生法第55条
法学>民事法>コンメンタール>コンメンタール民事再生法
条文

(監督命令に関する公告及び送達)
佛教大対策
佛教大学(ぶっきょうだいがく、英語: Bukkyo University)は、京都府京都市北区紫野北花ノ坊町96に本部を置く日本の私立大学である。1949年に設置された。 通称、佛大(ぶつだい)。ここでは佛教大学の受験対策について触れる。
公募推薦入試

例年、問題形式、内容、難易度が類似している。 そのため、何回も解いてパターン慣れしておいた方がよい。 特に教育学部、歴史学部は倍率が非常に高く、 一問のミスが合否に影響するので、しっかりと対策するべきである。
一般入試

英語 国語 日本史
民事再生法第56条
法学>民事法>コンメンタール>コンメンタール民事再生法
条文

(否認に関する権限の付与)
民事再生法第57条
法学>民事法>コンメンタール>コンメンタール民事再生法
条文

(監督委員に対する監督等)
民事再生法第58条
法学>民事法>コンメンタール>コンメンタール民事再生法
条文

(数人の監督委員の職務執行)
民事再生法第59条
法学>民事法>コンメンタール>コンメンタール民事再生法
条文

(監督委員による調査)
民事保全法第2条
法学>民事法>民事保全法>コンメンタール民事保全法>民事保全法第2条(前)(次)
条文

(民事保全の機関及び保全執行裁判所)
民事保全法第3条
法学>民事法>民事保全法>コンメンタール民事保全法
条文

(任意的口頭弁論)
解説

債権者の一方的な申立のみで無審尋で発令される。
民事保全法第4条
法学>民事法>民事保全法>コンメンタール民事保全法
条文

(担保の提供)
民事保全法第5条
法学>民事法>民事保全法>コンメンタール民事保全法
条文

(事件の記録の閲覧等)
民事保全法第43条
法学>民事法>民事保全法>コンメンタール民事保全法>民事保全法第43条(前)(次)
条文

(保全執行の要件)
民事保全法第20条
法学>民事法>民事保全法>コンメンタール民事保全法>民事保全法第20条(前)(次)
条文

(仮差押命令の必要性)
解説

債務者の有する財産を将来の強制執行で金銭に換えて債権の満足を得ることを目的とした手続き。
民事保全法第23条
法学>民事法>民事保全法>コンメンタール民事保全法>民事保全法第23条(前)(次)
条文

(仮処分命令の必要性等)
解説

係争物そのものについて、将来の強制執行までにその「モノ」の状態を変えることなく現状を維持することを目的とした手続き
自然公園法第11条
法学>環境法>自然公園法>コンメンタール自然公園法
条文

第11条
解説

国立公園事業の一部を執行することの認可(第10条第3項)を受けた者に対する、環境大臣からの改善命令に関する規定である。