著者

菱沼 千明 山下 堅治 中西 正和

出版者

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

雑誌

情報処理 (ISSN:04478053)

巻号頁・発行日

vol.17, no.11, pp.1002-1008, 1976-11-15

被引用文献数

1

---

This paper presents some usuful techniques for implementing LISP 1.5 interpreter. First, effective push down stack techniques are given in order to realize the recursive procedure peculiar to the function of LISP. Second, we show a method to curtail the excess a-list which is generated by universal functions when they evaluate iterative functions. The efficiency of those methods are also shown by comparing the mini-LISP, which is made to employ those methods, with other LISP 1.5 interpreters.

著者

黒川 利明

出版者

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

雑誌

情報処理 (ISSN:04478053)

巻号頁・発行日

vol.17, no.11, pp.1056-1063, 1976-11-15

---

LISP 1.9 is an extended and revised programming system from LISP 1.6. Its fundamental features are as follows:1) high preformance both on execution and debugging,2) many useful functions, 3) new powerful input/output facilities. LISP 1.9 has also many useful libraries written by users, among which are as follows:1) graphic input/output facilities, 2) translation facility for programs written in other LISP languages, 3) programming languages for AI application, 4) natural language processing system, 5) mini-question-answering system with figure-output. The current status of LISP 1.9 system is described in this paper with a discussion about the future extensions. LISP 1.9 is originally implemated for the Pattern Information Processing System Project supervised by Electrotechnical Laboratory.

著者

長尾 真 中村 和雄

出版者

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

雑誌

情報処理 (ISSN:04478053)

巻号頁・発行日

vol.17, no.8, pp.720-728, 1976-08-15

---

The implementation of LISP 1.6(LIST processing language 1.6) for a minicomputer (TOSBAC_40C) is described. The implementation of a full-power LISP processor require large program area and large free cell space, because the LISP processor must be able to run a large program efficiently. As our minicomputer has a small main memory, it is required to attach a high speed bulk core memory(512kB) as a virtual memory by the software paging mechanism based on the LRU algorithm. Upon these address spaces, we can use maximum 64k LISP cells. As a processor has the ability to swap out any list expression into the secondary memory in the form of S-expression(Symbolic expression), the user can run a fairly large program that requires more cells than 64k cells for the running. Many other ideas are employed in this processor, such as the data type of the pointer is determined by the address computation (hence the conventional data type flags in the cell are eliminated completely), the shallow binding mechanism is employed as the variable binding, the compaction and linearization of the cells are taken place at the garbage collection, and the processor works under the disk operating system. As this processor has so many features, it is easy to use, and a large LISP program is run-nable efficiently.

著者

黒川 利明

出版者

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

雑誌

情報処理 (ISSN:04478053)

巻号頁・発行日

vol.17, no.2, pp.127-132, 1976-02-15

---

LISP has several types of data, and that each lisp system has its own data representations. In the first part of this paper, those data representation of LISP 1.6, MACLISP and INTERLISP are surveyed. Next, how the data are represented in the late TOSBAC-5600 LISP system is described. Some remaining problems are also presented. At last, the author presents some hints to represent the data of the future LISP system.

著者

植田 健治 山本 敬二 永田 守男 中西 正和

出版者

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

雑誌

情報処理 (ISSN:04478053)

巻号頁・発行日

vol.17, no.2, pp.155-157, 1976-02-15

著者

黒川 利明

出版者

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

雑誌

情報処理 (ISSN:04478053)

巻号頁・発行日

vol.15, no.2, pp.158-159, 1974-02-15

著者

鈴木 誠道

出版者

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

雑誌

情報処理 (ISSN:04478053)

巻号頁・発行日

vol.14, no.12, pp.979-981, 1973-12-15

著者

黒川 利明

出版者

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

雑誌

情報処理 (ISSN:04478053)

巻号頁・発行日

vol.14, no.12, 1973-12-15

著者

中西 正和

出版者

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

雑誌

情報処理 (ISSN:04478053)

巻号頁・発行日

vol.14, no.12, pp.961-967, 1973-12-15

著者

鈴木 誠道

出版者

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

雑誌

情報処理 (ISSN:04478053)

巻号頁・発行日

vol.14, no.8, pp.642-644, 1973-08-15

著者

戸川 隼人

出版者

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

雑誌

情報処理 (ISSN:04478053)

巻号頁・発行日

vol.14, no.5, pp.362-363, 1973-05-15

著者

島田 俊夫

出版者

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

雑誌

情報処理 (ISSN:04478053)

巻号頁・発行日

vol.14, no.5, pp.341-348, 1973-05-15

著者

棟上 昭男

出版者

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

雑誌

情報処理 (ISSN:04478053)

巻号頁・発行日

vol.14, no.5, pp.366-368, 1973-05-15

著者

河田 勉

出版者

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

雑誌

情報処理 (ISSN:04478053)

巻号頁・発行日

vol.14, no.3, pp.223-223, 1973-03-15

著者

宮川 正弘

出版者

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

雑誌

情報処理 (ISSN:04478053)

巻号頁・発行日

vol.11, no.5, pp.299-300, 1970-05-15

著者

戸田 賢二

出版者

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

雑誌

情報処理 (ISSN:04478053)

巻号頁・発行日

vol.24, no.8, pp.1042-1043, 1983-08-15

著者

西村 恕彦

出版者

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

雑誌

情報処理 (ISSN:04478053)

巻号頁・発行日

vol.5, no.6, pp.312-317, 1964-11-15

著者

正木 寛人 斎藤逸郎 石塚 満 奥乃 博

出版者

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

雑誌

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

巻号頁・発行日

vol.37, no.11, pp.1969-1979, 1996-11-15

被引用文献数

3

---

三面図は3次元モデルを表現するために最もよく使用されるが それから3次元モデルを復元するときにはしばしば複数の解釈が生ずるという暖昧性の問題があり 従来はヒューリスティクスに基づき妥当な解釈を生成する方法がとられてきた. 我々はこの問題に対し 適切な方向から見た面図を新たに1枚追加することで暖昧性を除去することができると考え その追加面図に含まれることが要求される物体要素を計算する手法を考案した. 本手法は 複数解釈された3次元モデルの中から ユーザとのインタラクション(所望のモデルの指定)を通して暖昧性の所在を探るものであり すべての人間が常識的に感じるとは限らないないモデルが対象である場合 あるいは機械製図などの分野において用いる有効な補助面図の視線方向を決定する場合に特に有効である. 復元過程におけるデータ保持を効率よく行うために 内部処理には論理関数のコンパクトな表現法である二分決定グラフ(BDD)を使用し 暖昧性解消のために用いる組合せ集合の管理には集合のコンパクトな表現である Zero-Suppressed BDD (ZBDD)を使用している. 本手法に基づく三面図解釈の試作システム TOVIN (Three Orthographic Views INterpreter)についても記す.Although a set of three orthographic views is one of the most common representations of three-dimensional mechanical objects, it potentially has ambiguities which result in multiple interpretations of solids to be reconstructed. This paper presents a new method for eliminating the ambiguities by adding a new mapping plane, and describes its implementation in a prototype system TOVIN (Three Orthographic Views INterpreter). The processing of TOVIN consists of two parts. First, it encodes given views into pseudo Boolean formulas by applying reconstruction rules. By employing Binary Decision Diagrams (BDDs), TOVIN computes all possible interpretations efficiently and represents them compactly. Next, TOVIN requests a user to specify one from them on a display, and searches a set of critical object elements (edges and/or faces) to determine an additional mapping plane. This part employs Zero-suppressed BDDs (ZBDDs) which allow a compact representation of combinatorial sets and efficient set operations. The TOVIN runs quite efficiently thanks to the BDDs and the ZBDDs; this efficiency is the most salient feature of the system.

著者

立石 健二 石黒 義英 福島 俊一

出版者

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

雑誌

情報処理学会研究報告自然言語処理(NL) (ISSN:09196072)

巻号頁・発行日

vol.2001, no.69, pp.75-82, 2001-07-16

被引用文献数

39

---

本稿では,インターネットに分散して存在する人の意見を一括して検索する手法を提案し,試作したシステム概要と,その検索精度を報告する.インターネットはすべての人が情報発信できる場であり,さまざまな人の意見が存在する.しかし,従来これらの意見を効率的に入手する方法は存在しなかった.提案手法では,ユーザが入力した商品名とあらかじめ辞書として用意した評価表現を近接演算する方法を用いて,インターネットのWebページから意見を抽出する.また,抽出した意見の意見らしさ(適性値)を構文的な特徴を利用して判定する.試作システムの精度を評価したところ,従来のキーワードと比較して検索結果を15%程度に絞りこめること,検索結果の上位17.1%で86.6%という高い適合率を得られることがわかった.This paper proposes a method for retrieving people's opinions from www pages, and describes its implementation as well as the evaluation results of this system. Many people are exchanging or expressing their opinions with the Internet. However no traditional system can efficiently retrieve people's opinions from the Internet. With the proposed method, our system can extract people's opinions by utiltzing word distance calculation and opinion-likeness evaluation. The averge number of the search result of this system is 85% of smaller than the result of traditional keyword-based search. The precision of this system is 86.6% within the top 17.1% of the search result.

著者

高松 雄三 白石 勝 樹下行三

出版者

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

雑誌

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

巻号頁・発行日

vol.24, no.4, pp.542-548, 1983-07-15

---

検出可能な故障に対して検査入力を生成する手法として Dアルゴリズムがよく知られており 実用化されている.しかしながら Dアルゴリズムは 誤り訂正回路のような排他的論理和ゲートの多い回路への適用は実用的でないとされている.そこで これを改良した9-Vアルゴリズム PODEMアルゴリズム FANアルゴリズムなどが考案されている.本論文では 信号線の値として 0 1 D D^^- Xの5値にさらに D/0 D/1 D^^-/0 D^^-/1 D/D^^-の5値を加えた10値を用いた検査系列生成法を提案する.本手法は 0 1 D D^^- Xの5値を用いた含意操作と 先の10値を用いた含意操作 および後方追跡の三つの基本操作から構成されている.検査入力は この基本操作を繰り返して外部入力へ信号値を割り当て 故障信号を外部出力へ伝搬させる経路活性化法により生成している.一般に経路活l性化法では 故障信号を伝搬させる経路に関連する信号値を決めるときや 分岐点における伝搬経路とその数の選択に自由度がある.この自由度の選び方が検査入力生成に関係するが 本手法では 10値を用いることにより自由度を減らし 検査系列生成時間の高速化を試みている.