網代 育大 | 早稲田大学大学院理工学研究科
スポンサーリンク
概要
関連著者
-
網代 育大
早稲田大学大学院理工学研究科
-
上田 和紀
早稲田大学大学院情報理工学専攻
-
上田 和紀
早稲田大学
-
長 健太
早稲田大学大学院理工学研究科
-
長 健太
早稲田大学大学院理工学研究科:(現)(株)東芝s&s研究所
-
上田 和紀
早稲田大学理工学部情報学科
著作論文
- 制約に基づく解析による並行論理プログラムの自動デバッグ
- 並行論理プログラムのプログラム空間に関する考察
- 4N-4 並行論理プログラム静的解析系Kimaの実装
- 静的解析と制約充足によるプログラム自動デバッグ
- 制約充足に基づく静的解析手法を用いたプログラミングの自動化に関する研究 : 推論・論理プログラミング(「人工知能分野における博士論文」)