hatakeyama-llm-team/WikiBookJa huggingface dataset:
コンメンタール＞労働基準法
第137条
期間の定めのある労働契約（一定の事業の完了に必要な期間を定めるものを除き、その期間が1年を超えるものに限る。）を締結した労働者（第14条第1項各号に規定する労働者を除く。）は、労働基準法の一部を改正する法律（平成15年法律第104号）附則第3条に規定する措置が講じられるまでの間、民法第628条の規定にかかわらず、当該労働契約の期間の初日から1年を経過した日以後においては、その使用者に申し出ることにより、いつでも退職することができる。
政府は、この法律の施行後三年を経過した場合において、この法律による改正後の労働基準法第14条の規定について、その施行の状況を勘案しつつ検討を加え、その結果に基づいて必要な措置を講ずるものとする。
----
{{前後
|労働基準法
|附則抄
|労働基準法第136条(年次有給休暇取得者への不利益取扱いの禁止)
|労働基準法第138条(年次有給休暇取得者への不利益取扱いの禁止)
137
法学＞民事法＞コンメンタール＞コンメンタール民事執行法
（移転登記等の嘱託）
第164条
前項の規定による嘱託に要する登録免許税その他の費用は、同項前段の場合にあつては債務者の負担とし、同項後段の場合にあつては差押債権者の負担とする。
----
{{前後
|民事執行法
|第2章 強制執行
第2節 金銭の支払を目的とする債権についての強制執行
第4款 債権及びその他の財産権に対する強制執行
第1目 債権執行等
|民事執行法第163条（動産の引渡請求権の差押命令の執行）
|民事執行法第165条（配当等を受けるべき債権者の範囲）
164
----
'''※Chainerの開発はメンテナンスモードに入りました{{Cite web
|url=https://www.preferred.jp/ja/news/pr20191205/
|title=Preferred Networks、深層学習の研究開発基盤をPyTorchに移行 - 株式会社Preferred Networks
|date=2019/12/05
|accessdate=2021/11/04
。
Chainerはディープラーニング用に開発されたオープンソースのフレームワークです。Pythonで動作し、実行にはCUDAが使われるため、Nvidia製GPUが必要です。Chainerは複雑なグラフ構造を持つニューラルネットワークを自由に構築し、高速に動作することができます。
ChainerはCUDAを使用します。まず、NvidiaのサイトからCUDAをダウンロードしてインストールしてください。
次にPythonが動作する環境を構築します。Windows7で動作させる場合は、WinPythonが便利なディストーションです。WinPythonには主要なパッケージが既にインストール済みであり、新たにパッケージを入れる場合もWinPython Control Panelのウィンドウにパッケージをドラッグするだけで簡単にインストールすることができます。ChainerのGitHubからダウンロードしたzipファイルごとWinPython Control Panelのウィンドウにドラッグし、Installをクリックするだけで環境構築は終了します。
Chainerのzipファイルにはexampleフォルダが用意されています。
この中にサンプルコードが存在しているので、実際に動作させてみましょう。
法学＞民事法＞民法＞コンメンタール民法＞第2編 物権 (コンメンタール民法)＞民法第343条
（質権の目的）
第343条
質権の目的物についての規定である。
質権の目的物とする物は、譲渡性を持った物でなければならない。債権者が質権の目的物を換価してその代金をもって弁済を受けることが質権の目的であるため、譲渡できないものは換価性がないと評価されるわけである。また特別法で譲渡を禁じているものも同様である。
質権の目的物にできない物の例として、
譲渡禁止特約付き債権(民法第466条2項但書)ただし特約の存在について善意の第三者には対抗できない。
などがある。
----
{{前後
|民法
|第2編 物権
第9章 質権
第1節 総則
|民法第342条（質権の内容）
|民法第344条（質権の設定）
343
前）（次）
（担保権の実行の申立て） 
第187条 
第189条第1項の不許可の決定が確定した後に、第1項の担保権の実行の申立てが取り下げられ、又は却下された場合において、破産管財人が前条第1項の申立てをしたときは、当該担保権の実行の申立てをした被申立担保権者は、第1項の規定にかかわらず、同項の担保権の実行の申立てをしたことを証する書面を提出することができない。
187
（2007年2月現在）直近試験での「午前の試験」知識分野ごとの出題状況（６／９）
Ｖ．データベース技術
大分類
中分類
試験区分ごとの重点度と、問題番号
AN,PM,AE
SW
テクニカルエンジニア
SU
SD
AD
AU
FE
NWDBSMESSV
-○II
-◎III○II-○II
----○I
1 データベースのモデル
1.1 データベースのモデル
21-223627-28
58
1.2 データの分析
61,63
26-293729-30
60-61
1.3 データ操作
62
23-25
59
小計
-3
-92-4
----4
2 データベース言語
2.1 データベース言語
2.2 SQL
64-66
30-3338-3931
62
2.3 API
小計
-3
-42-1
----1
3 データベースの制御
3.1 DBMSの機能と特徴
67-70
34-37,44-4532,35
63
3.2 DBの制御機能
40-434033-34
3.3 分散データベース
38-39
小計
-4
-121-4
----1
Ｖ．データベース技術計／全問題数
-10/80
-25/555/55-9/55
----6/80
出題比率%
-12.5
-45.59.1-16.4
----7.5
株式会社を設立しようとする者は発起人となり、会社法に従って、その基本的規則である定款を作成し、その記載に従い会社を設立する。設立に当たっては、定款の記載が会社法を充足していることを公証人が認証することを要し（会社法第27条）、会社が実体を備えるまで原則としてこれを変更することはできない。
また、会社成立後は、会社の経営において、すべての行動の規準となり、これに反するものは基本的に無効であり、これに従わない役員等の行動は忠実義務違反（会社法第355条）等を問われる。
定款変更は、会社における重要な事項として、株主総会の決議でのみ行うことができ、特別決議による（会社法第466条、会社法第309条第2項第11号）。
定款には、①会社法上必ず記載しなければならない事項（絶対的記載事項会社法第27条他）、②定款に定めがなければその効力を生じない事項（相対的記載事項設立時;会社法第28条、その他会社設立以降に適用されるもの）、③絶対的記載事項及び相対的記載事項以外の事項（任意的記載事項）により構成される。ただし、任意的記載事項であっても会社法の規定に違反するものは効力を有しない（会社法第29条）。
通常、4及び5は会社成立後の株主総会における定款変更決議で削除される。
変態設立事項以外（会社法第29条）、以下主要なもの。
取締役の任期の伸長、短縮、監査役の任期の伸長・補欠監査役の任期の短縮に関する規定。
定款の記載事項のうち、絶対的記載事項及び相対的記載事項以外の事項で会社法の規定に違反しないもの（会社法第29条）、以下例示。
会社法
オープニングとは、そのゲームで最初にするムーブ（駒を動かすこと）です。
レスポンスは、その直後に行われるムーブのことをいいます。
オープニングやレスポンスは、全てのゲームで必ず目にするムーブになります。ですから、これを学ぶことは必ず身になるものです。また、これらのムーブの中には、ムーブのエッセンスが多く詰まっていますから、きっと役に立つものになるでしょう。
オープニングには、15通りの目があります。最初のロール（ダイスを振ること）では、ゾロ目の際、振り直すことからわかると思います。その15通りそれぞれで期待されるムーブは、以下の6つに分類することが出来ます。
ブロックポイントを作るムーブです。ブロックポイントを作ることで、敵の駒をヒットした時のダンスの確立を上げたり、敵のバックマン（最後方にある駒たち）が逃げるのを難しくしたりします。
具体的には、3-1 4-2 5-3 6-4 6-1です。3-1から6-4までの4つは、8ポイントと5ポイントの駒を使って自分のインナーポイント（自分のゴールに近い6つのポイント）にブロックポイントを作ります。6-1は、13ポイントと8ポイントの駒で7ポイントを作ります。
31: 8/5 6/5
42: 8/4 6/4
53: 8/3 5/3
64: 8/2 5/2
61: 13/7 8/7
バックマンは、自らのピップ（全部の駒を上げるのに必要な目の数）の1～2割を占めます。また、敵のプライム（5～6つ程度ブロックポイントが連続したもの）に捕まると、勝率が非常に下がります。
そういった弱点を解消するために、非常に大きな目を振った場合には、バックマンを逃がします。
具体的には、6-5 6-4 6-3です。それぞれ、13ポイント、14ポイント、15ポイントまで、バックマンを進めます。特に6-5を振って、バックマンを13ポイントのブロックまですすめることを、ラバーズリープということがあります。
65: 24/13
64: 24/14
63: 24/15
アクションプレーとは、6の目が出たときに行うムーブの仕方です。バックマンを6の目を使って動かし、もう一方の目でミッドポイント(13ポイント)の駒をおろします。
バックマンを18ポイントまで進めれば、次の手番で18ポイントにブロックポイントを作れる可能性が上がります。そうすることで、相手のプライムに捕まりづらくなります。また、敵はおちおちアウター（インナーの次にゴールに近い6つのポイント。7～12ポイント）に自分のブロット（一人ぼっちの駒）を置けなくなります。すぐ近くにこちらの駒があるので、ヒットされやすいからです。
敵はそれを防ごうと、18ポイントの駒をヒットしてくるでしょう。しかし、ヒットされても6つ分しか損しませんし、敵のヒットしてきた駒をヒットし返す（リターンヒット）の可能性も非常に高いです。リターンヒットした場合、敵の駒は18ピップ損します。これは自分の損する3倍に当たります。
このようにアクションプレーは非常に効果的です。具体的には、6-4 6-3 6-2の3つがアクションプレーに当たります。6-5はラバーズリープをします。6-1では7ポイントを作ります。
64: 24/18 13/9
63: 24/18 13/10
62: 24/18 13/11
C・IVLII・CAESARIS・COMMENTARIORVM・BELLI・GALLICI
LIBER・SECVNDVS
__notoc__
原文テキストについてはガリア戦記/注解編#原文テキストを参照。 24.    1Eodem tempore equites nostri levisque armaturae pedites qui cum eis una fuerant, quos primo hostium impetu pulsos dixeram, cum se in castra reciperent, adversis hostibus occurrebant ac rursus aliam in partem fugam petebant;    2et calones, qui ab decumana porta ac summo iugo collis nostros victores flumen transisse conspexerant, praedandi causa egressi, cum respexissent et hostis in nostris castris versari vidissent, praecipites fugae sese mandabant.    3Simul eorum qui cum impedimentis veniebant clamor fremitusque oriebatur, aliique aliam in partem perterriti ferebantur.    4Quibus omnibus rebus permoti equites Treveri, quorum inter Gallos virtutis opinio est singularis, qui auxili causa ab civitate  ad Caesarem missi venerant, cum multitudine hostium castra compleri nostra, legiones premi et paene circumventas teneri, calones, equites, funditores, Numidas, diversos dissipatosque in omnis partis fugere vidissent, desperatis nostris rebus domum contenderunt;    5Romanos pulsos superatosque, castris impedimentisque eorum hostis potitos civitati renuntiaverunt.  
----
テキスト引用についての注記
整形テキストについてはガリア戦記/注解編#凡例を参照。 24.    
①Eōdem tempore equitēs nostrī levisque armātūrae peditēs, quī cum iīs ūnā fuerant, quōs primō hostium impetū pulsōs dīxeram, cum sē in castra reciperent, adversīs hostibus occurrēbant ac rūrsus aliam in partem fugam petēbant;    ②et cālōnēs, quī ab decumānā portā ac summō iugō collis nostrōs victōrēs flūmen trānsīsse cōnspexerant, praedandī causā ēgressī, cum respexissent et hostēs in nostrīs castrīs versārī vīdissent, praecipitēs fugae sēsē mandābant.    ③Simul eōrum, quī cum impedīmentīs veniēbant, clāmor fremitusque oriēbātur, aliīque aliam in partem perterritī ferēbantur.    ④Quibus omnibus rēbus permōtī equitēs Trēverī, quōrum inter Gallōs virtūtis opīniō est singulāris, quī auxiliī causā ā cīvitāte missī ad Caesarem vēnerant, cum multitūdine hostium castra [nostra] complērī, legiōnēs premī et paene circumventās tenērī, cālōnēs, equitēs, funditōrēs, Numidās, dīversōs dissipātōsque in omnēs partēs fugere vīdissent, dēspērātīs nostrīs rēbus domum contendērunt;    ⑤Rōmānōs pulsōs superātōsque, castrīs impedīmentīsque eōrum hostēs potītōs cīvitātī renūntiāvērunt.  
----
注記
原文の eīs, hostīs, omnīs, partīs, auxilī  などは、それぞれ iīs, hostēs, omnēs, partēs, auxiliī  などとした。
dīxeram (1人称･単数･過去完了･能動･直説法) : Klotz は dīxerām<us> (1人称･複数･過去完了･能動･直説法) と修正提案している。
trānsīsse (完了･能動･不定法) : α系写本の記述で、Pontet, Constans, Klotz, Seel, Hering らは、こちらを支持する。
trānsīre (現在･能動･不定法) : β系写本の記述で、Holmes らは、こちらを支持する。
virtūtis opīniō est : α系写本の語順で、Pontet, Holmes, Constans, Klotz, Seel らは、こちらを採る。
virtūtis est opīniō : β系写本の語順で、Hering は、こちらを採る。
ā : β系写本の表記で、Holmes, Klotz, Seel, Hering らは、こちらを採る。
ab : α系写本の表記で、Pontet, Constans らは、こちらを採る。
missī ad Caesarem : β系写本の語順で、Holmes, Klotz, Seel, Hering らは、こちらを採る。
ad Caesarem missī : α系写本の語順で、Pontet, Constans らは、こちらを採る。
nostra complērī : β系写本などの語順で、Holmes, Klotz, Seel, Hering らは、こちらを採る。
complērī nostra : α系写本の大半の語順で、Pontet らは、こちらを採る。
complērī :  nostra を欠く、写本S の記述で、Constans らは、これを支持する。
語釈
法学＞民事法＞一般社団法人及び一般財団法人に関する法律＞コンメンタール一般社団法人及び一般財団法人に関する法律
第146条
一般社団法人は、その成立後、社員総会の決議によって、定款を変更することができる。
----
{{前後
|一般社団・財団法人法
|第2章 一般社団法人
第6節 定款の変更
|第145条（破産法の適用の特例）
|第147条（事業の譲渡）
法学＞コンメンタール＞コンメンタール刑事訴訟法=コンメンタール刑事訴訟法/改訂
（破棄差戻移送・自判）
第400条
前二条【第398条、第399条】に規定する理由以外の理由によって原判決を破棄するときは、判決で、事件を原裁判所に差し戻し、又は原裁判所と同等の他の裁判所に移送しなければならない。但し、控訴裁判所は、訴訟記録並びに原裁判所及び控訴裁判所において取り調べた証拠によって、直ちに判決をすることができるものと認めるときは、被告事件について更に判決をすることができる。
刑訴法第400条但書に違反しない一事例。
本件第一審判決がその判示のごとき理由で被告人に無罪の言渡をしても控訴裁判所において「右判決は法令の解釈を誤りひいては事実を誤認したものとして」これを破棄し、自ら何ら事実の取調をすることなく、訴訟記録及び第一審裁判所で取り調べた証拠のみによつて、直ちに被告事件について、犯罪事実を認定し有罪の判決をしたからといつて、必ずしも刑訴第400条但書の許さないところではない。
第一審裁判所が法律判断の対象となる事実を認定し、法律判断だけで無罪を言い渡した場合には、控訴裁判所は、改めて事実の取調をすることなく、刑訴法400条但書によつて、みずから有罪の判決をすることができる。
----
{{前後
|刑事訴訟法
|第3編 上訴
第2章 控訴
|第399条（破棄移送・自判）
|第401条（共通破棄）
400
法学＞民事法＞民事訴訟法＞コンメンタール民事訴訟法
（当事者照会）
第163条
----
{{前後
|民事訴訟法
|第2編第一審の訴訟手続
第3章 口頭弁論及びその準備
第2節 準備書面等
|第162条（準備書面等の提出期間）
|第164条（準備的口頭弁論の開始）
163
法学＞民事法＞コンメンタール民法＞第2編 物権 (コンメンタール民法)
（抵当権の順位） 
第373条
----
{{前後
|民法
|第2編 物権
第10章 抵当権
第2節 抵当権の効力
|民法第372条（留置権等の規定の準用）
|民法第374条（抵当権の順位の変更）
373
/*附録*/ここでは本編で触れることのなかった雑多な話題を集めました。/*機能の改廃*/Perlコアの機能改廃を中心にハイライトをまとめました。 /*v5.36.0*/詳細は「perl5360delta(en)」および「perl5360delta(ja)」を参照 use v5.36 で有効になる機能 signatures signatures が有効になりますが、依然「実験的」なままなので use feature 'signatures'; は不要になりましたが、no warnings "experimental::signatures";は必要なままです。 isa v5.32.0 で導入されたクラスインスタンス演算子が有効になりました。 use warnings use warnings がディフォルトで有効になりなりました。無効にするには明示的に no warnings とします。プラグマはレキシカルスコープなので、本当に警告を消したいコードブロックに限定して無効化できます。 use false true is_bool 真理値関係の組込み機能が導入されました。
ウェブサイトやウェブアプリケーションを開発するにあたり、ウェブサーバーは必要不可欠な存在です。多くの人がApacheやnginxを使っているかもしれませんが、今回はH2Oという高速でシンプルなウェブサーバーについて紹介します。
H2Oは、軽量かつ高速なウェブサーバーとして知られており、特に大量の静的ファイルを扱う場合に威力を発揮します。また、SSL/TLSの設定が簡単であることや、HTTP/2に完全対応している点も特徴的です。
本書では、H2Oの基本的な使い方から応用的な設定まで、丁寧に解説していきます。ウェブ開発においてウェブサーバーは非常に重要な役割を担っているため、本書を読むことでより効率的なウェブ開発ができるようになることを期待しています。
H2Oとは、高速かつ効率的なウェブサーバーで、オープンソースのソフトウェアです。H2Oは、非常に高いパフォーマンスを提供することができ、静的なコンテンツや動的なコンテンツを含む、様々なタイプのウェブページを処理することができます。
H2Oは、HTTP/1.xおよびHTTP/2プロトコルに対応しています。また、WebSocketやFastCGIなどのプロトコルもサポートしています。これにより、H2Oは、高速なウェブサイトの構築に最適なソフトウェアとして知られています。
H2Oは、高い並行性を持っており、シングルスレッドでの処理も行うことができます。また、ディスクアクセスを最小限に抑えるために、メモリにキャッシュされたファイルを使用することができます。これにより、静的なファイルの配信が高速化されます。
さらに、H2Oは、非常に柔軟な設定が可能です。設定ファイルを使用して、異なるウェブサイトやバーチャルホストの設定を簡単に行うことができます。また、リバースプロキシとしての使用にも適しており、多くの拡張機能を備えています。
H2Oは、C言語で書かれており、オープンソースのソフトウェアとして利用可能です。Linux、FreeBSD、macOSなどのUnix系オペレーティングシステムで動作します。さらに、Dockerイメージとしても提供されており、簡単に利用することができます。
H2Oは、高速なウェブサイトの構築に必要な機能を備えた、優れたウェブサーバーです。その高いパフォーマンスと柔軟性により、多くのウェブサイト開発者やシステム管理者から支持されています。
H2Oをインストールするには、以下の手順に従ってください。
H2Oの公式サイト https://h2o.examp1e.net/ から、H2Oの最新バージョンをダウンロードします。
ダウンロードしたファイルを展開し、展開したフォルダに移動します。
ターミナルを開き、展開したフォルダ内で以下のコマンドを実行します。
$ ./configure
$ make
$ sudo make install
H2Oが正常にインストールされたかを確認するには、以下のコマンドを実行します。
$ h2o -v
バージョン番号が表示されれば、H2Oのインストールが成功しています。
H2Oをセットアップするには、以下の手順に従ってください。
H2Oの設定ファイルを作成します。H2Oの設定ファイルは、YAML形式で記述されます。例えば、以下のような設定ファイルを作成します。
listen:
  port: 8080
hosts:
  "example.com":
    paths:
      "/":
        file.dir: /var/www/example.com/
H2Oを起動します。H2Oを起動するには、以下のコマンドを実行します。
$ h2o -c /path/to/h2o.conf
-cオプションで、H2Oの設定ファイルのパスを指定します。
ウェブブラウザで、H2Oが正しく動作しているかどうかを確認します。ウェブブラウザで、以下のURLにアクセスします。
http://example.com:8080/
上記の例では、example.comのルートディレクトリにアクセスするために、ポート番号8080を使用しています。
H2Oには、mrubyというスクリプトエンジンが組み込まれています。mrubyは、Rubyの軽量版であり、C言語で記述されています。mrubyを使用することで、H2Oで実行するスクリプトを作成することができます。これにより、Webアプリケーションの構築が簡単になり、開発者が自由にカスタマイズできるようになります。
mrubyは、Rubyのシンタックスや機能の多くをサポートしていますが、実行速度は通常のRubyよりも高速です。mrubyを使用することで、H2Oのパフォーマンスを維持しながら、柔軟性を高めることができます。
H2Oとmrubyの組み合わせは、高速かつ柔軟なWebアプリケーションの開発に適しています。また、H2Oは、インストールが簡単で、設定もシンプルです。
{{コラム|mruby|2=mrubyは、組込みシステムやWebアプリケーションの開発に使用できる、軽量で高速なRubyプログラミング言語の実装です。
mrubyは、Yukihiro "Matz" Matsumoto氏によって開発され、2012年に最初にリリースされました。
mrubyは、MRI（Matz's Ruby Interpreter）とは異なり、高速かつ軽量なバージョンであり、組み込みシステムやマイクロコントローラなどのリソースが限られた環境でも実行できます。
また、mrubyにはC言語とのシームレスな統合機能が備わっており、C言語で書かれた既存のコードを容易に再利用できます。
mrubyは、オープンソースであり、BSDライセンスで提供されています。
これで、関数、ラムダ、レキシカルスコープ、シンボル、文字列、整数、リスト操作、代入など、標準の大部分を実装したSchemeインタプリタが使えるようになりました。REPLを使って対話的に使うこともできますし、バッチモードでスクリプトファイルを実行することもできます。Scheme関数のライブラリを作成し、プログラムに組み込んだり、対話型インタプリタに読み込ませたりすることができる。awkやsedで少しテキスト処理をすれば、UNIXコマンドの出力を括弧付きのLispリストとして整形し、Schemeプログラムに読み込んで、このインタプリタを使ってシェルスクリプトを書くことができます。
このインタプリタには、まだまだ追加できる機能がたくさんあります。健全なマクロ( ''hygienic macros'' )を使えば、実行前にソースコードに変換を加えることができます。これは新しい言語機能を追加するのに非常に便利な機能で、Schemeのいくつかの標準的な部分(let-bindingsや追加の制御フロー機能など)は、これを用いて定義されています。R5RSの[http://www.schemers.org/Documents/Standards/R5RS/HTML/r5rs-Z-H-7.html#%_sec_4.3 4.3節]でマクロシステムの構文と意味が定義されており、実装に関する論文も[https://web.archive.org/web/20180810194414/http://library.readscheme.org/page3.html 多数存在]します。基本的には、readExprとevalの間に、フォームとマクロ環境を受け取り、変換キーワードを探し、パターン言語の規則に従って変換し、必要に応じて変数を書き換える関数を挟みたいと思うでしょう。
継続は、「計算の残り」をキャプチャし、保存し、おそらく複数回実行する方法です。これを使えば、主要なプログラミング言語のほぼすべての制御フロー機能を実装することができます。継続を実装する最も簡単な方法は、プログラムを[https://web.archive.org/web/20180720154748/http://library.readscheme.org/page6.html 継続パッシングスタイル]に変換し、evalが結果を返す代わりに、追加の継続引数を受け取り、それを呼び出すようにすることです。この引数は eval のすべての再帰的な呼び出しに通されますが、 call-with-current-continuation の呼び出しを評価するときにのみ操作されます。
Dynamic-wind は、現在の継続を離れるときに実行する関数のスタックを保持し、継続を再開するときに実行する関数のスタックを（継続データ型の中に）保持することで実装できます。
もしあなたがHaskellをもっと学びたいと思っているのであれば、役に立つライブラリがたくさんあります：
ウェブアプリケーション：[http://www.informatik.uni-freiburg.de/~thiemann/haskell/WASH/ WASH]、モナディックなウェブフレームワークです。
データベース： [http://hackage.haskell.org/package/haskelldb haskelldb], SQL を Haskell 関数のセットとしてラップするライブラリで、データベースへのクエリ時に言語のすべての型安全性を提供します。
GUIプログラミング:[http://www.altocumulus.org/Fudgets/ Fudgets]と[https://wiki.haskell.org/WxHaskell wxHaskell]があります。wxHaskellはどちらかというと従来のMVC GUIライブラリですが、Fudgetsには関数型プログラミング言語でGUIを表現する方法について多くの新しい研究が含まれています。
同時実行：[http://www.haskell.org/ghc/docs/6.4/html/libraries/stm/Control.Concurrent.STM.html Software Transactional Memory]、論文 [http://research.microsoft.com/~simonpj/papers/stm/stm.pdf Composable Memory Transactions]で説明されています。
ネットワーク： GHCの[http://www.haskell.org/ghc/docs/6.4/html/libraries/network/Network.html ネットワーキングライブラリ]です。
これで、この言語についてさらに調べるための出発点となるはずです。ハッキングを楽しんでください！
Ketil Maldeさん、Pete Kazmierさん、Brockさん、このチュートリアルに関する質問と提案を送っていただきありがとうございました。その他のコメント、説明、訂正は、このチュートリアルの [https://en.wikibooks.org/wiki/Talk:Write_Yourself_a_Scheme_in_48_Hours|discussion page]（訳註：リンク先は翻訳元（英語）の議論のページです） で行ってください。
< ^ >
----
複数シリーズ画像を同時に開く方法は？。1 件の被験者ファイルを開き、連続するシリーズの選択には  ‘shift’ キーを、連続しないシリーズの選択には ‘Apple’ (Command) キーを押した状態で、複数シリーズのサムネイル画像を選択していきます。次に、ツールバーにある "2D Viewer" アイコンをクリックすれば、選択したシリーズがすべて開きます。 
OsiriX_5.1.jpg''"Local Database" ウインドウ''
いつでも新しいシリーズを開くことができます。データベースウインドウを開くには、ファイルメニューから "Local Database" を選択するだけです。
----
OsiriX 
< ^ >
Online OsiriX Documentation/Opening multiple series simultaneously
Documentación en línea de OsiriX/Abrir varios series a la vez
Documentation en ligne de OsiriX/Ouvrir plusieurs séries simultanément
法学＞民事法＞民法＞コンメンタール民法＞第3編 債権 (コンメンタール民法)
（請負）
第632条
請負は、当事者の一方がある仕事を完成することを約し、相手方がその仕事の結果に対してその報酬を支払うことを約することによって、その効力を生ずる。
請負契約は諾成契約であるが、債務者（請負人）の債務の内容が｢仕事の完成｣である点に注意が必要である。
請負を規定する本款の構成は以下の通り。2017年改正により、担保責任という考え方から、契約不適合責任へと変わったことに伴い改正された。
請負契約において仕事が完成しない間に注文者の責に帰すべき事由によりその完成が不能となつた場合には、請負人は、自己の残債務を免れるが、民法536条2項により、注文者に請負代金全額を請求することができ、ただ、自己の債務を免れたことにより得た利益を注文者に償還すべきである。
請負契約が請負人の責に帰すべき事由により中途で終了した場合において、残工事の施工に要した費用として、注文者が請負人に賠償を請求することができるのは、右費用のうち、未施工部分に相当する請負代金額を超える部分に限られる。
請負人が破産宣告を受けた場合には、当該請負契約の目的である仕事が請負人以外の者において完成することのできない性質のものでない限り、右契約について破産法59条が適用される。
建物建築工事の注文者と元請負人との間に、請負契約が中途で解除された際の出来形部分の所有権は注文者に帰属する旨の約定がある場合には、元請負人から一括して当該工事を請け負った下請負人が自ら材料を提供して出来形部分を築造したとしても、注文者と下請負人との間に格別の合意があるなど特段の事情のない限り、右契約が中途で解除された際の出来形部分の所有権は注文者に帰属する。
請負人と雇用契約を締結し注文者の工場に派遣されていた労働者が注文者から直接具体的な指揮命令を受けて作業に従事していたために，請負人と注文者の関係がいわゆる偽装請負に当たり，上記の派遣を「労働者派遣事業の適正な運営の確保及び派遣労働者の就業条件の整備等に関する法律」に違反する労働者派遣と解すべき場合において，(1)上記雇用契約は有効に存在していたこと，(2)注文者が請負人による当該労働者の採用に関与していたとは認められないこと，(3)当該労働者が請負人から支給を受けていた給与等の額を注文者が事実上決定していたといえるような事情はうかがわれないこと，(4)請負人が配置を含む当該労働者の具体的な就業態様を一定の限度で決定し得る地位にあったことなど判示の事情の下では，注文者と当該労働者との間に雇用契約関係が黙示的に成立していたとはいえない。
----
{{前後
|民法
|第3編 債権
第2章 契約
第9節 請負
|民法第631条（使用者についての破産手続の開始による解約の申入れ）
|民法第633条（報酬の支払時期）
632
テンプレートへのリンクを作るテンプレートです。そのテンプレートを呼び出すときの書き方を示すことと、そのテンプレートへのリンクを付けることが両立可能です。ソースコードであることを意味するタグで囲われた表記になります。
__TOC__
具体的な使い方は下記の表を参照ください。引数subst=を指定するとsubst展開して呼び出すときの書き方で示せます。リンク先テンプレートのパラメータも、リンクと同時に最大8つまで示せます。リンク先テンプレートパラメータ表示が"="を含む場合は注意が必要です。
''このテンプレートが貼り付けられたページに適用するカテゴリはありません''。
法学＞民事法＞コンメンタール民事訴訟法
（通常の手続への移行）
第353条
原告は、口頭弁論の終結に至るまで、被告の承諾を要しないで、訴訟を通常の手続に移行させる旨の申述をすることができる。
訴訟は、前項の申述があった時に、通常の手続に移行する。
前項の場合には、裁判所は、直ちに、訴訟が通常の手続に移行した旨を記載した書面を被告に送付しなければならない。ただし、第1項の申述が被告の出頭した期日において口頭でされたものであるときは、その送付をすることを要しない。
第2項の場合には、手形訴訟のため既に指定した期日は、通常の手続のために指定したものとみなす。
----
{{前後
|民事訴訟法
|第5編手形訴訟及び小切手訴訟に関する特則
|第352条（証拠調べの制限）
|第354条（口頭弁論の終結）
353
法学＞民事法＞商法＞コンメンタール会社法＞第2編 株式会社 (コンメンタール会社法)＞第2編第9章 清算 (コンメンタール会社法)
（清算人の調査結果等の債権者集会に対する報告）
第562条
特別清算開始の命令があった場合において、第492条第1項に規定する清算人が清算株式会社の財産の現況についての調査を終了して財産目録等（同項に規定する財産目録等をいう。以下この条において同じ。）を作成したときは、清算株式会社は、遅滞なく、債権者集会を招集し、当該債権者集会に対して、清算株式会社の業務及び財産の状況の調査の結果並びに財産目録等の要旨を報告するとともに、清算の実行の方針及び見込みに関して意見を述べなければならない。ただし、債権者集会に対する報告及び意見の陳述以外の方法によりその報告すべき事項及び当該意見の内容を債権者に周知させることが適当であると認めるときは、この限りでない。
----
{{前後
|会社法
|第2編 株式会社
第9章 清算
第2節 特別清算
第8款 債権者集会
|会社法第561条（議事録）
|会社法第563条（協定の申出）
562
原価計算基準 第二章実際原価の計算
実際原価の計算においては、製造原価は、原則として、その実際発生額を、まず費目別に計算し、次いで原価部門別に計算し、最後に製品別に集計する。販売費および一般管理費は、原則として、一定期間における実際発生額を、費目別に計算する。
法学＞民事法＞民事保全法＞コンメンタール民事保全法
（詐害行為取消権を保全するための仮処分における解放金に対する権利の行使） 
第65条 
民法 （明治29年法律第89号）第424条第1項の規定による詐害行為取消権を保全するための仮処分命令において定められた第25条第1項の金銭の額に相当する金銭が供託されたときは、同法第424条第1項の債務者は、供託金の還付を請求する権利（以下「還付請求権」という。）を取得する。この場合において、その還付請求権は、その仮処分の執行が第57条第1項の規定により取り消され、かつ、保全すべき権利についての本案の判決が確定した後に、その仮処分の債権者が同法第424条第1項の債務者に対する債務名義によりその還付請求権に対し強制執行をするときに限り、これを行使することができる。
----
{{前後
|民事保全法
|第4章 仮処分の効力
|民事保全法第64条（建物収去土地明渡請求権を保全するための建物の処分禁止の仮処分の効力）
|民事保全法第66条（公示書等損壊罪）
065
コンメンタール＞労働基準法
第72条
第70条の規定に基づく厚生労働省令の適用を受ける未成年者についての第39条の規定の適用については、同条第1項中「10労働日」とあるのは「12労働日」と、同条第2項の表6年以上の項中「10労働日」とあるのは「8労働日」とする。
----
{{前後
|労働基準法
|第7章 技能者の養成
|労働基準法第71条（職業訓練に関する特例2）
|労働基準法第73条（職業訓練に関する特例4）
072
第4編 親族
（未成年後見人の選任）
第840条
前条の規定により未成年後見人となるべき者がないときは、家庭裁判所は、未成年被後見人又はその親族その他の利害関係人の請求によって、未成年後見人を選任する。未成年後見人が欠けたときも、同様とする。
未成年後見人がある場合においても、家庭裁判所は、必要があると認めるときは、前項に規定する者若しくは未成年後見人の請求により又は職権で、更に未成年後見人を選任することができる。
未成年後見人を選任するには、未成年被後見人の年齢、心身の状態並びに生活及び財産の状況、未成年後見人となる者の職業及び経歴並びに未成年被後見人との利害関係の有無（未成年後見人となる者が法人であるときは、その事業の種類及び内容並びにその法人及びその代表者と未成年被後見人との利害関係の有無）、未成年被後見人の意見その他一切の事情を考慮しなければならない。
2項及び3項が追加された。
民法典制定来、後見人は一人と定められていたが（明治民法第906条→戦後改正:第843条→1999年改正:第842条）、それを改めて複数人選任できるようになったこと、および法人を選任することができるようになった。
戦後改正により、明治第902条の趣旨を引き継いだ以下の条項があったが、成年後見制度整備に合わせ後見人選任に関する民法第843条に吸収された。
夫婦の一方が禁治産の宣告を受けたときは、他の一方は、その後見人となる。
未成年後見人は、家庭に第三者が入ることを避ける法意から、親権者の意思を最重要視するため、最後に親権を行う者の遺言による指定があればそれが優先される（第839条）が、指定がない場合は、一定の請求権者の請求を契機として（職権により選任を審判できない）、家庭裁判所が選任する。
請求権者
父母が親権を制限されていた場合であっても、未成年者の福祉の観点から選任請求は可能。
明治民法において、本条には後見人が被後見者を養子とすることを禁ずる以下の規定があった。戦後、家庭裁判所の許可の下これを認める民法第895条に改正・継承された。
----
{{前後
|民法
|第4編 親族
第5章 後見
第2節 後見の機関
第1款 後見人
|民法第839条（未成年後見人の指定）
|民法第841条（父母による未成年後見人の選任の請求）
840
840
840
証明の形式、骨組み：(スケルトン)
[論理式] proof [証明法] end;
 Aが成立する
 --------------------------------------------------
 proof
  thus A;
 end;
 Q⇒A
  Qを仮定する
   ～
  Aとなる
 --------------------------------------------------
 Q implies A
 proof
  assume Q;
   ～
  thus A;
 end;
 given = assume+ consider とする場合
 ((∃x)Q[x})⇒A
  xをQ[x}に与える
   ～
 Aとなる
 --------------------------------------------------
 (ex x st Q[x]) implies A
  proof
   given x such that Q[x];
   ······
   ～
   ······
   thus A;
  end;
 A⇔B
  A⇒B
  and
  B⇒A
 --------------------------------------------------
 A iff B
 proof
  thus A implies B;
  thus B implies A;
 end;
 A⇔B
  これにより
   Aを仮定
   Bとなる
  Bを仮定
  Aとなる
 --------------------------------------------------
 A iff B
 proof
  hereby
   assume A;
   thus B;
  end;
  assume B;
  thus A;
 end;
 A or B
 Aでないと仮定
 Bとなる
 ---------------------------------------------------
 A or B
 proof
  assume not A;
  thus B;
 end;
 A and B
 Aが成立
 Bが成立
 ---------------------------------------------------
 A & B
 proof
  thus A;
  thus B;
 end;
 ∀ x ∈集合  ⊆  f(x)
  x∈集合
  f(x)が成立
 ---------------------------------------------------
 for x being set holds f(x)
 proof
  let x be set;
  thus f(x);
 end;
 ∃ x ∈集合  ⇒  f(x)
  あるxとする
  f(x)が成立
 ---------------------------------------------------
 ex x being set st f(x)
 proof
  take a;
  thus f(a);
 end;
 Pは正しい
  Pは間違っていると仮定する
  矛盾する
 Qは間違っている
  Qは間違っていると仮定する
  矛盾しない
 A⇒B and B⇒C
 A⇒B or A⇒C
------------------------------------------------------------
------------------------------------------------------------
 consider 変数 型;
------------------------------------------------------------
変数rを再定義する場合には
 reconsider 変数 型;
------------------------------------------------------------
------------------------------------------------------------
ラベル付けを行う。(同じラベルの場合には直前のラベルが引用される)
 ラベル名:式;
 A1: a=b;
------------------------------------------------------------
that ラベル：式
such that ラベル：式
------------------------------------------------------------
------------------------------------------------------------
assume 仮定式
------------------------------------------------------------
法学＞コンメンタール行政事件訴訟法
（共同訴訟）
第17条
数人は、その数人の請求又はその数人に対する請求が処分又は裁決の取消しの請求と関連請求とである場合に限り、共同訴訟人として訴え、又は訴えられることができる。
第16条（前条）第2項の規定の準用
前項の規定により共同訴訟人として訴え、又は訴えられる場合において、取消訴訟の第一審裁判所が高等裁判所であるときは、関連請求に係る訴えの被告の同意を得なければならない。被告が異議を述べないで、本案について弁論をし、又は弁論準備手続において申述をしたときは、同意したものとみなす。
----
{{前後
|行政事件訴訟法
|第2章 抗告訴訟
第1節 取消訴訟
|第16条（請求の客観的併合）
|第18条（第三者による請求の追加的併合）
17
第27条
車両（同法第5条第1項第3号に規定する路線定期運行又は同法第3条第2号に掲げる特定旅客自動車運送事業の用に供する自動車（以下「乗合自動車」という。）及びトロリーバスを除く。）は、第22条第1項の規定に基づく政令で定める最高速度（以下この条において「最高速度」という。）が高い車両に追いつかれたときは、その追いついた車両が当該車両の追越しを終わるまで速度を増してはならない。最高速度が同じであるか又は低い車両に追いつかれ、かつ、その追いついた車両の速度よりもおそい速度で引き続き進行しようとするときも、同様とする。
車両（乗合自動車及びトロリーバスを除く。）は、車両通行帯の設けられた道路を通行する場合を除き、最高速度が高い車両に追いつかれ、かつ、道路の中央（当該道路が一方通行となつているときは、当該道路の右側端。以下この項において同じ。）との間にその追いついた車両が通行するのに十分な余地がない場合においては、第18条第1項の規定にかかわらず、できる限り道路の左側端に寄つてこれに進路を譲らなければならない。最高速度が同じであるか又は低い車両に追いつかれ、かつ、道路の中央との間にその追いついた車両が通行するのに十分な余地がない場合において、その追いついた車両の速度よりもおそい速度で引き続き進行しようとするときも、同様とする。
他の車両に追いつかれた車両の義務についての規定である。
最高速度
道路交通法第22条に最高速度の規定のない軽車両については、義務を規定していない。
車両通行帯の設けられた道路を通行する場合を除き
車両通行帯が設けられている場合は道路交通法第20条により、原則として最も右側の車両通行帯以外の車両通行帯を通行することとなり、追越しをするときはそのの直近の右側の車両通行帯を通行することとなるため、本条では義務を規定していない。
追いつかれ
連続して進行する車両のうち後続車両が制限速度以内で進行していて、先行車両に接近した場合の先行車両の義務を規定している。追いついた車両が法定の最高速度をこえる速度で違法に走行していたとしてもなお追いつかれた車両に加速してはならない義務が生ずるかどうかという点については、若干の疑問はあるが、法の趣旨からみて消極に解すべきであろう。
できる限り道路の左側端に寄つて
左側端に寄っても追い越せないような狭い道路や工事など、道路の状況その他の事情で譲ることが困難な場合を除く。また、軽車両は原則道路の左側端を通行しており、その時点で義務を遂行している。
昭和三九年六月一日法律第九一号により、改正。
改正前は車両の種類によって優先順位が定められており、最高速度や走行速度（現実の速度）を問わず譲る義務を規定していた。
----
{{前後
|道路交通法
|第3章 車両及び路面電車の交通方法第4節 追越し等(第26条～第32条)
|道路交通法第26条の2（進路の変更の禁止）
|道路交通法第28条（追越しの方法）
27
コンメンタール＞コンメンタール厚生＞コンメンタール心神喪失等の状態で重大な他害行為を行った者の医療及び観察等に関する法律施行規則
心神喪失等の状態で重大な他害行為を行った者の医療及び観察等に関する法律施行規則(最終改正：平成一八年三月三一日法務省・厚生労働省令第一号)の逐条解説書。
法学＞民事法＞コンメンタール不動産登記法＞コンメンタール不動産登記令＞コンメンタール不動産登記規則
（登記識別情報の提供の省略） 
第67条 
同一の不動産について二以上の権利に関する登記の申請がされた場合（当該二以上の権利に関する登記の前後を明らかにして同時に申請がされた場合に限る。）において、前の登記によって登記名義人となる者が、後の登記の登記義務者となるときは、当該後の登記の申請情報と併せて提供すべき登記識別情報は、当該後の登記の申請情報と併せて提供されたものとみなす。
----
{{前後
|不動産登記規則
|第3章 登記手続
第1節 総則
第5款 登記識別情報
|不動産登記規則第66条（登記識別情報の提供）
|不動産登記規則第68条（登記識別情報に関する証明）
67
ページの作成:「法学＞民事法＞商法＞コンメンタール＞コンメンタール手形法  ==条文== ;第4条 : 為替手形ハ支払人ノ住所地ニ在ルト又ハ其ノ他ノ地ニ在ルトヲ問ハズ第三者ノ住所ニ於テ支払フベキモノト為スコトヲ得  ==解説== : 為替手形は、支払人の住所地にあっても又はその他の地にあっても第三者の住所において支払うこととすることができる。…」