純粋法学 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "純粋法学" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2008年11月） この記事には独自研究が含まれているおそれがあります。問題箇所を検証し出典を追加して、記事の改善にご協力ください。議論はノートを参照してください。（2008年11月） 純粋法学（じゅんすいほうがく、独: Reine Rechtslehre）とは、ハンス・ケルゼン（1881年 - 1973年）が提起した法理論上の立場であり、ケルゼンによれば法実証主義の発展形である。 概説[編集] 純粋法学によれば、実定法だけが法とみなされうる。したがって純粋法学の目的は、法を社会学
語り手 - Wikipedia
「ナレーター」は原義および人による語り全般について説明しているこの項目へ転送されています。映像作品におけるナレーターの役割については「ナレーション」をご覧ください。 この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "語り手" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2017年1月） 語り手（かたりて）とは、ある物語を語る、物語内の存在（人物など）である。また、小説でいうところの「地の文」の語り手である。ナレーター（英: narrator）、語り部（かたりべ）とも称する。映画・ドラマ・演劇・小説など、あらゆる種類のストーリーテリングにおいて、作者・読者と並び重要な存在である。 作者は
物理学の未解決問題 - Wikipedia
物理学の未解決問題（ぶつりがくのみかいけつもんだい）では、物理学における未解決問題を挙げる。 物理学の基礎レベルにおいても、また日常みられる複雑な現象においても、未解明の現象は多数存在し、以下に挙げたものはその少数の例にすぎない。 概要[編集] われわれが暮らす自然の振る舞いを理論として、何らかの形式にもとづいて説明することを試みる物理学において、未解決問題の多くはこれら2つの領域の関係として2種類に大別することができる。 ひとつは自然の側から理論へと問いかけるものであり、自然が示す現象や観察結果を既存の理論が未だ説明できない場合である。 他方は、理論が自然へと問うものであり、ある提案されている理論やそれが予測する新たな現象を検証したりより深く調査するための実験を行うことが、現在のところ非常に困難な場合である。 物理学を含め科学の歴史は、基本的にこれら2種類の問いを解決するという営みが両輪
デイナ・スコット - Wikipedia
デイナ・スチュアート・スコット (英語:Dana Stewart Scott、1932年10月11日 - )はアメリカの計算機科学者、数学者、論理学者。数学的に難しい問題についての素養に基づき、非形式的だが厳格な方法で計算機科学・論理学・哲学にまたがる領域の根本的概念を明確化させてきた。オートマトン理論についての業績により1976年にチューリング賞を受賞。1970年代にはクリストファー・ストレイチーと共同でプログラム意味論への新たなアプローチを基礎付けた。様相論理、位相幾何学、圏論などでも業績を残している。 2012年現在は、カーネギーメロン大学で計算機科学と哲学と数理論理学の名誉教授を務めている。事実上引退しており、カリフォルニア州バークレー在住。2005年に創刊した学術誌 Logical Methods in Computer Science の編集長を務めている。 学生時代まで[編集
ホーア論理 - Wikipedia
この記事の正確性に疑問が呈されています。問題箇所に信頼できる情報源を示して、記事の改善にご協力ください。議論はノートを参照してください。（2016年4月） 疑問点：トリプルの定義からすでに通常の定義と異なっている。例もおかしい ホーア論理（ホーアろんり、英: Hoare logic）とは、公理的意味論の立場でプログラムの正当性について厳密に推論するために第一階述語論理を拡張した形式論理の言語を言う。 プログラムの正しさを証明するためのロバート・フロイドによる流れ図に関する方法[1]を基に、計算機科学者のアントニー・ホーアによって提案された[2]。 概要[編集] ホーア論理には、単純な命令型言語の全構成要素についての公理と推論規則が備わっている。当初の論文にあったそれら規則に加えて、ホーアや他の研究者は様々な言語要素に関する規則を開発した。並行性に関する規則、プロシージャに関する規則、分岐に
3GPP - Wikipedia
3GPP（スリージーピーピー、Third Generation Partnership Project）は、W-CDMAとGSM発展形ネットワークを基本とする第三世代携帯電話 (3G) システムおよびそれに続く第3.9世代移動通信システムに対応するLTEや、第4世代移動通信システムに対応するLTE-Advanced、さらに次の世代である第5世代移動通信システム（5Gと略記されることが多い[1][2]）の仕様の検討・作成を行う標準化プロジェクトである。 概要[編集] アメリカのT1委員会（現：ATIS）、欧州のETSI、日本の電波産業会 (ARIB)、情報通信技術委員会 (TTC)、韓国のTTAといった各国・各地域の標準化団体により1998年12月に設立された。後に中国CWTS（現：CCSA）も加わった。3GPPはあくまでも標準化団体間の「プロジェクト」であり、法人格は持たない。 3GPPは
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
