著者

杉村 利明 岸田 克己

雑誌

全国大会講演論文集

巻号頁・発行日

vol.42, pp.95-96, 1991-02-25

---

AI技術は、実用化の時代を迎え適用領域の拡大が望まれている。最近では、監視システムや制御システムなどの実時間処理を伴う分野で、AI技術の応用(リアルタイムAI)に対する重要性が認識されている。従来から、AIシステムの多くが、プログラミングのしやすさからLisp言語を使っている。しかし、Lisp言語は、ガーベジコレクション(GC)のためにプログラムが停止してしまうことが重大な欠点であるとされてきた。特に、実時間処理を伴う処理では、致命的な欠点になる。そこで、この問題点に対処するため、GCによるプログラムの停止を抑止することができるGCフリーコーディングを提案し、このための支援機能を実現した。本機能は、ELIS-82O0のELIS Common Lispに搭載されている。本稿では、並列GCとGCフリーコーディングの違い、GCフリーコーディングの支援機能と実現法について述べる。

著者

竹内郁雄

雑誌

情処学記号処理研報

巻号頁・発行日

pp.24-8, 1984

被引用文献数

1

著者

竹内郁雄

出版者

共立出版

雑誌

bit

巻号頁・発行日

vol.20, no.1, 1988

被引用文献数

1

著者

大里延康 竹内 郁雄

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.30, no.5, pp.596-604, 1989-05-15

被引用文献数

1

---

複合プログラミング・パラダイム言語TAOにおけるオブジェクト指向プログラミングの言語仕様とその評価について述べる.TAOは専用の記号処理計算機ELISのマイクロプログラミングを用い そのハードウェアによる支授を背景として 人工知能研究におけるプログラミングを強力に支援する高性能のプログラミング環境を提供することを目指している。特に 扱う問題に適したプログラミング・パラダイムをユーザが自由に選択できるようにすることを設計思想のひとつの柱として Lispをベースに 論理型プログラミング オブジェクト指向など さまざまなプログラミング・パラダイムを 言語の核の部分で融合させている.本論文では TAOの複合プログラミング・パラダイムの中で オブジェクト指向に関する部分の言語仕様を紹介し その実現技法を詳しく論ずる.また その速度性能の評価を行う.TAOのオブジェクト指向は インタプリタにおいてLispのみで書いたプログラムの性能に比べて遜色がなく 十分な実用性を持つことを示す.また 実際の応用プログラムの分析にもとづいて TAOオブジェクト指向の実現技法の妥当性についても考察を加える.

著者

竹内 郁雄 大里 延康

雑誌

全国大会講演論文集

巻号頁・発行日

vol.38, pp.885-886, 1989-03-15

---

メッセージ伝達式の評価において,メソッドが見つからないことを積極的な意味で使うことが可能である.本論文では,TAO/ELIS上で,端末と計算機の結合を仮想化するdetach/attach機能をインプリメントする際に,これがどう役立ったかについて報告する.

著者

竹内郁雄

雑誌

情報処理学会記号処理研究会

巻号頁・発行日

1990

被引用文献数

2

著者

山崎 憲一 奥乃 博 竹内 郁雄

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.32, no.9, pp.1090-1101, 1991-09-15

被引用文献数

2

---

TAO は記号処理を伴う大規模なアプリケーションの記述のために開発されたマルチパラダイム言語であり 関数型 論理型 オブジェクト指向の3つのバラダイムから構成される本論文ではこのうち論理型パラダイムの機能と実現方法および他パラダイムとの融合方法について述べる本方式では 述語を関数の一種としたこと すべてのパラダイムのデータ構造を共通化したことなどによりこれまでの融合型言語に比べ より簡単にパラダイム間の相互呼び出しが可能となったまた実用性を重視して設計 実装しインタプリタで 10KLIPS コンパイラで 40KLIPS を達成した

著者

大里 延康 竹内 郁雄

雑誌

情報処理学会論文誌 = Transactions of Information Processing Society of Japan (ISSN:03875806)

巻号頁・発行日

vol.33, no.6, 1992-06-15

著者

中村 昌志 天海 良治 山崎 憲一 吉田 雅治 竹内 郁雄

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告. 記号処理研究会報告

巻号頁・発行日

vol.94, no.3, pp.9-16, 1994-01-14

---

実時間記号処理カーネルTAO/SILENTのパッケージシステムについて述べる.言語TAOは記号処理専用マシンSILENT上でOSとしての役割を果たすため,一般的なプログラミング言語の機能の他に,OSの機能を併せ持つ.TAOのパッケージシステムでは,パッケージとシンボルの保護機能およびインクリメンタルリハッシュがOSの機能である.一般的にプログラミング言語の機能としては,パッケージパスによるパッケージの継承がCommon Lispと異なった特徴的なものとなっている.これらの機能を組合わせることにより多様な構造の名前空間を実現することができ,マルチユーザ環境や複数言語の共存などに対応できる.

著者

山崎 憲一 吉田 雅治 天海良治 竹内 郁雄

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.40, no.6, pp.2743-2754, 1999-06-15

被引用文献数

2

---

本論文では Lispをべースとして論理型プログラミングを融合したマルチパラダイム言語TAOについて述べる. これまで研究されたきた融合型言語においては 純粋な関数型言語と論理型言語を融合するものが多かったが TAOではすべてのLispプリミティブと論理型プログラミングを利用できる. TAOでは Lispと論理型言語の実行機構の類似性に着目した融合を行う. ここで 実行機構の類似性とは 状態変数と論埋変数 関数呼び出しと述語呼び出し 大域的脱出とバックトラックなどを指す. たとえば catch/throwのような脱出とバックトラックには類似性があり バックトラックを大域脱出の一種と考えることができる. これにより バックトラックが Lispの大域脱出に関するさまざまなプリミティブを自然に利用できるようになる.This paper describes a Lisp-based multi-paradigm programming language TAO that incorporates a logic programming (LP) paradigm. Whereas previous multi-paradigm languages only supported purely functional and LP facilities, TAO supports all Lisp primitives as well as LP facilities. This amalgamation of Lisp and LP is done by making use of the similarities in their execution mechanisms, giving a natural semantics to the amalgamation. The similarities include state vs. logic variables, function vs. predicate calling, and non-local exit vs. backtracking. For example, the similarity between non-local exit (catch/throw) and backtracking enables backtracking to be regarded as a kind of non-local exit, so that backtracking can use all Lisp facilities which support non-local exit.

著者

竹内 郁雄

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会論文誌. D-I, 情報・システム, I-情報処理 (ISSN:09151915)

巻号頁・発行日

vol.84, no.6, pp.513-522, 2001-06-01

---

記号処理言語Lispの本質を現代の視点で見直し, コンピュータシステムに携わる人々が今後どのような技術課題に取り組むべきかについてLispにからめた形で論ずる.プログラミング言語の取捨選択は未来永劫(ごう)固定的なものではない.これまで長い間雌伏してきたLispに今大きな跳躍の機会がきていることを, やや楽観的な技術的観点で主張する.

著者

山崎 憲一 吉田 雅治 天海良治 竹内 郁雄

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌プログラミング(PRO) (ISSN:18827802)

巻号頁・発行日

vol.42, no.7, pp.70-83, 2001-07-15

---

Lispに論理型言語の機能を融合する場合には,論理型言語特有の内部データ構造である未定義値(UNDEF)と,参照(REF)をどのように表現するかということが問題となる.本論文では,我々がTAO86およびTAOという2つの言語で採ったアプローチについて述べる.UNDEFには,必然的に構造データ中の「番地」という概念がともなうが,これをLispからどのように隠蔽するかがポイントとなる.TAO86では,UNDEFを即値とし,REFを処理系が自動的にたどる方法によって実装を行った.これにより言語が単純なものとなるが,いくつかのケースにおいては特有の問題を生じる.たとえば,REFやUNDEFを含む構造データの同一性を判定するために,アドホックな関数を必要とする.TAOでは同様の方法を採りつつも,論理変数を述語の値として返す関数型の機能,パターンマッチによる同一性の判定の機能などを用いて,これらの問題を解決する.また,本論文ではTAOのタグ割当てなど,実装の詳細についても述べる.Lisp can have much expressive power by incorporating logic-programming facilities. In this paper, we discuss implementation issues of this incorporation, especially for internal data representation such as undefined value (`UNDEF') and reference (`REF'). We designed two Lisp-based multi-paradigm programming languages, TAO86 and TAO, to solve these issues. In TAO86, UNDEF is a first-class immediate value, and REF is dereferenced by the system automatically. This solution is quite simple but did not have enough power to handle the whole set of data so that TAO86 provides some adhoc builtin functions. TAO, a thoroughly redesigned successor of TAO86, has new features such as functional predicates and pattern-matching mechanism that give an elegant solution of TAO86 issues. This paper also describes the implementation of internal data representation and data handling mechanisms in detail.

著者

上嶋 宏 三浦 孝夫 塩谷 勇

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会論文誌. D-I, 情報・システム, I-情報処理 (ISSN:09151915)

巻号頁・発行日

vol.87, no.2, pp.137-144, 2004-02-01

被引用文献数

2

---

本論文では,同義語,多義語を用い,単語のもつ意味のあいまい性を考慮した文書分類を提案する.本論文での文書分類は,シソーラスと単語がもつ複数の意味の使用頻度を用いる.これらを考慮することにより単語のもつ意味のあいまい性を排除し,分類精度を向上させる.本論文ではワードネットを用いて実験を行い,82%を超える高い分類正解率を得たことを示す.

著者

彭渠江 高倉 佐和 古郡廷治

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告情報学基礎(FI) (ISSN:09196072)

巻号頁・発行日

vol.2001, no.20, pp.59-66, 2001-03-05

---

本稿では、単語の意味的曖昧性を解く手法の開発と、それをもとにして行った曖昧性解消の実験結果を報告する。テキスト中の単語の語義(sense)は、一定の文脈の中で、その単語とよく共起する他の単語と高い相互情報量をもつ。この特徴を使い、単語(w)が使われている文脈中で出現し、wと類似度の高い単語のベクトルと、wがもつr個の語義のそれぞれが使われている文脈中で出現し、wと類似度の高いk個の単語のベクトルとの間の相互情報量を計算し、その値が最も高くなった密度値と結合している語義をwの語義として採用する。この手法によって行った実験では、91.5%の高率で多義語の正しい語義を特定することができた。We describe a method and its experimental results for word sense disambiguation that is based on a statistical measure of word similaritites. First, we obtain contextual-similarity vectors for the senses of a polysemous word using a corpus. Second, we define also the contextual representation for the same word appearing in text. Third, we do a calculation of distributional matrix between each contextual-similarity vector and the contextual representation for the word to be disambiguated. Fourth and finally, comparing the values of distributional matrices, we select the sense with the highest value as the meaning of the polysemous word. An experiment shows that the rate of finding correct word senses exceeds over 91%.

著者

種田 良子 横山 輝明 樫原 茂 奥田 剛 門林 雄基 山口 英

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会技術研究報告. OIS, オフィスインフォメーションシステム (ISSN:09135685)

巻号頁・発行日

vol.105, no.650, pp.7-12, 2006-03-03

---

近年,企業や大学などのイントラネット上では,グループウェアを用いた文書共有が行われている.しかし,共有される電子文書の量は増加の一途を辿っており,ユーザの検索負荷の増加を招いている.この問題を改善するためにさまざまな検索手法が提案されているが,キーワードによる検索は,キーワードが使用される分野や登場する文脈において異なる意味を持つ.そのため,このようなキーワードの多義性により生じる不要な検索結果を減らすことが重要となる.そこで,本研究では,キーワードの多義性による不必要な検索結果を削減し検索精度を向上させるための手法として,ユーザクラスタリングを用いた検索システム,DOCUSEUCを提案する.提案システムでは,ユーザの所有している文書に基づいてユーザ間の類似性を算出し,ユーザのクラスタリングを行う.そして,ユーザは検索時に自分の所属するクラスタから検索を行うことで,検索結果から非目的文書を削減することができる.本論文では,実際のシステム構築を述べ,有効性の評価を報告する.

著者

山崎 憲一 吉田 雅治 天海良治 竹内 郁雄

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.41, no.1, pp.136-147, 2000-01-15

被引用文献数

1

---

TAOは,関数型,論理型,オブジェクト指向のプログラミング機能を持つマルチパラダイム言語である.TAOの論理型計算は次の2つの特徴を持つ.パターンマッチとガードによって節を選択し,深いバックトラックは陽に呼び出す.関数と述語は互い呼び出すことができ,任意のデータを渡せる.本論文では,このような論理型計算機構を実装するための抽象マシンを提案する.この抽象マシンは,WAMをベースとしており,以下のような特徴を持つ.1)構造データをスタックでなくヒープ上に表現する.2)単一化やパターンマッチでは,レジスタを極力使用しない.3)プロセススイッチする可能性がある時点では,データを必ず無矛盾に保つ.また,他のProlog処理系と比較評価し,Lispとの融合によって性能が劣化しないことを示す.TAO is a Lisp-based multi-paradigm programming language whichincorporates functional, logic and object-oriented programmingparadigms. This paper describes the implementation of logic computation in TAO, which is different from Prolog in thefollowing two points.A clause is selected according to pattern matching and guard testing,and deep backtracking is invoked explicitly.Functions and predicates can invoke each other and pass any type ofdata between them.We propose an abstract machine, based on WAM (Warren's abstract machine), which has the following features.1) Structured data are represented in heap memory instead of stack.2) Almost no extra registers are used at unification and pattern maching.3) Memory configuration is consistent at any potential process-switching point.We also evaluated our implementation comparing with other Prologprocessors, and showed that the paradigm fusion does not degrade theperformance.

著者

山崎 憲一 吉田 雅治 天海良治 竹内 郁雄

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.43, no.1, pp.112-123, 2002-01-15

---

本論文では,Lispでオブジェクト指向プログラミングを行うための,Lispの拡張について述べる.本論文で提案する言語TAOは,ポリシーとメカニズムを分離するという考えに基づいて設計されており,たとえば,クラスや継承といったポリシーは提供しない.TAOは,オブジェクト指向計算のための最小限のメカニズムと,ポリシーを構築するためのメカニズムだけを備える.メカニズムは,Lispの環境とラムダ式を自然に拡張することにより導入される.ユーザは,これらを用いてTAO上にさまざまなポリシーを構築できる.本論文では,一例として,単純継承と委譲の構築例を示す.また,実装についても述べ,評価を行い,TAOの提供するメカニズムがいずれも十分な性能を達成していることを示す.This paper describes an extension of Lisp to incorporateobject-oriented programming into Lisp.A symbolic processing languageTAO, proposed in this paper, is designed based on policy/mechanismseparation principle where mechanisms support essential primitives forobject-oriented computation and policies, such as class definition andinheritance, determines how mechanisms are managed.The mechanisms areintroduced naturally by extending the Lisp's concept of environmentand lambda expression.By using these mechanisms, a TAO user canconstruct his/her own policy, such as single inheritance and simpledelegation which are shown in this paper as an example.We describe theimplementation of TAO and evaluate it using some benchmark programs,and as a result, we show that these primitives are efficient enough.

著者

鎌田 義晴

出版者

弘前大学

雑誌

レ・シトワヤン (ISSN:09110968)

巻号頁・発行日

vol.22, pp.7-10, 2005

著者

篠原 誠 降旗 建治

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会技術研究報告. EA, 応用音響 (ISSN:09135685)

巻号頁・発行日

vol.107, no.269, pp.31-36, 2007-10-12

---

本報告では,外耳道内における,音圧,伝達関数,音響インピーダンス,を計測するため,2マイクロホン法による音響計測システムについて検討している.開発した超小型インテンシティプローブマイクロホンは,3つのマイクロホン間距離が6.3mm,10.4mm,16.7mmおよびプローブの直径が4mmであり,外耳道内の3点における音圧を同時に測定できる.外耳道入口と外耳道内(入口から10.4mm,16.7mmの位置)における音圧を測定した結果に基づき,まず各マイクロホン間の音圧差から伝達関数,伝達関数から鼓膜位置のインピーダンスが計測できること,次に鼓膜位置のインピーダンスから鼓膜位置の音圧を推定できることがわかった.結論として,開発した超小型インテンシティプローブマイクロホンにより,外耳道内の2点で測定した音圧は外耳道内の物理量の測定に適しており,外耳道入口で測定した音圧は耳の形状等による個人差を示す可能性が示唆された.

著者

松本 晃子

出版者

日本女子大学

雑誌

家政経済学論叢 (ISSN:02870967)

巻号頁・発行日

vol.35, pp.75-89, 1999-04-30