hatakeyama-llm-team/WikiBookJa huggingface dataset:
証明終了は次のいずれかになる。
 thus ～;
 hence ～;
 よって、それ故に、故に
hence は then + thus ということです。
-----------------------------------------------------------
式より矛盾する
 式;
 thus contradiction;
-----------------------------------------------------------
式より矛盾しない
 式;
 thus not contradiction;
-----------------------------------------------------------
-----------------------------------------------------------
ラベル1,ラベル2の式によって示せた
 ラベル1:式1;
 ...
 ラベル2:式2;
 hence thesis by ラベル1;
-----------------------------------------------------------
ラベル1,ラベル2の式によって結果 が示せた
 ラベル1:式1;
 ラベル2:式2;
 ...
 thus 結果 by ラベル1,ラベル2;
 ラベル1:式1;
 ...
 ラベル2:式2;
 hence 結果 by ラベル1;
コンメンタール＞労働基準法
【罰則3・法定労働時間等の遵守違反等】
第119条 
以下のとおり改正（施行日2025年6月1日）。
文言の整理。
（新）次の各号のいずれかに該当する者は、6箇月以下の懲役又は30万円以下の罰金に処する。
対象条項の変動を反映するもの。
違反に関して処罰対象となる事項
命令違反に関して処罰対象となる事項
違法な時間外労働等についても割増賃金不払罪が成立するか。
労働基準法第33条または第36条所定の条件を充足していない違法な時間外労働ないしは休日労働に対しても、使用者は同法第37条第1項により割増賃金の支払義務があり、その義務を履行しないときは同法第119条第1号の罰則の適用を免れない。
----
{{前後
|労働基準法
|第13章 罰則
|労働基準法第118条（罰則2）
|労働基準法第120条（罰則4）
119
119
ろ労基119
日付を表す gismu は detri であり、
 x1（数）はx2（事）・x3（所）・x4（暦）の日付
という意味ですが、tcika と同様に殆どの場所が省かれる事になるでしょう。所については、根本的に違う時間帯域・惑星においての話をするとき位しか必要ないでしょうし、暦については、通常は西洋式のものが想定されますから。ここで例えばアラビア式や中国式の暦を使いたければ、4番目の場所に le xrabo や le jungo を挿入することで表現できます（ここにおいても文脈が重要だということに注意してください。イスラムの歴史についての文の中では明示しなくてもアラビア式の暦が想定されることになります）。
少し難儀なのが x1 です。混乱を避けるために以下の慣習があります
 数字だけが入っているならばそれは日である。
 例えば li pano ならば10日。
 数字が2つ入っているならばそれは日・月である。
 例えば li pano pi'e pare は12月10日。
 数字が3つ入っているならばそれは日・月・年である（アメリカ式の月・日・年ではない）。
 例えば li repa pi'e ze pi'e pasoxaso は1969年7月21日。
ということで以下のような表現が可能になりました。
 li repa pi'e ze pi'e pasoxaso cu detri lenu lo remna cu klama le lunra
 人が月へ行くというその出来事の日付は1969年7月21日だ。
ここで tcika と同じように出来事を初めに持ってくるのですが、多くの言語では「8月15日は私の誕生日です。」より「私の誕生日は8月15日です。」というような表現が好まれます。ロジバンでは場所付箋を使って後者のような順番に変更出来ます。
 fe lenu mi jbena [kei] cu detri fa li pamu pi'e bi
 私が生まれた日付は8月15日だ。
ここで登場した「kei」には抽象終了の役割があります。nu との対ですが構文上曖昧でなければ省略出来ます。そして se を使えば更に解りやすくなります。
 lenu mi jbena cu se detri li pamu pi'e bi
 私が生まれた日付は8月15日だ。
上のどちらにおいても lenu で始まる語句を cu の前に置いていますが、これは手っ取り早くて後々困らないロジバン技法なのです。cu は以前の構造をとても強力に区切るのです。
推察した方もいるかもしれませんが、ここにおいても「～という日付に」を表す sumti tcita である「de'u」が存在します（sumti tcita は採った元の selbri に似ているということを頭の片隅に記憶しておくとよいでしょう）。そういう訳で誕生日の別の教え方として次の様にも言えます。
 mi jbena de'i li pamu pi'e bi
質問：detri に数字しか使えないとなると、日・月を言わずして年を言うというような事はいかにして実現するのでしょうか。
年を表す gismu である nanca は detri の代わりとしては使えません。なぜなら以下の配列構造を持つからです。
 x1はx2（数(初期設定では1年)）・x3（基準）の継続年数
つまりこれは、出来事の起きた年ではなく出来事の長さを年で与える言葉なのです。cmene にして切り抜けることが出来ますので、Robin がこの記事を書いている年は la pasososonanc. であり、Nick がこの記事を書いているのは la renonopananc. と表現することは可能です。
小ネタ：年の表現として nan. で終わるものを見かけることもあります。例えば la renonopanan. というように。
小ネタ：最近では、数字が1つのときにそれが表すことの初期設定を日でなく年にしてはどうかという議論が巻き起こっています。未だ決着はしていませんが。
法学＞民事法＞商法＞会社法＞コンメンタール会社法＞第2編 株式会社 (コンメンタール会社法)＞第2編第2章 株式 (コンメンタール会社法)＞会社法第174条
（株主の請求によらない株主名簿記載事項の記載又は記録）
第132条
株式会社は、株式の併合をした場合には、併合した株式について、その株式の株主に係る株主名簿記載事項を株主名簿に記載し、又は記録しなければならない。
株式会社は、株式の分割をした場合には、分割した株式について、その株式の株主に係る株主名簿記載事項を株主名簿に記載し、又は記録しなければならない。
----
{{前後
|会社法
|第2編 株式会社
第2章 株式
第3節 株式の譲渡等
|会社法第131条（権利の推定等）
|会社法第133条（株主の請求による株主名簿記載事項の記載又は記録）
132
prototypeオブジェクトの共有と派生
有向グラフ 木構造 figure
クラスベースで言うメソッドをプロトタイプベースが模倣しているという立場も取れます（JavaScriptのメソッドは全て仮想メソッド）。
逆にクラスベースのVTableは限定的な prototype とも。
アプローチは違っても言語機構のインフラストラクチャーは似通ってきている。
大きな違い：プロトタイプベースでは、どのオブジェクトもプロトタイプになりうる。
new 演算子の正体
伝統的な関数を使ったコンストラクタ
class構文による --
ECMAScript 5 の Object.create
：：標準組み込みオブジェクトのプロトタイプを書き換えるのは良くない/のコラムはここに移動か？
法学＞民事法＞コンメンタール民事訴訟法
（控訴をすることができる判決等）
第281条
控訴は、地方裁判所が第一審としてした終局判決又は簡易裁判所の終局判決に対してすることができる。ただし、終局判決後、当事者双方が共に上告をする権利を留保して控訴をしない旨の合意をしたときは、この限りでない。
第11条第2項及び第3項の規定は、前項の合意について準用する。
----
{{前後
|民事訴訟法
|第3編上訴
第1章 控訴
|第280条（判決書の記載事項）
|第282条（訴訟費用の負担の裁判に対する控訴の制限）
281
（施工体制台帳の備置き等）
第14条の7
法第24条の7第1項の規定による施工体制台帳（施工体制台帳に添付された第14条の2第2項各号に掲げる書類及び第14条の5第1項後段に規定する書類を含む。）の備置き及び法第24条の7第4項の規定による施工体系図の掲示は、同第14条の2第1項第2号の建設工事の目的物の引渡しをするまで（同号ロの請負契約に基づく債権債務が消滅した場合にあっては、当該債権債務の消滅するまで）行わなければならない。
法学＞民事法＞コンメンタール不動産登記法＞コンメンタール不動産登記令＞コンメンタール不動産登記規則＞コンメンタール不動産登記事務取扱手続準則
（添付情報） 
第7条 
ロ登記原因を証する情報。ただし、次の（１）又は（２）に掲げる場合にあっては当該（１）又は（２）に定めるものに限るものとし、別表の登記欄に掲げる登記を申請する場合（次の（１）又は（２）に掲げる場合を除く。）にあっては同表の添付情報欄に規定するところによる。
1項
3項
----
{{前後
|不動産登記令
|第2章 申請情報及び添付情報
|不動産登記令第6条（申請情報の一部の省）
|不動産登記令第8条（登記名義人が登記識別情報を提供しなければならない登記等）
7
法学＞コンメンタール＞コンメンタール刑事訴訟法=コンメンタール刑事訴訟法/改訂
（軽微事件と出頭）
第284条
50万円（刑法、暴力行為等処罰に関する法律及び経済関係罰則の整備に関する法律の罪以外の罪については、当分の間、5万円）以下の罰金又は科料に当たる事件については、被告人は、公判期日に出頭することを要しない。ただし、被告人は、代理人を出頭させることができる。
----
{{前後
|刑事訴訟法
|第2編 第一審
第3章 公判
第1節 公判準備及び公判手続き
|第283条（被告人が法人の場合）
|第285条（出頭義務とその免除）
284
法学＞民事法＞民法＞コンメンタール民法＞第1編 総則 (コンメンタール民法)
（無権代理行為の追認）
第116条
追認は、別段の意思表示がないときは、契約の時にさかのぼってその効力を生ずる。ただし、第三者の権利を害することはできない。
無権代理の追認の効力についての一般的な規定である。
本件追認者はいわゆる無権代理行為における本人ではないが、本来本人たり得べかりし者であり、かゝる地位にある者が自己に属する権利を処分するに帰するその意思表示の効果を阻止すべき何らの理由がない。
他人の権利を自己の権利であるとして処分した場合に、他人がこれを追認したときは、処分は、民法第116条の類推適用により、処分のときに遡つて、他人についてその効力を生ずると解すべきである。
養子縁組の追認と民法第116条但書の類推適用の有無。
養子縁組の追認には、民法第116条但書の規定は類推適用されないものと解するのが相当である。
養子縁組の追認は身分行為であって、第三者の権利を害することがあっても、それを障害事由として追認が無効になることはない。害される第三者の権利の補償については別に議論される。
譲渡禁止の特約のある指名債権について、譲受人が特約の存在を知り、又は重大な過失により特約の存在を知らないでこれを譲り受けた場合でも、その後、債務者が債権の譲渡について承諾を与えたときは、債権譲渡は譲渡の時にさかのぼって有効となるが、民法116条の法意に照らし、第三者の権利を害することはできない。
無権利者を委託者とする物の販売委託契約が締結された場合に，当該物の所有者が，自己と同契約の受託者との間に同契約に基づく債権債務を発生させる趣旨でこれを追認したとしても，その所有者が同契約に基づく販売代金の引渡請求権を取得すると解することはできない。
(原審)被上告人が，上記の趣旨で本件販売委託契約を追認したのであるから，民法116条の類推適用により，同契約締結の時に遡って，被上告人が同契約を直接締結したのと同様の効果が生ずる。
販売委託契約は，無権利者と受託者との間に有効に成立しているのであり，当該物の所有者が同契約を事後的に追認したとしても，同契約に基づく契約当事者の地位が所有者に移転し，同契約に基づく債権債務が所有者に帰属するに至ると解する理由はない。
追認により，同契約に基づく債権債務が所有者に帰属するに至ると解するならば，上記受託者が無権利者に対して有していた抗弁を主張することができなくなるなど，受託者に不測の不利益を与えることになる。
----
{{前後
|民法
|第1編 総則
第5章 法律行為
第3節 代理
|民法第115条（無権代理の相手方の取消権）
|民法第117条（無権代理人の責任）
116
あるオブジェクトのコピーか、新しいオブジェクトを、その具体的な型を知ることなしに生成する。
初期化におけるファクトリメソッドの使用
クラス階層中のメンバ関数の多態的な呼び出しを使うことは、オブジェクト指向プログラミングのコミュニティではよく知られたことである。
それは、is-a(～は～である) 関係(より現実的に言えば behaves-as-a(～として振る舞う)関係)を実装する方法の一つである。
クラス階層中の生存期間管理(生成、コピー、破棄)関数を多態的に呼び出すことも場合によっては便利である。
C++ は、仮想デストラクタによってオブジェクトの多態的な破棄に(言語組み込みの機能で)対応しているが、
オブジェクトの生成やコピーに対しては同様のものは存在しない。
C++ では、オブジェクトの生成には常にその型をコンパイル時に知っている必要がある。
仮想コンストラクタ(Virtual Constructor)イディオムは、C++ で多態的なオブジェクトの生成やコピーを可能とする。
仮想コンストラクタはオブジェクトの生成に create() メンバ関数を用い、コピー生成に clone() メンバ関数を用いて以下のように書ける。
class Employee 
{
  public:
    virtual ~Employee () {}                 // C++組み込みの多態的破棄
    virtual Employee * create () const = 0; // 仮想コンストラクタ(生成)
    virtual Employee * clone () const = 0;  // 仮想コンストラクタ(コピー)
};
class Manager : public Employee     // "is-a" 関係
{
  public:
    Manager ();                     // デフォルトコンストラクタ
    Manager (Manager const &);      // コピーコンストラクタ
    ~Manager () {}                  // デストラクタ
    Manager * create () const       // 仮想コンストラクタ(生成)
    {
      return new Manager();
    }
    Manager * clone () const        // 仮想コンストラクタ(コピー)
    {
      return new Manager (*this);
    }
};
class Programmer : public Employee { /* Manager クラスとほとんど同様 */ };
Employee * duplicate (Employee const & e)
{
   return e.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 と shared_ptr のようになり、もはや共変の返値型ではなくなりコンパイルに失敗するはずである。
そのような場合では、派生クラスの仮想コンストラクタ関数は親クラスと正確に同じ型を返さなければならない。
class Employee
{
  public:
    typedef std::tr1::shared_ptr Ptr;
    virtual ~Employee () {}                    // C++組み込みの多態的破棄
    virtual Ptr create () const = 0; // 仮想コンストラクタ(生成)
    virtual Ptr clone () const = 0;  // 仮想コンストラクタ(コピー)
};
class Manager : public Employee     // "is-a" 関係
{
  public:
    Manager () {}                     // デフォルトコンストラクタ
    Manager (Manager const &) {}      // コピーコンストラクタ
    ~Manager () {}
    Ptr create () const       // 仮想コンストラクタ(生成)
    {
      return Ptr(new Manager());
    }
    Ptr clone () const        // 仮想コンストラクタ(コピー)
    {
      return Ptr(new Manager (*this));
    }
};
More C++ Idioms/Virtual Constructor
|かそうこんすとらくた]]
（申立ての取下げ）
第120条の4 特許異議の申立ては、次条第1項の規定による通知があつた後は、取り下げることができない。
2 第155条第3項の規定は、特許異議の申立ての取下げに準用する。
特許異議の申立てをしたものの、主張の誤り、ライセンス契約の締結見込みなどの事情により手続を続行させる意思を失った異議事件を特許庁に係属させておく必要性は低く、また審判官を他の事件の処理に当たらせることができることから、申立人の自由意志による特許異議の申立ての取り下げを認めても構わない。
とはいえ、取消理由通知がされた異議事件まで特許異議の申立ての取り下げを認めると、特許に瑕疵があり無効とされる蓋然性が高いのにもかかわらず、無効とするためには別途特許無効審判の請求を待たなければならず、公益的観点から特許処分の見直しを図ろうとする特許異議申立制度の趣旨に合致しない。このため、特許異議の申立ての取り下げは取消理由通知があるまで認めることとした。したがって、取消理由通知があった後は特許権者の同意があったとしてもそもそも、特許異議申立制度では155条2項を準用していないから同意権は無い。特許異議の申立ての取り下げは認めないこととした（本条1項）。
平成15年改正前は、特許異議申立期間の経過後に審理を開始する運用がとられていたが、平成26年改正後は特許権者が希望すれば特許異議申立期間の経過前であっても審理を開始できるようになったため特許庁総務部総務課制度審議室編『平成26年特許法等の一部改正 産業財産権法の解説』発明推進協会、2014、p. 81、特許異議申立期間内であっても取り下げができない場合も生じるようになった。
なお、特許異議の申立てが取り下げられたときは、特許庁長官がその旨を相手側（特許権者、補助参加人）に通知する（準施規50条の5）。職権審理による続行も認められない。
申立ての取り下げの書面は施規様式65の5が準用される（準施規50条の2）。
特許異議の申立ての請求が請求項ごとにできる（113条柱書後段）こととの均衡上、特許異議の申立ての取り下げも請求項ごとにできる（本条2項で準用する155条3項）。
{{前後
|特許法
|第5章 登録異議の申立て
|120条の3
|120条の5
法学＞民事法＞コンメンタール民法＞第3編 債権 (コンメンタール民法)
(記名式所持人払証券の譲渡における債務者の抗弁の制限) 
第520条の16
記名式所持人払証券の債務者は、その証券に記載した事項及びその証券の性質から当然に生ずる結果を除き、その証券の譲渡前の債権者に対抗することができた事由をもって善意の譲受人に対抗することができない。
2017年改正にて新設。
----
{{前後
|民法
|第3編 債権
第1章 総則
第7節 有価証券
|民法第520条の15（記名式所持人払証券の善意取得）
|民法第520条の17（記名式所持人払証券の質入れ）
520の16
520の16
（科料）
第17条
科料は、千円以上1万円未満とする。
財産刑の一種である科料について定めた規定である。なお科料（かりょう）は、行政罰の一種である過料（かりょう）と区別するため、「とがりょう」と呼ぶことがある。
----
{{前後
|刑法
|第1編 総則
第2章 刑
|刑法第16条（拘留）
|刑法第18条（労役場留置）
法学＞コンメンタール＞コンメンタール刑事訴訟法=コンメンタール刑事訴訟法/改訂
（告訴・告発の方式）
第241条
告訴又は告発は、書面又は口頭で検察官又は司法警察員にこれをしなければならない。
検察官又は司法警察員は、口頭による告訴又は告発を受けたときは調書を作らなければならない。
----
{{前後
|刑事訴訟法
|第2編 第一審
第1章 捜査
|第240条（告訴の代理）
|第242条（告訴・告発を受けた司法警察員の手続き）
241
勾踐之圍會稽也，嚼然歎曰：“各終於此乎？”種曰：“湯系夏臺，文王囚麥裏，晋重鬥奔翟，齊小白奔苔，其卒王霸。由是觀之，何速不為福乎？”
   吳既赦越，越王勾踐反國，乃苦身焦思，置膽於坐，坐臥即仰膽，飲食亦嘗膽也。
   曰：“女志會稽之耻邪？”身白操作，夫人自織，食不加肉，衣不重采，折節下賢人，厚賓客，贓貧吊死，與百姓同其勞。
法学＞民事法＞商法＞コンメンタール会社法＞第4編 社債 (コンメンタール会社法)＞会社法第703条
（社債管理者の資格）
第703条
社債管理者は、次に掲げる者でなければならない。
----
{{前後
|会社法
|第4編 社債
第2章 社債管理者
|会社法第702条（社債管理者の設置）
|会社法第704条（社債管理者の義務）
703
/prototype/charCodeAt|String.prototype.charCodeAt]]メソッドを使用します。
var string = String.fromCharCode( number0, number1, ..., numberN );
''number0'', ''number1'', ..., ''numberN''
var string = String.fromCharCode( 0x41, 0x42, 0x43 );
alert(string); // "ABC"
fromCharCodeメソッドはUnicodeの文字コード（バイト表現）の数値のリストを受け取り、それらを文字に変換して連結した文字列を返します。これは文字列リテラルのUnicodeエスケープシーケンスと同じ働きをします。たとえば、"\u3000" とString.fromCharCode(0x3000)は等価です（さらに "\x41" はString.fromCharCode(0x41)と等価）。fromCharCodeメソッドはStringオブジェクトの静的なメソッドであり、Stringオブジェクトのインスタンスには継承されないので、必ずString.fromCharCodeという形で呼び出す必要があります。
たとえば "A" から "Z" までのラテン文字を要素に持つ配列は、次のようにfromCharCodeメソッドを使用して生成することができます。
var array = [];
for ( let c = 'A'; c <= 'Z';
      array.push(c), c = String.fromCharCode( c.charCodeAt(0) + 1 ) );
alert(array); // ["A", "B", "C", "D", "E", "F", "G", "H", "I", "J", "K", "L", "M", "N", "O", "P", "Q", "R", "S", "T", "U", "V", "W", "X", "Y", "Z"]
または
var array = [];
for ( let i = 0, a = 'A'.charCodeAt(0); i < 26;
      array.push( String.fromCharCode( a + i++ ) ) );
alert(array); // ["A", "B", "C", "D", "E", "F", "G", "H", "I", "J", "K", "L", "M", "N", "O", "P", "Q", "R", "S", "T", "U", "V", "W", "X", "Y", "Z"]
fromCharCodeメソッドはECMAScriptの仕様上および多くのJavaScriptの処理系の実装では、0x10000 == 65536以上の文字コードの値（サロゲートペア）には対応していません（'\0' が返されます）。これはUnicodeエスケープ文字やその他の文字列を扱うメソッドでも同様です。fromCharCodeメソッドでサロゲートペアの文字コードを扱うには、次のような非標準の拡張を使用します。
String.__fromCharCode__ = String.fromCharCode;
String.fromCharCode = function(...args){
    var buf = '';
    for ( let i = 0, len = args.length; i < len; i++ ) {
        let n = args[i];
        if ( n < 0x10000 ) {
            buf += String.__fromCharCode__(n);
            continue;
        }
        n -= 0x10000;
        buf += String.__fromCharCode__(
            0xD800 + ( n >> 10 ),
            0xDC00 + ( n & 0x3FF )
        );
    }
    return buf;
};
String.fromCharCode(0x10000)  == '\uD800\uDC00'; // true
String.fromCharCode(0x10FFFF) == '\uDBFF\uDFFF'; // true
（刑の変更）
第6条
犯罪後の法律によって刑の変更があったときは、その軽いものによる。
この条文は、法の不遡及（遡及処罰の禁止、事後法の禁止）の原則を定めたものと解されている。
法の不遡及とは罪刑法定主義から派生する原則であり、行為時に合法であったにもかかわらず後からそれが違法として処罰することを認めると、個人は安心して活動することができなくなり、自由が侵害されることになるから、そのようなことを防止するために存在するものである。
ただし、刑が軽く改められた場合や廃止された場合には、改正後の法によることが行為者の利益になるのであり、改正後の法を適用することは問題がない。
日本では判例は法源ではなく、判例によれば、判例変更は刑の変更には当たらないとされているが、問題となり得る。また公訴時効の期間の変更が刑の変更といえるかについては、学説では見解が分かれている。
刑の執行猶予の条件に関する規定の変更は､刑法第6条にいわゆる｢刑の変更｣にあたらない｡執行猶予は刑の執行方法に関する規定で、刑そのものでは無いからである。
--------------------
{{前後
|刑法
|第1編 総則
第1章 通則
|刑法第5条（外国判決の効力）
|刑法第7条（定義）
演算子法は技術者の創った数学である．
その創始者 Oliver Heaviside(1850 - 1925) は英国の電気数学者マクスウェルの方程式を今日我々が知る形に整理したのは Heaviside である．であった．
彼は微分方程式やある種の関数方程式の簡便な機械的解法を求めて，演算子法を考案した．
Heaviside がどこから着想を得たかを私は知らない．
こうでもあったかと想像をたくましくしたのがこの章であるいわゆる「山辺の方法」を含む．この「山辺」なる人物が誰なのかはよくわからない．．
したがって，これは演算子法誕生の歴史というよりは，歴史小説である．あるいは推理小説といった方が適切かもしれない．
C++のキーワードは次のとおりです[http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/n4885.pdf Working Draft, Standard for Programming Language C++, Document Number: N4885, Date: 2021-03-17 :: §5.11 Keywords P-18]。
registerregisterキーワードは未使用ですが、将来の使用のために予約されています。
これに加え、モジュールに関する export import module も構文要素 keyword: の一部を構成する。
演算子の代替表現もキーワードに準じた扱いとなります。
法学＞民事法＞商法＞コンメンタール会社法＞第4編 社債 (コンメンタール会社法)
（利札が欠けている場合における社債の償還）
第700条
社債発行会社は、社債券が発行されている社債をその償還の期限前に償還する場合において、これに付された利札が欠けているときは、当該利札に表示される社債の利息の請求権の額を償還額から控除しなければならない。ただし、当該請求権が弁済期にある場合は、この限りでない。
前項の利札の所持人は、いつでも、社債発行会社に対し、これと引換えに同項の規定により控除しなければならない額の支払を請求することができる。
----
{{前後
|会社法
|第4編 社債
第1章 総則
|会社法第699条（社債券の喪失）
|会社法第701条（社債の償還請求権等の消滅時効）
700
法学＞民事法＞商法＞コンメンタール会社法＞第4編 社債 (コンメンタール会社法)
（社債権者集会の決議の効力）
第734条
社債権者集会の決議は、裁判所の認可を受けなければ、その効力を生じない。
社債権者集会の決議は、当該種類の社債を有するすべての社債権者に対してその効力を有する。
----
{{前後
|会社法
|第4編 社債
第3章 社債権者集会
|会社法第733条（社債権者集会の決議の不認可）
|会社法第735条（社債権者集会の決議の認可又は不認可の決定の公告）
734
転置法 （''hyperbaton'' [https://dictionary.goo.ne.jp/word/en/hyperbaton/ hyperbatonの意味 - goo辞書 英和和英]）とは、強調または詩的効果のために、単語または語句の通常の論理的な語順を逆さまにすること。en:hyperbaton#Noun : An inversion of the usual or logical order of words or phrases, for emphasis or poetic effect.  
語順が複雑に入り組むため、読解しづらいことが多い。
例えば、カエサルの『内乱記』には、次のような例がある。
次の例では、「皆の心に」「大きな恐怖が」という二つの語句の語順が入り組んでいる。
『ガリア戦記 第6巻』では、例えば次のような例がある。
「七日目が近づいていた」というところで、diēs 「日が」という名詞が前に出て、強調されている。
『ガリア戦記 第5巻』では、例えば次のような例がある。
「このような討議がなされて」という絶対奪格句で、hāc 「このような」という指示形容詞が前置詞句をまたいで前に出て、強調されている。
本項は高等学校数学Aの「数学と人間の活動」の解説です。
第1節「数量や図形の概念と人間の活動」では、前課程数学A「整数の性質」の内容の一部と座標の考え方について学びます。
第2節「数学と文化」では、ゲームやパズルの中の数学について学びます。
法学＞行政法＞コンメンタール地方自治法
（公の施設の設置、管理及び廃止）
第244条の2
----
{{前後
|地方自治法
|第2編 普通地方公共団体
第10章 地方公共団体の組合
|地方自治法第244条（公の施設）
|地方自治法第244条の3（公の施設の区域外設置及び他の団体の公の施設の利用）
244の2
コンメンタール＞コンメンタール厚生＞コンメンタール高齢者の医療の確保に関する法律＞コンメンタール高齢者の医療の確保に関する法律施行令＞コンメンタール高齢者の医療の確保に関する法律施行規則
高齢者の医療の確保に関する法律(最終改正：平成二〇年五月二八日法律第四二号)の逐条解説書。
法学＞民事法＞コンメンタール民事訴訟法
（義務承継人の訴訟参加及び権利承継人の訴訟引受け）
第51条
第47条から第49条まで【第47条、第48条、第49条】の規定は訴訟の係属中その訴訟の目的である義務の全部又は一部を承継したことを主張する第三者の訴訟参加について、前条の規定は訴訟の係属中第三者がその訴訟の目的である権利の全部又は一部を譲り受けた場合について準用する。
----
{{前後
|民事訴訟法
|第1編総則
第3章 当事者
第3節 訴訟参加
|第50条（義務承継人の訴訟引受け）
|第52条（共同訴訟参加）
051
法学＞民事法＞コンメンタール民法＞第4編 親族 (コンメンタール民法)＞民法第876条の3
（保佐監督人）
第876条の3
第644条 、第654条 、第655条 、第843条第4項、第844条、第846条、第847条、第850条、第851条、第859条の2、第859条の3、第861条第2項及び第862条の規定は、保佐監督人について準用する。この場合において、第851条第四号中「被後見人を代表する」とあるのは、「被保佐人を代表し、又は被保佐人がこれをすることに同意する」と読み替えるものとする。
保佐の公正性を担保するため、後見に対する後見監督人同様、家庭裁判所は保佐監督人を選任できる。
以下規準のあてはめ。
「保佐監督人」は、「保佐監督」の本旨に従い、善良な管理者の注意をもって、「保佐監督」事務を処理する義務を負う。
「保佐監督」が終了した場合において、急迫の事情があるときは、「保佐監督人」又はその相続人若しくは法定代理人は、「被保佐人」又はその相続人若しくは法定代理人が「保佐監督」事務を処理することができるに至るまで、必要な処分をしなければならない。
「保佐監督」の終了事由は、これを相手方に通知したとき、又は相手方がこれを知っていたときでなければ、これをもってその相手方に対抗することができない。
「保佐監督人」を選任するには、「被保佐人」の心身の状態並びに生活及び財産の状況、「保佐監督人」となる者の職業及び経歴並びに「被保佐人」との利害関係の有無（「保佐監督人」となる者が法人であるときは、その事業の種類及び内容並びにその法人及びその代表者と「被保佐人」との利害関係の有無）、「被保佐人」の意見その他一切の事情を考慮しなければならない。
「保佐監督人」は、正当な事由があるときは、家庭裁判所の許可を得て、その任務を辞することができる。
「保佐監督人」に不正な行為、著しい不行跡その他「保佐監督」の任務に適しない事由があるときは、家庭裁判所は、「保佐人」、「被保佐人」若しくはその親族若しくは検察官の請求により又は職権で、これを解任することができる。
次に掲げる者は、「保佐監督人」となることができない。
「保佐人」の配偶者、直系血族及び兄弟姉妹は、「保佐監督人」となることができない。
「保佐監督人」の職務は、次のとおりとする。
「保佐人」の事務を監督すること。
「保佐人」が欠けた場合に、遅滞なくその選任を家庭裁判所に請求すること。
急迫の事情がある場合に、必要な処分をすること。
「保佐人」又はその代表する者と「被保佐人」との利益が相反する行為について「被保佐人」を代表すること。
「保佐監督人」が数人あるときは、家庭裁判所は、職権で、数人の「保佐監督人」が、共同して又は事務を分掌して、その権限を行使すべきことを定めることができる。
家庭裁判所は、職権で、前項の規定による定めを取り消すことができる。
「保佐監督人」が数人あるときは、第三者の意思表示は、その一人に対してすれば足りる。
「保佐監督人」は、「被保佐人」に代わって、その居住の用に供する建物又はその敷地について、売却、賃貸、賃貸借の解除又は抵当権の設定その他これらに準ずる処分をするには、家庭裁判所の許可を得なければならない。
「保佐監督人」が「保佐監督」の事務を行うために必要な費用は、「被保佐人」の財産の中から支弁する。
家庭裁判所は、「保佐監督人」及び「被保佐人」の資力その他の事情によって、「被保佐人」の財産の中から、相当な報酬を後見人に与えることができる。
準用されない事項
----
{{前後
|民法
|第4編 親族
第6章 保佐及び補助
第1節 保佐
|民法第876条の2(保佐人及び臨時保佐人の選任等)
|民法第876条の4(保佐人に代理権を付与する旨の審判)
876の03
接続詞を尋ねる
「コーヒーには牛乳かそれとも砂糖を入れる？」
「はい。」
返事がこれだけだと、牛乳だけなのか、砂糖だけなのか、それとも両方なのか分かりません。いくらこの答え方が論理的とは言え、普通の言語は社会的なしきたりからも成り立つものです。聞かれた方はそれらの情報を与えるのが親切でしょう。
ロジバンにそれを翻訳してみます。「～するかどうか」を聞いているから、 xu をまず使って作文してみます。
 .i xu do djica lenu jmina loi ladru .a loi sakta 
すると、答えは、.i go'i「はい、そうです。」か.i na go'i「いいえ、違います。」しかないことになります。しかしこれは聞き手が聞きたいことではありません。牛乳だけなのか、砂糖だけなのか、両方なのか、どっちも要らないのか、を聞きたいはずだからです。これを巧妙に聞くことがロジバンではできます。聞きたいところを空けて、そこに疑問詞を挿入するのです。「牛乳」や「砂糖」の場所ではありません。接続詞の場所に疑問詞 ji を置くのです。
 .i do djica lenu jmina loi ladru ji loi sakta
「あなたは入れたい、牛乳 […] 砂糖を。」
これに 、
 .e 
「～そして～」と答えれば、これをそのまま接続詞の場所に当てはめた文、すなわち
.i do djica lenu jmina loi ladru .e loi sakta 
「牛乳そして砂糖を入れたい」が答えになります。
 .enai 
「～そして～ではない」
と答えれば、「牛乳そして砂糖ではない」。
 na.e
「～ではない、そして～」
と答えれば、「牛乳ではなくて、砂糖」。
 na.enai
「～でない、そして～でない。）
と答えれば、「牛乳ではなくて、砂糖でもない」。つまり、どちらも要らない、ということです。（このように、否定の意味を付けるには、接続詞の左に付く時は na が、右に付く時は nai を付けます。）ちなみに、ここで、.a 「～か、それとも～」と言われたら、お手上げですが。
sumti だけではなく、他のものをつなぐ接続詞の場所にも疑問詞は使えます。
tanru の語をつなぐ接続詞を尋ねるのなら、je'i
selbri とそれに続く sumti のまとまりをつなぐ接続詞を尋ねるのなら gi'i.
になります。
当社は工作機械の製品Ｐを受注生産する製造業を営んでいる。この度Ａ社から特注品（製品Ｐの上位機種）の引合いがあり，それを受けるか否か検討している。検討に当たっては，引合いを受ける前の売上総利益を維持できることが前提である。なお，当該引合いを受けても既存顧客への影響はないものとする。そこで，次の〔資料〕に基づき，当社が引合いを受けるのに必要な最低販売単価として最も適切なものの番号を一つ選びなさい。（8点）
〔資料〕
1．製品Ｐの単位当たり製造原価は，直接材料費50,000 円，直接労務費78,000 円，減価償却費48,000 円，その他の製造間接費24,000 円（うち4,000 円は変動費）である。
2．製品Ｐの年間受注数量は12,000 個であり，これらは全て当期に製造し販売しているため，期末に在庫は残っていない。
3．特注品は年間4,000 個を希望しているが，その場合生産能力に限界があり，製品Ｐの生産量を30 ％減少させなければならない。ただし，当該希望数量4,000 個にかかる単位当たり直接労務費は2 ％増加する。
4．当該特注品は製品Ｐに比べて単位当たり直接材料費は20 ％増加するが，設備は現状のものが使用できることがわかっている。ただし，当該特注品の製造にかかる修理費25,000,000 円，さらに保守費用5,000,000 円が追加で発生する。
5．特注品の製造原価は，上記3．および4．に記述したもの以外については，製品Ｐの製造原価からの変動はない。
6．特注品を製造する前の売上総利益は480,000,000 円であった。
4
※以下、単位を円とする
固定製造間接費：製品P@68,000×12,000個＋特注品(25,000,000+5,000,000)＝846,000,000
販売数量：製品Pは12,000×70％＝8,400個，特注品は4,000個
∴993,040,000円÷4,000個＝248,260円/個
句構造文法は有限状態文法よりは強い生成力を持ちますが自然言語を定義するには十分な生成力を備えていません。チョムスキーは「文に対する弱生成力と構造記述に対する強生成力」と言いましたが、有限状態文法は弱生成力すら備えず、句構造文法は強生成力の点で問題があります。
原文テキストについてはガリア戦記/注解編#原文テキストを参照。 15.    
1Disiectis ut diximus antemnis, cum singulas binae ac ternae naves circumsteterant, milites summa vi transcendere in hostium naves contendebant.    2Quod postquam barbari fieri animadverterunt, expugnatis compluribus navibus, cum ei rei nullum reperiretur auxilium, fuga salutem petere contenderunt.    3Ac iam conversis in eam partem navibus quo ventus ferebat, tanta subito malacia ac tranquillitas exstitit ut se ex loco commovere non possent.    4Quae quidem res ad negotium conficiendum maxime fuit opportuna:    nam singulas nostri consectati expugnaverunt, ut perpaucae ex omni numero noctis interventu ad terram pervenerint, cum ab hora fere quarta usque ad solis occasum pugnaretur.  
----
テキスト引用についての注記
整形テキストについてはガリア戦記/注解編#凡例を参照。 XV.    
①Disiectīs ut diximus antemnīs, cum singulās bīnae ac ternae nāvēs circumsteterant, mīlitēs summa vī trānscendere in hostium nāvēs contendēbant.    ②Quod postquam barbarī fierī animadvertērunt, expugnātīs complūribus nāvibus, cum eī reī nūllum reperīrētur auxilium, fugā salūtem petere contendērunt.    ③Ac iam conversīs in eam partem nāvibus quō ventus ferēbat, tanta subitō malacia ac tranquillitās exstitit ut sē ex locō commovēre nōn possent.    ④Quae quidem res ad negotium cōnficiendum maximē fuit opportūna:    nam singulās nostrī cōnsectātī expugnāvērunt, ut perpaucae ex omnī numerō noctis interventū ad terram pervēnerint, cum ab hōrā ferē quārtā ūsque ad sōlis occāsum pugnārētur.  
----
注記
語釈
楽典とは、音楽のさまざまな仕組みを学ぶ分野です。音楽理論ともいいますが、どちらかというと、音楽理論のうちの初歩的な部分をさしていうことが多いのです。その多くは、楽譜についてのことがらです。
音楽は「音を楽しむ」と書きますが、実は「音を楽しむ」というのは音楽という言葉の意味としてふさわしくありません。音楽の「楽」の文字は、もともと弦楽器の形で、楽器を意味します。それから、楽器を弾く、音楽、というような意味が出てきました。音楽そのものなのですね。
音楽を難しい言葉で定義すると、
音楽とは「音を媒体とした時間芸術」である。
ということができます。ここで、「音」と「時間」という2つのキーワードが出てきました。
まず、音について考えます。音には、3つの要素があります。それは、
です。
次に、時間について考えると、
音が鳴るのか、となります。
これらについて、さまざまな知識をまとめたものが楽典です。
これから詳しく見ていきましょう。
楽典のページに戻る
（成果等）
 第68条 成果等は、次のとおりとする。
 (1）観測成果表および平均成果表
 (2）成果数値データ
 (3）水準路線図
 (4）観測手簿
 (5）計算簿
 (6）点の記
 (7）建標承諾書
 (8）精度管理表
 (9）点検測量簿
 (10）平均図
 (11）測量標の地上写真
 (12）測量標設置位置通知書
 (13）基準点現況調査報告書
 (14）その他の資料
<第68条 運用基準>
法学＞民事法＞商業登記法＞コンメンタール商業登記法
（合併の登記）
第115条
第110条の規定は、吸収合併による変更の登記及び新設合併による設立の登記について準用する。
----
{{前後
|商業登記法
|第3章 登記手続
第7節 合資会社の登記
|商業登記法第114条（組織変更の登記）
|商業登記法第116条（会社分割の登記）
115
法学＞コンメンタール行政手続法
第36条の3
何人も、法令に違反する事実がある場合において、その是正のためにされるべき処分又は行政指導（その根拠となる規定が法律に置かれているものに限る。）がされていないと思料するときは、当該処分をする権限を有する行政庁又は当該行政指導をする権限を有する行政機関に対し、その旨を申し出て、当該処分又は行政指導をすることを求めることができる。
前項の申出は、次に掲げる事項を記載した申出書を提出してしなければならない。
当該行政庁又は行政機関は、第1項の規定による申出があったときは、必要な調査を行い、その結果に基づき必要があると認めるときは、当該処分又は行政指導をしなければならない。
行政手続法の一部を改正する法律（平成26年法律第70号）により新設
----
{{前後
|行政手続法
|第4章の2 処分等の求め
|第36条の2（行政指導の中止等の求め）
|第5章 届出第37条（届出）
36の3
名詞 > 第四変化名詞
五つ目の型は、U型の格変化である。属格複数形が -uum となることに着目して、こう呼ばれる。属格単数形では、-ūsという形になる。単数主格が -us となるパターンと、単数主格が -ū となるパターンがある。
一つ目のパターンは、単数主格で -us となるものである。またその形から、一部の名詞は第二変化の曲用（-us, -ī）を許容する場合がある。「贅沢」を意味する「luxus, luxūs」を例に挙げて、格変化を示そう。
格＼数 (numerus)単数 (singulāris)複数 (plūrālis)
主格 (nōminātīvus)-us (luxus)-ūs (luxūs)
属格 (genitīvus)-ūs (luxūs)-uum (luxuum)
与格 (datīvus)-uī (luxuī)-ibus (luxibus)
対格 (accūsātīvus)-um (luxum)-ūs (luxūs)
奪格 (ablātīvus)-ū (luxū)-ibus (luxibus)
呼格は、主格と同形である。
adventus, adventūs到着
arcus, arcūs弓、アーチ
cāsus, cāsūs落ちること、事件、不幸（cadō, cecidī, cāsum, cadere（落ちる）から； cāsū：偶然に； cāsus bellī：戦争の場合； cāsus māior：不可抗力； cāsum senit dominus：所有者が危険を負担する（参照：危険負担）； cāsus a nēmine praestatur：災害は何人も責任なし）
cultus, cultūs耕作、世話、養育、生活法、教養、尊敬、祭祀（colō, coluī, cultum, colere（耕す、世話をする、保護する）から）
currus, currūs車
cursus, cursūsコース
equitātus, equitātūs騎兵隊
exercitus, exercitūs軍隊
flūctus, flūctūs波
fructus, fructūs果実（fructus cīvīlis：法定果実、fructus nātūrālis：天然果実、fructus exstantes：現存果実）
impetus, impetūs攻撃
luxus, luxūs贅沢
metus, metūs恐れ
peditātus, peditātūs歩兵隊
pulsus, pulsūs打つこと
sexus, sexūs性（secō, secuī, sectum, secāre（区分する）から）
tonitrus, tonitrūs雷
tumultus, tumultūs騒ぎ
ūsus, ūsūs使用
vultus, vultūs顔つき
acus, acūs針
ficus, ficūs (ficī)無花果
laurus, laurūs (laurī)月桂樹
myrtus, myrtūs (myrtī)ミルト
porticus, porticūs柱廊
quercus, quercūs樫
tribus, tribūs種族
二つ目のパターンは、単数主格で -ū となるものである。「角」を意味する「cornū, cornūs」を例に挙げて、格変化を示そう。
数 (numerus)単数 (singulāris)複数 (plūrālis)
主格 (nōminātīvus)-ū (cornū)-ua (cornua)
属格 (genitīvus)-ūs (cornūs)-uum (cornuum)
与格 (datīvus)-uī (-ū) (cornuī (cornū))-ibus (cornibus)
対格 (accūsātīvus)-ū (cornū)-ua (cornua)
奪格 (ablātīvus)-ū (cornū)-ibus (cornibus)
呼格は、主格と同形である。
cornū, cornūs角
genū, genūs膝
verū, verūs焼き串
第二章実際原価の計算第四節原価の製品別計算
組別総合原価計算は、異種製品を組別に連続生産する生産形態に適用する。
組別総合原価計算にあっては、一期間の製造費用を組直接費と組間接費又は原料費と加工費とに分け、個別原価計算に準じ、組直接費又は原料費は、各組の製品に賦課し、組間接費又は加工費は、適当な配賦基準により各組に配賦する。次いで一期間における組別の製造費用と期首仕掛品原価とを、当期における組別の完成品とその期末仕掛品とに分割することにより、当期における組別の完成品総合原価を計算し、これを製品単位に均分して単位原価を計算する。
法学＞コンメンタール＞コンメンタール刑事訴訟法=コンメンタール刑事訴訟法/改訂
（推測事項の供述）
第156条
証人には、その実験した事実により推測した事項を供述させることができる。
前項の供述は、鑑定に属するものでも、証言としての効力を妨げられない。
----
{{前後
|刑事訴訟法
|第1編 総則
第11章 証人尋問
|第155条（宣誓無能力）
|第157条（当事者の立会権・尋問権）
156
法学＞民事法＞商法＞コンメンタール会社法＞第7編 雑則 (コンメンタール会社法)
（無効又は取消しの判決の効力）
第839条
は、将来に向かってその効力を失う。
会社法の一部を改正する法律（令和元年法律第７０号）により、改正。
会社法第838条（認容判決の効力が及ぶ者の範囲）
----
{{前後
|会社法
|第7編 雑則
第2章 訴訟
第1節 会社の組織に関する訴え
|会社法第838条（認容判決の効力が及ぶ者の範囲）
|会社法第840条（新株発行の無効判決の効力）
839
法学＞民事法＞コンメンタール民事訴訟法
（再審期間）
第342条
再審の訴えは、当事者が判決の確定した後再審の事由を知った日から30日の不変期間内に提起しなければならない。
判決が確定した日（再審の事由が判決の確定した後に生じた場合にあっては、その事由が発生した日）から5年を経過したときは、再審の訴えを提起することができない。
前二項の規定は、第338条第1項第三号に掲げる事由のうち代理権を欠いたこと及び同項第十号に掲げる事由を理由とする再審の訴えには、適用しない。
{{前後
|民事訴訟法
|第4編 再審
|第341条（再審の訴訟手続）
|第343条（再審の訴状の記載事項）
342
第7編 雑則
（株式会社の設立の登記）
第911条
1項
2項
3項
12号
16号
20号
21号
23号
24号
27号
28号
----
{{前後
|会社法
|第7編 雑則
第4章 登記
第2節 会社の登記
|会社法第910条（登記の期間）
|会社法第912条（合名会社の設立の登記）
911