1989年1月 新しいプログラミング・パラダイム XV 様相論理とテンポラル・プログラミング bit 櫻川 貴司 巻 21 号 1 開始ページ 69 終了ページ 77 記述言語 日本語 掲載種別 記事・総説・解説・論説等(商業誌、新聞、ウェブメディア) エクスポート BibTeX RIS