沖縄支部 kickoff です。勉強会継続開催という課題と共に、java 自習カリキュラムのご提供という課題が発生している模様。オンラインでどれだけ技術なトレーニングができるか、というトライだと思っているあたり、楽観的すぎかなぁ。 どんな mtg になるか、…

Exercise 2.25 unify-terms を検討。 ts と us が両方同時に '() なら (empty-subst) を戻す ts あるいは us のどちらかが '() なら #f を戻す 以下。 (test* "(unify-terms '() '())" '(empty-subst-rec) (unify-terms '() '())) (test* "(unify-terms '() …