形式手法 - Wikipedia
Z言語を使った形式仕様記述の例 形式手法（けいしきしゅほう、英: formal methods）は、ソフトウェア工学における数学を基盤としたソフトウェアおよびハードウェアシステムの仕様記述、開発、検証の技術である[1]。ソフトウェアおよびハードウェア設計への形式手法の適用は、他の工学分野と同様、適切な数学的解析を行うことで設計の信頼性と頑健性が向上するという予想によって動機付けられている[2]。 形式手法は理論計算機科学の様々な成果を基盤として応用したものであり、数理論理学、形式言語、オートマタ理論、プログラム意味論、型システム、代数的データ型などを活用して、ソフトウェアおよびハードウェアの仕様記述とその検証を行う[3]。 分類[編集] 形式手法はいくつかの水準で使用可能である: 水準0 形式仕様記述を行い、プログラム自体を非形式主義的に行う。「軽い形式手法」と呼ぶ。費用対効果が早く得るこ
スチュアート・ホール - Wikipedia
スチュアート・ホール（Stuart Hall, 1932年2月3日 - 2014年2月10日）は、ジャマイカ生まれのイギリスの文化理論家。カルチュラル・スタディーズの代表的理論家。文化とメディア研究に貢献した。 略歴[編集] ジャマイカのキングストンで生まれ、1951年にイングランドのブリストルに移る。その後、研究員としてオックスフォード大学のマートン・カレッジで学ぶ。バーミンガム大学で働いた後、バーミンガム大学のリサーチ・センターであるCentre for Contemporary Cultural Studiesで働くようになる。1960年にはニューレフト・レビューの創設者の一人[1]でもあった。 著書[編集] Drifting into a Law and Order Society, (Cobden Trust, 1980). The Hard Road to Renewal: T
まれびと - Wikipedia
まれびと、マレビト（稀人・客人）は、時を定めて他界から来訪する霊的もしくは神の本質的存在を定義する[1]折口学の用語。折口信夫の思想体系を考える上でもっとも重要な鍵概念の一つであり、日本人の信仰・他界観念を探るための手がかりとして民俗学上重視される。まろうどとも[2][3]。 概要[編集] 外部からの来訪者（異人、まれびと）に宿舎や食事を提供して歓待する風習は、各地で普遍的にみられる。その理由は経済的なものが含まれるが、この風習の根底に異人を異界からの神とする「まれびと信仰」が存在するといわれる。 「まれびと」の称は1929年（昭和4年）、民俗学者の折口信夫によって提示された。彼は「客人」を「まれびと」と訓じて、それが本来、神と同義語であり、その神は常世の国から来訪することなどを現存する民間伝承や記紀の記述から推定した。折口のまれびと論は「国文学の発生〈第三稿〉」（『古代研究』所収）によっ
ヘブライ語 - Wikipedia
ヘブライ語（ヘブライご、ヘブライ語: עִבְרִית ʿĪvrīt, ラテン語: Lingua Hebraea）は、アフロ・アジア語族のセム語派に属する北西セム諸語の一つ。ヘブル語、ヒブル語とも呼ばれる。 この言語の名称には揺れがあり、日本語の「ヘブライ語」やドイツ語（Hebräische Sprache）やイタリア語（Lingua ebraica）などは、ギリシア語（εβραϊκή γλώσσα）やラテン語（Lingua Hebraica）での呼び名に由来する。一方、英語（Hebrew language）やフランス語（Hébreu）での言語名はヘブライ語自体における呼称（עברית）に由来する。 日本では、日本のほとんどの大学で語学講義名を「ヘブライ語」とする[4]など「ヘブライ語」が主流であるが、「ヘブル語」や「ヒブル語」が用いられる場合がある[5]。 概要[編集] 古代にイスラエル
マーク・アンド・スイープ - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "マーク・アンド・スイープ" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2021年6月） マーク・アンド・スイープ（mark-and-sweep）は、ガベージコレクションの実装方法およびガベージコレクタの動作方法の一つ。 方法[編集] 基本的な方針は、あるオブジェクト（ここでは、ルートオブジェクトと呼ぶ）からのトラバース（オブジェクトから別のオブジェクトへの参照を辿ること）によって到達可能なオブジェクトに印（マーク）をつけ、印のつかなかったオブジェクトを破棄（スイープ）する、というものである。 具体的な手順の一例は次のようになる： ルー
ヴィクター・ターナー - Wikipedia
ヴィクター・ターナー（Victor Witter Turner, 1920年5月28日 - 1983年12月18日）は、象徴・宗教儀式・通過儀礼等の研究で知られるイギリスの文化人類学者である。彼の業績はしばしばクリフォード・ギアツらとともに、象徴人類学や解釈人類学として言及される。 主な経歴と研究対象[編集] 1920年にスコットランドのグラスゴーにて生まれる。ユニヴァーシティ・カレッジ・ロンドンにて当初は詩と古典を勉強していたが、第二次世界大戦中に人類学に対する興味が目覚め、マンチェスター大学大学院にて人類学の研究を行うことになる。ターナーの「社会劇 (social drama) 」に対する興味は、ケネス・バークやアーヴィング・ゴッフマンらの先行研究に影響を受けたものである。 1950年から1954年にかけての期間、ターナーは妻のエディス・ターナー (Edith Turner) と共に中
厚い記述 - Wikipedia
人類学その他の領域において、人間行動の厚い記述(あついきじゅつ・thick description)とは、状況をまったく知らない人でもその行動がよく理解できるように、行動そのものだけではなく文脈も含めて説明することを指す。 文化人類学者のクリフォード・ギアツが1973年の著書『文化の解釈学』でみずからの民族誌記述の方法として提示して有名になった(Geertz 1973:5-6, 9-10)。以降、社会科学のみならず広範な学問分野で有力な方法論として盛んに口にされるようになり、今日では新歴史主義（ニューヒストリシズム）のような文芸評論の分野でも用いられるようになっている。 ギアツの論文「厚い記述--文化の解釈学的理論をめざして」(Geertz 1973:3-30)によると、この用語はイギリスの哲学者ギルバート・ライルに由来する。ライルによれば、われわれは誰かから目配せをされても、文脈がわから
京都市三大事業 - Wikipedia
京都市三大事業（きょうとしさんだいじぎょう）とは、明治末年から大正初年に掛けて京都市で行われた都市基盤整備事業。「第二琵琶湖疏水（第二疏水）開削」、「上水道整備」、「道路拡築および市電敷設」の3つを言う。ここでは、三大事業のほか、その後に旧都市計画法に基づき行われた都市計画、道路拡築などの事業についても述べる。 経緯[編集] 府知事が市長を兼任する市制特例が終わり、1898年（明治31年）10月にようやく他都市と同様の自治権を持つようになった京都市は、琵琶湖疏水の蹴上発電所の発電量が市内工場の電力需要を満たす限界に来ていたことや、人口の増加により井戸水が汚染されることによる伝染病の流行などの課題を解決し都市の発展を図る社会資本整備の必要に迫られていた。 初代京都市長内貴甚三郎は、これらを解決するための事業を企図したが、市会[1]の同意や、政府の許可を得られず、また日露戦争の開始によってその
1811年委員会計画 - Wikipedia
1807年にまとめられたマンハッタンにおける委員会計画の最終版。1811年に採用された。 1811年委員会計画（1811ねんいいんかいけいかく、英: Commissioners' Plan of 1811）は、ニューヨーク市マンハッタンのハウストン通り以北における街路網の原案で、今日のマンハッタンに配置されている無数に連続した短冊形の街区（方格設計）を定義した都市計画である。これは「ニューヨーク市の発展において最も重要な文章」とされており[1]、計画は「統制と均衡、反自然といった共和主義的性格」を包含する傾向にある[2]。策定した委員会によれば「美観並びに規則性と利便性」の結合を理念としている[2]。 元々はニューヨーク市議会が、14丁目からワシントンハイツまでの均衡ある開発と土地の供給を目的に発議したことがきっかけであるが、地方自治制度の問題や地権者からの反対によって実現させることができ
ビザンチン将軍問題 - Wikipedia
ビザンチン将軍問題（ビザンチンしょうぐんもんだい、英語: Byzantine Generals Problem）とは、相互に通信しあう何らかのオブジェクト群において、通信および個々のオブジェクトが故障または故意によって偽の情報を伝達する可能性がある場合に、全体として正しい合意を形成できるかを問う問題である[1]。フォールトトレラントシステムでの多数決の妥当性や分散コンピューティングの処理の妥当性に関わる問題と言え、二人の将軍問題を一般化したものと言える。 ビザンチン将軍問題に帰結される故障や障害をビザンチン故障（Byzantine Failure、あるいはビザンチン障害）と呼ぶ。また、ビザンチン将軍問題が発生しても全体として正しく動作するシステムをビザンチン・フォールトトレラント性（Byzantine Fault Tolerance）があるという。 ビザンチン将軍問題は、東ローマ帝国（ビザ
エリク・H・エリクソン - Wikipedia
欧米だと年少・年中がプリスクールで、年長のみが幼稚園（ほぼ小学校のようなカリキュラム）としているため5歳となっている。児童期の幅は大きく低学年は幼児っぽさが残っており、小学3～5年生はギャングエイジという仲間意識を身に付ける年齢であり、スポーツではゴールデンエイジと言って最も伸びる時期でもある。また最近の子は成長が早く、6年生は思春期に入っており学級担任制が難しくなっている。6-3制の本家アメリカでは5-3-4制（または4-4-4制）が主流になっており、日本でも5-4制を導入したほうが良いという意見もある。青年期は英語圏ではティーンエージャーであるが、日本では1年前倒しの中高生という言い方が一般的である。成年期においては結婚・出産年齢が大きく左右し、最近は晩婚・未婚・DINKsが増えていており一律ではなくなった。また平均寿命が延びたことにより前期高齢者（65～75歳）は元気になっており、ま
琵琶湖 - Wikipedia
琵琶湖（びわこ）は、滋賀県にある日本最大の面積と貯水量を持つ湖。一級水系「淀川水系」に属する一級河川である。国土交通大臣から委託を受けて滋賀県知事が管理を担う。湖沼水質保全特別措置法指定湖沼で、ラムサール条約登録湿地でもある。 古くは淡海・淡海の海・水海・近江の海・細波・鳰（にお）の海などとも呼ばれ、「びわ湖」「びわこ」と表記されることもあるほか、「Mother Lake」の愛称や「近畿の水瓶」の別称で呼ばれることもある。 約440万年前に形成された古代湖であり、40-100万年ほど前に現在の位置に移動してきた。内湖（ないこ）を含む多様な地形や多数の固有種を含む豊かな生態系をもっているが、近現代の開発により失われたり減少したりした地形や種もある。古くから近畿地方の水運・水利・漁撈における役割を担い、近江八景などをとおして景勝地としても知られ、作品の題材となることも多いほか、環境保全活動も盛
二重相続理論 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "二重相続理論" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2012年1月） 二重相続理論（にじゅうそうぞくりろん、dual inheritance theory、略称：DIT）あるいは二重継承理論、遺伝子-文化共進化とは、人間を生物学的な進化と文化的な進化の間の相互作用の産物として捉えていく見方。「文化的な特性が生物学的な特性に優先する」といった見方と対比され1970年代から1980年代にかけて提唱された。二重相続理論では文化の伝播や発展は、遺伝的な特性によって影響・束縛を受けているとし（遺伝→文化への影響）、また文化の状態が淘汰圧と
ヘルマン・ハーケン - Wikipedia
ヘルマン・ハーケン（Hermann Haken, 1927年7月12日 - ）はドイツの物理学者。シュトゥットガルト大学の理論物理学教授を務めた。多要素系の協同現象の理論であるシナジェティクス (synergetics, Synergetik) の提唱で知られる。ハーマン・ハーケンとも書かれる。 経歴[編集] ライプツィヒに生まれ、エアランゲン大学で数学を専攻した後、アメリカのベル研究所などに滞在し、1960年よりシュトゥットガルト大学で理論物理学の教授に就任した。 統計力学、群論、非線形光学（特にレーザー物理学）、固体物理学を専門としたが、とりわけシナジェティクスの理論を創出し、関連する書籍を多数著したことで知られている。 レーザーの研究を通じて多数の要素が相互作用しあうときに働く協同現象をより一般的な事象として抽象化し、自己組織化のひとつの原理としてシナジェティクスを提唱した。シナジェ
ジャン・ボードリヤール - Wikipedia
ジャン・ボードリヤール（Jean Baudrillard、1929年7月29日 - 2007年3月6日）は、フランスの哲学者、思想家である。『消費社会の神話と構造』（La Société de Consommation 1970）は現代思想に大きな影響を与えた。ポストモダンの代表的な思想家とされる[1]。 経歴[編集] マルヌ県ランスの小作農の家に生まれる。ちなみに、父親は下級官吏であった。1948年、ソルボンヌ大学に入学。当初の専攻はドイツ語。 1962年、フェリックス・ガタリとともにフランス中国人民協会を設立。このころより、カール・マルクスやベルトルト・ブレヒトの翻訳を発表する。 1966年、博士号を取得。博士論文は『物の体系』で、審査員はロラン・バルト、ピエール・ブルデュー、アンリ・ルフェーブル。パリ大学ナンテール校でルフェーブルの助手となる。その後、『対象のシステム』を発表し、フェ
コモンズの悲劇 - Wikipedia
タイ東北地方のコモンズ。牛飼いは、脇道に生えている草を牛に食ませる。ローカル・コモンズを利用し管理する現地住民は、草の根民活として評価できる。 コモンズの悲劇（コモンズのひげき、英: tragedy of the commons）とは、多数者が利用できる共有資源が乱獲されることによって資源の枯渇を招いてしまうという経済学における法則。共有地の悲劇ともいう。 アメリカの生物学者、ギャレット・ハーディンが1968年に『サイエンス』に論文「The Tragedy of the Commons」を発表したことで一般に広く認知されるようになったが、発表後多くの研究者も反論を唱えた。 概要[編集] たとえば、共有地（コモンズ）である牧草地に複数の農民が牛を放牧する場合を考える。農民は利益の最大化を求めてより多くの牛を放牧する。自身の所有地であれば、牛が牧草を食べ尽くさないように数を調整するが、共有地で
ヘレロ・ナマクア虐殺 - Wikipedia
鎖に繋がれたヘレロ人 ヘレロ・ナマクア虐殺（ヘレロ・ナマクアぎゃくさつ、ドイツ語: Völkermord an den Herero und Nama）は、ドイツ領南西アフリカ（現・ナミビア）においてドイツ帝国が先住民族に対して行った虐殺。アフリカ分割の動きの中の1904年から1908年[1]にかけて行われ、20世紀最初のジェノサイド（虐殺）と考えられている。 概要[編集] アフリカ分割に加わったドイツ帝国による南部アフリカ侵攻で土地を追われた先住民族のヘレロ族は1904年1月12日、サミュエル・マハレロ（英語版）の指揮の下、ドイツ人への無差別攻撃を開始した（ホッテントット蜂起）。これに対してドイツは8月、ロタール・フォン・トロータ将軍の指揮でこれを破り（en:Battle of Waterberg）、三方から包囲して、カラハリ砂漠（英: Omaheke Desert）に追い込んだ。追い込
記憶術 - Wikipedia
この記事には参考文献や外部リンクの一覧が含まれていますが、脚注による参照が不十分であるため、情報源が依然不明確です。適切な位置に脚注を追加して、記事の信頼性向上にご協力ください。（2018年2月） 記憶術（きおくじゅつ、英: mnemonic[1], mnemonics[2], art of memory[3]）とは、大量の情報を急速に長期に記憶するための技術。 歴史[編集] 西洋[編集] 西洋における記憶術の歴史は古く、伝統的な修辞学の一部門（ラテン語: memoria）として扱われていた[4]。記憶術を意味する英語: mnemonic（ニーモニック）は、古代ギリシア語: μνημονικός（ムネーモニコス、mnemonikos、記憶）からの派生語であり、その語源はギリシア神話の記憶の女神ムネーモシュネーに由来する。 紀元前6世紀ごろの、古代ギリシアのシモニデスが開祖といわれる[5]。
スティーブン・ウルフラム - Wikipedia
スティーブン・ウルフラム（Stephen Wolfram、1959年8月29日 - ）は、イギリス人（学部卒業後はアメリカで進学）の理論物理学者で、米ウルフラム・リサーチ社を創業し現在も最高経営責任者である。 来歴[編集] ロンドン生まれ。両親はドイツ・ヴェストファーレンから亡命したユダヤ人難民だった[1][2]。父・ヒューゴは小説家で、母・シビルはオックスフォード大学で哲学の教授を務めていた[3]。弟は技術者のコンラッド・ウルフラム（英語版）[3]。 彼は高校時代、授業が退屈で他の生徒の数学の宿題をアルバイトにしていた。17歳でオックスフォード大学に入学したものの、授業に出ずに独学をしていた。在学中に10本の論文を執筆した後、18歳でカリフォルニア工科大学に進み、高エネルギー物理学、場の理論、宇宙論の研究を行った。20歳で理論物理学の研究により、カリフォルニア工科大学においてPh.D.
雨宮処凛 - Wikipedia
雨宮 処凛（あまみや かりん、1975年1月27日 - ）は、作家、政治活動家。反貧困ネットワーク世話人、『週刊金曜日』編集委員、厚生労働省ナショナル・ミニマム研究会委員、「こわれ者の祭典」名誉会長。 2000年のデビュー前後は「ミニスカ右翼」と呼ばれた[1]右翼活動家だったが、後に「ゴスロリ作家」を称する[2]左派系論者に転向した[3]。2006年以降はプレカリアート問題に取り組み、格差・貧困問題をメインテーマとする。日本ジャーナリスト会議賞を受賞している。 北海道滝川市出身。1歳の時からアトピー性皮膚炎に悩み[4]、それが原因で思春期にいじめ、不登校、家出、自殺未遂の経験をもち、10代後半にはヴィジュアル系バンド（XとBUCK-TICK[5]、LUNA SEAなど多数）の追っかけをくり返した。その後、1996年からはMALICE MIZERのバックダンサーをつとめる[6]。大学受験では
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
