科学哲学日本語ブックガイド (最終更新 2023年12月18日) 伊勢田哲治 近年日本語でよめる科学哲学の書籍も増えてきたが、そのためどういう順番で何を読めばよいかわからないという問題も生じている。科学哲学に関する情報も最近はかなりインターネットで調べられるようになってきたが、中途半端な知識で書かれた不正確なものも多く、信頼できる書籍の重要性は以前と変わらない。 本リストに収録しているのは日本語の書籍(一部論文)のみである。英語に特に抵抗がないなら、専門外の人でもStanford Encyclopedia of Philosophyなどの英語の情報源に向かった方が効率よく科学哲学の研究動向を知ることができる。 凡例 ・紹介した中には絶版書も多いが、図書館等で利用できるだろうことも踏まえて、特に入手可能なものとそうでないものを区別はしていない。 ・科学哲学を專門としない人が読むことを想定
A list of all the great things that OpenBSD has. Why this site exists, see About. /etc/examples 64bit Time acme-client(1) afterboot(8) AnonCVS and open source repos Anti-ROP arc4random(3) ASLR Audio recording autoinstall(8) base system concept carp(4) Chrooted webserver by default Configuration syntax cron(8) cwm(1) Defined integer overflows doas(1) dump(8): incremental filesystem backups Eating y
Introduction to Theoretical Computer Science Boaz Barak Work in progress This is a textbook in preparation for an introductory undergraduate course on theoretical computer science. I am using this text for Harvard CS 121. It is also used for UVa CS 3102 and UCLA CS181. See below for individual chapters. You can also download the book in a single PDF file (about 600 pages, 10MB). If you have any co
A software reverse engineering (SRE) suite of tools developed by NSA's Research Directorate in support of the Cybersecurity mission Getting Started Want to know more about supported platforms, minimum requirements, how to install, launch and use Ghidra? Getting Help Ghidra provides context-sensitive help on menu items, dialogs, buttons and tool windows. To access the help, press F1 or Help on any
Published on March 3, 2019, last updated October 31, 2021 This text originally was written as a chapter for the Intermediate Haskell book. Due to lack of progress with the book in the last year, other authors agreed to let me publish the text as a standalone tutorial so that people can benefit at least from this part of our work. The motivation for exceptions Throwing exceptions Catching exception
In the previous post we described the Firewall Rules architecture and how the different components are integrated together. We also mentioned that we created a configurable Rust library for writing and executing Wireshark®-like filters in different parts of our stack written in Go, Lua, C, C++ and JavaScript Workers. With a mixed set of requirements of performance, memory safety, low memory use, a
Recursion Schemes, Part VI: Comonads, Composition, and Generality 2019-02-28 Previous installments: 1, 2, 3, 4, 4½, 5. Now that we’ve covered folds (cata, para, and histo), unfolds (ana, apo, and futu), and refolds (hylo, hypo, elgot, and chrono), I hope I have showed that recursion schemes are a useful tool to organize programs, beautify code, and clarify human intent. The above schemes provide s
はじめまして, niuezといいます. 競プロを少ししています. 最近勉強したことのメモ書きをしておきます. ダイクストラ法 ダイクストラ法(Dijkstra)は負の長さの無いグラフで始点からの最短距離を求めるアルゴリズムです. 具体的には 距離が未確定の頂点の中で一番小さいものを選び, 距離を確定させる. 選んだ頂点から距離が未確定の頂点に伸びる辺で, 未確定な距離をより短いものに更新する. を繰り返します. これを実装すると $O(N)$ですが, よく知られるダイクストラの計算量は $O((E+ V) \log E)$ です(heapとかを使う). #include <set> #include <queue> #include <vector> struct edge { int u,v; int dist; }; std::vector<int> dijkstra(const st
Achieving 100k connections per second with Elixir 6 minute read Modified: 6 Dec, 2019 Both HTTP 1.x and HTTP/2 rely on lower level connection-oriented protocols, namely TCP/IP and TLS. These protocols provide reliable delivery and correct order when data is chunked into multiple packets. TLS also includes encryption and authentication. The HTTP client needs to open a connection before it can send
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く