Official search by the maintainers of Maven Central Repository
Structuring Your Project¶ By “structure” we mean the decisions you make concerning how your project best meets its objective. We need to consider how to best leverage Python’s features to create clean, effective code. In practical terms, “structure” means making clean code whose logic and dependencies are clear as well as how the files and folders are organized in the filesystem. Which functions s
SSN Serial Safty Net 原論文は以下 https://pdfs.semanticscholar.org/ecf9/821e0c4f1f28fb7eb42c5eaa8a92cf16ade9.pdf Txのserializabilityを判断する、いわゆるcertifierになる。実際はDBのTx処理のvalidatorの実装として組み込まれることが通常だと思う。ERMIA( http://www.cs.sfu.ca/~tzwang/ermia.pdf )ではそうなっている。想定としては下位レイヤーにSI(Snapshot Isolation)またはRC(Read Committed)な実装を想定している。 原理はTxのdependencyをトラックして、コミット時点でvalidationを行い、dependency cycleが発生する可能性が高いかどうか判断する。リードが
こちらはブロックチェーンアドベントカレンダー12日目の記事です。 https://qiita.com/advent-calendar/2017/blockchain 今年は価格の暴騰以外にも色々と話題を事欠かないBitcoinですが、その中でもSegwit、Segwit2Xは記憶に新しいのではないでしょうか。 Bitcoinにかぎらず、多くの暗号通貨はそのスケーラビリティに上限があり、それらに対して幾つかの解決策を見出そうとしているのが現状となります。今回はそのスケーラビリティに対する現状について、特にパブリックなチェーンに対するものを中心にまとめてみようと思います。 そもそもBlockchainのスケーラビリティとはVISAカードなどが対処しているトランザクションは秒間4000~6000と言われていますが、Blockchainはその仕組み上、マイナー(PoSではバリデーター)の数が増えて
We at PDOS build and investigate software systems for parallel and distributed environments, and have conducted research in systems verification, operating systems, multi-core scalability, security, networking, mobile computing, language and compiler design, and systems architecture. PDOS builds high-performance, reliable, and working systems. We are part of MIT CSAIL. See our publications for mor
Sagemathで数学 この記事は この記事はアドベントカレンダー「数学とコンピュータ」の12月13日の記事です. 前の記事は @n_kats_ さん https://qiita.com/n_kats_/items/99eb63e2ede23e05e059 ,次の記事は @mod_poppo さんhttps://qiita.com/mod_poppo です. フリーの総合数学ソフトSagemathの紹介と,ちょっとしたデモをご覧いただきます. Sagemathとは Sagemath http://www.sagemath.org/ は,「Mathematica, Maple, Magma, Matlabなどを置き換えうるフリー の総合数学ソフトウェア」を目指して開発が進められているフリーソフトです. このSagemath開発プロジェクトはW. Steinさんによってはじめられ,現在も活発な
つまり、これらのマーケットは小さく、しかもデータベースのマーケット自体よりも小さいのです。とは言え、どれかが他よりもマシになりうるでしょうか? マネージドホスティングは、本質的にはユーザのためにAWSでデータベースを動かすことで、そうすることでユーザたちは自分で動かす必要がなくなります。これらのサービスを使う代わりになるのは、AWSに自分でデータベースを立てることです。したがって、マネージドなデータベースホスティングサービスが課金できる額には、非常に厳しい上限があることになります。Compose.ioやmLabが、RethinkDBよりも1桁あるいは2桁多いユーザを抱えるMongoDBを提供していることを考えて、マネージドホスティングを提供することには少しの良い点もないという結論を下しました。 Database as a Serviceはマネージドホスティングの更に複雑なバージョンです。D
Worse Is Better(悪いほうが良い) Richard P. Gabriel (Original article: Worse Is Better. Japanese translation by Hisashi Morita.) "worse is better"として知られる考え方では、ソフトウェアを作る際には(おそらく他の分野でも同様に)最小限のものをまず作り、そして必要に応じて育てるほうがよいとされる。Christopher Alexander*なら"piecemeal growth"(一口分ずつの成長)と呼んだかもしれない。その考えがどのように進化したかを話そう。 1984から1994まで、私は"Lucid, Inc."というLispを生業とする会社を所有していた。1989の時点で、Lispビジネスが好調ではないことは明らかだった。ひとつにはAIを生業とする会社が泥沼に
Indexes are models: a B-Tree-Index can be seen as a model to map a key to the position of a record within a sorted array, a Hash-Index as a model to map a key to a position of a record within an unsorted array, and a BitMap-Index as a model to indicate if a data record exists or not. In this exploratory research paper, we start from this premise and posit that all existing index structures can be
http://github.com/ToQoz/gopwt goのpower assert用パッケージ、だいたいできた https://t.co/pzRuhoHVC5— ピヨちゃんです (@ToQoz) July 14, 2014 この時は、「Assert内で副作用のある関数を呼んでいるとそれがコケた場合に、出力の時に再度呼ばれて実際の値と違うものが表示されたり、それ以降のテストに影響がある」みたいな問題があった。それを解決するには適当に関数の呼び出しをキャッシュしてやる必要があって、型のチェックが実行時にしかない言語なら、a() == b() とかってのを memorized(a) == memorized(b) とかってできると思うけど、わりかし大変だった。 reflect.ValueOf(f).Call(reflect.ValueOf(arg1), reflect.ValueOf(a
7/13、抽選を通過された方には、メールにてオンラインテストのご案内をお送りしました。 迷惑メールフォルダに入っている場合もありますので、ご確認をお願いします。 当初7/12〜15にオンラインテストを実施する予定でしたが、想定以上のお申し込みがあったため、スケジュールが遅れております。 今回は、まず最初に抽選を行い、当選された方にのみオンラインテストを受けていただく運営とさせていただきます。 抽選の結果の発表は、オンラインテストのご案内メール(7/13送信予定)をもってかえさせていただきます。 オンラインテストは7/14〜16を予定しております。 DL4USは,高度なDeep Learning技術者を育成することを目的とした,アプリケーション指向の無償オンライン教育プログラムです.3年間で1,000人のDeep Learning技術者を育成し,人工知能分野における日本の競争力を向上すること
この記事は Vim Advent calendar 2015 の16日目の記事です. 僕は普段「だ・である」調でブログを書いていますが,今回の記事は多数の人に見ていただくことを考慮して,多くの人がブログで採用している「です・ます」調,語り口調で書いていくことにしましょう. さて本題です. 候補を絞り込むインターフェースというのは人気で,Vimではunite.vim,ctrlp.vimなどが有名ですね. そして,コマンドラインツールfzfはVimからも利用できるように,本体にVimプラグインが付属しています. また,ctrlp.vimにインスパイアされて開発されたプラグインとして,LeafCageさんによるalti.vimやkamichiduさんによるvim-milqiがあります. この記事では,前述の5つの候補絞り込み型インタフェースを提供するVimプラグイン Shougo/unite.v
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く