1 |
プログラム生成系GeneSysにおける等式仕様への否定の導入NISHIDA, Naoki, KUSAKARI, Keiichirou, SAKABE, Toshiki, SAKAI, Masahiko, KONDO, Satoru, 西田, 直樹, 草刈, 圭一郎, 坂部, 俊樹, 酒井, 正彦, 近藤, 悟 12 1900 (has links)
No description available.
|
2 |
条件付き等式の変換に基づくプログラム生成KUSAKARI Keiichirou, NISHIDA, Naoki, SAKABE, Toshiki, SAKAI, Masahiro, NAGASHIMA, Masanori, 草刈, 圭一朗, 西田, 直樹, 坂部, 俊樹, 酒井, 正彦, 長島, 正憲 12 1900 (has links)
No description available.
|
3 |
弱最内戦略を完全にする項書換え系の等価交換岡本, 晃治, OKAMOTO, Koji, 酒井, 正彦, SAKAI, Masahiko, 西田, 直樹, NISHIDA, Naoki, 草刈, 圭一朗, KUSAKARI, Keiichirou, 坂部, 俊樹, SAKABE, Toshiki 04 1900 (has links)
No description available.
|
4 |
振舞等価性の証明のための等式付き書換えに基づく潜在帰納法KUSAKARI, Keiichiro, SAKABE, Toshiki, NISHIDA, Naoki, SAKAI, Masahiko, SASADA, Yuji, 草刈, 圭一朗, 坂部, 俊樹, 西田, 直樹, 酒井, 正彦, 笹田, 悠司 07 1900 (has links)
No description available.
|
5 |
等式を規則化する変換の停止条件KUSAKARI, Keiichirou, SAKAI, Masahiko, SAKABE, Toshiki, NISHIDA, Naoki, MIZUNO, Kiyotaka, 草刈, 圭一朗, 酒井, 正彦, 坂部, 俊樹, 西田, 直樹, 水野, 清貴 02 1900 (has links)
No description available.
|
6 |
単純型項書き換え系上の依存対法における実効規則と直積型項へのラベル付けKUSAKARI, Keiichirou, 楼井, 敬大, SAKURAI, Takahiro, 草刈, 圭一朗, 酒井, 正彦, SAKAI, Masahiko, 坂部, 俊樹, SAKABE, Toshiki, 西田, 直樹, NISHIDA, Naoki January 2007 (has links)
No description available.
|
Page generated in 0.0132 seconds