hatakeyama-llm-team/WikiBookJa huggingface dataset:
''「早速文法を学びたい方は レッスンへ」''
このページを開いたあなたは、おそらくなんらかの理由があって、シュメール語の勉強を始めたのでしょう。しかし、そのような理由のない方のために、今から少し説明をしましょう。
シュメール語の文法は、込み入ってわかりづらいものです。母語話者が一人もおらず、資料もあまり多くはない上、長い間母語話者でない人々によって書かれてきただけに、学ぶ上での問題も多く発生します。しかし、名高い文法家が、長年忘れ去られていたシュメール語の文法を、合理的で矛盾のない、実用的なものとしてまとめ上げたのです。そして、これは私たちにとって十分なものです。この言語学と探偵の仕事を一度にやるようなことは、どの研究者にとっても楽しい挑戦です。
シュメール語を勉強することはもっと込み入った物になります。なぜなら、世界でも初めての筆記体系が、傷や絵の段階から、本物の文字へとゆっくりと進化していくからです。もっともこれは楽しみの一つでもあります。シュメール語の文法や書記体系についてイメージを膨らませる手助けとなるような機会は、十分にあります。あなたも、その機会にあずかることができます。
技術的に話すと、この文法は、初学者の視点から、シュメール語の基礎を紹介することを意図しています。参考とされることを意図したものではありません。また、資料が不足していることや、数多くの研究者が未だ進行中であることなどから、我々のシュメール語に対する理解も常に変化しています。ですから、ここに書いてあることは、あまりあてにしないでください。
シュメール語は、少なくとも5000年前から2500年前まで用いられていました。もちろん、時代とともに多くの変化を経てきました。また、口語として廃れた後も、文語的で公式な言語として、他文化で使われました。
これは、シュメール語がただ一つのものではなく、多くの言語を意味しているということです。シュメール語は、極めて多くの地域で使われてきました。したがって、時代の変化のみならず、地域的な変化も存在しています。
「決定的な」文法を作る方法がいくらでもあることが、すぐにわかるでしょう。かつてあるシュメール学者が冗談をとばしました。「シュメール学者の数だけ、シュメール語の文法がある」と。
しかし、覚えておくべき最も重要なことは、シュメール人がけして我々を混乱させようと''試している''のではないということです。実際、シュメール人も、より理解しやすくしようとしていました。政治や文学の面で、彼らの偉業を後世の人々に伝えようとしていたのです。
ですから、博物館などで、シュメールの粘土板を読むときは、このことを思い出してください。''読まれたがっている''のだと。 どこへ行こうとも、少し努力をするだけで、人間の精神から来る希望や夢、そして野心を持った人々の声が聞こえてくるのですから。
シュメール語を読むということは、一番に人間の努力なのです。
シュメール語/文法入門
これは、シュメール語に触れたことのない人のために書かれたものです。
提案などはトーク・ページにお寄せください。
このテキストで使われる用語は、こちらの用語集をご利用ください。
これは楔形文字の一覧です。Unicodeに登録されたものや文字の組み合わせ、多様な字訳について収録しています。
(訳注：未翻訳のため、英語版の一覧にリンクを張ってあります。)
法学＞民事法＞商法＞コンメンタール会社法＞第2編 株式会社 (コンメンタール会社法)＞第2編第2章 株式 (コンメンタール会社法)
（株券の提出をすることができない場合）
第220条
株券発行会社が前項の規定による公告をした場合において、同項の期間内に利害関係人が異議を述べなかったときは、前条第2項各号に定める者は、前項の請求をした者に対し、同条第2項の金銭等を交付することができる。
第1項の規定による公告の費用は、同項の請求をした者の負担とする。
----
{{前後
|会社法
|第2編 株式会社
第2章 株式
第9節 株券
|会社法第219条（株券の提出に関する公告等）
|会社法第221条（株券喪失登録簿）
220
法学＞民事法＞商法＞コンメンタール会社法＞第2編第9章 清算 (コンメンタール会社法)
（貸借対照表等の作成及び保存）
第494条
第475条各号に掲げる場合に該当することとなった日の翌日又はその後毎年その日に応当する日（応当する日がない場合にあっては、その前日）から始まる各1年の期間をいう。）に係る貸借対照表及び事務報告並びにこれらの附属明細書を作成しなければならない。
前項の貸借対照表及び事務報告並びにこれらの附属明細書は、電磁的記録をもって作成することができる。
清算株式会社は、第1項の貸借対照表を作成した時からその本店の所在地における清算結了の登記の時までの間、当該貸借対照表及びその附属明細書を保存しなければならない。
会社法施行規則第146条(各清算事務年度に係る貸借対照表)
 
----
{{前後
|会社法
|第2編 株式会社
第9章 解散
第1節 総則
第3款 財産目録等
|会社法第493条（財産目録等の提出命令）
|会社法第495条（貸借対照表等の監査等）
494
第25条
天皇が崩じたときは、大喪の礼を行う。
本条は、天皇の崩御があったときにおいて、皇室の葬送儀礼である「大喪の礼」を行うことを規定している。ただし、「大喪の礼」の具体的内容については定めておらず、「大喪の礼」を法律上どのような儀礼と考えているかは明らかではない。
昭和天皇の大喪の礼は、「御葬列」「大喪の礼御式」により構成される儀式とされた（参照：昭和天皇の大喪の礼の細目に関する件）。
また、旧皇室典範では皇室の葬送儀礼について規定しておらず、皇室喪儀令において規定していた。
法学＞コンメンタール＞コンメンタール廃棄物の処理及び清掃に関する法律
（変更の許可等）
第15条の2の5
第15条第3項から第6項まで及び第15条の2第1項から第4項までの規定は、前項の許可について、同条第5項の規定は、前項の許可を受けた者について準用する。
----
{{前後
|廃棄物の処理及び清掃に関する法律
|第3章 産業廃棄物
特例]]
第5節 産業廃棄物処理施設
|第15条の2の4（産業廃棄物処理施設の設置者に係る一般廃棄物処理施設の設置についての特例）
|第15条の2の6（改善命令等）
15の2の5
法学＞民事法＞コンメンタール民法＞第2編 物権 (コンメンタール民法)
（地役権の不可分性）
第282条
土地の分割又はその一部の譲渡の場合には、地役権は、その各部のために又はその各部について存する。ただし、地役権がその性質により土地の一部のみに関するときは、この限りでない。
----
{{前後
|民法
|第2編 物権
第6章 地役権
|民法第281条（地役権の付従性）
|民法第283条（地役権の時効取得）
282
__TOC__
このテンプレートは本の前のページと次のページへのナビゲーションリンクを作成します。前のページと次のページはPrintable versionによる目次から自動で判別しています。
例:
：
：
（なお、中央のタイトルはテンプレート文書で呼び出されているためこうなっています。）
{	"description": "ページへのナビゲーションリンク",
	"params":
	{
		"1": 
		{	"label": "本の名前",
			"description": "本の名前",
			"type": "string",
			"required": false
		},
		"2": 
		{	"label": "現在のページ名",
			"description": "現在のページ名",
			"type": "string",
			"required": false
		},
	}
}
| {{Template:Cite book/和書
}
}
}
}
}
}
}
}
}
}
}
}
}
}
}
}
}
}
}
}
}
}
}
}
}
}
}
}
}
}
}
}
  |year = {{{year|{{    
}
             |{{
} 
}
}
}
}
}
}
}
}
}
}
}
}
}
}
}
}
}
}
}
|{{Template:Citation/core
  |Citation class=book
}
}
}
}
}
}
}
}
}
  |Year={{{year|{{    
}
             |{{
} 
}
}
}
}
}
}
}
}
}
}
}
}
}
}
  |At = {{
}
          |{{
}
}
             |{{
}
}
}
}
}
}
}
}
}
}
}
}
}
}
}
}
}
  |DateFormat = none
}
}
}
}
}
}
} 
} 
}
}
}
法学＞民事法＞コンメンタール＞コンメンタール民事執行法
（債権及びその他の財産権についての担保権の実行の要件等）
第193条
前章第2節第4款第1目（第146条第2項、第152条及び第153条を除く。）及び第182条から第184条までの規定は前項に規定する担保権の実行及び行使について、第146条第1項、第152条及び第153条の規定は前項に規定する一般の先取特権の実行及び行使について準用する。
----
{{前後
|民事執行法
|第3章 担保権の実行としての競売等
|民事執行法第192条（動産執行の規定の準用）
|民事執行法第194条（担保権の実行についての強制執行の総則規定の準用）
193
法学＞コンメンタール地方自治法
第74条
選挙人名簿に記載されている者は、その後選挙権を失つても直接請求の署名簿に署名することができる。
署名の意味が不明のままで直接請求の署名簿にした署名であつても、地方自治法施行令第95条で規定する時期までに、同条に規定する方法によつて取り消されないかぎり有効である。
----
{{前後
|地方自治法
|第2編 普通地方公共団体
第5章 直接請求
第1節 条例の制定及び監査の請求
|地方自治法第19条
|地方自治法第74条の2【署名の証明、署名簿の縦覧、署名の効力に関する争訟等】
074
法学＞民事法＞コンメンタール＞コンメンタール民事再生法
（別除権）
第53条 
会社更生法においては別除権は認められず、会社更生開始時の担保権は「更生担保権」として扱われる。
----
{{前後
|民事再生法
|第2章 再生手続の開始
第3節再生手続開始の決定
|民事再生法第52条(取戻権)
|民事再生法第54条(監督命令)
053
（協議組織の設置及び運営）
第635条
特定元方事業者（法第15条第1項の特定元方事業者をいう。以下同じ。）は、法第30条第1項第1号の協議組織の設置及び運営については、次に定めるところによらなければならない。
特定元方事業者及びすべての関係請負人が参加する協議組織を設置すること。
当該協議組織の会議を定期的に開催すること。
関係請負人は、前項の規定により特定元方事業者が設置する協議組織に参加しなければならない。
本条の協議組織は、官公署の土木工事共通仕様書、建築工事標準仕様書では、安全衛生協議会と、全国建設業協会（全建統一様式）、建設業労働災害防止協会（講習テキストなど）では、災害防止協議会と呼称される。
元方事業者による建設現場安全管理指針について（平成7年4月21日付け基発第267号の2）
元方事業者が設置・運営する労働災害防止協議会等の協議組織については、次によりその活性化を図ること。
会議の開催頻度元方事業者は、協議組織の会議を毎月１回以上開催すること。
協議組織の構成元方事業者は、協議組織の構成員に、統括安全衛生責任者、元方安全衛生管理者又はこれらに準ずる者、元方事業者の現場職員、元方事業者の店社（共同企業体にあっては、これを構成するすべての事業者の店社）の店社安全衛生管理者又は工事施工・安全管理の責任者、安全衛生責任者又はこれに準ずる者、関係請負人の店社の工事施工・安全管理の責任者、経営幹部、安全衛生推進者等を入れること。なお、元方事業者は、構成員のうちの店社の職員については、混在作業に伴う労働災害の防止上重要な工程に着手する時期、その他労働災害を防止する上で必要な時期に開催される協議組織の会議に参加させること。
協議事項協議組織の会議において取り上げる議題については、次のようなものがあること。
協議組織の規約元方事業者は、協議組織の構成員、協議事項、協議組織の会議の開催頻度等を定めた協議組織の規約を作成すること。
協議組織の会議の議事の記録元方事業者は、協議組織の会議の議事で重要なものに係る記録を作成するとともに、これを関係請負人に配布すること。
協議結果の周知 元方事業者は、協議組織の会議の結果で重要なものについては、朝礼等を通じてすべての現場労働者に周知すること。
635
監査法人に関する次の記述のうち，正しいものの組合せとして最も適切な番号を一つ選
びなさい。（5 点）
ア．監査法人の特定社員は，補助者として監査法人の業務に従事することはできるが，監査法人の意思決定に関与することはできない。
イ．有限責任監査法人が行う証明業務は全て特定証明であり，特定証明について業務を執行する権利を有し義務を負う者は，指定有限責任社員のみである。
ウ．直近会計年度において100 以上の上場有価証券発行者等の監査証明を行った監査法人の筆頭業務執行社員が，金融商品取引所に上場されている有価証券の発行者等の財務書類について連続して監査証明を行うことのできる期間は，最長で5 会計期間である。
エ．同一の監査法人を構成する社員として，有限責任社員と無限責任社員の両者が混在する場合がある。
4
ア．監査法人の特定社員は，補助者として監査法人の業務に従事することはできるが，監査法人の意思決定に関与することはできない。もできる。ただし，補助者として監査法人の業務に従事するときも，監査法人の意思決定に関与するときも定款の定めを要する。（公認会計士法34条の10の2第4項）
イ．有限責任監査法人が行う証明業務は全て特定証明であり，特定証明について業務を執行する権利を有し義務を負う者は，指定有限責任社員のみである。（公認会計士法34条の10の5第1項2項）
ウ．直近会計年度において100 以上の上場有価証券発行者等の監査証明を行った監査法人の筆頭業務執行社員が，金融商品取引所に上場されている有価証券の発行者等の財務書類について連続して監査証明を行うことのできる期間は，最長で5 会計期間である。（公認会計士法34条の11の4第1項2項，公認会計士法施行令19条，公認会計士法施行規則24条）
エ．同一の監査法人を構成する社員として，有限責任社員と無限責任社員の両者が混在する場合があるない（公認会計士法1条の3第4項5項）。
法学＞民事法＞民法＞コンメンタール民法＞第2編 物権 (コンメンタール民法)
（所有者不明土地管理命令）
第264条の2
裁判所は、所有者を知ることができず、又はその所在を知ることができない土地(土地が数人の共有に属する場合にあっては、共有者を知ることができず、又はその所在を知ることができない土地の共有持分)について、必要があると認めるときは、利害関係人の請求により、その請求に係る土地又は共有持分を対象として、所有者不明土地管理人(第4項に規定する所有者不明土地管理人をいう。以下同じ。)による管理を命ずる処分(以下「所有者不明土地管理命令」という 。)をすることができる。
所有者不明土地管理命令の効力は、当該所有者不明土地管理命令の対象とされた土地(共有持分を対象として所有者不明土地管理命令が発せられた場合にあっては、共有物である土地) にある動産(当該所有者不明土地管理命令の対象とされた土地の所有者又は共有持分を有する者が所有するものに限る。)に及ぶ。
裁判所は、所有者不明土地管理命令をする場合には、当該所有者不明土地管理命令において、所有者不明土地管理人を選任しなければならない。
2021年改正（令和3年法律第24号による改正）において新設。2023年（令和5年）4月1日より施行。
----
{{前後
|民法
|第2編 物権
第3章 所有権
第4節 所有者不明土地管理命令及び所有者不明建物管理命令
|民法第264条(準共有)
|民法第264条の3(所有者不明土地管理人の権限)
264の02
264の02
法学＞民事法＞民法＞コンメンタール民法＞第3編 債権 (コンメンタール民法)
（第三者の権利の確定）
第538条
前条の規定により第三者の権利が発生した後は、当事者は、これを変更し、又は消滅させることができない。
前条の規定により第三者の権利が発生した後に、債務者がその第三者に対する債務を履行しない場合には、同条第1項の契約の相手方は、その第三者の承諾を得なければ、契約を解除することができない。
2017年改正により第2項が新設された。
第三者のためにする契約に関する諸規定の一つである。
前条により第三者の権利が発生した後の場面における規定である。当事者は、本来契約上の相手当事者に対してのみ権利義務関係にあるものの、第三者のためにする契約においては、発生した第三者の権利も考慮する必要があるからである。
----
{{前後
|民法
|第3編 債権
第2章 契約
第1節 総則
|民法第537条(第三者のためにする契約)
|民法第539条(債務者の抗弁)
538
538
ミクロ経済学の本質は、財の価値とその決定を考えることなのである。マクロ経済学は「（国民）所得理論」と呼ばれるのに対して、ミクロ経済学は「価格理論」とも呼ばれる。ミクロ経済学とは何か？
次のウィキペディアでの解説を読んでください。
（以上、ウィキペディアへのリンク。）
法学＞民事法＞コンメンタール民法＞第3編 債権 (コンメンタール民法)＞民法第498条
（供託物の還付請求等）
第498条
弁済の目的物又は前条の代金が供託された場合には、債権者は、供託物の還付を請求することができる。
債務者が債権者の給付に対して弁済をすべき場合には、債権者は、その給付をしなければ、供託物を受け取ることができない。
2017年改正で、以下のとおり改正。
第1項を新設、それに伴い、旧本文が第2項となった。
新設第1項は従来規定がなかったが当然のこととされ、確認的に法文化された。
----
{{前後
|民法
|第3編 債権
第1章 総則
第6節債権の消滅
第1款弁済
|民法第497条（供託に適しない物等）
|民法第499条（弁済による代位の要件）
498
498
法学＞民事法＞コンメンタール民事訴訟法
（救助の付与） 
第82条 
訴訟の準備及び追行に必要な費用を支払う資力がない者又はその支払により生活に著しい支障を生ずる者に対しては、裁判所は、申立てにより、訴訟上の救助の決定をすることができる。ただし、勝訴の見込みがないとはいえないときに限る。
訴訟上の救助の決定は、審級ごとにする。
----
{{前後
|民事訴訟法
|第1編総則
第4章 訴訟費用
第3節 訴訟上の救助
|第81条（他の法令による担保への準用）
|第83条（救助の効力等）
082
法学＞民事法＞コンメンタール民事訴訟法
（決定及び命令の告知）
第119条
----
{{前後
|民事訴訟法
|第1編総則
第5章 訴訟手続
第5節 裁判
|第118条（外国裁判所の確定判決の効力）
|第120条（訴訟指揮に関する裁判の取消し）
119
スタリオン箕浦 (会話/投稿記録/ログ/メール) 2022年5月8日 (日) 05:21 (UTC)
この人の執筆態度、文章自体大問題だよ。改善させる気一切ないみたいだから、もうブロックしたら？それともこの人が主張する通り、この人の考え方が多数派で、正しい考えなの？--Honooo (トーク) 2022年1月22日 (土) 10:17 (UTC)
昔笑っていいともで皿洗うのが凄く速いなんて言ってた人がいて実演してたけど，劇団ひとりが全然洗えてないじゃんって突っ込んでた。この人の動かす手なんて何の意味もないよ。この人のインチキな暴論の大量書き込み，ほんとに放置しておいていいのかね？--Honooo (トーク) 2022年1月22日 (土) 10:46 (UTC)
どうも私が思うに，この人物は多重アカウントを使いこなしているのではないだろうか。証拠はないし，証拠を暴き立てることもかなり困難だろう。だから告発もしないけど，意外と多くのアカウントが同一人物のような気がするし，しかもそれが構造的に許されてるような気もする。だから実際には対処できない。お手上げだね^^;;;;--Honooo (トーク) 2022年3月1日 (火) 17:55 (UTC)
或いは…この人と管理者も巻き込んだ，何らかの排外的で場合によっては平気で汚い事もするコミュニティがあるって事かな…。結局よくわからない(?_?)??。どっちにしろお手上げだよ~~--Honooo (トーク) 2022年3月1日 (火) 18:13 (UTC)
やはり管理者もあまり信頼できないな。私のアクセス状況をガンガン記録して，場合によっては恫喝や裁判資料として使う気満々ってところか…--Honooo (トーク) 2022年3月1日 (火) 18:21 (UTC)
でもよく考えたらすじにく氏も管理者の悪口書いていたし,管理者も一人ではない。ウィキメディア財団という大元もあるんだろう…。結局何がどうなってるか，全く分からんよ^^;;;。--Honooo (トーク) 2022年3月1日 (火) 19:09 (UTC)
なんとなく不適切、おかしいと書くんじゃなくて、ちゃんとルールにのっとって訴追せよという意見もあったので、少しだけ、簡単に書いておきます。そうですね、ウィキペディアのルールの多くにもこの人物は抵触していると思うけど、私があえて指摘するとすると、コミュニティを疲弊させる利用者（ただ、個人的にはこれで他者をあまり非難したくはない。基本的にはコミュニケーションは疲れるものだからね）、そしてひょっとしたら有償の寄稿者にも抵触してるのでは、などと思う。そして、コメント欄と、!-- コメントでの暴言は断固やめろと言いたい。ある程度の不適切発言はありだと思うが、この人物の暴言は殺傷力が異常に高いので、自覚して控えるべきだと思う。そして本来この人物の訴追には、ウィキペディアのルールよりは、最新の、知的に偏向したそして特異部分だけ強固な論理構造を身に着けた、自覚はないのだろうが、多くの機会で他者に対するハラスメントを行使している不適切利用者に対処するために議論された、ユニバーサル行動規範によって告訴するのが妥当だと思う。ただ一応この指摘は書いておきますが、私がこの後その方針でこの人物を訴追して断罪するかどうかは、今のところ未定です。--Honooo (トーク) 2022年7月22日 (金) 21:18 (UTC)
 スタリオン箕浦 (会話/投稿記録/ログ/メール) 2022年5月8日 (日) 09:19 (UTC)
 管理者による議論終結の判断がなされないままに1年以上議論継続中の案件になっていたところ、被依頼者への新たな投稿ブロック依頼が今年も提起されました。管理者の実質的な判断がされないまま3回目の被依頼者への投稿ブロック依頼です。管理者はなぜ投稿ブロックの要否を判断しないのか、コミュニティに対して説明すべきと存じます。--Shokupan (トーク) 2023年9月18日 (月) 12:29 (UTC)
法学＞民事法＞一般社団法人及び一般財団法人に関する法律
（合併契約の締結）
第242条
----
{{前後
|一般社団・財団法人法
|第5章 合併
第3節 通則
|第241条(帳簿資料の保存)
|第243条(合併の制限)
242
【裏書の資格授与的効力、手形の善意取得】
第16条
為替手形の占有者が裏書の連続によってその権利を証明するときは、これを適法の所持人とみなす。最後の裏書が白地式である場合であっても同様である。抹消した裏書は、この関係においては、これを記載しなかったものとみなす。白地式裏書に続けて他の裏書があるときは、その裏書をした者は、白地式裏書によって手形を取得したものとみなす。
どのような場合であっても、為替手形の占有を失った者がいる場合において、所持人が前項の規定によりその権利を証明するときは、手形を返還する義務を負わない。但し、所持人が悪意又は重大な過失によってこれを取得したときは、この限りでない。
「適法ノ所持人ト看做ス」とあるが、判例において、この「看做ス」は「推定する」の意味であるとされ（最判 昭和36年11月24日）、真実の権利者でないことを証明すれば、権利の行使を拒みうる。
手形の裏書中に実在しない会社の裏書が介在しているからといつて連続を欠くとはいえない。
職名を附記して表示された手形受取人が個人名義でこれに裏書した場合でも、特段の事由がない限り裏書の連続を欠くとはいえない。
隠れたる取立委任裏書により、手形上の権利は、裏書人から被裏書人へ移転するものと解すべきである。
手形所持人は、たとえ手形が裏書の連続を欠くため形式的資格を有しなくても、実質的権利を証明するときは、手形上の権利を行使することができる。
甲会社名古屋出張所取締役所長として約束手形を裏書譲渡した乙が、甲会社を代理または代表する権限を有しなかつた場合でも、裏書が形式的に連続しており、被裏書人に悪意または重大な過失がなかつたときは、右被裏書人は振出人に対しその手形上の権利を行使できるものと解するのが相当である。
手形の裏書の抹消。
手形の裏書が抹消された場合には、これを抹消する権利を有する者がしたかどうかを問わず、手形法第16条により、右裏書は記載されなかつたものとみなすべきである。
手形法第16条第1項第1段の「看做す」の意義。
手形法第16条第1項第1段に「看做す」というのは、「推定する」との意味に解すべきである。
約束手形の受取人欄が変造された場合であつても、その手形面上変造後の受取人から現在の所持人へ順次連続した裏書の記載があるときは、右所持人は、振出人に対する関係においても手形法77条1項1号、16条1項により適法な所持人と推定される。
手形の譲受人において、手形受取名義人が当該手形の所持人であることにつき疑念を懐いて然るべき原判決理由説示のような事情があるのに、手形振出名義人又は支払担当銀行に照会するなどなんらかの方法で手形振出の真否につき調査をしなかつたのは、重大な過失があるということができる。
裏書の連続を欠く手形による手形金請求の訴えを提起した場合でも、手形所持人がその実質的権利を証明するときは、右手形債権の消滅時効は中断する。
約束手形の裏書のうち被裏書人の記載のみが抹消された場合、当該裏書は、裏書の連続の関係においては、右抹消が権限のある者によつてされたことを証明するまでもなく、白地式裏書となる。
手形について除権判決の言渡しがあったとしても，これよりも前に当該手形を善意取得した者は，当該手形に表章された手形上の権利を失わない。
----
{{前後
|手形法
|第2章 裏書
|手形法第15条【裏書の担保的効力】
|手形法第17条【人的抗弁の切断】
16
文学＞古典文学＞日本の古典＞平家物語
祇園精舍の鐘の声、諸行無常の響きあり。娑羅双樹の花の色、盛者必衰の理をあらはす。驕れる人も久しからず、ただ春の夜の夢のごとし。猛き者もつひにはほろびぬ、ひとへに風の前の塵に同じ。
遠く異朝をとぶらへば、秦の趙高、漢の王莽、梁の朱忌、唐の祿山、これらは皆舊主先皇の政にもしたがはず、樂しみをきはめ、諌めをも思ひ入れず、天下の亂れん事を悟らずして、民間の愁ふるところを知らざりしかば、久しからずして、亡じにし者どもなり。
近く本朝をうかがふに、承平の將門、天慶の純友、康和の義親、平治の信賴、これらはおごれる心もたけき事も、皆とりどりにこそありしかども、まぢかくは六波羅の入道、前太政大臣平朝臣清盛公と申しし人のありさま、傳へ承るこそ心もことばも及ばれね。
その先祖を尋ぬれば桓武天皇第五の皇子、一品式部卿葛原親王九代の後胤、讃岐守正盛が孫、刑部卿忠盛朝臣の嫡男なり。かの親王の御子、高見王、無官無位にして失せ給ひぬ。その御子、高望王の時、初めて平の姓を賜はつて、上総介に成り給ひしより、たちまちに王氏を出でて人臣に列なる、その子鎮守府将軍良望、後には國香と改む。國香より正盛に至る六代は、諸国の受領たりしかども、殿上の仙籍をば未だ赦されず。
----
ぎおんしょうじゃのかねのこえ、しょぎょうむじょうのひびきあり。
しゃらそうじゅのはなのいろ、
じょうしゃひっすいのことわりをあらわす。
おごれるひともひさしからず、
ただはるのよのゆめのごとし。
たけきものもついにはほろびぬ、
ひとえにかぜのまえのちりにおなじ。
とおくいちょうをとぶらえば、
しんのちょうこう、かんのおうもう、りょうのしゅうい、とうのろくさん、
これらはみな、きゅうしゅせんこうのまつりごとにもしたがわず、
たのしみをきわめ、いさめをもおもいいれず、
てんかのみだれんことをさとらずして、
みんかんのうれうるところをしらざつしかば、
ひさしからずしてぼうじにしものどもなり。
ちかくほんちょうをうかがうに、
じょうへいのまさかど、てんぎょうのすみとも、こうわのぎしん、へいじののぶより、
これらはおごれるこころも、たけきこともみなとりどりにこそありしかども、まぢかくは、
ろくはらのにゅうどう、さきのだいじょうだいじん、たいらのあそんきよもりこうともうししひとのありさま、
つたえうけたまわるこそ、こころもことばもおよばれね。
そのせんぞをたずぬればかんむてんのうだいごのおうじ、
いっぽんしきぶきょうかずらはらしんのうくだいのこういん、さぬきのかみまさもりがまご、
ぎょうぶきょうただもりのあそんのちゃくなんなり。
かのしんのうのみこ、たかみのおう、むかんむいにしてうせたまいぬ。
そのみこ、たかもちのおうのとき、はじめてへいのしょうをたまわって、
かずさのすけになりたまいしより、たちまちにおうしをいでてじんしんにつらなる。
そのこちんじゅふのしょうぐんよしもち、のちにはくにかとあらたむ。
くにかよりまさもりにいたるまでろくだいは、しょこくのずりょうたりしかども、
てんじょうのせんせきをばいまだゆるされず。
祇園精舍の鐘の音には、諸行無常すなわちこの世のすべての現象は絶えず変化していくものだという響きがある。娑羅双樹の花の色は、どんなに勢いが盛んな者も必ず衰えるものであるという道理をあらわしている。世に栄え得意になっている者も、その栄えはずっとは続かず、春の夜の夢のようである。勢い盛んではげしい者も、結局は滅び去り、まるで風に吹き飛ばされる塵と同じようである。
遠い外国 (の例) を見ると、秦の趙高、漢の王莽、梁の朱忌、唐の安禄山、これらはみな元の君主や先代皇帝の政治に従わず、(栄華の)楽しみを極め、忠告にも深く考えようとはせず、天下が乱れることもわからずに、人々の苦労するところとなるものも知らなかったので、長続きせずに滅びた者たちである。
身近な日本 (の例) を見ると、承平の平将門、天慶の藤原純友、康和の源義親、平治の藤原信頼、(これらの人は)得意になる心も猛々しい心も、みなそれぞれ持っていたが、最近では六波羅の入道、前太政大臣平朝臣清盛公と申した人の様子は伝え聞いても想像することも形容することもできない(ほどである)。
その清盛の先祖を調べると、桓武天皇の第五皇子、一品式部卿葛原親王から数えて九代目の子孫、讃岐守正盛の孫で、刑部卿忠盛の嫡男である。葛原親王の御子、高見王は、官職も官位もないままなくなられた。その御子の高望王のとき、初めて平の姓を賜わって、上総介になられてから、ただちに皇籍を離れて臣下の列に連なる。その子・鎮守府将軍良望は、後には国香と名を改めた国香から正盛に至るまでの六代は、諸国の国守ではあったが、殿上人として昇殿することは、まだ許されなかった。
----
thumb|left|祇園精舎原文
thumb|none|祇園精舎現代語訳
法学＞民事法＞コンメンタール民法＞第3編 債権 (コンメンタール民法)
（賃借人による修繕）
第607条の2
賃借物の修繕が必要である場合において、次に掲げるときは、賃借人は、その修繕をすることができる。
急迫の事情があるとき。
2017年改正にて新設。
----
{{前後
|民法
|第3編 債権
第2章 契約
第7節 賃貸借
|民法第607条(賃借人の意思に反する保存行為)
|民法第608条(賃借人による費用の償還請求)
607の2
607の2
法学＞民事法＞商法＞コンメンタール商法＞第2編 商行為 (コンメンタール商法)＞商法第604条
第604条
----
{{前後
|商法
|第2編 商行為
第9章 寄託
第2節倉庫営業
|商法第603条
|商法第605条
604
法学＞コンメンタール＞コンメンタール刑事訴訟法=コンメンタール刑事訴訟法/改訂
（勾留）
第60条
裁判所は、被告人が罪を犯したことを疑うに足りる相当な理由がある場合で、左の各号の一にあたるときは、これを勾留することができる。
被告人が定まった住居を有しないとき。
被告人が罪証を隠滅すると疑うに足りる相当な理由があるとき。
被告人が逃亡し又は逃亡すると疑うに足りる相当な理由があるとき。
勾留の期間は、公訴の提起があった日から2箇月とする。特に継続の必要がある場合においては、具体的にその理由を附した決定で、1箇月ごとにこれを更新することができる。但し、第89条第1号、第3号、第4号又は第6号にあたる場合を除いては、更新は、1回に限るものとする。
30万円（刑法、暴力行為等処罰に関する法律（大正15年法律第60号）及び経済関係罰則の整備に関する法律（昭和19年法律第4号）の罪以外の罪については、当分の間、2万円）以下の罰金、拘留又は科料に当たる事件については、被告人が定まった住居を有しない場合に限り、第1項の規定を適用する。
甲事実について逮捕・勾留の理由と必要があり、甲事実と乙事実とが社会的事実として一連の密接な関連がある場合、甲事実について逮捕・勾留中の被疑者を、同事実について取調べるとともに、これに付随して乙事実について取調べても、違法とはいえない。
第一次逮捕・勾留は、その基礎となつた被疑事実について逮捕・勾留の理由と必要性があつたことは明らかである。そして、「別件」中の恐喝未遂と「本件」とは社会的事実として一連の密接な関連があり、「別件」の捜査として事件当時の被告人の行動状況について被告人を取調べることは、他面においては「本件」の捜査ともなるのであるから、第一次逮捕・勾留中に「別件」のみならず「本件」についても被告人を取調べているとしても、それは、専ら「本件」のためにする取調というべきではなく、「別件」について当然しなければならない取調をしたものにほかならない。それ故、第一次逮捕・勾留は、専ら、いまだ証拠の揃つていない「本件」について被告人を取調べる目的で、証拠の揃つている「別件」の逮捕・勾留に名を借り、その身柄の拘束を利用して、「本件」について逮捕・勾留して取調べるのと同様な効果を得ることをねらいとしたものである、とすることはできない。
----
{{前後
|刑事訴訟法
|第1編 総則
第8章 被告人の召喚、勾引及び拘留
|第59条（勾引の効力）
|第61条（勾留質問）
060
法学＞民事法＞コンメンタール民法＞第5編 相続 (コンメンタール民法)
(相続人が数人ある場合の相続財産の清算人)
第936条
相続人が数人ある場合には、家庭裁判所は、相続人の中から、相続財産の清算人を選任しなければならない。
前項の相続財産の清算人は、相続人のために、これに代わって、相続財産の管理及び債務の弁済に必要な一切の行為をする。
第926条から前条までの規定は、第1項の相続財産の清算人について準用する。この場合において、第927条第1項中「限定承認をした後5日以内」とあるのは、「その相続財産の清算人の選任があった後10日以内」と読み替えるものとする。
2017年改正において、改正前「相続財産の管理人」とあったものを「相続財産の清算人」に改正。
相続人が複数ある場合、相続人の中から代表して管理等を行うものを家庭裁判所は選任する。戦後改正によって導入された制度である。
第926条から前条までの規定
相続財産の清算人
明治民法において、本条には後見に関する以下の規定があった。趣旨は、民法第869条に継承された。
----
{{前後
|民法
|第5編 相続
第4章 相続の承認及び放棄
第2節 相続の承認
|民法第935条（公告期間内に申出をしなかった相続債権者及び受遺者）
|民法第937条（法定単純承認の事由がある場合の相続債権者）
936
936
（信用毀損及び業務妨害）
第233条
虚偽の風説を流布し、又は偽計を用いて、人の信用を毀損し、又はその業務を妨害した者は、3年以下の拘禁刑又は50万円以下の罰金に処する。
2022年、以下のとおり改正（施行日2025年6月1日）。
本罪の保護法益は、人の経済的な評価である。
「虚偽の風説を流布」とは，虚偽の事項を内容とする噂を，不特定又は多数の者に知れわたるような態様において伝達することをいう。（大判大5.12.18）
したがって行為者が虚偽と信じて風説を流布しても、それが客観的事実に合致していた場合は本罪は成立しない。
----
{{前後
|刑法
|第2編 罪
第35章 信用及び業務に対する罪
|刑法第232条（親告罪）
|刑法第234条（威力業務妨害）
233
法学＞民事法＞コンメンタール商業登記法
（職権抹消）
第136条
登記官は、異議を述べた者があるときは、その異議につき決定をしなければならない。
----
{{前後
|商業登記法
|第3章 登記手続
第10節 登記の更正及び抹消
|商業登記法第135条（職権抹消）
|商業登記法第137条（職権抹消）
137
法学＞コンメンタール＞コンメンタール刑事訴訟法=コンメンタール刑事訴訟法/改訂
（無罪の判決）
第336条
被告事件が罪とならないとき、又は被告事件について犯罪の証明がないときは、判決で無罪の言渡をしなければならない。
----
{{前後
|刑事訴訟法
|第2編 第一審
第3章 公判
第5節 公判の裁判
|第335条（有罪の判決）
|第337条（免訴の判決）
336
法学＞民事法＞商法＞コンメンタール会社法＞第2編 株式会社 (コンメンタール会社法)＞第2編第2章 株式 (コンメンタール会社法)
（株式の質入れの効果）
第153条
株券発行会社は、前条第3項に規定する場合には、分割した株式について新たに発行する株券を登録株式質権者に引き渡さなければならない。
2014年改正にて第151条に第2項が新設されたことに伴い、「第151条」を「第151条第1項」に改正。
第152条における新たな株式を質権の目的である株式の株主が取得した場合、会社が株券発行会社である時は、新たな株式に対して登録質権の設定を株主名簿に記載することに替えて、当該株式の株券を登録質権者に引き渡す義務がある。
----
{{前後
|会社法
|第2編 株式会社
第2章 株式
第3節 株式の譲渡等
|会社法第152条（株式の質入れの効果）
|会社法第154条（株式の質入れの効果）
153
153
Schemeは継続(continuation)という、たいへん強力で柔軟な制御機構を備えています。継続を用いれば大域脱出、コルーチン、疑似マルチタスク、バックトラックといった特殊な制御を必要とするプログラムを効率的に記述することができるのです。しかし一方でその抽象度の高さから、「継続は難しいもの」という印象も強いようです。
ここでは継続の正確な定義はとりあえず後に回し、直感的な観点から継続を導入してみたいと思います。
話を簡単にするため、今全ての手続きが1-in/1-outであるような1-Schemeというものを考えます。例えば：
 (define (double x) (* x x))
   (double 2) => 4
 
 (define (add1 x) (+ x 1))
   (add1 2) => 3
のような手続きが1-Scheme手続きです。
----
  (define (f x y) (* x y))
 
  (lambda (X)
    (lambda (Y)
       (f X Y)))
----
1-in/1-out手続きf,g,hを考えると、あらゆる1-Schemeプログラムは本質的に次のような形をもつと考えられます。
 (h (g (f 入力)))  => 結果
つまり前の手続きの出力が次の手続きの入力として渡され、それが連なって最終結果が導かれるわけです。パイプラインに似ていますね。
ところで、これは次のように図式化できます。
 入力 => [ f => g => h ] => 結果
ここで少し細工をして
 入力 => [ f => 1 => h ] => 結果
としたらどうでしょうか。つまりgで計算をする替わりに前後の脈絡なく1をhに渡してしまうわけです。考えて見れば、これは部品の差し替えが起こるだけでプログラム全体の進行には大して影響がないことが分かります。それどころか、「特別な場合にgの計算を省略したい」といったニーズにたいへん便利に見えます。
こういう差し替えを行うにはパイプラインを監視すればよさそうです。つまり「基本的には前の手続きの入力を次に渡すのだが、必要なら替わりの値を流し込んでもいい」というルールがあれば部品の差し替えと同じことが実現できます。これはつまり図式の => にアクセスする手段があるということになります。
=> とはなんでしょうか。
まず
であることが分かります。よく考えるとこれは1-in/1-outの手続きそのものです。そして「前の値」とは、ある手続きの計算結果のことですから、
ということが言えます。最後に流し込みのルールを追加します。
このような性質を持った => を「継続手続き」といいます。そして、ある手続きを呼び出す時に、すぐ後ろの継続手続を取り出す手段がSchemeには用意されているのです。これはcall-with-current-continuationあるいは省略してcall/ccと呼ばれています。
Schemeの仕様書R5RSによれば、継続の正確な定義はこうです。
[訳] Schemeの式が評価される時、そこには評価の結果を待つ継続が一つ待機している。継続は計算の(デフォルトの)未来全体を表している。
デフォルトの未来全体とは、ずいぶん持って回った言い方です futureに未来の役を当てましたが、GoFのデザインパターンのFuture パターンに相当します。。
これは継続手続きが連なるパイプラインの先を何であれ継続と考える、ということを意味します。実行型プログラムであればプログラムの終了までですし、対話環境なら「次の入力を受け取ってそれを解釈しまた次の・・」という繰り返しを(少なくとも概念上)継続全体としてとらえます。
ここで注意しなければならないのは、一端取り出した継続手続きは、他の手続きとなんら変わるところがない、ということです。再び上の例を考えます。
上の例を字句通りに書くと次のようになります。
 (h
   (call/cc
     (lambda (cont-proc) ;; 継続手続きをとり出す
        (let ((v (f 入力)))
          (cont-proc 1)      ;; 継続手続きに1を渡す
          (g v)                    ;; ここでgを呼び出しているが、
       ))))                         ;; 直前の継続手続きで脱出してしまうため、実際には実行されない
 
 => (h 1)
ここでcont-procは単なる手続きなので、適当な変数に代入すれば後から再利用できてしまうのです。
 (define reuse #f)
 (h
   (call/cc
     (lambda (cont-proc)
       (let ((v (f 入力)))
        (set! reuse cont-proc)
        (g v)                  ;; 今度はcont-procを呼び出していないので普通に手続きは終了する
      ))))
 
 => (h (g v))
その後適当なタイミングでcontを呼び出すことができます。
 (reuse 1)
 => (h 1)
このような場合、単に再開手続きを呼ぶだけではあまり意味がないので、脱出用の継続手続きを同時に用意して処理の中断を行うケースが多いでしょう。
 (define (re-entrant stop-cont)
   (call/cc
     (lambda (continue)
       (stop-cont continue))) ;; 再開用の手続きを渡して一端終了
   (continued-body)            ;;continueが呼び出されると実行される
   ...
 )
以上をまとめると、継続の基本的な作用は次の二つになります。
Schemeの継続は基本的に「一入力の手続き」です。ただし真の多値であるvalues手続きをもつ関係上、「call-with-valuesの直下で呼び出されたcall/ccはn入力の継続手続きを生成する」と規定されています。
「継続」という概念は必ずしもScheme固有のものではないのですが、Schemeとワンセットで扱われることが多いようです。理由は色々ありますが、
などが考えられます。
。
。この大名のことを戦国大名と呼ぶ。
北条早雲は京都から東へ下り堀越公方を滅ぼし関東に勢力をはった。
戦国大名が自分の力で作り上げた支配地を領国 (分国) と呼び、その支配のことを領国支配と呼ぶ。
土一揆をおそれた戦国大名は惣の指導者である地侍を家臣に取り込み惣の団結を潰していった。また新しく家臣となった者を組織・監視する為に、有力家臣にあずける寄親・寄子制を採用した。
戦国大名は農民自身の申告によって、農民の持つ土地を把握する差出方式を採用していた。また、その土地を永楽通宝で表される貫高制も多くの分国で採用されて、貫高にみあう軍役を課し、戦国大名の軍事力強化・年貢徴収の確保に役立たせていた。
戦国大名は富国強兵をはかり、積極的に銀山などの鉱山開発を行った。
城下町を中心に、分国内の手工業者や商人を再構成し、領国を１つのまとまりのある経済圏にしようとした。
城下町では、座の特権や営業税を廃止して誰にでも自由な営業活動を認めた。
戦国大名は自己の領国を自力で支配する為に、独自の法をつくった。それを分国法 (家法) という。それらの法には御成敗式目 (貞永式目) や幕府法、国人一揆の取り決め、民間の慣習などが含まれている。
年貢未納には厳しい制裁を課し、家臣団にも縁座法を適用した。なかでも、喧嘩両成敗法は有名である。これは家臣相互間の物事を自力で解決する中世以来の伝統を否定し、戦国大名の裁定に委ねることにしたものである。
産業・経済の進展は中央の都市だけでなく、地方にも都市を出現させた。
有名な寺社の前の市場が拡大して門前町が生まれた。これに対し、浄土真宗の力が強い地域では、荒野を買い占めて、そこに浄土真宗の寺院を設け、自由な取引による経済繁栄をはかった。これが寺内町である。
堺 (大阪府) や博多 (福岡県) では、富裕な商工業者が市井を運営する自治的組織をつくっていた。堺では会合衆、博多では年行司と呼んでいる。特に、堺はイタリアのベニスにもたとえられた自治組織として有名である。
町衆とよばれる富裕な商工業者が応仁の乱の経済的な打撃から立ちあがり、祇園祭の再興に力を尽くした。
小学校・中学校・高等学校の学習>高等学校の学習>高等学校地理歴史>高等学校歴史総合>第一次世界大戦
詳しい内容は、「世界史探究」の「第一次世界大戦とロシア革命Ⅰ」を見てください。本歴史総合では、簡単に記述します。
バルカン半島で起こった一つの事件が、長期間続き、全世界に影響をもたらす大きな戦争のきっかけとなりました。科学の力で大量殺戮が出来るようになりました。史上最多の犠牲者を出した世界大戦は、何が原因で発生したのでしょうか？その主な特徴は何でしょうか？世界をどのように変えたのでしょうか？
オスマン帝国が崩壊し始めた１９世紀以降、バルカン半島には数多くの独立国が誕生しました。しかし同時に、各民族の間で領土争いが始まりました。また、１９世紀終わり頃に悪化したドイツの帝国主義的な拡大政策は、イギリス、フランス、ロシアを近づけました。一方、ドイツはオーストリア・ハンガリー帝国、ブルガリア、オスマン帝国と協定を結んで協力し合うようになりました。１９１４年６月、バルカン半島のサラエボで、セルビアの民族主義者の青年が、オーストリア王位継承者とその妻を殺害する事件が発生しました（サライェヴオ事件）。サライェヴオ事件は、オーストリア・ハンガリー帝国の人種的緊張から始まった地方の事件でした。しかし、国同士の外交関係から、全世界に影響を与える世界大戦に発展してしまいました。それも列強が、国民の力を借りようとした総力戦でした。
当初、ドイツ軍は電撃的に前進しましたが、フランス軍に妨害されて、いったん塹壕が作られると戦線は行き詰まりました。１９１７年、アメリカもドイツとの戦争に参戦しました。発達した科学技術は軍事に生かされ、戦車、潜水艦、飛行機、毒ガスなどの新兵器が作られました。戦争が進むにつれて、多くの人が亡くなり、戦争が終わった後の生活が大きく変わりました。第一次世界大戦は、これまでにない規模の戦争でした。ロシアが自国の革命のために戦争をやめると、ドイツも革命を起こしたので終わりました。
新たな戦場にやってきた兵士の大半は、植民地からでした。植民地の中には、戦後の独立に向けて、人や物を差し出した地域もありました。西アジアの勢力圏をめぐっては、イギリス、フランス、ロシアがオスマン帝国と対立していました。特にイギリスは、アラブ人やユダヤ人との秘密交渉で戦争を有利に進めました。これが、現在も続くパレスチナ問題を招いています。
日英同盟の名目で、日本もドイツに参戦しました。中国の山東半島でドイツ軍と戦って占領し、地中海に軍艦を送りました。死者が出たとはいえ、日本は主戦場から外れていたので、経済が戦争中に急成長しました。ヨーロッパで落ち込んでいた武器や日用品の輸出増加だけでなく、成金も登場しました
単数複数
1人称je parlenous parlons
2人称tu parlesvous parlez
3人称il parleils parlent
単数複数
1人称je finisnous finissons
2人称tu finisvous finissez
3人称il finitils finissent
単数複数
1人称je entendsnous entendons
2人称tu entendsvous entendez
3人称il entendils entendent
単数複数
1人称je saisnous savons
2人称tu saisvous savez
3人称il saitils savent
単数複数
1人称je suisnous sommes
2人称tu esvous êtes
3人称il estils sont
単数複数
1人称j'ainous avons
2人称tu asvous avez
3人称il ails ont
単数複数
1人称je vaisnous allons
2人称tu vasvous allez
3人称il vails vont
環境部では，引用する形式の書かれているファイル名を書きます。
 ::環境設定
 environ 
 ::--------------------------------------------------------------------------------------
 ::語彙、単語集（+,-,*,/,exp(),log(),...）
 :: 対象・作用を表す用語を記しているファイル
  vocabularies ARYTM, ARYTM_3, RELAT_1, ARYTM_1, ABSVALUE, SQUARE_1, XCMPLX_0, COMPLEX1, POLYEQ_3;
 ::--------------------------------------------------------------------------------------
 ::記号の作用範囲（整数+整数,実数+整数,...）
 :: 対象・作用を表現するかを表しているファイル
  notations TARSKI, SUBSET_1, ORDINAL1,NUMBERS,XCMPLX_0,XREAL_0,ABSVALUE, SQUARE_1,POLYEQ_3;
 ::--------------------------------------------------------------------------------------
 ::生成子、構築（「整数:整数+整数」,「実数:実数+整数」,...）
 :: 概念間の階層構造等の関係を記述したファイル
  constructors REAL_1, ABSVALUE, XCMPLX_0, XREAL_0, XBOOLE_0,SQUARE_1,POLYEQ_3;
 ::--------------------------------------------------------------------------------------
 ::同要素の集合体、群
  registrations XREAL_0, REAL_1, NUMBERS, ARYTM_3, ZFMISC_1, XBOOLE_0, XCMPLX_0;
 ::--------------------------------------------------------------------------------------
 ::条件範囲(集)「整数:{0,1,2,3,...}」,「実数:-∞より上、∞未満」,「ブール:0,1」,...
  requirements REAL, NUMERALS, SUBSET, BOOLE, ARITHM;
 ::--------------------------------------------------------------------------------------
 ::定義(集)
  definitions TARSKI, REAL_1, XREAL_0;
 ::--------------------------------------------------------------------------------------
 ::定理(集)ファイル
  theorems AXIOMS, REAL_1, ABSVALUE, XREAL_0, XCMPLX_0, XCMPLX_1;
 ::--------------------------------------------------------------------------------------
 ::公理図式（A→B,￢A∨B,...）
  schemes FRAENKEL, BINOP_1, SUBSET_1;
証明の型(まずはmodeで探してみる)
--------------------------------------------------------------------------------------
[http://markun.cs.shinshu-u.ac.jp/mizar/lib.htm ライブラリーファイル一覧]