制約付き項書換え系の書換え帰納法における補題等式の自動生成法 von 中林, 直生, 西田, 直樹, 草刈, 圭一朗, 坂部, 俊樹, 酒井, 正彦

Volltext

オブジェクト指向計算モデルにおける例外処理機能の型付 von 堀江, 美保子, 酒井, 正彦, 坂部, 俊樹

Volltext

右辺のみに現れる変数を持つ線形構成子項書換え系の計算の効率化 von 西田, 直樹, 酒井, 正彦, 坂部, 俊樹

Volltext

右辺のみに現れる変数を持つ項書換え系の計算モデル von 西田, 直樹, 酒井, 正彦, 坂部, 俊樹

Volltext

限量子付き等式理論の変換に基づく仕様からのプログラム生成 von 長島, 正憲, 酒井, 正彦, 坂部, 俊樹, 草刈, 圭一朗

Volltext

PT関数の逆関数を定義するTRSの生成 von 西田, 直樹, 酒井, 正彦, 坂部, 俊樹

Volltext

基本対称関数に基づく節をもつCNF論理式の充足可能性判定 von 馬野, 洋平, 酒井, 正彦, 西田, 直樹, 坂部, 俊樹

Volltext

基本対称関数に基づく節をもつCNF論理式の充足可能性判定 von 馬野, 洋平, 酒井, 正彦, 西田, 直樹, 坂部, 俊樹, 草刈, 圭一朗

Volltext

Lemma Generation Method in Rewriting Induction for Constrained Term Rewriting Systems von NAKABAYASHI, Naoki, NISHIDA, Naoki, KUSAKARI, Keiichirou, SAKABE, Toshiki, SAKAI, Masahiko

Volltext

メタ項書換え計算における規則中に規則を含む直交メタ項の合流性 von 洪, 順姫, 酒井, 正彦, 坂部, 俊樹

Volltext

オブジェクト指向プログラムに対するMessage Not Understoodフォールト検知のための型検査アルゴリズム von 大久保, 弘崇, 坂部, 俊樹, 稲垣, 康善

Volltext

項書換え系の解析・検証・変換のための視覚的支援手法 von 河口, 信夫, 坂部, 俊樹, 稲垣, 康善

Volltext

右辺のみに現れる変数を持つ右線形構成子項書換え系の計算の効率化 von 西田, 直樹, 酒井, 正彦, 坂部, 俊樹

Volltext

オブジェクト指向計算モデルにおける例外処理機能の型付 von 堀江, 美保子, 酒井, 正彦, 坂部, 俊樹

Volltext

右辺のみに現れる変数を持つ項書換え系の計算モデル von 西田, 直樹, 酒井, 正彦, 坂部, 俊樹

Volltext

限量子付き等式理論の変換に基づく仕様からのプログラム生成 von 長島, 正憲, 酒井, 正彦, 坂部, 俊樹, 草刈, 圭一朗

Volltext

抽象データ型の代数的仕様の直接実現系Cdimple von 洒井, 正彦, 坂部, 俊樹, 稲垣, 康善

Volltext

Typing Exceptions in an Object calculus von HORIE, Mihoko, SAKAI, Masahiko, SAKABE, Toshiki

Volltext

関数型プログラミング言語Standard MLを用いた項書換え計算の視覚化の実現 von 河口, 信夫, 坂部, 俊樹, 稲垣, 康善

Volltext

CGH法を用いた食道扁平上皮癌における染色体コピー数異常の解析と転写因子DP-1の増幅 von 四ノ宮, 隆, 森, 俊樹, 有山, 洋二, 坂部, 智哉, 福田, 陽司, 久, 育男, 村上, 泰, 中村, 祐輔, 稲澤, 譲治

Volltext