ゲティア問題 - Wikipedia
ゲティア問題（英語: Gettier problem）は、認識論の分野でエドムント・ゲティア（英語版）が提示した知識の定義（英語版）に関する問題である。1963年に上梓した3ページの論文「正当化された真なる信念は知識か」（"Is Justified True Belief Knowledge?"）で、ゲティアはそれまで広く受け入れられていた知識のJTB説（正当化された真なる信念、justified true belief）に対する反例を提示した。 この問題は、信念が知識であるための必要十分条件は何かというものである。 知識とは、正当化された真なる信念であるというのがプラトン以来の伝統であり[1]、これを知識のJTB説と呼ぶ。知識のJTB説によれば、ある人物 S が命題 P を知っているのは、 P が真であり、 S は P が真であると信じており、 S の P が真であるという信念が正当化さ
2018 年の非同期 Rust の動向調査 - Qiita
Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? この記事は Rust Advent Calendar 2018 の 12 + n 日目の記事です。 この記事は Rust と非同期 IO の歴史(資料編) の続報です。 あけましておめでとうございます。 2018-06 からの非同期 Rust の進捗をまとめました。 今年もよろしくおねがいします。 忙しい人のための Q&A Q. 2018-12 現在 いますぐ非同期 Rust を書きたい A1. HTTP サーバが立てたいなら tokio 0.1 + futures 0.1 + hyper 0.12 + hyper-tls or hyp
Java 12新機能まとめ - Qiita
すでにJava12はRampdownフェーズに入り、機能がほぼ確定しており、順調に行けば3月19日にリリースされます。->されました。 ということで、Java12に入る機能をJEP、API、その他にわけてまとめます。 JDK 12 Early-Access Builds JEP まずは大きな機能をまとめたJEPベースの変更 http://openjdk.java.net/projects/jdk/12/ 全部で8個のJEPが入ってます。ふつうのJavaプログラマに影響ありそうなのは上の3つとDefault CDSですかね。残念ながらRaw String Literalsはドロップされました。 189: Shenandoah: A Low-Pause-Time Garbage Collector (Experimental) 230: Microbenchmark Suite 325: Sw
次世代Webカンファレンス 2019：HTTPSセッションが面白かった - ろば電子が詰まつてゐる
以前から気になっていた「次世代 Web カンファレンス 2019」を、ようやく聴きに行くことができました。 たくさんのトークがありましたが、ここではHTTPS (hashtag: #nwc_https)をメモしておきます。なお、このセッションが間違いなく一番アツく、一番面白かったです! 当日の動画 https://www.youtube.com/watch?v=_8dCa8wj8QY togetter https://togetter.com/li/1268794 以下、当日参加した、もしくは動画を見たという前提でのメモなので、見てない人はぜひ見ましょう。 PKI 「低レイヤから行きましょう」ということで、はじめはPKI絡み。Symantecのdistrustと、日本のGPKIの話でした。 トーク中に何度か出てきましたが、認証局(厳密にはCAとRAを分けて書くべきですが、どうせみんな一緒な
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - jacobaustin123/Coral: The Coral Programming Language: a blazingly-fast, gradually-typed Python compiler with optional static typing for optimization and safety.
