（このエントリーは、WAIC WG4に所属する筆者が、個人的な観点で書き記したものです。つまり、WAIC WG4の総意でも、ましてやWAICを代表するコメントでもありません。）2018年3月時点でWG4は何やってるの、というのをものすごく簡単に記しておきます。WG4の現…