データ構造

1. はじめに：なぜ B+木を学び直したのか2. B+木が解く問題2.1 ディスク I/O というボトルネック2.2 二分探索木では足りない理由3. B+木の定義と構造3.1 葉ノードの性質3.... Read more

本ブログでは、Lookerを使って単一値を作成し、データの可視化する方法を解説します。都道府県別の今年の中古マンションの売上実績を例に、データセットの選択からテーブルの作成までの手順を説明します... Read more

　本記事では，要素数が2の冪とは限らないようなセグメント木上の二分探索の，再帰を使わない実装を例示し，それに準じる実装の正しさを定理証明支援系 Coq を用いて検証します．これによって，より高速... Read more

スタイリィにてモバイルアプリ開発・サーバサイド開発・植物の世話などをやっている河田です。さて、技術ブログを期待されている方はもしいらしたら大変恐縮ですが、今回は昨日勉強したばかりのニワカ知識を得... Read more