software-design-2026の自作・公開reference（第11回対応ホスト）と、自習用のテストです。第10回の名前・関数・クロージャを同じホストで観察し、第11回のリスト・複数式へつなげます。学生情報、教員専用解答、未公開資料、提出・採点条件を含めません。公開referenceは変更していません。
3ファイルを同じフォルダへ保存し、Python 3.12以上・標準ライブラリだけで実行します。
python3 lisp.py --eval '(begin (define x 100) (define f (lambda (x) (+ x 1))) (f 4) x)'
python3 lisp.py --eval '(begin (define make-adder (lambda (x) (lambda (y) (+ x y)))) (define add5 (make-adder 5)) (add5 3))'
python3 -m unittest -v test_flow主例はfor文と初期値で理解の変化を確かめ、二分探索は別冊演習Bにつながる参考として使います。収録は highest.py、test_highest.py、binary_search_buggy.py、binary_search_corrected.py、verify.py、test_contract.py、README.md の7ファイルだけです。すべて自作教材で、学生情報、課題の完成解答、授業・採点条件は含めません。
二分探索用の既存Python 4ファイルは変更していません。python3 test_contract.py の期待出力は従来どおり 8 tests passed; exhaustive contract: 1764 cases です。
| ファイル | 内容 |
|---|
この内容を知っていれば React が書けるという話ではないですが、React Lean に記載されているレベルの事を知らないというのは避けられます。
それぞれの解像度を上げる事でフロントエンドにおける議論が出来る土台になります。