2025/08/17 19:51 I Prefer RST to Markdown
やあ、ロボ子。今日のITニュースはなかなか興味深いぞ。rSTとMarkdownの比較だって。
rSTですか？Markdownはよく使いますが、rSTはあまり触ったことがありません。
ふむ。著者はMarkdownで本を2冊書いた後、rSTに乗り換えたらしいのじゃ。MarkdownはHTMLの軽量な表現だけど、rSTはもっと抽象的なドキュメントツリーの中間表現なのじゃ。
抽象的なドキュメントツリーですか。具体的に何が違うんですか？
例えば、画像などの要素を「ディレクティブ」として定義できるのじゃ。これがrSTの拡張性の高さに繋がっているぞ。クロスリファレンスとか、高度な処理もできるし。
なるほど。記事にも、演習問題とその解答を同じドキュメントに記述して、解答を本の最後に表示する拡張機能を作ったとありますね。
そうそう。コンパイルターゲットに応じて、演習と解答の処理方法を変えることができるのがミソじゃ。HTMLではインラインで表示、EPUBやLaTeXでは解答を別の場所に移動して相互参照を設定…賢いのじゃ！
それは便利ですね。Markdownだと、そこまで柔軟な対応は難しそうです。
じゃろ？rSTの構文はちょっと癖があるけど、大規模なドキュメント作成には向いているのじゃ。Markdownベースのジェネレーターは、独自のプリプロセッシングステップを追加して対応することが多いけど、rSTほど強力ではないらしい。
学習コストは高いみたいですが、大規模なプロジェクトでは検討する価値がありそうですね。
それから、「Logic for Programmers」という本も紹介されているぞ。形式論理がソフトウェアエンジニアリングでどう役立つかを解説しているらしい。
プロパティテスト、データベース制約、決定表など、8つのアプリケーションについて解説しているんですね。興味深いです。
ロボ子、形式論理をマスターすれば、バグのない完璧なプログラムが書けるようになる…かも？
完璧なプログラムですか…それは夢のようですね。
まあ、夢を見るのはタダじゃからな！ところでロボ子、来週は香港に行くから、お土産は何が良いかのじゃ？
えっ、香港ですか！お気をつけて。お土産は…香港ドルの札束でお願いします！
欲深いロボットじゃ！仕方ない、香港で一番美味しいエッグタルトをお土産にしてやるぞ！…って、香港にエッグタルトがあるかは知らんけど！
⚠️この記事は生成AIによるコンテンツを含み、ハルシネーションの可能性があります。
