语言
没有数据
通知
无通知
公理に基づき， 論証によって証明された命題。 また特に， 重要なもののみを定理ということがある。
二つ以上の数を加える計算の方法。 その結果を和という。 寄せ算。 足し算。
法定代理人（ほうていだいりにん）とは、代理人の一種で法律により代理権を有することを定められた者のことである。 法定代理には、例えば本人が未成年者や成年被後見人である場合に、親権者や後見人といった法定代理人が本人に代わって法律行為を行うという私的自治の補充という機能を有する。本人が代理権を与えることな
ブラムの加速定理（ぶらむのかそくていり、英: Blum's speedup theorem）は計算複雑性理論における計算可能関数の複雑性に関する基本定理であり、1967年にマヌエル・ブラムによって示された。 計算可能関数は無限個の相異なるプログラム表現を持つ。アルゴリズムの理論はそのようなプログラ
(1)きまっている規則。 きまった法式。
法律で定めること。
※一※〔歴史的仮名遣い「はふり」〕
道理にかなった法則。
搜索 
搜索 搜索 
