山本　晋一郎

ソフトウェア開発支援基盤のためのソースプログラムのXML表現
渥美　紀寿 小林　隆志 山本　晋一郎 阿草　清滋 
誌名:   電子情報通信学会論文誌 D
発行日: 2013/11/01
Vol. J96-D  No. 11  pp. 2681-2691
論文種別:  特集論文 (ソフトウェア基礎・応用論文特集)
専門分野: ソフトウェア工学
キーワード: 
プログラム解析, CASEツール・プラットホーム, 解析サービス, 開発支援, 
 あらまし | 本文:PDF(1.2MB)
例外処理付きオブジェクト指向プログラムにおける情報流の安全性解析のための型システム
黒川　翔 桑原　寛明 山本　晋一郎 坂部　俊樹 酒井　正彦 草刈　圭一朗 西田　直樹 
誌名:   電子情報通信学会論文誌 D
発行日: 2008/03/01
Vol. J91-D  No. 3  pp. 757-770
論文種別:  論文
専門分野: ディペンダブルコンピューティング
キーワード: 
セキュリティ検査, 情報流解析, 型システム, 例外処理, 
 あらまし | 本文:PDF(449.9KB)
モデル生成法に基づくJavaScriptプログラム型検査の機械実行
大久保　弘崇 山本　晋一郎 坂部　俊樹 稲垣　康善 
誌名:   電子情報通信学会論文誌 D
発行日: 2006/04/01
Vol. J89-D  No. 4  pp. 693-704
論文種別:  特集論文 (フォーマルアプローチ論文特集)
専門分野: ソフトウェア
キーワード: 
JavaScript, 型検査, 定理自動証明, MGTP, 
 あらまし | 本文:PDF(544.5KB)
イディオム検索のための関数呼出依存グラフのクラスタリング手法
渥美　紀寿 山本　晋一郎 阿草　清滋 
誌名:   電子情報通信学会論文誌 D
発行日: 2005/11/01
Vol. J88-D1  No. 11  pp. 1696-1707
論文種別:  論文
専門分野: ソフトウェア工学
キーワード: 
ソフトウェア再利用, ソフトウェア検索, イディオム, 類似度, クラスタリング, 
 あらまし | 本文:PDF(1.6MB)
項書換え系の並列分散実行のためのメモリ管理機構
山本　晋一郎 坂部　俊樹 稲垣　康善 
誌名:   電子情報通信学会論文誌 D
発行日: 2000/11/25
Vol. J83-D1  No. 11  pp. 1209-1213
論文種別:  レター
専門分野: 
キーワード: 
項書換え系, 並列処理, メモリ管理, 
 あらまし | 本文:PDF(263KB)
項集合書換え系とその合流性
粕谷　英人 酒井　正彦 山本　晋一郎 阿草　清滋 
誌名:   電子情報通信学会論文誌 D
発行日: 1997/04/25
Vol. J80-D1  No. 4  pp. 325-334
論文種別:  論文
専門分野: オートマン，言語理論，計算論
キーワード: 
項書換え系, 合流性, 停止性, 完備化, 
 あらまし | 本文:PDF(582.9KB)
共有メモリ型並列計算機における項書換え系の実現方式
山本　晋一郎 石川　亮 酒井　正彦 阿草　清滋 
誌名:   電子情報通信学会論文誌 D
発行日: 1995/06/25
Vol. J78-D1  No. 6  pp. 559-562
論文種別:  レター
専門分野: 
キーワード: 
項書換え系, 並列処理, 共有メモリ型並列計算機, 
 あらまし | 本文:PDF(246.1KB)
エラー付き代数的仕様とエラー記述の自動付加
濱口　毅 酒井　正彦 山本　晋一郎 阿草　清滋 
誌名:   電子情報通信学会論文誌 D
発行日: 1995/03/25
Vol. J78-D1  No. 3  pp. 323-330
論文種別:  論文
専門分野: ソフトウェアシステム
キーワード: 
代数的仕様記述, エラー記述, 
 あらまし | 本文:PDF(566.5KB)
項書換え系における並列最外戦略の効率的な実現法
山本　晋一郎 坂部　俊樹 稲垣　康善 
誌名:   電子情報通信学会論文誌 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)