ToDo
「今すぐ実装できそうという感じでもないが，将来的にできるとよさそうなアイデア・機能」
args_type の内容を raw 文字列で表示せずに，いい感じにレンダリングする。（パワポの数式的な感じ）
descriptionが同じ（あるいは似ている）で、args_typeのみが異なる場合などに、conceptの見分けが直観的につく。
args_typeで添え字があることになっているのに、数式についていないような場合に警告を発する。 （しかし、実際に数式に添え字がついていてもargsとは限らないことがあるので、逆のチェックは難しい（でも、warning的なのはしつこくない範囲でだしてもいいかも？））
あると簡単なミスを減らせる