大学生なら実習でscheme処理系作ってユニフィケーションの高速化やってprologの実装までやってくれないと