ラムダ計算 - Wikipedia
この記事には参考文献や外部リンクの一覧が含まれていますが、脚注による参照が不十分であるため、情報源が依然不明確です。 適切な位置に脚注を追加して、記事の信頼性向上にご協力ください。（2020年5月） ラムダ計算（ラムダけいさん、英語: lambda calculus）は、計算模型のひとつで、計算の実行を関数への引数の評価（英語: evaluation）と適用（英語: application）としてモデル化・抽象化した計算体系である。ラムダ算法とも言う。関数を表現する式に文字ラムダ (λ) を使うという慣習からその名がある。アロンゾ・チャーチとスティーヴン・コール・クリーネによって1930年代に考案された。1936年にチャーチはラムダ計算を用いて一階述語論理の決定可能性問題を（否定的に）解いた。ラムダ計算は「計算可能な関数」とはなにかを定義するために用いられることもある。計算の意味論や型理論
World Wide Web Consortium - Wikipedia
World Wide Web Consortium（ワールド・ワイド・ウェブ・コンソーシアム）は、World Wide Webで使用される各種技術の標準化を推進するために設立された標準化団体、非営利団体である。W3C（ダブリュースリーシー）と略称される。 ティム・バーナーズ＝リーが創設し、率いている[3]。本コンソーシアムは企業や団体が会員として加入し、専任スタッフと共にWorld Wide Webの標準策定を行っている。2022年1月8日現在、456の組織が会員として加入している[2]。 W3Cは教育活動も行っており、ソフトウェアを開発してWebに関するオープンな議論の場を提供している。HTML、XML、MathML、DOM等の規格を勧告する。HTMLは、従来IETFでRFCとして標準化されていたが、HTML 3.2以降はW3Cへ引き継がれた。 XHTMLの規格に反する企業などがW3Cに
マーク・ザッカーバーグ - Wikipedia
マーク・エリオット・ザッカーバーグ（Mark Elliot Zuckerberg、1984年5月14日 - ）は、アメリカ合衆国のプログラマー、実業家。Meta Platforms, Inc.（旧称: Facebook, Inc.）の共同創業者兼会長兼CEO。 ハーバード大学在籍中にソーシャル・ネットワーキング・サービスサイト「Facebook」を立ち上げた[注釈 1]。2010年のTime誌「パーソン・オブ・ザ・イヤー」に選ばれた。 アメリカ合衆国ニューヨーク州ウェストチェスター郡ホワイト・プレインズで、歯科医の父親と精神科医の母親からなる家庭の第2子として生まれた。姉1人と妹2人がおり、ドブス・フェリーで育った。曾祖父はドイツ、オーストリア、ポーランドから移民したユダヤ系であった[1]。 その後のザッカーバーグは、アーズリー高校に入学し2年を過ごすが、退屈さに耐え切れず、アイビーリーグ
フラタニティとソロリティ - Wikipedia
フラタニティ（英: fraternity）と、ソロリティ（英: sorority）は、それぞれラテン語の「兄弟」及び「姉妹」を表す「frater」と「soror」に由来する言葉であり、ライオンズクラブ、イプシロン・シグマ・アルファ、国際ロータリー、東方聖堂騎士団やフリーメイソン付随の組織であるシュライナーなど、多くの社交団体や慈善団体をさす場合に使われる単語である。 しかし、アメリカ合衆国やカナダなど北米において、フラタニティとソロリティは大学・大学院など高等教育の男子寮、女子寮あるいは学生のための社交団体を表す用語として最もよく知られている。日本語では男子・女子社交クラブ、男子・女子学生友愛クラブなどと訳されることがある。 用語[編集] 口語で「フラット」と短縮される「フラタニティ」という言葉は、一般に全て男性あるいは性別を問わないクラブを指す。それに対し女性のみで構成されるクラブを「ソ
マーク・アンドリーセン - Wikipedia
マーク・ローウェル・アンドリーセン（Marc Lowell Andreessen, 1971年7月9日 - ）は、アメリカ合衆国のソフトウェア開発者、投資家。ウェブブラウザのNCSA MosaicやNetscape Navigatorを開発した。世界的に有名なベンチャーキャピタル会社のアンドリーセン・ホロウィッツの共同創業者。 経歴[編集] アイオワ州生まれ。イリノイ大学内のNCSA在籍中に、ウェブブラウザMosaicを開発した。当初はUNIXのX環境でのみ動作するものだったが、すぐにMacintoshやWindows向けが作られた。しかし、NCSAがMosaicの権利を主張したため、アンドリーセンはNCSAと決別した。 1993年、事業家ジム・クラークからメールをもらい、共同でモザイクコミュニケーションズを設立した（のちにネットスケープコミュニケーションズと社名変更）。そして、Mosai
デバッグ - Wikipedia
デバッグ（英: debug）とは、コンピュータプログラムや電気機器中のバグ・欠陥を特定して取り除き、動作を仕様通りのものとするための作業である。“de-”は「〜から離れて／分離して／除去して」といった否定の意味を持つ接頭辞であり[1]、「虫」を意味する英語名詞“bug”と結びついた複合語が“debug”である。 サブシステムが密結合であると、1箇所の変更が別の箇所でのバグを作り出すので、バグの修正がより困難となる。 語源[編集] 「デバッグ」という語を初めて使った人物については論争がある（バグを参照）。1976年に Glenford J. Myers の Software Reliability: Principles and Practices で"debugging"が「既知のエラーの原因を突き止め、そのエラーを修正すること」と定義されて使われたのが初めてだとする者がいる一方、1940
中島敦 - Wikipedia
中島 敦（なかじま あつし、1909年〈明治42年〉5月5日 - 1942年〈昭和17年〉12月4日）は、日本の小説家。代表作は『山月記』『光と風と夢』『弟子』『李陵』など[1][2][3][4]。第一高等学校、東京帝国大学を卒業後、横浜高等女学校の教員勤務のかたわら小説執筆を続け、パラオ南洋庁の官吏（教科書編修書記）を経て専業作家になるも、同1942年（昭和17年）中に持病の喘息悪化のため33歳で病没[5][6]。死後に出版された全集は毎日出版文化賞を受賞した[6][7]。 その短い生涯に残した著作は、中国古典の歴史世界を題材にした作品や、南島から材を得た作品、古代伝説の体裁をとった奇譚・寓意物、自身の身辺を題材にした私小説的なものなど、未完作も含めわずか20篇たらずであったが[1][8][9][10][11]、漢文調に基づいた硬質な文章の中に美しく響く叙情詩的な一節が印象的で、冷厳な自
相続放棄 - Wikipedia
この記事には複数の問題があります。改善やノートページでの議論にご協力ください。 ほとんどまたは完全に一つの出典に頼っています。（2018年2月） 独自研究が含まれているおそれがあります。（2018年2月） 出典検索?: "相続放棄" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL この記事は特に記述がない限り、日本国内の法令について解説しています。また最新の法令改正を反映していない場合があります。ご自身が現実に遭遇した事件については法律関連の専門家にご相談ください。免責事項もお読みください。 相続放棄（そうぞくほうき）とは、民法上の概念、用語の一つであり、相続人が遺産の相続を放棄することでありプラスの財産もマイナスの財産も一切相続[1]しないことである。被相続人の負債が多いなど相続に魅力が感じられない
単純承認 - Wikipedia
この記事は特に記述がない限り、日本国内の法令について解説しています。また最新の法令改正を反映していない場合があります。ご自身が現実に遭遇した事件については法律関連の専門家にご相談ください。免責事項もお読みください。 単純承認（たんじゅんしょうにん）とは、民法の相続法上の法律用語。「第四章 相続の承認及び放棄」に規定がある。被相続人の権利義務を承継することを相続人が無限定に承認することである（920条）。単純承認については915条における期間制限がある。921条に掲げる事由に該当する場合は、単純承認したとみなされる（法定単純承認）。実際は法定単純承認事由を満たすことで単純承認したとみなされるケースが多い。 法定単純承認事由 [編集] 以下、民法921条の規定を紹介する。 相続人が相続財産の全部又は一部を処分したとき。ただし、保存行為及び602条 に定める期間を超えない賃貸をすることは、この限
詐害行為取消権 - Wikipedia
この項目では、日本の民法上の詐害行為取消権について説明しています。 詐害行為の取消しや破産法上の否認権のもとになったローマ法に由来する訴権（Action Pauliana）については「廃罷訴権」をご覧ください。 英米法の詐害的譲渡（Fraudulent Conveyance）については「詐害的譲渡」をご覧ください。 この記事は特に記述がない限り、日本国内の法令について解説しています。また最新の法令改正を反映していない場合があります。ご自身が現実に遭遇した事件については法律関連の専門家にご相談ください。免責事項もお読みください。 詐害行為取消権 (さがいこういとりけしけん) とは、債権者が債務者の行為を一定の要件の下に取り消すことができる権利。民法424条以下において規定されている。 現行民法では詐害行為取消権という名称で規定されている。かつては債権者取消権とも呼ばれていた。また、母法のフラ
遺留分 - Wikipedia
遺留分（いりゅうぶん、独: Pflichtteil、英: legitime、西: legítima、仏: réserve、伊: successione legittima、朝: 유류분（遺留分）、羅: legitima portio、蘭: legitieme portie、波: zachowek、繁: 特留分）とは、強制相続分 forced share 又は法定相続権 legal right share ともいい、被相続人の近親者が有する遺産に対する取得権であって、当該近親者に遺留（確保）されており、遺言、遺贈又は死因贈与によって奪うことができないものをいう。 遺留分の制度は、西欧諸国及びそこから私法体系を継受（外国の法体系を一括して複写し導入すること）した諸法域（以下「西欧系諸法域」という。）で広く見られる。イスラーム法における遺贈制限[1]は、遺留分と似た機能を有するが、死の床の贈与を
親族 - Wikipedia
親族（しんぞく）は、血縁関係または婚姻関係で繋がりを有する者の総称である。「親戚」（しんせき）、「親類」（しんるい）とも言う。また、血縁が近いものを「近親（者）」（きんしん（しゃ））とも言う。 血族 法において血縁の繋がっている者（血縁関係にある者）を血族という[1][2]。日本の旧民法では「血統ノ相連結スル者ノ関係」と定義されていた（旧民法人事編19条1項）。血族には自然血族と法定血族とがある。なお、「血族」の概念はあくまでも法的な観点から決定される点に注意を要する（自然の血縁関係がなくとも養子縁組は血族を擬制し、他方、生物学上の血縁関係があっても非嫡出子は父や父の血族との関係を生じるためには父の認知が必要となる〈民法第779条〉）[2][3]。 自然血族 相互に自然の血縁関係（生物学上の血縁関係）にある者を自然血族という[4][1]。直系・傍系を問わない[2]。また、法律上の婚姻による
相続 - Wikipedia
相続の制度は他のどの諸制度よりもその根拠を問われる[1]。 近代法の相続制度については、被相続人と生計をともにした遺族の生活を保障する趣旨であるとみる説や被相続人の遺した財産が無主物となってしまうことを防ぐ趣旨であるとみる説などがある。 一方、相続財産という、いわば不労所得による所有財産の多寡が生ずることによって、平等であるべき個人の経済的な競争条件を損なうものとして、相続制度否定論者からは制度撤廃を求める主張がある。したがって相続課税の強化により富の再分配機能を強化すべきとなる[1]。 一般的には、自然人の死亡を原因とするものを相続と称することが多いが、死亡を原因としない生前相続の制度もある（日本国憲法が施行される前、いわゆる明治憲法下の日本における家督相続は死亡を原因とする場合もしない場合も含む）。 比較法上、相続原因が発生した場合（死亡など）に被相続人から相続人に財産が移転する形態と
連帯債務 - Wikipedia
この記事は特に記述がない限り、日本国内の法令について解説しています。また最新の法令改正を反映していない場合があります。ご自身が現実に遭遇した事件については法律関連の専門家にご相談ください。免責事項もお読みください。 連帯債務（れんたいさいむ）とは、債務の目的がその性質上可分である場合において、法令の規定又は当事者の意思表示によって数人が連帯して負担する債務。債権者は、その連帯債務者の一人に対し、又は同時に若しくは順次に全ての連帯債務者に対し、全部又は一部の履行を請求することができる（民法436条（2017年改正の民法（2020年4月1日法律施行）により旧432条から繰り下げ））。 債権が独立のもので、主従の差がなく、債権者は、一人に対する債権を譲渡できる点で保証債務とは異なり、保証債務より強力な担保となる（人的担保の一種）。また、各債務は独立のものであるので、債権者は一人に対する債権を分離
消費者契約法 - Wikipedia
消費者契約法（しょうひしゃけいやくほう、平成12年法律第61号）は、「消費者と事業者との間の情報の質及び量並びに交渉力の格差に鑑み、事業者の一定の行為により消費者が誤認し、又は困惑した場合等について契約の申込み又はその承諾の意思表示を取り消すことができることとするとともに、事業者の損害賠償の責任を免除する条項その他の消費者の利益を不当に害することとなる条項の全部又は一部を無効とするほか、消費者の被害の発生又は拡大を防止するため適格消費者団体が事業者等に対し差止請求をすることができることとすることにより、消費者の利益の擁護を図り、もって国民生活の安定向上と国民経済の健全な発展に寄与することを目的とする」、日本の法律である（第1条）[1]。2000年（平成12年）5月12日公布、2001年（平成13年）4月1日施行[2]。 消費者団体訴訟制度を盛り込んだ改正法（消費者契約法の一部を改正する法律
政党交付金 - Wikipedia
この記事は特に記述がない限り、日本国内の法令について解説しています。また最新の法令改正を反映していない場合があります。 ご自身が現実に遭遇した事件については法律関連の専門家にご相談ください。免責事項もお読みください。 政党交付金（せいとうこうふきん）とは、政党の活動を助成する目的で国庫から交付される資金。日本においては政党助成法に基づいて一定の要件を満たした政党に交付される。なお、政党が政党要件を満たさなくなっても政治団体として存続する場合には、政党であった期間に応じて交付金が交付される。政党助成金（せいとうじょせいきん）とも呼ばれる。 日本において、企業・労働組合・団体などから政党・政治団体への政治献金を制限する代償として、1990年代の政治改革論議において浮上し、1994年に政党助成法を含む政治改革四法が成立し導入された[1]。 背景として「リクルート事件」のほか「中曽根税制改革」によ
Security-Enhanced Linux - Wikipedia
Security-Enhanced Linux (SELinux) は、アメリカ国家安全保障局 (NSA) がGPL下で提供している、Linuxのカーネルに強制アクセス制御 (MAC) 機能を付加するモジュールの名称。名前から勘違いされることが多いが、Linuxディストリビューションの一つではない。 SELinuxは1992年、NSAが主体となってFlukeというOS上におけるMAC機能の研究のために開発された。MAC機能はセキュリティの高いOSの提供を可能にするが、主にMulti Level Securityと呼ばれる機能で提供されている。この機能では、アクセスする対象（サブジェクト）すべてに階層化された権限が与えられる一方、アクセスされる対象（オブジェクト）にもすべて階層化された情報の重要度に応じたラベルを付加する。このことによってアクセス制御を行うものだが、柔軟に実装するには複雑化し
アイソレーション・タンク - Wikipedia
ポッド（Pod）と呼ばれる新型のタンクで、車のドアのように開閉し、光や音楽を流すこともできる[1]。 アイソレーション・タンク（Isolation tank）は、感覚を遮断するための装置であり、光や音が遮られた空間で、皮膚の温度に保たれた高濃度のエプソムソルトの塩水に浮かぶことで、皮膚感覚や重力の感覚を大きく制限することができる[2]。リラックスを目的として、また心理療法や代替医療として使われている[1]。1990年代以降はヨーロッパを中心にフローティング・タンク（floating tank）と呼ばれることが多い。遮断タンク、瞑想タンク、サマディ・タンクとも呼ばれる。 アメリカ国立精神衛生研究所（NIMH）にて研究していたジョン・C・リリー（John C.Lilly）が、1954年に感覚遮断の研究のためにタンクを考案した[3]。1950年代には感覚遮断の研究から注目され、体験は次第に神秘体
同人誌 - Wikipedia
『白樺』創刊号の表紙 ウィキペたんを描いたコミック同人誌 同人誌（どうじんし）または同人雑誌（どうにんざっし、どうじんざっし）は、同人（同好の士）が資金を出して、自ら執筆・編集・発行を行う雑誌のこと[1][2]。似た言葉にファンとマガジンから成るファンジン（fanzine）がある[3]。 概要[編集] 文芸同人誌としては、1885年（明治18年）に尾崎紅葉、山田美妙、石橋思案、巖谷小波、川上眉山、廣津柳浪ら硯友社の同人が発行した機関誌『我楽多文庫』が最初とされ、その後、『奇蹟』『新思潮』などの同人誌が刊行されてゆき、中でも志賀直哉が参加した『白樺』は戦前の同人誌の中でも最長、最大の力を発揮したとされる。また、戦後に本多秋五らが創刊した『近代文学』は、日本近代文学史上最大の同人誌であった[5]。 漫画の同人誌も現れたが、1960年代までは安価に印刷する手段がなかったため、原稿を綴じて回覧する
著作権法 - Wikipedia
著作権法（ちょさくけんほう、昭和45年5月6日法律第48号）は、知的財産権の一つである著作権の範囲と内容について定める日本の法律である。 文部科学省外局の文化庁著作権課が所管し、総務省情報流通行政局情報通信作品振興課をはじめ他省庁と連携して執行にあたる。 概要[編集] 著作権法は文化の発展を目的とし、それに必要な、作品公正利用と作者保護を両立させる法制度を定めている[1]。 これを実現するため、著作権法は「著作物」を定義し、「条件を満たした著作物」の「条件を満たした利用」に関する独占的な「権利」を「著作者」へ付与する（#著作物、#権利対象外の著作物、#著作権の制限、#著作権の内容、#著作者）。 より具体的には、著作物の創作者である著作者に著作権（著作財産権）や著作者人格権という権利を付与することにより、その利益を保護している。一般的に、著作物を他人が無断で無制限に利用できないように法的に保
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
