配列を扱う非線形先頭再帰プログラムからの再帰除去

by 高須, 洋平, TAKASU, Yohei, 酒井, 正彦, SAKAI, Masahiko, 西田, 直樹, NISHIDA, Naoki, 草刈, 圭一朗, KUSAKARI, Keiichirou, 坂部, 俊樹, SAKABE, Toshiki
Published 2005

項到達可能性の判定における成長TRSに対する手法と正規化規則による手法の関係

by 村田, 龍彦, MURATA, Tatsuhiko, 酒井, 正彦, SAKAI, Masahiko, 西田, 直樹, NISHIDA, Naoki, 草刈, 圭一朗, KUSAKARI, Keiichirou, 坂部, 俊樹, SAKABE, Toshiki
Published 2005

変換と部分評価に基づく非左辺正規なメタ項の停止性証明

by 蛸島, 洋明, TAKOJIMA, Hiroaki, 酒井, 正彦, SAKAI, Masahiko, 坂部, 俊樹, SAKABE, Toshiki, 西田, 直樹, NISHIDA, Naoki, 草刈, 圭一朗, KUSAKARI, Keiichirou
Published 2005

弱最内戦略を完全にする項書換え系の等価交換

by 岡本, 晃治, OKAMOTO, Koji, 酒井, 正彦, SAKAI, Masahiko, 西田, 直樹, NISHIDA, Naoki, 草刈, 圭一朗, KUSAKARI, Keiichirou, 坂部, 俊樹, SAKABE, Toshiki
Published 2005

ベイズ主義の社会化はいかにあるべきか - リーバイのモデルの検討を通して -

by 伊勢田, 哲治, Iseda, Tetsuji
Published 2006