t_wの輪郭

Feedlyでフォローするボタン
けいやく契約contract
『契約と組織の経済学』準委任契約請負契約賃貸契約委任契約あれ引っ越し契約サポート契約契約言語秘密保持契約契約締結調達の契約タイプ実費償還契約インセンティブ契約定額契約契約書憲法は国民が国に対して許可したことを書いた契約契約プログラミング集合論的契約はテスト可能契約テスト可能契約集合論的契約あれ37条書面申込み・契約をしない案内所等申込み・契約をする案内所等契約書面媒介契約代理契約売買契約賃貸借契約契約終了契約更新契約期間契約終了時保険契約保証保険契約契約解除契約の解除契約の締結契約の申込み契約の内容割賦販売契約委託契約保証委託契約停止条件付契約

あれ

2024/8/4 16:14:00

物権変動

これは私が求めていたものに非常に近しい。

契約をDBのテーブルで表現するのに苦労していた。
「契約」は権利の移動だろうというところまでは考えていた。
契約について絶対誰かがどこかで定義してるので、探さねばとなっていた。

契約を集合論に則って表現できたとする。
その契約は演算可能となる。
演算可能ならばテスト可能である。
契約を集合として表現すればテストできる。

契約プログラミング

2024/2/24 13:49:00

私の雑な理解

関数の引数と返り値をassert（表明）や型でチェックするプログラミングのスタイル。

assertでチェックするのは当たり前の前提のチェックにとどめると良いらしい。例えば、「ユークリッド距離は負数を返さない」など。

嬉しさ

関数を使うときに、呼び出しのネストが浅いところでassertでエラーになって、どういう間違いをしているか教えてもらえると楽。
さらにいうと、引数が型になっていて、エディターが間違いを教えてくれるともっと楽。実行しなくても間違いに気づけるので。

あれ

2023/9/16 14:33:00

勝った！！！その場で契約せずに耐えた！！！