タグ

wikipediaとWikipediaに関するMaruyamaAkiraのブックマーク (5)

  • ポスト・モーテム 遺体写真家トーマス - Wikipedia

    『ポスト・モーテム 遺体写真家トーマス』(ポストモーテム いたいしゃしんかトーマス、Post Mortem)は2020年のハンガリーのホラー映画。 監督はベルゲンディ・ピーテル(ハンガリー語版)、出演はクレム・ヴィクトル(ハンガリー語版)とハイス・フルジナなど。 第一次世界大戦後、戦争と疫病で荒廃した村を訪れた遺体写真家が悪霊たちと対決するさまを描いている[3]。 2020年10月に開催されたワルシャワ国際映画祭で初上映された[4]。 第94回アカデミー賞アカデミー国際長編映画賞のハンガリー代表に選出されたが最終ノミネートの5作品には選ばれなかった[3]。 日では、2022年1月から開催された「未体験ゾーンの映画たち2022」で上映された[5]のち、同年5月20日にDVDが発売された[6]ほか、Amazon Prime VideoやU-NEXTなどの動画配信サービスでも視聴可能となってい

  • 二階述語論理 - Wikipedia

    二階述語論理(にかいじゅつごろんり、英: second-order predicate logic)あるいは単に二階論理(にかいろんり、英: second-order logic)は、一階述語論理を拡張した論理体系であり、一階述語論理自体も命題論理を拡張したものである[1]。二階述語論理もさらに高階述語論理や型理論に拡張される。 一階述語論理と同様に議論領域(ドメイン)の考え方を使う。ドメインとは、量化可能な個々の元の集合である。一階述語論理では、そのドメインの個々の元が変項の値となり、量化される。例えば、一階の論理式 ∀x (x ≠ x + 1) では、変項 x は任意の個体を表す。二階述語論理は個体の集合を変項の値とし、量化することができる。例えば、二階の論理式 ∀S ∀x (x ∈ S ∨ x ∉ S) は、個体の全ての集合 S と全ての個体 x について、x が S に属するか、あ

    MaruyamaAkira
    MaruyamaAkira 2011/01/27
    一階述語論理を使うと集合論を公理的体系として形式化できることから集合は数学の基盤となるる。ゲーデルやスコーレムが一階述語論理に固執したこともあって、過去二階や高階の述語論理はほとんど省みられなかった。
  • Category:WebKitを用いたウェブブラウザ - Wikipedia

    カテゴリ「WebKitを用いたウェブブラウザ」にあるページ このカテゴリには 24 ページが含まれており、そのうち以下の 24 ページを表示しています。

  • ムードル - Wikipedia

    ムードル (Moodle) は、オープンソースのeラーニングプラットフォームである。同種のシステムの中では比較的多くのユーザ数を持つ。 ムードルは教育者が質の高いオンライン学習過程(コース)を作ることを助けるパッケージソフトである。 このようなeラーニングシステムは,学習管理システム (Learning Management System : LMS)、学習過程管理システム (Course Management System : CMS)、仮想学習環境 (Virtual Learning Environment : VLE)、あるいは単にオンライン教育システムなどと呼ばれる。[1] 名称の由来[編集] ムードル (Moodle) はModular Object-Oriented Dynamic Learning Environment(モジュラーなオブジェクト指向ダイナミック学習環境)の頭

    ムードル - Wikipedia
  • SAT (大学進学適性試験) - Wikipedia

    SAT(エスエーティー)は、非営利法人であるカレッジボードがETSに委託し主催している標準テスト。SAT論理試験(SAT Reasoning Test、旧SATⅠ)とSAT科目別試験(SAT Subject Test、旧SATⅡ)の総称。アメリカの大学入学時に考慮する要素の一つである。SATは、来Scholastic Aptitude Test(大学適性試験)を意味する略語であったが、1990年にScholastic Assessment Test(大学能力評価試験)に変わり、現在は略としてではなくSATそのものが名前に使われている。 アメリカ合衆国では義務教育の制度を各州に任せていて、なおかつ各生徒は一定のルールの下で自由に科目を選択できるため、高校によって学力に差があり、成績評価基準も学校によって異なるため大学受験で高校の成績のみで合否を判定することはできない。そこで4,500校余り

    SAT (大学進学適性試験) - Wikipedia
  • 1