语言
没有数据
通知
无通知
証明したり説明したりしなくても， すでにそれ自体ではっきりしていること。
SPASSは等号を含む一階述語論理の定理証明機である。マックス・プランク研究所が開発した。 導出とユニフィケーション 項書き換え モデル検査 数学的帰納法 二分決定図 DPLLアルゴリズム 分析的タブロー法 Automath CVC IsaPlanner LCF LoTREC MetaPRL
数学において、自明群、自明な群 (trivial group)、単位群 はただ1つの元からなる群である。すべてのそのような群は同型であるので、英語などではしばしば定冠詞をつけて the trivial group などと呼ばれる。自明群のただ1つの元は単位元であるので普通 0, 1, e のように文脈に応じて表記される。群の演算が
自主管理（じしゅかんり）とは、作業の進捗や建造物を、当事者が自主的に管理すること。 歴史政治学的の分野においては、企業などの経営を資本家に代わって労働者が行う場合を意味することが多い（労働者自主管理ともいう）。ユーゴスラビアでは国家制度（自主管理社会主義）とされていたが、ポーランドでは1980年代に
宣教学者には、この「自立原理」は古い概念であり、「コンテクチャライゼーション」（Contextualization、文脈化、文化脈化と訳される）に置き変えられた主張するものもある。文脈化・文化脈化とは、キリスト教や教会を外来のものとしてではなく、その国・地域の文化に則して、現地に適応させることであるとされ
年代不詳 - 1044年。 ^ 『南詔野史』素興偽諡天明皇帝「素興，宋仁宗辛巳慶暦元年卽位，明年改元聖明，又改元天明。（略）仁宗甲申慶暦四年，素興在位，荒淫日甚，國人廢之，而立太祖曾孫智思之子思廉。素興在位三年。」s:zh:南詔野史 李崇智『中国歴代年号考』（中華書局 2004年） プロジェクト 紀年法
米させてマリリン・モンローの墓に詣でさせるなど鳴物入りの宣伝をしたが空振りに終わり、期待が大きかっただけにその反動で熱が冷めるのも早く、以降の作品は顔見せ程度の出演になった。当時の松竹は"女性路線"を標榜し、新人女優を次々売り出したが、見切りも早かった。黒澤プロダクションの助監督だった松江陽一との3
聖明（せいめい）は、中国の大理国の段素興の時代に使用された元号。 1142年 - 年代不詳。 ^ 『南詔野史』素興偽諡天明皇帝「素興，宋仁宗辛巳慶暦元年卽位，明年改元聖明，又改元天明。」s:zh:南詔野史 李崇智『中国歴代年号考』（中華書局 2004年） プロジェクト 紀年法 元号一覧 (中国) 他政権の聖明（曖昧さ回避）
搜索 
