スポンサーリンク
早稲田大学理工学部情報学科 | 論文
- 有限ステップで停止する全解探索アルゴリズムの改良について : Newton法の修正量を利用した改良法
- A-2-5 非線形方程式の全解探索問題におけるAffine Arithmeticを用いた非存在領域の除去法
- 制約に基づく解析による並行論理プログラムの自動デバッグ
- 30p-YW-10 超離散方程式における直接法
- 28p-WD-7 パフィアン解を持つロトカ・ヴォルテラ型方程式の超離散化
- 4p-A-1 Discrete KdV Equation and ε-algorithm
- Discrete Lotka-Volterra Equation の保存量(非線型可積分系の研究の現状と展望)
- 離散ソリトン方程式における解の構造
- 用心深い行動計画
- 現実世界に通用する問題解決行動
- 数学文章題の問題世界における事物の統合・分割の関係の分類
- デ-タベ-ス管理システム
- 6K-4 LMNtal処理系SLIMのモデル検査機能の並列化(情報爆発時代における並列分散処理技術,一般セッション,「情報爆発」時代に向けた新IT基盤技術,情報処理学会創立50周年記念(第72回)全国大会)
- 6K-2 クラスタ向け並列precosatの開発と性能評価(情報爆発時代における並列分散処理技術,一般セッション,「情報爆発」時代に向けた新IT基盤技術,情報処理学会創立50周年記念(第72回)全国大会)
- 1M-1 ハイブリッドシステムモデリング言語HydLaの区間制約に基づく全解シミュレーション実行処理系(モデリング・上流設計,学生セッション,アーキテクチャ,情報処理学会創立50周年記念)
- 論理・制約プログラミングと並行計算(論理と推論技術の展開)
- 特集「論理と推論技術の展開」の編集にあたって
- 6ZJ-8 軽量なLMNtal実行時処理系SLIMの設計と実装(情報爆発時代における並列分散処理技術,学生セッション,「情報爆発」時代に向けた新しいIT基盤技術)
- 4N-2 KLICへのデータ並列処理機能の導入について
- 3K-2 汎用並列組合せ最適化パッケージの構想
スポンサーリンク