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

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

モジュール名 OCamlのモジュール名は大文字から始まる必要があり、単語の区切り方は以下の２つのケースが多いようです。 先頭大文字のスネークケース (例: Type_utils) アッパーキャメルケース (例: TypeUtils） 前者はJane Street CoreやOcsigen等で見受け…

シンプルなPostgreSQLのOCamlライブラリがないかと探したところ、Mottl氏らによるpostgresql-ocamlというライブラリがありました。 というわけで、postgresql-ocamlの導入と簡単な使い方のご紹介です。 公式ページ Postgresql-ocaml インストール OPAM経由で…

MacPorts経由でMacにPostgreSQLをインストールしたときのメモです。ここでは、サーバ運用は考慮せず、シングルユーザでの利用を想定しています。 通常ユーザのプロンプトを%、postgresユーザのプロンプトをpostgres$で示します。 インストール % sudo port i…

TeX環境を入れ直したのでメモ。 なんだかんだでhomebrewからMacPortsに戻ってきました。 MacPortsにはtexのパッケージが用意されています。しかし、MacPortsからインストールするとTeXのパッケージ管理ツールTeX Live Manager（tlmgr）での管理が出来ないの…

MacでF# 3.1をビルドしたときのメモ。 0. 前提環境 OS X 10.9.3 Xcode 5.1.1 + Commad Line Tools Git (ソースコード取得用) 1. 事前準備 (1) autoconf, automake, libtool MacPortsやHomebrewあたりで、autoconf, automake, libtoolを用意しておきます。\ …

HaskellでJavadocやRDocに相当するドキュメンテーション生成ツールHaddockを使ってみます。 インストール cabalが便利なのでcabalを使います。 まず、パッケージ情報を更新しておきます。 $ cabal update 古いパッケージをアップグレードしておきたい場合は…

Macを使っていてカーソル移動や文字を削除するときの動作が遅いなぁ、と思ったことはありませんか？ そこで、KeyRemap4MacBookです。 1. インストール (1) まずはKeyRemap4MacBookをダウンロードします KeyRemap4MacBook https://pqrs.org/macosx/keyremap4m…

cabalからghc-modを入れようとしたら以下のようなエラーに遭遇しました。 cabal: Error: some packages failed to install: ghc-mod-3.1.5 depends on haskell-src-exts-1.14.0 which failed to install. haskell-src-exts-1.14.0 failed during the configu…

Mac上でのperlbrewで"ERROR: Failed to retrieve patchperl executable"というエラーが出たので回避策をメモします。 どうやら、MacPortsからインストールしたwgetに関連するエラーのようで、これを使わないようにすることでエラーを回避できました。 エラー…

畳込関数fold リストに関する処理は、以下のようなパターンで処理することが多いです。 f [] = v f (x:xs) = x ● f xs 上記は関数fにリストを与えた時、次のような処理を行います。 リストが空の場合：値vが返される リストが空でない場合：先頭要素xと関数f…

バージョン体系 (major).(minor).(teeny) 例：1.8.7Rubyでは、major, minor, teenyはそれぞれ１桁の値です（今のところ）。一般に、major、minor、teenyは以下のような意味を示します。 majorバージョンはアーキテクチャやコンセプトの変更、完全な書き換え…

SQL Serverをインストールするときに、特にインスタンス名を指定していなければ以下のインスタンス名が適用されるらしい。 SQL Server 2012 Express以外の場合 MSSQLSERVER SQL Server 2012 Expressの場合 SQLEXPRESS SQL Server Management Studioから、「…

※vsと書いておきながら、まともな比較はしていません。かつてのスタートメニューを取り戻すアプリはいろいろとありますが、個人的にはClassic Shell v4.0.0 よりも Start Menu 8 v1.3.0がおすすめです。明確な理由はありません。直感的に使いやすかった、そ…

SQL Serverの定番のサンプルデータベースNorthwindとPubsは、SQL Server 2000をベースとしているため、SQL Server Management Studio を使ってSQL Server 2012用に変換をかけるとエラーになります。 そこで、sqlファイルを直接実行してデータベースを作るこ…

tracerouteコマンド(Windowsはtracert)を使った時に、経路上のゲートウェイがUDPやICMPに対して応答を返さないようになっていて、経路が分からないときがあります。 そんなときは、TCPを用いてtracerouteを行うtcptracerouteコマンドを使うと経路がわかるこ…