関本 彰次


高階関数を対象としたlazyな関数型言語についての並列リダクション
国持 良行 鈴木 敏之 関本 彰次 
誌名:   電子情報通信学会論文誌 D
発行日: 1995/10/25
Vol. J78-D1  No. 10  pp. 839-849
論文種別:  論文
専門分野: ソフトウェア基礎
キーワード: 
関数型言語高階関数ストリクト性並列リダクション遅延評価
 あらまし | 本文:PDF(736.5KB)

結合子を用いた並列リダクション
堀 有 広川 佐千男 関本 彰次 
誌名:   電子情報通信学会論文誌 D
発行日: 1987/08/25
Vol. J70-D  No. 8  pp. 1498-1507
論文種別:  論文
専門分野: ソフトウェア技法
キーワード: 
 あらまし | 本文:PDF(731.1KB)

等号を含む定理証明における単位証明法と入力証明法について
関本 彰次 
誌名:   電子情報通信学会論文誌 D
発行日: 1984/03/25
Vol. J67-D  No. 3  pp. 313-320
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(712.6KB)

実時間空スタック到達的dpdaの等価性判定問題について
関本 彰次 
誌名:   電子情報通信学会論文誌 D
発行日: 1983/03/25
Vol. J66-D  No. 3  pp. 281-285
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(399.7KB)

決定性プッシュダウンオートマトンの等価性判定問題の一結果
関本 彰次 
誌名:   電子情報通信学会論文誌 D
発行日: 1981/08/25
Vol. J64-D  No. 8  pp. 661-668
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(701.9KB)

決定性有限ターンプッシュダウンオートマトンの等価性判定問題について
関本 彰次 
誌名:   電子情報通信学会論文誌 D
発行日: 1981/06/25
Vol. J64-D  No. 6  pp. 463-470
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(715.9KB)

単調ε-遷移的LRマシンの等価性判定問題の一拡張
関本 彰次 
誌名:   電子情報通信学会論文誌 D
発行日: 1981/05/25
Vol. J64-D  No. 5  pp. 419-426
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(681.1KB)

単調ε-遷移的LRマシンの等価性判定問題について
関本 彰次 
誌名:   電子情報通信学会論文誌 D
発行日: 1980/11/25
Vol. J63-D  No. 11  pp. 970-977
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(720.2KB)

入力先読形式ボトムアップ形DPDAの等価性判定問題の一結果
関本 彰次 
誌名:   電子情報通信学会論文誌 D
発行日: 1980/06/25
Vol. J63-D  No. 6  pp. 461-468
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(707.2KB)

入力先読形式ボトムアップ形DPDA(LR)の特性化
関本 彰次 
誌名:   電子情報通信学会論文誌 D
発行日: 1980/06/25
Vol. J63-D  No. 6  pp. 469-476
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(677.3KB)

LRk)パーザの一縮小法
関本 彰次 向井 国昭 首藤 勝 
誌名:   電子情報通信学会論文誌 D
発行日: 1978/06/25
Vol. J61-D  No. 6  pp. 403-410
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(704.8KB)

LR(k)parserの最小化問題について
関本 彰次 向井 国昭 首藤 勝 
誌名:   電子情報通信学会論文誌 D
発行日: 1973/10/25
Vol. J56-D  No. 10  pp. 599-606
論文種別:  論文・資料
専門分野: 
キーワード: 
 あらまし | 本文:PDF(657.7KB)