遅くなりましたが、今年もよろしくお願いします。
コミケお疲れ様でした。
「この作曲法には問題がある！」細かいバグ
(1) 第0章のサンプルだと、「燃料」の制約条件が制約になってない。
→そういう場合もあるので間違いではない。
(2) 「∀i, k」的な表記と「∀i, ∀k」的な表記が混在している。
→後者に統一しようとして漏れがあった。
（意味を取り違える心配はないと思います。）
(3) 曲が完成していない。
→仕様です。
(4) 作者ページがない。
→仕様（準備中）です。
いまのところ修正版の配布等は予定していません。
他にミス等がありましたら（こっそり）教えてください。
今後の予定
次は、夏コミにこの続きの完成版（本＋完成曲CD）を持っていきたいですが、どうなるやら。
時間があれば、夏コミ前（4～5月）のイベントに申し込むかもしれません。
改訂方針
改訂というか別物になりそうですが。
・紙面を食うので数理モデルとモデリング言語でのモデルの重複解消。
（モデリング言語の本じゃないので数理モデルだけでいい気が。）
・何らかの音楽理論書を基にしたモデルを一応作る。
・少しは実用的な妥協モデルも作る。
・打楽器の扱いを何か考える。
・解（＝曲）を収録。
こんなかんじで。