SSReflect はじめました

卒論で多少言及したいので, Coq の拡張の一つである SSReflect を色々試してみる.素 Coq に慣れているとちょっと戸惑うが,素 Coq とのタクティックの対応表みたいなのがあるので,割とスムーズに移行できそう.けんども,新しい言語を使い始める時特有の「その言語らしい書き方」みたいなカンはよくわからないので,ちょっと微妙ではある.何が便利かも,まだよくわかっていない.

まあ,3月にちょっと特訓でもしましょうかね.

んで,夜に,kai さんおすすめの中華料理屋に行く.ピリ辛?唐揚げセットの大盛りを頼む.

f:id:acrost:20180225025810j:plain

結構ボリューミーでうまい.ご飯はなんとなく中にしたが大でよかったな.どこだか忘れてしまったので,今度 kai さんに場所を聞いておこう.