コバヤシ サトシ   KOBAYASHI SATOSHI
  小林 聡
   所属   京都産業大学  情報理工学部 情報理工学科
   職種   教授
言語種別 日本語
発行・発表の年月 1995
形態種別 研究論文
標題 Constructive Evaluation Logic
執筆形態 単著
掲載誌名 Proceedings of JSSST 12th Annual Conference
掲載区分国内
出版社・発行元 日本ソフトウエア科学会
巻・号・頁 97-100頁
総ページ数 4
著者・共著者 小林聡
概要 構成的プログラミングの枠組を様相論理に拡張する試みについて述べる。そのような様相論理の候補としては、モナドに関する様相を持つ Pittsの Evaluation Logic のようなものが適していると考えられる。ところが、Pitts のもともとの体系はあまり構成的とは言えず、修正が必要となる。興味深いことに、この修正の過程で、様相論理と non-informative quantifier の理論とが自然に結びつくことがわかる。