FGHやHHにおけるε_0レベルまでの拡張をハイパー演算でやってみる。そして連続関数化もやってみます。使用BGM : 晩夏の蝉 (MusMus 様)
http://www.nicovideo.jp/watch/sm40867671