稲垣 康善


英日同時翻訳のための依存構造に基づく訳文生成手法
笠 浩一朗 松原 茂樹 稲垣 康善 
誌名:   電子情報通信学会論文誌 D
発行日: 2009/06/01
Vol. J92-D  No. 6  pp. 921-933
論文種別:  論文
専門分野: 自然言語処理
キーワード: 
機械翻訳同時通訳話し言葉処理依存文法倒置
 あらまし | 本文:PDF(843KB)

依存構造に基づく用例文検索手法とその評価
加藤 芳秀 江川 誠二 松原 茂樹 稲垣 康善 
誌名:   電子情報通信学会論文誌 D
発行日: 2009/03/01
Vol. J92-D  No. 3  pp. 417-427
論文種別:  論文
専門分野: 自然言語処理
キーワード: 
文検索テキストコーパス構文解析精度再現率
 あらまし | 本文:PDF(731KB)

PARSEVAL measuresに基づく漸進的構文解析の定量的評価
加藤 芳秀 松原 茂樹 稲垣 康善 
誌名:   電子情報通信学会論文誌 D
発行日: 2007/10/01
Vol. J90-D  No. 10  pp. 2945-2949
論文種別:  レター
専門分野: 
キーワード: 
構文解析PARSEVAL measures漸進性ラベル精度ラベル再現率
 あらまし | 本文:PDF(134.5KB)

節境界に基づく独話の漸進的係り受け解析
大野 誠寛 松原 茂樹 柏岡 秀紀 加藤 直人 稲垣 康善 
誌名:   電子情報通信学会論文誌 D
発行日: 2007/02/01
Vol. J90-D  No. 2  pp. 556-566
論文種別:  論文
専門分野: 自然言語処理
キーワード: 
音声言語係り受け構造文分割コーパス構文解析
 あらまし | 本文:PDF(417.4KB)

依存構造に基づくコーパス検索
加藤 芳秀 松原 茂樹 稲垣 康善 
誌名:   電子情報通信学会論文誌 D
発行日: 2006/12/01
Vol. J89-D  No. 12  pp. 2766-2770
論文種別:  レター
専門分野: 
キーワード: 
用例文検索依存構造構文木付きコーパス依存構造パターン
 あらまし | 本文:PDF(211.6KB)

モデル生成法に基づくJavaScriptプログラム型検査の機械実行
大久保 弘崇 山本 晋一郎 坂部 俊樹 稲垣 康善 
誌名:   電子情報通信学会論文誌 D
発行日: 2006/04/01
Vol. J89-D  No. 4  pp. 693-704
論文種別:  特集論文 (フォーマルアプローチ論文特集)
専門分野: ソフトウェア
キーワード: 
JavaScript型検査定理自動証明MGTP
 あらまし | 本文:PDF(544.5KB)

音声対話コーパスにおける発話意図タグの設計と評価
入江 友紀 松原 茂樹 河口 信夫 山口 由紀子 稲垣 康善 
誌名:   電子情報通信学会論文誌 D
発行日: 2005/10/01
Vol. J88-D2  No. 10  pp. 2169-2173
論文種別:  レター
専門分野: 
キーワード: 
音声対話コーパス談話行為発話意図理解音声対話システム
 あらまし | 本文:PDF(400KB)

主辞情報付き文脈自由文法に基づく漸進的な依存構造解析
加藤 芳秀 松原 茂樹 外山 勝彦 稲垣 康善 
誌名:   電子情報通信学会論文誌 D
発行日: 2003/01/01
Vol. J86-D2  No. 1  pp. 84-97
論文種別:  論文
専門分野: 自然言語処理
キーワード: 
漸進的構文解析依存関係依存構造解析到達可能性漸進的解釈
 あらまし | 本文:PDF(637.6KB)

項書換え系の並列分散実行のためのメモリ管理機構
山本 晋一郎 坂部 俊樹 稲垣 康善 
誌名:   電子情報通信学会論文誌 D
発行日: 2000/11/25
Vol. J83-D1  No. 11  pp. 1209-1213
論文種別:  レター
専門分野: 
キーワード: 
項書換え系並列処理メモリ管理
 あらまし | 本文:PDF(263KB)

正則な実時間通信プロセスに対するテスト擬順序の記号的特性化
結縁 祥治 坂部 俊樹 稲垣 康善 
誌名:   電子情報通信学会論文誌 D
発行日: 1997/06/25
Vol. J80-D1  No. 6  pp. 474-485
論文種別:  論文
専門分野: ソフトウェア基礎
キーワード: 
通信プロセス実時間処理プロセス代数形式的意味論
 あらまし | 本文:PDF(774.3KB)

項書換え系における並列最外戦略の効率的な実現法
山本 晋一郎 坂部 俊樹 稲垣 康善 
誌名:   電子情報通信学会論文誌 D
発行日: 1994/10/25
Vol. J77-D1  No. 10  pp. 693-702
論文種別:  論文
専門分野: ソフトウェア基礎
キーワード: 
項書換え系マッチング並列最外戦略正規化戦略マッチングオートマトン
 あらまし | 本文:PDF(672.2KB)

文字列書換え系における効率的な最外戦略の実現法
山本 晋一郎 坂部 俊樹 稲垣 康善 
誌名:   電子情報通信学会論文誌 D
発行日: 1994/01/25
Vol. J77-D1  No. 1  pp. 12-20
論文種別:  論文
専門分野: オートマン,言語理論,計算論
キーワード: 
文字列マッチング文字列書換え系ACアルゴリズム
 あらまし | 本文:PDF(611KB)

木パターンマッチングのための並列アルゴリズム
太郎良 浩次 平田 富夫 稲垣 康善 
誌名:   電子情報通信学会論文誌 D
発行日: 1992/07/25
Vol. J75-D1  No. 7  pp. 400-409
論文種別:  論文
専門分野: アルゴリズム,計算複雑性
キーワード: 
並列アルゴリズム木パターンマッチング項パターンマッチングマッチングアルゴリズム
 あらまし | 本文:PDF(646.4KB)

代数的仕様の検証のための被覆集合帰納法
酒井 正彦 坂部 俊樹 稲垣 康善 
誌名:   電子情報通信学会論文誌 D
発行日: 1992/03/25
Vol. J75-D1  No. 3  pp. 170-179
論文種別:  論文
専門分野: ソフトウェア基礎
キーワード: 
帰納法仕様記述検証等式論理
 あらまし | 本文:PDF(650KB)

コンパイラの代数的仕様記述と自動生成
酒井 正彦 坂部 俊樹 稲垣 康善 
誌名:   電子情報通信学会論文誌 D
発行日: 1990/12/25
Vol. J73-D1  No. 12  pp. 979-989
論文種別:  論文
専門分野: ソフトウェアシステム
キーワード: 
 あらまし | 本文:PDF(943.6KB)

代数的仕様記述法に基づく言語処理系の自動生成システムLass
酒井 正彦 坂部 俊樹 稲垣 康善 
誌名:   電子情報通信学会論文誌 D
発行日: 1990/10/25
Vol. J73-D1  No. 10  pp. 829-838
論文種別:  論文
専門分野: ソフトウェアシステム
キーワード: 
 あらまし | 本文:PDF(901KB)

グラフの推移的閉包をオンラインで計算するアルゴリズム
島谷 隆司 平田 富夫 稲垣 康善 
誌名:   電子情報通信学会論文誌 D
発行日: 1990/08/25
Vol. J73-D1  No. 8  pp. 705-706
論文種別:  レター
専門分野: 
キーワード: 
 あらまし | 本文:PDF(159KB)

CCSによるモニタの動作の形式的記述
結縁 祥治 坂部 俊樹 稲垣 康善 
誌名:   電子情報通信学会論文誌 D
発行日: 1990/08/25
Vol. J73-D1  No. 8  pp. 683-692
論文種別:  論文
専門分野: ソフトウェア基礎
キーワード: 
 あらまし | 本文:PDF(788.4KB)

木パターンマッチングのためのシストリックアルゴリズム
平田 富夫 稲垣 康善 
誌名:   電子情報通信学会論文誌 D
発行日: 1990/03/25
Vol. J73-D1  No. 3  pp. 366-369
論文種別:  レター
専門分野: 
キーワード: 
 あらまし | 本文:PDF(239.8KB)

推移的閉包を求めるアルゴリズムのならし計算量
島谷 隆司 平田 富夫 稲垣 康善 
誌名:   電子情報通信学会論文誌 D
発行日: 1989/10/25
Vol. J72-D1  No. 10  pp. 720-725
論文種別:  論文
専門分野: アルゴリズム,計算複雑性
キーワード: 
 あらまし | 本文:PDF(584.1KB)

プログラミング言語の代数的意味論に対する公理的検証体系の健全性
北 英彦 坂部 俊樹 稲垣 康善 
誌名:   電子情報通信学会論文誌 D
発行日: 1989/05/25
Vol. J72-D1  No. 5  pp. 377-386
論文種別:  論文
専門分野: ソフトウェア基礎
キーワード: 
 あらまし | 本文:PDF(624.9KB)

項書換え系とその保存的拡大における代数的意味論と動作意味論の関連について
直井 徹 稲垣 康善 
誌名:   電子情報通信学会論文誌 D
発行日: 1988/10/25
Vol. J71-D  No. 10  pp. 1893-1900
論文種別:  論文
専門分野: オートマトン,言語理論,計算論
キーワード: 
 あらまし | 本文:PDF(745.3KB)

項書換え系の意味論と自由連続代数
直井 徹 稲垣 康善 
誌名:   電子情報通信学会論文誌 D
発行日: 1988/06/25
Vol. J71-D  No. 6  pp. 942-949
論文種別:  論文
専門分野: オートマトン,言語理論,計算論
キーワード: 
 あらまし | 本文:PDF(743.8KB)

Pascal風言語PL/0+の代数的仕様記述
北 英彦 坂部 俊樹 稲垣 康善 高木 雄二 
誌名:   電子情報通信学会論文誌 D
発行日: 1987/12/25
Vol. J70-D  No. 12  pp. 2428-2437
論文種別:  論文
専門分野: ソフトウェア基礎
キーワード: 
 あらまし | 本文:PDF(966.7KB)

シストリックアルゴリズムの定式化と情報の流れ
阿曽 弘具 稲垣 康善 
誌名:   電子情報通信学会論文誌 D
発行日: 1987/06/25
Vol. J70-D  No. 6  pp. 1074-1082
論文種別:  論文
専門分野: アルゴリズム,計算複雑性
キーワード: 
 あらまし | 本文:PDF(790.7KB)

多重ループプログラムを処理するシストリックアルゴリズムの構成法
三浦 大祐 阿曽 弘具 稲垣 康善 
誌名:   電子情報通信学会論文誌 D
発行日: 1987/03/25
Vol. J70-D  No. 3  pp. 515-524
論文種別:  論文
専門分野: アルゴリズム,計算複雑性
キーワード: 
 あらまし | 本文:PDF(740KB)

プログラミング言語の代数的仕様記述法
北 英彦 坂部 俊樹 稲垣 康善 
誌名:   電子情報通信学会論文誌 D
発行日: 1987/02/25
Vol. J70-D  No. 2  pp. 247-258
論文種別:  論文
専門分野: オートマン・言語理論
キーワード: 
 あらまし | 本文:PDF(1009.4KB)

相互通信逐次型プロセス系のデッドロックフリー性の検証
村上 昌己 稲垣 康善 
誌名:   電子情報通信学会論文誌 D
発行日: 1986/02/25
Vol. J69-D  No. 2  pp. 190-197
論文種別:  論文
専門分野: ソフトウェア技法
キーワード: 
 あらまし | 本文:PDF(537.5KB)

相互通信逐次型プロセス系の部分的正当性検証体系
村上 昌己 稲垣 康善 
誌名:   電子情報通信学会論文誌 D
発行日: 1985/11/25
Vol. J68-D  No. 11  pp. 1846-1853
論文種別:  論文
専門分野: ソフトウェア技法
キーワード: 
 あらまし | 本文:PDF(559.9KB)

並行プログラム検証体系のためのダイナミック論理の拡張
村上 昌己 稲垣 康善 本多 波雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1984/10/25
Vol. J67-D  No. 10  pp. 1218-1225
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(594KB)

決定性有限オートマトンの効率のよい合成アルゴリズムとその字句解析プログラム生成系への応用
加藤 貢 稲垣 康善 本多 波雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1984/09/25
Vol. J67-D  No. 9  pp. 1068-1069
論文種別:  技術談話室
専門分野: 
キーワード: 
 あらまし | 本文:PDF(284KB)

閉じた正規表現の代数と完全な公理系
泉 寛幸 稲垣 康善 本多 波雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1984/01/25
Vol. J67-D  No. 1  pp. 56-61
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(396KB)

同期付生成システム
山下 雅史 阿曽 弘具 稲垣 康善 本多 波雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1983/11/25
Vol. J66-D  No. 11  pp. 1278-1285
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(578.4KB)

同期付生成システムを用いた,直線形プロセスから構成される並行処理システムの解析―独立k-左線形SPSとSPS言語―
山下 雅史 稲垣 康善 本多 波雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1983/11/25
Vol. J66-D  No. 11  pp. 1286-1293
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(591.1KB)

無限長記号列を含む集合に関する右線形方程式
泉 寛幸 稲垣 康善 本多 波雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1983/08/25
Vol. J66-D  No. 8  pp. 993-999
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(505.6KB)

代数的仕様記述に基づいたソフトウェアの正当性証明システム
川原林 隆 太田 義勝 大山口 通夫 稲垣 康善 
誌名:   電子情報通信学会論文誌 D
発行日: 1983/06/25
Vol. J66-D  No. 6  pp. 691-698
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(646.3KB)

正規アドヒーレンス言語の閉包性と決定可能問題
泉 寛幸 稲垣 康善 本多 波雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1983/05/25
Vol. J66-D  No. 5  pp. 479-486
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(603.5KB)

画像に対する並列変換と逐次変換の関係
山下 雅史 稲垣 康善 本多 波雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1983/04/25
Vol. J66-D  No. 4  pp. 429-436
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(573.3KB)

正規集合のアドヒーレンスによって得られるω-言語とω-有限オートマトン
泉 寛幸 稲垣 康善 本多 波雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1983/03/25
Vol. J66-D  No. 3  pp. 324-331
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(578KB)

線形巡回形セル構造オートマトンの動的性質
市川 一弥 阿曽 弘具 稲垣 康善 本多 波雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1982/09/25
Vol. J65-D  No. 9  pp. 1129-1136
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(707.9KB)

ヤノフ形並行プログラム図式の決定可能問題
山下 雅史 稲垣 康善 本多 波雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1981/03/25
Vol. J64-D  No. 3  pp. 228-235
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(636.7KB)

有限状態スケジューラを有する並行プログラム図式
山下 雅史 稲垣 康善 本多 波雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1980/08/25
Vol. J63-D  No. 8  pp. 634-641
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(625.4KB)

非決定性セルオートマトンの状相推移関係に関する漸化式とエデンの園
柳瀬 龍郎 稲垣 康善 福村 晃夫 
誌名:   電子情報通信学会論文誌 D
発行日: 1979/02/25
Vol. J62-D  No. 2  pp. 118-125
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(550.5KB)

自由モノイド上の右合同関係と右イデアルとの対によるデータグラフの特性化
坂部 俊樹 稲垣 康善 福村 晃夫 
誌名:   電子情報通信学会論文誌 D
発行日: 1977/10/25
Vol. J60-D  No. 10  pp. 838-845
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(644.9KB)

1次元有限長2値3近傍非同期セルオートマトンとそのエデンの園の問題について
柳瀬 龍郎 稲垣 康善 福村 晃夫 
誌名:   電子情報通信学会論文誌 D
発行日: 1977/05/25
Vol. J60-D  No. 5  pp. 331-338
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(581.7KB)

データグラフの代数的ならびにグラフ的一様性の無限階層構造
坂部 俊樹 稲垣 康善 福村 晃夫 
誌名:   電子情報通信学会論文誌 D
発行日: 1977/02/25
Vol. J60-D  No. 2  pp. 122-128
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(600.3KB)

データグラフのaddressable近似
坂部 俊樹 稲垣 康善 福村 晃夫 
誌名:   電子情報通信学会論文誌 D
発行日: 1976/12/25
Vol. J59-D  No. 12  pp. 897-904
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(591.7KB)

リンク記号系列集合上の右合同関係によるデータグラフの特性化
坂部 俊樹 稲垣 康善 福村 晃夫 
誌名:   電子情報通信学会論文誌 D
発行日: 1976/04/25
Vol. J59-D  No. 4  pp. 284-291
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(591.2KB)

制御状態集合上の樹状言語生成システムについて―文脈自由形と文脈規定形樹状言語の間の階層構造―
伊藤 英則 稲垣 康善 福村 晃夫 
誌名:   電子情報通信学会論文誌 D
発行日: 1974/07/25
Vol. J57-D  No. 7  pp. 395-402
論文種別:  論文・資料
専門分野: 
キーワード: 
 あらまし | 本文:PDF(594.6KB)

制御系列集合上の樹状言語生成システム
伊藤 英則 稲垣 康善 福村 晃夫 
誌名:   電子情報通信学会論文誌 D
発行日: 1974/07/25
Vol. J57-D  No. 7  pp. 403-410
論文種別:  論文・資料
専門分野: 
キーワード: 
 あらまし | 本文:PDF(574.9KB)

樹状言語の族の階層構造
伊藤 英則 稲垣 康善 福村 晃夫 
誌名:   電子情報通信学会論文誌 D
発行日: 1973/10/25
Vol. J56-D  No. 10  pp. 576-583
論文種別:  論文・資料
専門分野: 
キーワード: 
 あらまし | 本文:PDF(605.1KB)

分散木オートマトンと分散文脈規定形木生成システムについて
伊藤 英則 稲垣 康善 福村 晃夫 
誌名:   電子情報通信学会論文誌 D
発行日: 1973/07/25
Vol. J56-D  No. 7  pp. 408-415
論文種別:  論文・資料
専門分野: 
キーワード: 
 あらまし | 本文:PDF(566KB)

文脈規定形方法の導出木の特性化―分散文脈規定形木生成システム―
伊藤 英則 稲垣 康善 福村 晃夫 
誌名:   電子情報通信学会論文誌 D
発行日: 1973/03/25
Vol. J56-D  No. 3  pp. 178-185
論文種別:  論文・資料
専門分野: 
キーワード: 
 あらまし | 本文:PDF(628.4KB)

正方形法による順序機械の逐次的状態割当について
伊藤 誠 稲垣 康善 福村 晃夫 
誌名:   電子情報通信学会論文誌 D
発行日: 1972/12/25
Vol. J55-D  No. 12  pp. 783-790
論文種別:  論文・資料
専門分野: 
キーワード: 
 あらまし | 本文:PDF(658.8KB)

片側文脈規定形文法について
伊藤 英則 稲垣 康善 福村 晃夫 
誌名:   電子情報通信学会論文誌 D
発行日: 1972/09/25
Vol. J55-D  No. 9  pp. 609-616
論文種別:  論文・資料
専門分野: 
キーワード: 
 あらまし | 本文:PDF(672.1KB)

ストリング文法について
伊藤 英則 稲垣 康善 福村 晃夫 
誌名:   電子情報通信学会論文誌 D
発行日: 1972/08/25
Vol. J55-D  No. 8  pp. 523-530
論文種別:  論文・資料
専門分野: 
キーワード: 
 あらまし | 本文:PDF(667.4KB)

制御集合をもつ文脈自由形文法によって生成される言語の認識時間
伊藤 英則 稲垣 康善 福村 晃夫 
誌名:   電子情報通信学会論文誌 D
発行日: 1972/06/25
Vol. J55-D  No. 6  pp. 387-394
論文種別:  論文・資料
専門分野: 
キーワード: 
 あらまし | 本文:PDF(653.2KB)

多段シフトレジスタ形順序回路の合成
伊藤 誠 稲垣 康善 福村 晃夫 
誌名:   電子情報通信学会論文誌 C
発行日: 1971/03/25
Vol. J54-C  No. 3  pp. 225-233
論文種別:  論文・資料
専門分野: 
キーワード: 
 あらまし | 本文:PDF(776.7KB)

擬似正規表現の代数的性質と線形空間オートマトン
稲垣 康善 杉野 花津江 福村 晃夫 
誌名:   電子情報通信学会論文誌 C
発行日: 1970/05/25
Vol. J53-C  No. 5  pp. 309-316
論文種別:  論文・資料
専門分野: 
キーワード: 
 あらまし | 本文:PDF(728.6KB)

NAND論理を用いた論理回路網の合成
伊藤 誠 稲垣 康善 福村 晃夫 
誌名:   電子情報通信学会論文誌 C
発行日: 1969/07/25
Vol. J52-C  No. 7  pp. 415-422
論文種別:  論文・資料
専門分野: 
キーワード: 
 あらまし | 本文:PDF(733.5KB)

線形空間オートマトン
松浦 洋征 稲垣 康善 福村 晃夫 
誌名:   電子情報通信学会論文誌 C
発行日: 1969/05/25
Vol. J52-C  No. 5  pp. 274-281
論文種別:  論文・資料
専門分野: 
キーワード: 
 あらまし | 本文:PDF(592KB)

NAND論理回路網のハザード検出
福村 晃夫 稲垣 康善 伊藤 誠 
誌名:   電子情報通信学会論文誌 C
発行日: 1968/07/25
Vol. J51-C  No. 7  pp. 303-310
論文種別:  論文・資料
専門分野: 
キーワード: 
 あらまし | 本文:PDF(704.9KB)

確率的オートマトンの状態特性方程式による解析
杉野 花津江 稲垣 康善 福村 晃夫 
誌名:   電子情報通信学会論文誌 C
発行日: 1968/01/25
Vol. J51-C  No. 1  pp. 29-36
論文種別:  論文・資料
専門分野: 
キーワード: 
 あらまし | 本文:PDF(630.8KB)