花文字って曖昧だな。カリグラフィー、筆記体（スクリプト体）、ドイツ文字・フラクトゥールのどれを意味するかが人により違う。 カリグラフィー - Wikipedia フラクトゥール - Wikipedia TeXだと、mathcal, mathscr, mathfrak があるが、どれが「花文字」か…

やっぱりWiki記法内でエスケープを忘れる。'@'はエスケープが必要。 独立したmarkdownファイルでは、preブロック（'''ブロック）に言語名が必要だが、ドキュメンテーションコメント内では、言語名は付けない。これ混乱する。 独立したmarkdownファイル内のプ…

インストールと「誰も書かない」シリーズ1から5： WindowsへのCoqのインストール - 檜山正幸のキマイラ飼育記 誰も書かないCoq入門以前の話 - 檜山正幸のキマイラ飼育記 業務ソフトまたはゲームソフトとしてのCoq （誰も書かないCoq入門以前 2） - 檜山正幸…