一歩前進

プログラミングに関する雑多なメモ

2015-06-01から1ヶ月間の記事一覧

数式とUMLが記述できる静的サイト生成 Middleman + Asciidoctor の連携

PlantUMLや数式が記述できる静的サイト生成の環境が欲しいと思い調べたところ、Middleman + Asciidotor + asciidoctor-diagramで実現できたのでメモします。 (Hugoが気に入っていたのですが、現時点ではAsciiDocには対応していませんでした。) AsciiDocはM…

不動点とfix演算子

ある関数に対する不動点 とは、 なる です。 例えば、べき乗を関数とみなすと、 となり、1と0はべき乗の不動点となります [1]。 プログラム言語の教科書では という演算子が登場します [2,3,4]。 この と先の不動点はどう関係があるのか、フィボナッチ数の例…