01
設計の根拠
ある寸法決めが正しかったことを示すドキュメント。要求が変わったら、そのまま再実行できます。
実行できる論文の、冷却器のサイジングの節。周囲温度の要求が 45 °C へ動くと、決まった冷却器の前面面積、段落が引用する出口のピーク、そして 85 °C の上限に対して残る余裕が、すべてそこから導き直されます — 余裕 3.3 K から 0.4 K へ。
Paper
Paper で開かれた制御系のスタディ、実行の途中。ドキュメントの横にアウトラインのレール、共著者が読みながら見出しを選んでいるノートブックのセル、50 L の攪拌槽に PID 制御器を組む本文、そしてその下にエージェントがいま書いたコードセル。エージェントパネルには行われた 4 つの呼び出しが並びます — IMC のアプローチを検討し、controller.ts に 204 行を書き、整定時間を確かめるために再ビルドし、応答のプロットを読む。隅の計算カードは、実行がまだ続くあいだフランクフルトの GPU 2 基の 60 パーセントを使っていると報告しています。
Paper でできること
エンジニアリングの知識は 2 か所で死にます。誰も再実行できない PDF と、誰も読めないスクリプトです。Paper はその両方をひとつの成果物にまとめます — 文章、Modelica のモデル、そして生きた計算を、何年経っても実行できる 1 つのドキュメントの中に。
ノートブック
文章と計算を、いっしょに
ブロックで書きます — 文章、LaTeX の数式、Modelica のモデル、パラメータ表、そしてプロット。どの図も 3 行上にあるコードの出力なので、レビュアーは数値を疑い、その同じ息で導き直せます。
4 種類のブロックからなるノートブック — 文章、パラメータ表、3 行のセル、そしてそれが生む図。レビュアーが質量流量のパラメータを 1.50 から 2.00 kg/s へドラッグすると、セルが再実行され、図が引き直されます。その上の文章が引用している出口の値も、いっしょに 83.2 °C へ動きます。
計算ランタイム
すべての実行に、ランタイムドック
計算資源をつなぐ先は、あなたのノート PC ではなくドキュメントです。ランタイムドックは実行が進むにつれてソルバーの状態、ステップ幅、残差、経過時間を映し出し、結果のひとつひとつを、それを生んだモデルのリビジョンとパラメータセットに正確に留めます。
解いている途中のランタイムパネル。フランクフルトの 4 コアで dassl が走り、シミュレーション時間は 120 秒へ進み、ドックは実行の残りを数え、ステップ幅は揺れ、残差は桁をまたいで 8.4e-9 まで落ちていきます。実行が着地すると、それが留められているモデルのリビジョンとパラメータセットが、罫線の下に進み出ます。
再現可能
つくりから再現可能
モデル、ソルバーのトレース、データセットは、誰かが名前を変えたフォルダの中のファイルではなく、プロジェクト内のアドレス可能なレコードです。18 か月後に Paper を開き直し、係数をひとつ変えれば、依存するすべての図が更新されます — あるいは大きな声で失敗します。どちらも同じくらい価値があります。
年ごとにまとめられた日付つきリビジョンのレール、その横にそれらが生む図。2026 年のリビジョンを — 係数をひとつ変えて — 開き直すと、描かれていた曲線が再計算されたものに入れ替わります。依存するレコードのうち 2 つは更新されて返り、3 つめは自ら古いと申告して再実行を求めます。
公開と引用
作業中のドキュメントから、公開できる記録へ
手作業で組み直すことなく、ジャーナルごとの LaTeX テンプレートへコンパイルできます。実行できる版を PDF と並べて書き出せば、レビュアーは主張だけでなく証拠を受け取れます — そして実行は、データセットを引用するのと同じように、識別子で引用できます。
作業中のドキュメントと、そこからコンパイルされた 2 段組の記録が並び、ブロックごとに組み上がっていきます。同じ図がそのまま運ばれ、コンパイルされたページは実行の識別子で閉じます — 紙面の足元に刷られ、PDF と並んでそれ自体の成果物として届くので、実行はデータセットと同じように引用できます。
ユースケース
01
設計の根拠
ある寸法決めが正しかったことを示すドキュメント。要求が変わったら、そのまま再実行できます。
実行できる論文の、冷却器のサイジングの節。周囲温度の要求が 45 °C へ動くと、決まった冷却器の前面面積、段落が引用する出口のピーク、そして 85 °C の上限に対して残る余裕が、すべてそこから導き直されます — 余裕 3.3 K から 0.4 K へ。
02
検証レポート
モデルと試験の相関スタディ。比較のプロットは、最新の計測セットに対して作り直されます。
モデルと試験の比較。モデルの曲線は動かず、計測が変わります。22 点の新しい試験セットが前のものと入れ替わり、前のセットは薄く残ります。フィットは再計算され、R² は 0.991、RMSE は 0.6 K になります。
03
トレードスタディ
Exploration の結果セットの上に書かれた論。パレートフロントは貼り付けではなく、生きたまま埋め込まれます。
Exploration の結果セットの上に書かれたトレードスタディ。180 点の雲にさらに 24 の候補が着地し、パレートフロントがその上で引き直され、そのあとでようやく文中に名前のある設計が変わります — 膝は 11.0 K で 12.8 kg から、10.0 K で 12.9 kg へ。
04
教材
学生が自分でいじれる講義ノート。減衰比を変えて、論のほうが変わるのを見てもらえます。
講義ノートの 1 ページ。減衰比は、それが支配する文の中に置かれています。0.35 から 0.70 へ動かすと、ステップ応答はその比が生むものに入れ替わり、オーバーシュートについての主張も 31 % から 5 % へ数え直されます。