プログラミング・セミナー_パラダイムを求めて――状態遷移図の巻