総説・解説等 - 岡田　光弘

Corrigendum to “Inductive-data-type systems” [Theoret. Comput. Sci. 272 (1–2) (2002) 41–68] (Theoretical Computer Science (2002) 272(1–2) (41–68), (S0304397500003479), (10.1016/S0304-3975(00)00347-9))

Blanqui F., Jouannaud J.P., Okada M.

Theoretical Computer Science （Theoretical Computer Science）  817   81 - 82 2020年05月

ISSN  03043975

　概要を見る

© 2000 Elsevier B.V. In a previous work (Abstract data type systems, Theoret. Comput. Sci. 173 (2) (1997)), the last two authors presented a combined language made of a (strongly normalizing) algebraic rewrite system and a typed lambda-calculus enriched by pattern-matching definitions following a certain format, called the “General Schema”, which generalizes the usual recursor definitions for natural numbers and similar “basic inductive types”. This combined language was shown to be strongly normalizing. The purpose of this paper is to reformulate and extend the General Schema in order to make it easily extensible, to capture a more general class of inductive types, called “strictly positive”, and to ease the strong normalization proof of the resulting system. This result provides a computation model for the combination of an algebraic specification language based on abstract data types and of a strongly typed functional language with strictly positive inductive types.

• Access to Document (DOI)

Preface

Nigam V., Kirigin T.B., Talcott C., Guttman J., Kuznetsov S., Loo B.T., Okada M.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) （Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)）  12300 LNCS   vii - viii 2020年

ISSN  03029743

FATALIS: Real Time Processes as Linear Logic Specifications

Koji Hasebe, V. Cremet, Jean-Pierre Jouannaud, Antonie Kremer, and Mitsuhiro Okada

International Workshop on Automated Verification of Infinite-State Systems  2003年

記事・総説・解説・論説等（その他）, 共著

歪んだ真珠(バロック)---音楽における規則性vs反規則性、または ロゴスvsパトス---

岡田 光弘

藝文研究  （ 9 ）  2003年

記事・総説・解説・論説等（その他）, 単著

大会ワークショップ「フォーマルオントロジーの工学と哲学」報告

日本科学哲学会　  2002年

その他, 単著

うごめくウニは海の夢をみるか

慶應義塾大学アートセンター 16   2-3 2001年10月

その他, 単著

仮想電子環境と生活環境

三色旗　慶應義塾大学通信教育部  2000年

その他, 単著

コンピュータ・人工知能と未来の教育

岡田 光弘

三色旗　慶應義塾大学通信教育部  1998年06月

その他, 単著

哲学・思想辞典

岡田 光弘

岩波書店  1998年04月

その他, 単著

日本語の文末表現における意味解釈と音響特性

須藤 路子, 岡田光弘, 西山 佑司.

順天堂大学スポーツ健康科学研究 2   12 - 16 1998年03月

その他, 共著

論理学の展望(日本科学哲学会ワークショップ報告)

岡田 光弘

日本科学哲学会誌  1998年03月

その他, 単著

助動詞「か」の音響特性と解釈

須藤路子、岡田光弘、西山祐司

日本音声言語学会1996年度大会予稿集  1996年10月

その他, 共著

線形論理に基づく計算モデルの理論概説

岡田 光弘

電子情報通信学会ソサイエティ大会講演論文集    571 - 572 1996年

その他, 単著

諸状況における助動詞「か」の意味解釈音響特性（アブストラクト）

須藤路子、岡田光弘、西山祐司

日本音響学会1995年度大会予稿集（全２ページ）  1995年06月

その他, 共著

論理学入門のためのPersonal Guide

岡田 光弘

哲学・別冊　三田哲学会    85-94 1994年

その他, 単著

論理記号導入に基づく論理的意味論について（アブストラクト）

岡田 光弘

日本哲学会大会予稿集（全２ページ）  1990年06月

その他, 単著