小出しになってしまってますがご容赦下さい。続きです。 t が var-term 以外のケイスを以下に。 u が var-term の場合、引数を入れ替えて unify-term 呼び出し u が constant-term の場合 t が constant-term で値が同一なら (empty-subst) を戻す u が app-…

昨日 kickoff なミーティング実施。木南さん本の読書会形式で定期開催な方向。 第一回開催は 11/7 との事で、自分は出席できんのですが、どうなっていくかが楽しみです。手探り状態ですが、勉強会ってのをやってみたかったのでどうなっていくのかがとても楽…

昨晩の懇親会開始待ちで検討したナニです。。直前エントリの続きです。スデに呑み屋の中。一人でビール呑みながらノート開いてるさまは微妙にちがいない。