\begin{center}
\vspace*{1cm}
\LARGE \bf
堂下修司先生・堂下研究室　発表論文一覧
\\
	第１巻(I)　
	学会誌 論文
\vspace*{1cm}
\end{center}



\begin{thebiblist}{10}

\bibitem{}
T.Sakai and S.Doshita.
The Automatic Speech Recognition System for Conversational Sound.
IEEE Transactions on Electronic Computers,  EC-12, pp. 835-846, 1963.

\bibitem{}
坂井利之,堂下修司.
会話音声識別装置.
電気通信学会トランザクション「情報と制御の研究」, 1962年度2.3合併号,  pp. 2-10, 1963.

\bibitem{}
坂井利之,堂下修司.
会話音声識別装置.
電気通信学会誌, 第46巻11号,  pp. 1696-1704, 1963.

\bibitem{}
S.Doshita.
Analysis of Speech by Single Tuned Filter.
日本音響学会誌, 第22巻5号,  pp. 291-292, 1965.

\bibitem{}
T.Sakai, S.Doshita, Y.Niimi and K.Tabata.
Fundamental Studies of Speech Analysis and Synthesis.
American Annals of the Deaf, Vo.113, No.2,  pp.156-167, 1968.

\bibitem{}
榎本肇,堂下修司,富田悦次.
サンプル記号列を識別する最簡オートマトンの構成.
電子通信学会誌, 第55巻D,  No. 3,  pp. 210-217, 1972.

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

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

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

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

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

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

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

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

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

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

\bibitem{}
S.Yamasaki and S.Doshita.
The Satisfiability Problems for Some Classes of Extended Horn Sets in the Propositional Logic.
Trans. of IECE, No. 7, 1982.

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

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

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

\bibitem{}
北澤茂良,堂下修司.
破裂部スペクトルによる日本語無声破裂子音の識別.
日本音響学会誌, Vol.40, No.5, pp.332-339, 1984.

\bibitem{}
楊頤明,堂下修司,西田豊明.
中国語解析システムにおけるヒューリスティックな知識の利用.
情報処理学会論文誌, Vol.25, No.6, pp.1044-1054, 1984.

\bibitem{}
S.Yamasaki, M.Yoshida, S.Doshita and M.Hirata.
A New Combination of Input and Unit Deductions for Horn Sentences.
Information Processing Letters, Vol.18, pp.209-213, 1984.

\bibitem{}
西田豊明,川村正,堂下修司.
LSIの動作記述からの知識獲得について.
情報処理学会論文誌, Vol.26, No.6, 1057-1068, 1985.

\bibitem{}
楊頤明,堂下修司.
中国語の意味文法の構成とその処理系の作成.
情報処理学会論文誌, Vol.27, No.2, pp.155-164, 1986.

\bibitem{}
石橋勇人,矢崎朋夫,西田豊明,堂下修司.
人工知能向きオブジェクト指向言語Monad.
人工知能学会誌, Vol.1, No.1, pp.72-80, 1986.

\bibitem{}
S.Yamasaki and S.Doshita.
Resolution Deduction to Detect Satisfiability for Another Class Including Non-Horn Sentences in Propositional Logic.
Information Processing Letters, Vol.23, pp.201-207, 1986.

\bibitem{}
西田豊明,川村正,堂下修司.
動的因果関係解析法による電子回路の定性的解析.
情報処理学会論文誌, Vol.28, No.2, pp. 177-188, 1987.

\bibitem{}
西田豊明,堂下修司.
簡単なパルス回路における不連続変化の定性的解析法.
人工知能学会誌, Vol.2, No.4, pp.93-102, 1987.

\bibitem{}
S.Yamasaki, M.Yoshida and S.Doshita,
A fixpoint semantics of Horn sentences based on substitution sets.
Theoretical Computer Science, Vol.51, No.3, pp.309-324, 1987.

\bibitem{}
山田篤,西田豊明,堂下修司.
2次元平面におけるポテンシャルモデルを用いた位置関係の推定.
情報処理学会論文誌, Vol.29, No.9, pp.824-834, 1988.

\bibitem{}
北澤茂良,児島宏明,堂下修司.
対判別による多群パターンの認識.
電子情報通信学会論文誌, Vol.J72-A, No.1, pp.41-48, 1989.

\bibitem{}
三浦欽也,山崎進,堂下修司.
高階節形式論理におけるエルブランモデルについて.
電子情報通信学会論文誌, Vol.J72-DI, No.2, pp.83-91, 1989.

\bibitem{}
堂下修司,河原達也,水谷陽一,児島宏明,石川雅朗,北澤茂良.
2群対判別法による不特定話者日本語音節中の子音の識別.
日本音響学会誌, Vol.45, No.11, 1989.

\bibitem{}
吉田幹,山崎進,堂下修司.
ユニファイア分離導出の定式化.
電子情報通信学会論文誌,Vol. J72-DI, No.6, pp. 455-464, 1989.

\bibitem{}
三浦欽也,堂下修司,山崎進.
同一性公理を用いた高階節形式の証明系について.
電子情報通信学会論文誌, Vol.J72-DI, No.12, pp.845-855, 1989.

\bibitem{}
山田篤,網谷勝俊,星野泰一,西田豊明,堂下修司.
自然言語における空間描写の解析と情景の再構成.
情報処理, Vol. 31, No. 5, pp. 660-672, 1990.

\bibitem{}
劉学敏,西田豊明,堂下修司.
統合パーサによる統合的自然言語解析.
情報処理学会論文誌, Vol.31, No.9, pp.1293-1301, 1990.  

\bibitem{}
河原達也,堂下修司,北澤茂良.
判別分析とHMMの統合による不特定話者子音認識.
電子情報通信学会論文誌,  Vol.J73-DII, No.9, pp.1363--1372, 1990.

\bibitem{}
西田豊明,堂下修司. 
2次元区分線形微分方程式の挙動の定性解析 (1) 考え方と2次元区分線形微分方程式の挙動の特性の分析.
人工知能学会誌, Vol.6, No.4, pp.545--558, 1991. 

\bibitem{}
西田豊明,堂下修司. 
2次元区分線形微分方程式の挙動の定性解析 (2) 局所解析アルゴリズム.
人工知能学会誌, Vol.6, No.4, pp.559--568, 1991. 

\bibitem{}
西田豊明,堂下修司. 
2次元区分線形微分方程式の挙動の定性解析 (3) 大域解析アルゴリズムと例題.
人工知能学会誌, Vol.6, No.4, pp.569--579, 1991. 

\bibitem{}
X.Liu, T.Nishida and S.Doshita. 
Integrated Natural Language Analysis with an Integrated Parsing Engine IPE.
Journal of Information Processing, Vol.15, No.2, pp.252--260, 1992.

\bibitem{}
河原達也,堂下修司.
対判別に基づく連続型HMMによる音声認識.
電子情報通信学会論文誌,  Vol.J75-DII, No.10, pp.1641--1648, 1992.

\bibitem{}
T.Kawahara and S.Doshita.
Comparison of discrete and continuous classifier-based HMM.
J. Acoust. Soc. Japan (E), Vol.13, No.6, pp.361--367, 1992.

\bibitem{}
T.Nishida.
Towards Integration of Heterogeneous Knowledge for Highly Autonomous Analysis of Dynamical Systems --- Preliminary Reports from the PSX Project.
Journal of Information Processing, Vol.15, No.3, pp.350--363, 1992. 

\bibitem{}
西田豊明.
2次元相空間における常微分方程式の挙動の文法的記述.
人工知能学会誌, Vol.8, No.4, pp.509-518, 1993.

\bibitem{}
T.Nishida, K.Mizutani and S.Doshita.
Automated Analysis of Qualitative Behaviors of Piecewise Linear Differential Equations.
New Generation Computing, Vol. 11, No.2, pp.159-177, 1993.

\bibitem{河原:IEICE94}
河原達也,松本真治,堂下修司.
単語対制約をヒューリスティックとする{A}*探索に基づく 会話音声認識.
電子情報通信学会論文誌,  Vol.J77-DII, No.1, pp.1--8, 1994.

\bibitem{araki95a}
M.Araki and S.Doshita.
Cooperative spoken dialogue model using bayesian network and event hierarchy.
Trans. of IEICE, Vol.E78-D, No.6, pp.629--635, 1995.

\bibitem{河原:IEICE95}
河原達也,宗続敏彦,堂下修司.
ヒューリスティックな言語モデルを用いた会話音声中の単語スポッティング.
電子情報通信学会論文誌,  Vol.J78-DII, No.7, pp.1013--1020, 1995.

\bibitem{}
T.Nishida and S.Doshita.
Qualitative analysis of behavior of systems of piecewise linear
differential equation with two state variables.
Artificial Intelligence, Vol.75, No.1, pp.3-29, 1995.

\bibitem{前田:IEICE96}
前田茂則,岡本真明,河原達也,美濃導彦,池田克夫,堂下修司.
顔画像特徴，歩行画像特徴および音声特徴の統合による個人識別.
電子情報通信学会論文誌,  Vol.J79-DII, No.4, pp.600--607, 1996.

\bibitem{河原:IEICE96}
河原達也,北岡教英,堂下修司.
A*探索に基づいたフレーズスポッティングによる頑健な音声理解.
電子情報通信学会論文誌,  Vol.J79-DII, No.7, pp.1187--1194, 1996.

\bibitem{河原:IPSJ98}
河原達也,田中克明,堂下修司.
音声言語を用いた仮想空間との対話による試着システム.
情報処理学会論文誌, Vol.39, No.5, pp. 1267--1274, 1998.

\bibitem{taro98}
T.Watanabe, M.Araki, and S.Doshita.
Evaluating dialogue strategies under communication errors using computer-to-computer simulation.
Trans. of IEICE, Vol.E81-D, No.9, pp.1025-1033, 1998.

\bibitem{KAW:IEEE98}
T.Kawahara, C.H.Lee, and B.H.Juang.
Flexible speech understanding based on combined key-phrase detection and verification.
IEEE Trans. Speech \& Audio Process., Vol.6, No.6, pp.558--568, 1998.

\bibitem{政瀧:IEICE98}
政瀧浩和,匂坂芳典,久木和也,河原達也.
最大事後確率推定によるN-gram言語モデルのタスク適応.
電子情報通信学会論文誌, Vol.J81-DII, No.11, pp.2519--2525, 1998.

\bibitem{李:IEICE99}
李晃伸, 河原達也, 堂下修司.
単語トレリスインデックスを用いた段階的探索による 大語彙連続音声認識.
電子情報通信学会論文誌, Vol.J82-DII, No.1, pp.1--9, 1999.

\bibitem{河原:ASJ99}
河原達也, 李晃伸, 小林哲則, 武田一哉, 峯松信明, 伊藤克亘, 伊藤彰則, 山本幹雄, 山田篤, 宇津呂武仁, 鹿野清宏.
日本語ディクテーション基本ソフトウェア (97年度版).
日本音響学会誌, Vol.55, No.3, pp.175--180, 1999.

\bibitem{araki99b}
荒木雅弘,熊谷智子,伊藤敏彦,石崎 雅人.
発話単位タグ標準化案の作成.
人工知能学会論文誌, Vol.14, No.2, pp.251-260, 1999.

\bibitem{komatani99}
駒谷和範,荒木雅弘,堂下修司.
対話コーパスにおける発話単位タグの一推定手法.
人工知能学会論文誌, Vol.14, No.2, pp.273-281, 1999.

\bibitem{李:IPSJ99}
李晃伸, 河原達也, 堂下修司.
文法カテゴリ対制約を用いたA*探索に基づく 大語彙連続音声認識パーザ.
情報処理学会論文誌, Vol.40, No.4, pp.1374-1382, 1999.

\bibitem{河原:IPSJ99}
河原達也, 石塚健太郎, 堂下修司.
発話検証に基づく音声操作プロジェクタとそれによる講演の自動ハイパーテキスト化.
情報処理学会論文誌, Vol.40, No.4, pp.1491-1498, 1999.

\bibitem{河原:ASJE99}
T.Kawahara, A.Lee, T.Kobayashi, K.Takeda, N.Minematsu, K.Itou, A.Ito, M.Yamamoto, A.Yamada, T.Utsuro, and K.Shikano.
Japanese dictation toolkit -- 1997 version --.
J. Acoust. Soc. Japan (E), Vol.20, No.3, pp.233-239, 1999.

\bibitem{araki99a}
荒木雅弘,堂下修司.
音声対話システムのための対話の認知プロセスモデル.
自然言語処理, Vol.6, No.4, pp.23-44, 1999.

\end{thebiblist}