おはあずにゃん
DockerコンテナってWASMに変換できるようなレイヤの概念なんだ(コンテナの仕組みなんも分からんマン)
証明の場合分けも広義の divide and conquer みたいなところある(ほんまか)
どっちかというと、場合分けを含む証明を具体的な問題に対応させるための実装 がDivide and Conquerというイメージがある
三井住友カード一般に言えるのかOlive特有なのか知らんけど、他のカードと比べて飛び抜けて明細の更新が遅いっぽい
メイン銀行が三井住友でポイントばら撒きしてるからOlive使ってるけど、正直何がいいのか全く分からない