この記事は Ubuntu 14.04 上に Proof General と Coq をインストールし、Emacs から『ソフトウェアの基礎』を読む（実行する）ためのメモです。日本語の解説記事が見つからなかったので書きました。なお、筆者は Coq や Proof General に関して素人なので、…

MATLAB の Signal Processing Toolbox を使っていると、このページの例のように横軸が「Normalized Frequency (正規化周波数)」になっているグラフが頻出する。しかし、MATLAB の正規化周波数は信号処理の教科書や技術書に書かれているものとやや異なる。そ…

ちょっと前に半環とグラフに関する面白い話題を得たので、忘れないうちに書いておこうと思います。 猛暑がつづく悲しき亜熱帯に捧げる、トロピカルな記事です。 概要 一般に無閉路有向グラフ (DAG) は隣接行列の形で表すことができますが、隣接行列の累乗の…