人生モデリングの目的は、時間概念の扱い方を練習することですが、まずは時間を含まない関係の定義をやってみます。ここで考える対象物は人（human）なので、関係とは親子、夫婦、兄弟などです。僕はAlloy経験が浅いので、Alloyのコード（モデル記述）をどの…