著者
布川 博士 富樫 敦 野口 正一
雑誌
全国大会講演論文集
巻号頁・発行日
vol.33, pp.7-8, 1986-10-01

The semantics of Backus FP is given by the it's formal system FFP. i.e. f:x=y is defined by using FFP's meaning function μ if and only if μ(fFFP, xFFP) reduce to yFFP (where subscript FFP indicates the version of an FP object translated into an FFP one). When recursively defined function is computed, in Lisp 1.5 of use the external mechanism LABEL notation, in Curry's system of the lambda or combinatory calculus, the fixed point operater 'Y is used. Backus[Backus 78] used for this purpose the meta composition rule in μ and succeeded in solving recursive equations according to the reductuion system FFP having meta composition reduction rule without any external mechanism or Y. Williams showed the formal rules for translation of FP into FFP representation which preserve meaning of FP functions. By his algorithm Πf, f=Ef in FP is translated into F=<Πf(Ef)>, for example fact=eq0→-1 ; ×○[id fact○sub1]≡Efact, is tanslated into FACT≡Πfact(Efact)=EQ○2→1 ; ×○[ID○2 APPLY○[1 SUB 1○2]] Then according to the reduction rule of μ, μ(<FACT>,3) is reduced to the most simple expression 6 as follows μ(<FACT>,3)⇒#μ(FACT, <<FACT>,3>)⇒*6 The first reduction is an application of meta composition rule. To be precise, we should write e. g. EQ0○2 as <COMP EQ0 2> but to save space we used an abbreviation which is similar to the FP notation. In this representation algorithm, similar to the ccase of Y usage, the recursively defined function f=Ef in FP is translated into fFFP dose not contain function variable f. In this paper we propose a type assignment system for recursive functions in FP by assigning the type to the corresponding FFP representation aloging these lines.
著者
宮西洋太郎 富樫敦 Goutam Chakraborty MiyanishiYohtaro MizunoKoh YamamotoMitsuaki TogashiAtsushi NoguchiShoich Department of Software and Information Science Iwate Prefecture University Department of Design Information Miyagi University Kansei Fukushi Research Center Tohoku Fukushi University Kansei Fukushi Research Center Tohoku Fukushi University Department of Design Information Miyagi University Sendai Foundation of Applied Information Science
巻号頁・発行日
vol.9, pp.111-116,

In this project, various life-style related data of a large number of individuals were collected at regular time intervals. The data consists of 90 items, and almost all aspects of life-style, possible to collect without violating individuals privacy, are covered. This project started with two main objectives. One is to nd relationship between life-style and general physical and mental health of individuals. The other one is more subjective, to induce health-consciousness among individuals through declarations of their life-style. At this beginning stage of the project, we have the one-time data of about 4000 individuals. Some interesting observations were made by statistical analysis as well as cluster analysis of the data by Self-Organizing-Map neural network. Index Terms-Health-Consciousness, Life-style Check List, Healthcare, Statistical Clustering, Clusteirng using Self Organizing Map.
著者
布川 博士 富樫 敦 野口 正一
雑誌
全国大会講演論文集
巻号頁・発行日
vol.37, pp.666-667, 1988-09-12

項書き換え系(TRS)は,それをプログラミング言語としてみると,記述の容易さ,意味の把握のしやすさ等優れた言語である。また,仕様としてみると,すべての関数の実現を行わなくとも,実現されていない関数を単なる記号として扱うことにより実行することができる実行可能仕様でもある。TRSにおける書き換えを行うシステム(reducer)の実現に当たっては,正規化戦略の実現のみでなく速度も要求される。この2つは,互いに排反する条件であり,速度向上のため正規化戦略を実現しない方法もある。このように従来の処理系は正しさか,速度のいずれかを犠牲にすることにより他方の利点を導入し作成されてきた。しかしTRSをプログラミング言語として有効に使用するためには,双方とも満足のゆく処理系が必要である。そのためには単一の戦略を用いるのではなく,それぞれのTRSプログラムに応じた戦略を用いることが有効である。すなわち,各TRSプログラム中に,そのTRSプログラムを有効に使うための戦略を定められることが望ましい。それによりユーザーが意図した通りに,書き換えが有効に行なわれるTRSプログラムを作成する事ができる。本論文では,TRSプログラム中に傷に戦略を表明する事が出来る項書き換え系A-TRSを提案する。