OK おじさんのホームページ

不完全性定理のすごく簡単な説明

 日常言語による不完全性定理の解説に満足できない人のために、 簡単な数式を交えてやさしく説明します。

読む
ご安心を、0.999... < 1 は間違いではありません

 0.999... と 9 が無限に続く数は 1 と盲目的に主張する人っていますよね。 厳密に考えれば必ずしも 1 とは言えないことを説明します。

読む
実数とは何か?無限とは?

 円周率のような循環せずに無限に続く数って本当に存在するのでしょうか? 実数と無限の関係に対する考察です。

読む
AVL Tree by Java & Python -- これで分かったAVL木

 AVL 木について解説です。実装が短くなる省略法を紹介します。 Java と Python によるサンプルコードがあります。

読む
Red-Black Tree by Java & Python -- これで分かった赤黒木

 赤黒木について場合分けが少なくなる方法で解説します。 Java と Python によるサンプルコードがあります。

読む
2-3 Tree by Java -- これで分かった2-3木

 平衡多分探索木の2-3木についてやさしく解説します。 Java によるサンプルコードがあります。

読む
B-Tree by Java & Python -- B木のすごく簡単な実例

 難しい B 木の中でも簡単なアルゴリズムを選んで解説します。 Java と Python によるサンプルコードがあります。

読む
Stockham FFT アルゴリズムの解説

 FFT の中でも高速な Stockham のアルゴリズムについて解説します。 Stockham FFT の実装である OTFFT も紹介します。

読む
OTFFT -- FFT library using AVX that is faster than FFTW

 Stockham FFT の解説の英語ページです。

読む
C++ によるソートアルゴリズム

 各種ソートアルゴリズムを主に C++ 言語を用いて解説します。

読む
手続き脳によるHaskell -- Sorting Algorithms

 関数脳になれない筆者が、手続き脳のまま Haskell に挑んだ戦いの記録です。

読む
Pairing Heap by Java

 Pairing Heap をソート安定なアルゴリズムに拡張したバージョンについての解説です。 Java で実装しています。

読む
Java によるソートキラー

 ソートアルゴリズムの最悪ケースを生成するソートキラーに関するページです。

読む
C# の LINQ によるべき集合(powerset)

 C# 言語の LINQ を使ってべき集合を生成してみます。 遅延評価のすごさが垣間見られるページです。

読む
okFigEdit -- CAD in JavaScript

 JavaScript で実装された SVG データを生成するお絵描きツールの紹介です。

読む
HTML プリプロセッサ

 HTML で include 機能を実現したり、 マクロ機能を実現したりするプリプロセッサの紹介です。

読む