アーキテクト パク・ジュヌ
オピニオン
社会はなぜ対立するのか、どうすれば争いを減らせるのか。
制約は契約である
約束がなければ混沌であり、約束が過ぎれば抑圧である。合理的な制約は黄金比をなす。法の支配の原理がコードと知識に同様に適用される。
テック
問題を解決する技術アイデア。
toulmin — 契約を計算するルールエンジン
ルールエンジンは60年間、検証対象を事実(fact)として扱ってきた。toulminは主張(claim)として扱う。Toulminの論証モデルをGoルールエンジンとして実装した。
DABEL5
カルダシェフ1段階文明の達成に向けた、ひとつの連続した工学の物語。