山本 晋一郎


ソフトウェア開発支援基盤のためのソースプログラムの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)