坂部 俊樹


基本対称関数に基づく節をもつCNF論理式の充足可能性判定
馬野 洋平 酒井 正彦 西田 直樹 坂部 俊樹 草刈 圭一朗 
誌名:   電子情報通信学会論文誌 D
発行日: 2010/01/01
Vol. J93-D  No. 1  pp. 1-9
論文種別:  論文
専門分野: 計算論,計算モデル
キーワード: 
SATソルバ充足可能性基本対称関数高速化
 あらまし | 本文:PDF(383KB)

例外処理付きオブジェクト指向プログラムにおける情報流の安全性解析のための型システム
黒川 翔 桑原 寛明 山本 晋一郎 坂部 俊樹 酒井 正彦 草刈 圭一朗 西田 直樹 
誌名:   電子情報通信学会論文誌 D
発行日: 2008/03/01
Vol. J91-D  No. 3  pp. 757-770
論文種別:  論文
専門分野: ディペンダブルコンピューティング
キーワード: 
セキュリティ検査情報流解析型システム例外処理
 あらまし | 本文:PDF(449.9KB)

単純型項書換え系上の依存対法における実効規則と直積型項へのラベル付け
櫻井 敬大 草刈 圭一朗 酒井 正彦 坂部 俊樹 西田 直樹 
誌名:   電子情報通信学会論文誌 D
発行日: 2007/04/01
Vol. J90-D  No. 4  pp. 978-989
論文種別:  特集論文 (フォーマルアプローチ論文特集)
専門分野: 基礎理論
キーワード: 
単純型項書換え系停止性強計算依存対法実効規則ラベル付け
 あらまし | 本文:PDF(301.2KB)

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

構成子項書換え系の逆計算プログラムの生成
西田 直樹 酒井 正彦 坂部 俊樹 
誌名:   電子情報通信学会論文誌 D
発行日: 2005/08/01
Vol. J88-D1  No. 8  pp. 1171-1183
論文種別:  論文
専門分野: 計算論,計算モデル
キーワード: 
条件付きTRSナローイング逆計算プログラム変換余剰変数
 あらまし | 本文:PDF(337.2KB)

項書換え系の並列分散実行のためのメモリ管理機構
山本 晋一郎 坂部 俊樹 稲垣 康善 
誌名:   電子情報通信学会論文誌 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/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)

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

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

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

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

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

データグラフの代数的ならびにグラフ的一様性の無限階層構造
坂部 俊樹 稲垣 康善 福村 晃夫 
誌名:   電子情報通信学会論文誌 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)