nitpick 『詳説データベース』 - 井山梃子歴史館
CRDTなデータベースをon-diskで実装してえ…という思いが高まってきたので購入。ストレージエンジンと分散システムというトピックはどっちも興味があるのですごい嬉しいしオライリーだからDRMフリーPDFなのも素晴らしい。 ただ、読んでて筆が滑ったのか自分の読み方が良くないだけなのか不明なところがちょくちょくあるのでメモしたいと思う。ただ、この記事はnitpickであって内容の良しあしとは関係ないのでそこは注意すること。 「ここはこういう意味だよ！」とか「普通に読めるよ！」とかコメントいただけると幸いです。 Bツリーの本質はノード内の二分探索ではない (2.3 ユビキタスBツリー) 曰く、 Bツリーはソートされています。つまり、Bツリーのノード内のキーは、順番に格納されています。それゆえに、検索対象のキーを探すために二分探索のようなアルゴリズムが使用できます。このことは、Bツリーにおける検
Prattパーサであらゆる演算子をパースする
PrattパーサをParsing mixfix operatorsの分類と組み合わせてあらゆる種類の演算子(含mixfix)をパースできるようなパーサへと育てていきます． 配列アクセスやif_then_else，括弧といった複雑な演算子がPrattパーサという統一的な方法でパースされます． 全文無料公開です．
Vimのパッチ存在確認処理を速くした - プログラムモグモグ
昨日Apple Eventを待機しながらVimのコードを眺めていたら、なんだか香ばしい匂いのするコードを見つけてしまいました。 /* * Return TRUE if patch "n" has been included. */ int has_patch(int n) { int i; for (i = 0; included_patches[i] != 0; ++i) if (included_patches[i] == n) return TRUE; return FALSE; } ペロッ… こ、これは、線形探索！ Vimは、メインのブランチのすべてのコミットでパッチバージョンが上がっていく方式をとっています。 プラグインが新しい機能を使いたい時に、ユーザーが使っているVimに特定のパッチが入っているかをチェックする必要があります (関数やイベントなど機能が入っているかを直接チェッ
ofmind.net
ofmind.net 2020 Copyright. All Rights Reserved. The Sponsored Listings displayed above are served automatically by a third party. Neither the service provider nor the domain owner maintain any relationship with the advertisers. In case of trademark issues please contact the domain owner directly (contact information can be found in whois). Privacy Policy
Fable · JavaScript you can be proud of!
Fable is a compiler that brings F# into the JavaScript ecosystem Functional programming and more Immutable by default. Powerful pattern matching. Lightweight syntax. Units of measure. Type providers. Enjoy. Type safety without the hassle Type inference provides robustness and correctness, but without the cost of additional code. Let the compiler catch bugs for you.
Lecture Notes in Computing Model
〒101-8430 東京都 千代田区 一ツ橋 2-1-2 国立情報学研究所 副所長 / 情報社会相関研究系 教授 佐藤一郎
Researchers in Programming Languages and Compilers
Below are links to home pages of researchers working on programming language theory, design, implementation, and related areas. Disclaimer: this list is not exhaustive! Please let me know if you would like to be added to this list, or if you would like an existing entry modified or deleted. Back to the language research page Related Pages The SEL-HPC list of home pages of functional language resea
Physics 219 Course Information
Course Information for Physics 219/Computer Science 219 Quantum Computation (Formerly Physics 229) John Preskill Go to the home page of Ph219/CS219 for 2019-20. Home pages from previous years: 2018 (fall term) 2018 (spring term) 2017 (winter and spring terms) 2015-16 (winter term) 2013-14 (fall and winter terms) 2011 (winter term) 2008-09 (three terms) 2006-07 (fall and winter terms) 2005-06 (fall
Quantum Algorithm Implementations for Beginners
As quantum computers become available to the general public, the need has arisen to train a cohort of quantum programmers, many of whom have been developing classical computer programs for most of their careers. While currently available quantum computers have less than 100 qubits, quantum computing hardware is widely expected to grow in terms of qubit count, quality, and connectivity. This review
グラフマッピング - 技術リソース - Amplify - 量子アニーリングと共に進化するクラウド
解きたい組合せ最適化問題をイジング模型に表現したとしても、マシンによっては変数ノード間で結合が自由に作成できない場合があります。これはマシンがビット配置を非完全グラフで実装しているためです。ここでは非完全グラフ上のイジング模型において、どのようにして任意の変数ノード間で結合を作成するかについて説明します。 複数ノードによるチェイン # 例として、二次元正方格子上に変数ノードが配置されているグラフで実装されたマシンがあったとします。このマシンでは上下左右の結合のみが許されています。そのため、例えば三角格子上のイジング模型はそのままでは埋め込むことが出来ません。 この場合の対処法として、隣接した複数のノードを一つのノードとみなすという方法が使われます。 上図において正方格子へのマッピングの一例を図示します。左の三角形の頂点は正方格子上の対応する色の頂点にマッピングされています。左図中央の青いノ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Department of Computer Science
https://www.kurims.kyoto-u.ac.jp/~terui/summer1.pdf
Looking for documentation on deploying rust applications using nix : rust
Arc More Atomic
[quant-ph/0507171] An Introduction to Cartan's KAK Decomposition for QC Programmers
力扣 (LeetCode) 全球极客挚爱的技术成长平台
https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.887.3091&rep=rep1&type=pdf
A lambda calculus for quantum computation | Hacker News
Quantum Programming Language | Quantiki
Why C is so Influential - Computerphile