この記事は中立的な観点に基づく疑問が提出されているか、議論中です。 そのため、中立的でない偏った観点から記事が構成されているおそれがあり、場合によっては記事の修正が必要です。議論はノートを参照してください。 (2019年8月) この記事には独自研究が含まれているおそれがあります。 問題箇所を検証し出典を追加して、記事の改善にご協力ください。議論はノートを参照してください。（2019年8月） 神の存在証明（かみのそんざいしょうめい、英語：Existence of God）とは、主として（少なくとも、西欧哲学でこの言葉を使うときは）、中世哲学における理性による、神の存在の根拠の提示の試行を意味する。中世以前では、神の存在は自明と考えられていたが、『神学大全』の著者トマス・アクィナスは、「神は、自然なる理性においても、その存在や超越的属性が論証可能な存在である」と主張した。このように神の存在を、

あさ、眼をさますときの気持は、面白い。かくれんぼのとき、押入れの真っ暗い中に、じっと、しゃがんで隠れていて、突然、でこちゃんに、がらっと襖（ふすま）をあけられ、日の光がどっと来て、でこちゃんに、「見つけた！」と大声で言われて、まぶしさ、それから、へんな間の悪さ、それから、胸がどきどきして、着物のまえを合せたりして、ちょっと、てれくさく、押入れから出て来て、急にむかむか腹立たしく、あの感じ、いや、ちがう、あの感じでもない、なんだか、もっとやりきれない。箱をあけると、その中に、また小さい箱があって、その小さい箱をあけると、またその中に、もっと小さい箱があって、そいつをあけると、また、また、小さい箱があって、その小さい箱をあけると、また箱があって、そうして、七つも、八つも、あけていって、とうとうおしまいに、さいころくらいの小さい箱が出て来て、そいつをそっとあけてみて、何もない、からっぽ、あの感じ

Aug 18, 2019 The issue to stabilize an initial version of async/await in Rust has left final comment period. The feature looks slated to stabilize in an upcoming release, most likely 1.39. This represents the culmination of an enormous amount of work by people all over the Rust community. But it’s also only the beginning of async/await support in Rust. The feature set being stabilized is a “minimu

In July I wrote about my efforts to speed up the Rust compiler in 2019. I also described how the Rust compiler has gotten faster in 2019, with compile time reductions of 20-50% on most benchmarks. Now that Q3 is finished it’s a good time to see how things have changed since then. Speed improvements in Q3 2019 The following image shows changes in time taken to compile many of the standard benchmark

Compile Stress Test Published on 10/03/2019, 1754 words, 7 minutes to read This is an experiment in blogging. I am going to be putting my tweets and select replies one after another without commentary. shitty synthetic benchmark idea: how long it takes for a compiler to handle a main function with 1.2 million instances of printf("hello, world!\n") or similar — Cadey Ratio 🌐 (@theprincessxena) Oct

Tonic: gRPC has come to async/await! I am pleased to finally announce a crate that I have been working very hard on for the past few months. tonic has finally hit the initial 0.1.0-alpha.1 release! Stable releases will follow in the coming months. What is Tonic? Tonic is a gRPC-over-HTTP/2 implementation focused on high performance, interoperability, and flexibility. This library was created to ha

アンファン・テリブル（フランス語: enfant terrible）とは、恐ろしいほど遠慮がなく、その発言によって両親や他人を困惑させる子供のことを伝統的に指す、フランス語の表現である[1][2]。 概説[編集] 日本語で直訳すると「恐るべき子供」となる。しかし、この表現は芸術、ファッション、音楽などにおいて、さまざまな用途で使われている。それらにおいては、非常に型破りで、人目を引き、ある場合には攻撃的であったり反抗的であったりする、成功を収めた若き天才を指す[3]。 主な辞典における定義[編集] オックスフォード英語辞典の第2版では、「時宜を得ない発言によって、年上の者を困惑させる子供」、「型破りであったり思慮に欠けていたりする言動によって、仲間や関係者の体面を傷つける人物」、「慣習に囚われない行動をとる人物」と定義されている。 ウェブスター辞典では、「著しく型破りで、革新的、アバンギャ

異類婚姻譚（いるいこんいんたん）とは、違った種類の存在と人間とが結婚する説話の総称。世界的に分布し、日本においても多く見られる説話類型である。なお、神婚と異類（神以外）婚姻とに分離できるとする見方や、逆に異常誕生譚をも広く同類型としてとらえる考え方もある。 婚姻の相手としては、神、妖精、精霊など信仰対象となる存在の他、蛇、馬、キツネなど動物が相手となる話も多い。 ギリシア神話のゼウスが乙女の元に白鳥や水滴と化して訪れる話や、貴族の祖先が神や動物との間の子という物語が各地にあるが、これらは古代の族外婚による信仰、生活様式の違いに起源を求める説がある。子孫が残る伝承のものには、子孫にとって都合の良いもの（統治の根拠とする始祖伝説等）が多い。例として日本の天人女房（天女）系羽衣伝説や、中国の清王朝始祖、満洲民族のブクリ・ヨンション（中国語版）の伝説等が挙げられる。 多胎児は、人が動物のように多産

HTTP/2 implementations do not robustly handle abnormal traffic and resource exhaustion Vulnerability Note VU#605641 Original Release Date: 2019-08-13 | Last Revised: 2019-11-19 The Security Considerations section of RFC7540 discusses some of the considerations needed for HTTP/2 connections as they demand more resources to operate than HTTP/1.1 connections. While it generally covers expected behavi