• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

線形論理上の集合論のプログラム記述と検証への応用

Research Project

Project/Area Number 09780300
Research Category

Grant-in-Aid for Encouragement of Young Scientists (A)

Allocation TypeSingle-year Grants
Research Field 計算機科学
Research InstitutionKeio University

Principal Investigator

白旗 優  慶應義塾大学, 商学部, 専任講師 (00286618)

Project Period (FY) 1997 – 1998
Project Status Completed (Fiscal Year 1998)
Budget Amount *help
¥2,000,000 (Direct Cost: ¥2,000,000)
Fiscal Year 1998: ¥900,000 (Direct Cost: ¥900,000)
Fiscal Year 1997: ¥1,100,000 (Direct Cost: ¥1,100,000)
Keywords線形論理 / 集合論 / プログラム意味論 / GUI / Java
Research Abstract

今年度は、昨年度の研究で作成したJavaアプレットPierを拡充し試験的な運用を開始した。Pierは、論理学での形式的な証明図を直観的に操作するための、グラフィックなユーザ・インターフェイスであるが、今年度はこのシステムにデータベースと連携する機能を付加した。これは、Javaに組み込まれているJDBC(Java DatabaseConnectivity)とよばれる一般的な枠組みを利用したものであり、JDBCに対応したドライバを持つ任意のデータベースに接続可能である。実際の運用では、Oracle8をデータベースとして使用している。また、システムの使い易さと有効性を確認するために、研究代表者が受け持っている論理学の授業で、宿題の作成と提出をこのシステムによっておこなった。対象は、主として理工学部の1、2年生であったが、かなり短時間で使い方に慣れ、複雑な証明図の作成も半数以上がこなせるようになった。
理論的な面では、線形論理のゲーム意味論を真理論や集合論に適用することを試みているが、まだ際立った進展はない。ただし、線形集合論および直観主義的集合論の証明論についての2つの論文が今年度出版されたのに加えて、昨年度の成果を2本の論文にして投稿したものを現在改訂作業中である。また、関連する仕事として、ブルバキ・グループのゲーデルに対する態度について論じた論文を翻訳し、出版した。

Report

(2 results)
  • 1998 Annual Research Report
  • 1997 Annual Research Report
  • Research Products

    (7 results)

All Other

All Publications (7 results)

  • [Publications] Masaru Shirahata: "Linear set theory with strict comprehension" Proceedings of the Sixth Asian Logic Conference. 223-245 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] Masaru Shirahata: "The strong normalization of intuitionistic set theory without equality" 慶應義塾大学日吉紀要自然科学. 24. 1-13 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 田中一之(監訳): "数学の基礎をめぐる論争" シュプリンガー・フェアラーク東京, 213 (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] Masaru Shirahata: "Linear Set Theory with Strict Comprehension" The Proceedings of the Sixth Asian Logic Conference. (1998)

    • Related Report
      1997 Annual Research Report
  • [Publications] Masaru Shirahata: "The Strong Normalization of Intcitionistic Set Theory Without Equality" 慶應義塾大学日吉紀要・自然科学. (1998)

    • Related Report
      1997 Annual Research Report
  • [Publications] Masaru Shirahata: "A Coherence Space Semantics for Linear Set Theory" 数理解析研究所講究録. 1010. 101-112 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] Masaru Shirahata: "A Coherence Space Semartics for Linear Set Theory With Quantifiers(Abstract)" Proceedings of the 31st MLG meeting at Miho,Shimizu,Japan 1997. 45-47 (1998)

    • Related Report
      1997 Annual Research Report

URL: 

Published: 1997-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi