\documentstyle[12pt,biblist]{j-article}
\textwidth 13cm
\begin{document}
\baselineskip 5mm
\begin{center}
\bf \large 堂下研究室　発表論文　著作一覧・元帳\\
第二部 (1974〜1983) (情報工学教室10年史より)
\normalsize
1999年3月31日・荒木\\
file名:lab5bib-2.tex
\end{center}

\section*{A 著作}

\begin{thebiblist}{1}

堂下修司.
ブリタニカ国際大百科事典
(分担)：情報処理31頁分,
TBSブリタニカ, 1975.

西田豊明,堂下修司.
「モンテギュー文法に基づく機械翻訳への新しいアプローチ」  bit 15,  3
共立出版, 1983.

\end{thebiblist}

\section*{B 学会誌}

\section*{B1 論文}

\begin{thebiblist}{10}

山崎進,上林弥彦.
プッシュダウンオートマトンの制御問題.
電子情報通信学会論文誌(D), Vol. 57-D, No. 9, pp. 542-549, 1974.

山崎進,上林弥彦.
プッシュダウンオートマトンのスタック上の系列集合の性質.
電子情報通信学会論文誌(D), Vol. 58-D, No. 5, pp. 249-255, 1975.

山崎進,外村俊之.
文脈自由言語の bottom-up 的最小誤り訂正アルゴリズムについて.
情報処理, Vol.18, No.8, pp.781-788, 1977.

山崎進,村木一至,葭矢哲司,堂下修司.
入力導出を階層化した導出.
電子情報通信学会論文誌(D), Vol. J61-D, No. 9, pp. 605-612, 1978.

堂下修司,平松孝一,角井正昭.
直接アクセス方式のバルクメモリを用いた LISP システムの作成.
電子情報通信学会論文誌(D), Vol. 61-D, No. 5, pp. 360-361, 1978.

山崎進,堂下修司.
Ackermann クラスに対する単位導出・制限付き線形導出反ばくの時間計算量.
電子情報通信学会論文誌(D), Vol. J62-D, No. 2, pp. 149-156, 1979.

山崎進,武濤雄一郎,堂下修司.
単位導出反ばく存在判定の言語的性質.
電子情報通信学会論文誌(D), Vol. 63-D, No. 12, pp. 1088-1095, 1980.

S. Yamasaki and S. Doshita.
The Satisfiability Problems for Some Classes of Extended Horn Sets in the
Propositional Logic.
Trans. of IECE of Japan, 1982.

山崎進,岸知二,石橋稔彦,堂下修司.
いくつかのクラスにおける Horn 節集合の充足不能性問題の計算量.
電子情報通信学会論文誌(D), Vol. J61-D, No. 9, pp. 605-612, 1982.

山崎進,鈴木博,堂下修司.
Ackermann クラスの部分クラスに対する充足不能性問題とその関連問題の計算量.
電子情報通信学会論文誌(D), Vol. 65-D, pp. 703-710, 1982.

西田豊明,清野正樹,堂下修司.
モンテギュー文法に基づく英文和訳システムの試作.
情報処理学会論文誌, Vol. 23, No. 2, pp. 107-115, 1982.

西田豊明,堂下修司.
自然言語解析のためのプログラミングシステム−COMPLANについて.
情報処理学会論文誌, Vol. 23, No. 4, pp. 396-405, 1982.

山崎進,岸知二,堂下修司.
不動点意味論に基づく Horn 節集合の充足不能性判定.
電子情報通信学会論文誌(D), Vol. 65-D, No. 11, pp. 1334-1341, 1982.

岸知二,山崎進,堂下修司.
帰納的プログラムから Horn 節集合への翻訳アルゴリズム.
電子情報通信学会論文誌(D), Vol. 65-D, No. 11, pp. 1342-1349, 1982.

\end{thebiblist}

\section*{C 国際会議}

\begin{thebiblist}{10}

S. Yamasaki and Y. Kambayashi.
Control of Pushdown Automata and Related Topics.
Proc. of the 2nd USA-Japan Computer Conference,  321-323, 1975.

T. Nishida and S. Doshita.
The Framework of Knowledge Representation and its Retrieval in LGS - The
Literature Guide System.
Proc. of the 6th IJCAI,  662-664, 1979.

T. Nishida and S. Doshita.
Hierarchical Meaning Representation and Analysis of Natural Language Documents.
COLING 80,  85-92, 1980.

T. Nishida and S. Doshita.
A Knowledge-Based Literature Guide System - A New Approach to Document
Retrieval.
Proc. of IFIP Congress 80,  699-704, 1980.

T. Nishida and S. Doshita.
An English - Japanese Machine Translation System Based on Formal Semantics
of Natural Language.
COLING 82,  277-282, 1982.

T. Nishida and S. Doshita.
An Application of Montague Grammar to English - Japanese Machine Translation.
Proc. of Conference on Applied Natural Language Processing,  156-165, 1983.

T. Nishida, A. Kosaka and S. Doshita.
Toward Knowledge Acquisition from Natural Language Document - Automatic
Model Construction from Hardware Manual -.
Proc. of the 8th IJCAI,  482-486, 1983.

\end{thebiblist}

\section*{D 定期刊行物}

\begin{thebiblist}{10}

山崎進,上林弥彦.
プッシュダウンオートマトンに対応する無限状態オートマトンの性質.
京都大学数理解析研究所講究録, 213,  132-152, 1974.

堂下修司,山崎進.
系列パターン認識システムの考え方−系列パターンの誤り処理−.
京都大学数理解析研究所講究録, 229,  79-88, 1975.

S. Yamasaki,  K. Muraki,  T. Yoshiya and S. Doshita.
On Resolution Layered with Input Resolutions.
京都大学数理解析研究所講究録, 322,  154-177, 1978.

S. Yamasaki and S. Doshita.
Complexity of Some Strategies Proving Theorems in the Propositional Logic.
京都大学数理解析研究所講究録, 381,  133-151, 1980.

S. Yamasaki,  T. Ishibashi and S. Doshita.
Unit Resolution for a Subclass of the Ackermann Class.
Memories of the Faculty of Engineering,  Kyoto University, XLII,  1, 
63-75, 1980.

石橋稔彦,鈴木博,山崎進,堂下修司.
Horn 節集合の計算について.
京都大学数理解析研究所講究録, 421,  232-246, 1981.

S. Yamasaki and S. Doshita.
The Satisfiability Problems for Some Classes of Extended Horn Sets in the
propositional Logic.
京都大学数理解析研究所講究録, 454,  396-403, 1982.

S. Kitazawa and S. Doshita.
Discriminant Analysis of Burst Spectrum for Japanese Initial Voiceless Stops.
Studia Phonologica, XVI,  48-70, 1983.

\end{thebiblist}

\section*{E 国内研究会・シンポジウム}

\begin{thebiblist}{10}

堂下修司,平松孝一,角井正昭.
バルクメモりを使用したミニコン向きLISPシステム (LISP1.7).
電子通信学会　信学技報, AL-77-3, pp. 19-28, 1977.

山崎進,葭矢哲司,村木一至,堂下修司.
制限付き導出法に関する二,三の性質.
電子通信学会　信学技報, AL-77-15, pp. 11-18, , 1977.

堂下修司,西田豊明.
アブストラクトによる文献検索.
電子通信学会　信学技報, AL-77-76, pp. 143-152, 1978.

山崎進,村木一至,葭矢哲司,堂下修司.
入力導出を階層化した導出.
電子通信学会　信学技報, AL-77-81, pp. 33-40, 1978.

村木一至,金森幹仁,堂下修司.
基本動詞と状態遷移を用いた動作の表現とその上での推論.
電子通信学会　信学技報, AL-78-30, pp. 79-86, 1978.

山崎進,堂下修司.
単位導出 " 入力導出を階層化した導出 " による Ackermann Class における定理証明.
電子通信学会　信学技報, AL-78-34, pp. 21-30, 1978.

関口敦夫,堂下修司.
検証可能言語CV/Lと会話的検証システムHSPV.
電子通信学会　信学技報, AL-78-33, pp. 11-20, 1978.

山崎進,堂下修司.
Ackermann Class に対する入力導出を階層化した反駁存在判定−非線形の場合−.
電子通信学会　信学技報, AL-78-69, pp. 1-8, 1979.

武濤雄一郎,葭矢哲司,山崎進,堂下修司.
第一階述語論理の部分クラスにおける単位導出形に現れる言語の性質.
電子通信学会　信学技報, AL-79-8, pp.11-20, 1979.

山崎進,石橋稔彦,葭矢哲司,堂下修司.
Ackermann クラスの部分クラスに対する二,三の導出反駁存在判定アルゴリズムにつ
いて.
電子通信学会　信学技報, AL-79-32, pp. 55-64, 1979.

関口敦夫.
検証可能言語CV/Lと会話的検証システムHSPV.
情報処理学会　第20回プログラムシンポジウム, pp. 59-70, 1979.

山崎進,堂下修司.
2, 3 の拡張 Horn set について.
電子通信学会　信学技報, AL-80, 1980.

山崎進,堂下修司.
入力導出を階層化した導出 (2).
電子通信学会　信学技報, AL-79-89, pp. 1-6, 1980.

西田豊明,堂下修司.
自然言語の意味記述を用いた文献案内システム.
電子通信学会　信学技報, AL-79-95, pp. 37-42, 1980.

西田豊明,堂下修司.
自然言語のための階層的意味表現システム (LOGICS) とその応用について.
情報処理学会　計算言語学研究会, 22-2, 1980.

山崎進,堂下修司.
入力導出を階層化した導出と拡張 Horn set −非線形の場合.
電子通信学会　信学技報, AL80-44, 1980.

石橋稔彦,山崎進,堂下修司.
プログラミング言語PROLOG解釈機構の複雑さ.
電子通信学会　信学技報, AL80-43, 1980.

堂下修司.
知識データベースについて.
情報処理学会　医療情報学研究会, 7-7, 1980.

山崎進,鈴木博,石橋稔彦,堂下修司.
Ackermann クラスの充足不能性判定問題とフローチャート図式の性質.
電子通信学会　信学技報, AL80-91, 1981.

岸知二,山崎進,堂下修司.
Goedel クラスの部分クラスの充足可能性判定問題について.
電子通信学会　信学技報, AL81-17, 1981.

岸知二,山崎進,堂下修司.
帰納的プログラムの Horn 節集合による計算.
電子通信学会　信学技報, AL81-72, 1981.

西田豊明,堂下修司.
モンテギュー文法に基づく英文和訳システム.
情報処理学会　人工知能と対話技法研究会, 23-2, 1981.

北澤茂良,堂下修司.
変化するスペクトルの局所的な相互相関によるスペクトル周波数軸のマッチング.
日本音響学会　音声研究会, S80-43, 1981.

北澤茂良,堂下修司.
スペクトルパターンの時間変化の追跡について.
電子通信学会　信学技報, PRL80-110, 1981.

楊頤明,西田豊明,堂下修司.
中国語解析システムについての考察.
情報処理学会　自然言語処理研究会, 33-1, 1982.

西田豊明,小坂晃,堂下修司.
ハードウェアマニュアルからの情報の自動抽出に関する考察.
電子通信学会　信学技報, AL82-68, 1982.

吉田幹,平田幹人,山崎進,堂下修司.
両方向推論に基づくPROLOG処理系について.
情報処理学会　知識工学と人工知能研究会,  28-1, 1982.

岸知二,山崎進,堂下修司.
Horn 節集合の計算に関する研究.
電子通信学会　信学技報, AL81-89, 1982.

平田幹人,山崎進,堂下修司.
入力導出の性質とその応用.
電子通信学会　信学技報, AL82-24, 1982.

西田豊明.
Conference on Applied Natural Language Processing に出席して.
情報処理学会　自然言語処理研究会, 37-6, 1983.

西田豊明.
変換過程の基本設計.
情報処理学会　自然言語処理研究会, 38-6, 1983.

西田豊明,小坂晃,堂下修司.
専門分野のドキュメントからの情報抽出について− LSIハードウェアマニュアルを対
象として.
情報処理学会「自然言語処理技術」シンポジウム, 1983.

吉田幹,平田幹人,山崎進,堂下修司.
Horn 文に対する両方向推論.
Proc. of the Logic Programming Conference, 1983.

北澤茂良,永岡昌浩,長谷川明,堂下修司.
話者および母音コンテキストに独立な無声・有声破裂子音の認識のための破裂部の音
響分析と特徴抽出.
日本音響学会　音声研究会, S83-14, 1983.

北澤茂良,堂下修司.
破裂部スペクトルによる日本語無声破裂音の識別.
日本音響学会　音声研究会, S82-81, 1983.

\end{thebiblist}

\section*{F 国内大会}

\begin{thebiblist}{10}

山崎進,上林弥彦.
プッシュダウンオートマトンに対応する無限状態オートマトンのある種の状態集合の
性質.
電子通信学会　総合全大, 1528, 1974.

堂下修司,山崎進,村木一至.
定理証明法に関する一考察.
情報処理学会　第15回全大, 3, 1974.

山崎進,西田豊明.
木構造における木の間の距離について.
電子通信学会　総合全大, 1107, 1977.

村木一至,山崎進,葭矢哲司,堂下修司.
命題論理における導出法について.
電子通信学会　情報部門全大, 36, 1977.

西田豊明,山崎進.
知識の近さの関係を用いた推論と検索機構の基本的考察.
電子通信学会　総合全大, 1106, 1977.

葭矢哲司,山崎進,村木一至,堂下修司.
制限付き導出法について.
電子通信学会　情報部門全大, 36, 1977.

堂下修司,平松孝一,角井正昭.
バルクメモりを使用したミニコン向きLISPシステム (LISP1.7).
電子通信学会　情報部門全大, 1977.

堂下修司,村木一至,南出聡.
ゲームプレイの一手法.
電子通信学会　総合全大, 1212, 1978.

堂下修司,西田豊明.
文献アブストラクトの知識表現方法.
情報処理学会　第15回全大, 3, 1978.

西田豊明,堂下修司.
プロセジュア化された文法規則による英文解析プログラム.
電子通信学会　総合全大, 1207, 1979.

西田豊明,堂下修司.
文献ガイドシステムLGSにおける知識表現と知識ベースの作成.
情報処理学会　第20回全大, 4C-7, 1979.

西田豊明,清野正樹,堂下修司.
日本語の疑問文の取り扱いの一方法.
情報処理学会　第20回全大, 5C-2, 1979.

西田豊明,堂下修司.
英文解析用パーザ (EASY) の作成−統語解析アルゴリズムについて.
電子通信学会　総合全大, 1198, 1980.

西田豊明,清野正樹,山中孝夫,堂下修司.
英文解析用パーザEASYを用いた意味抽出実験.
電子通信学会　総合全大, 1199, 1980.

西田豊明,清野正樹,山中孝夫,堂下修司.
意味解析に基づく英文和訳について.
情報処理学会　第21回全大, 5H-1, 1980.

西田豊明,榊原洋三,堂下修司.
日本語の述語の解析と英訳について.
情報処理学会　第21回全大, 5Ｈ-2, 1980.

北澤茂良,堂下修司,安楽英世.
スペクトルの周波数軸マッチングによるホルマント軌跡の追跡.
日本音響学会　講演論文, 2-7-8, 1980.

北澤茂良,堂下修司.
変化するスペクトルの局所的な相互相関によるスペクトル周波数軸のマッチング.
日本音響学会　講演論文, 1-1-11, 1980.

西田豊明,清野正樹,堂下修司.
意味解析に基づく英文和訳システム.
情報処理学会　第22回全大, 2M-2, 1981.

西田豊明,小坂晃,堂下修司.
論理言語を中間表現とする和文英訳システムについて.
情報処理学会　第22回全大, 2M-3, 1981.

西田豊明,小坂晃,堂下修司.
自然言語の formal semantics に基づいた知識データベースについて.
情報処理学会　第22回全大, 5M-7, 1981.

西田豊明,堂下修司.
内包論理式からの日本語文の生成について.
情報処理学会　第23回全大, 4M-12, 1981.

北澤茂良,堂下修司.
母音スペクトルパターン間の各種距離の検討.
日本音響学会　講演論文, 2-1-6, 1981.

北澤茂良,堂下修司.
スペクトルパターン間の相関を最大化するマッチング法の残差を用いた破裂子音母音
間の距離.
日本音響学会　講演論文, 2-7-13, 1981.

北澤茂良,堂下修司.
変化するスペクトルパターンの周波数軸マッチング.
電子通信学会　総合全大, 1349, 1981.

西田豊明,小坂晃,堂下修司.
モンテギュー文法に基づく英文和訳システム（改良版）について.
情報処理学会　第24回全大, 4K-6, 1982.

西田豊明,小坂晃,堂下修司.
モンテギュー文法に基づく英文和訳システムの現状と問題点について.
情報処理学会　第24回全大, 4K-5, 1982.

西田豊明,小坂晃,堂下修司.
科学技術文献理解システムについての考察.
情報処理学会　第25回全大, 7H-4, 1982.

西田豊明,小坂晃,堂下修司.
モンテギュー文法による機械翻訳システムにおける訳文生成について.
情報処理学会　第25回全大, 6K-5, 1982.

楊頤明,西田豊明,堂下修司.
中国語の解析における問題点と処理方式についての考察.
情報処理学会　第25回全大, 6K-7, 1982.

北澤茂良,森田豊,守田知史,堂下修司.
スペクトルとスペクトル遷移の特徴を用いた破裂子音の識別.
日本音響学会　講演論文, 2-4-6, 1982.

北澤茂良,堂下修司.
破裂部スペクトルとわたりによる日本語無声破裂音の識別.
日本音響学会　講演論文, 1-7-16, 1982.

堂下修司,吉村勝仙,狭間一.
マイクロプロセッサにセルアクセス機構を付加したLISPシステム.
情報処理学会　第24回全大, 2B-3, 1982.

西田豊明,小坂晃,堂下修司.
ハードウェアマニュアル理解のための自然言語解析.
情報処理学会　第26回全大, 6L-1, 1983.

西田豊明,小坂晃,堂下修司.
ハードウェアマニュアル理解のための動作記述モデルと推論法について.
情報処理学会　第26回全大, 7C-1, 1983.

北澤茂良,永岡昌浩,長谷川明,堂下修司.
破裂部スペクトルとわたりによる日本語破裂子音の識別.
日本音響学会　講演論文, 1-2-10, 1983.

\end{thebiblist}

\end{document}