あと充足性計算って、普通の遷移系の形式化ではなににあたる？trace containment?全てのMのトレースをψに射影したものは、ψに受理される模倣性とtrace containmentは関係し、模倣性はGameで計算できるから、充足性がgameで計算できるのは、自明だったりする…

４月末には、投稿論文の結果が判明するけども、それまでなにもしないわけにはいかない。4/初が6月卒業申請でしたから、9月卒業申請は7月初、論文投稿の可否は判定していますが D論をまとめるのに必要な部分を整備しなくては、4-5月に進捗報告する、別の投稿…