解の数値的存在検証に最適な関数基底の研究

スポンサーリンク

概要

• 論文の詳細を見る

論文 | ランダム

• 並列分散型連続メディア処理モデルHEARTSにおける同時性保証機構
• 関数型プログラムの宣言的デバッグシステムDDS
• 関数型言語における要求駆動型評価の並列処理向き最適化
• 関数型プログラムの戦略的バグ検出法(コードとデザインを中心とした組合せ数学)
• 再帰関数表における依存属性集合の計算法

もっと見る

スポンサーリンク