青沼 和隆 | 筑波大学 循環器内科

スポンサーリンク

概要

• 瀬尾 由広の詳細を見る
• 同名の論文著者
• 筑波大学 循環器内科の論文著者

論文 | ランダム

• しきい値関数を表す共有2分決定グラフの最適な変数順序付けの計算複雑度
• 等号を含む第一階時相論理のサブクラスとその恒真性判定問題
• 等号を含む第一階時相論理のサブクラスとその恒真性判定問題(計算モデルと計算の複雑さに関する研究)
• 二分モーメントグラフを用いた大規模多項式の操作手法
• 形式的手法によるキャッシュ・プロトコルの設計検証 : 超並列計算機JUMP-1への適用例

もっと見る

スポンサーリンク