2019-01-27 いちおう。 はてダ終了らしいので移行だけはしておきました。 スタイル調整とかだいぶ適当ですがお許しあれ。 今後の更新は未定ですが、長文書きたくなったらふらっと更新するかもしれません。