新しいプログラミング・パラダイム⑮_様相論理とテンポラル・プログラミング