周 能法 | ニューヨーク市立大学ブルックリン校情報科学部
スポンサーリンク
概要
関連著者
-
周 能法
ニューヨーク市立大学ブルックリン校情報科学部
-
長澤 勲
九州工業大学大学院情報工学研究科
-
長澤 勲
九州工業大学大学院情報工学研究院
-
長澤 勲
九州工業大学
-
周 能法
九州工業大学情報工学部機械システム工学科
-
片峯 恵一
九州工業大学
-
長沢 勲
九州工業大学
-
兼子 聡介
九州工業大学大学院情報工学研究科
著作論文
- 有限領域上の等式制約コンパイルのための一最適化手法とその実装
- PrologからCへの変換について
- 決定的なPrologプログラムのCへの変換および最適化
- Finite-domain Constraint Programming in Beta-Prolog