t_wの輪郭

論理
『時相論理によるプログラム生成は実用的か』信号時相論理