黒田 嘉紀 | 宮崎大学　医学部　社会医学講座　公衆衛生学分野

スポンサーリンク

概要

• 黒田 嘉紀の詳細を見る
• 同名の論文著者
• 宮崎大学　医学部　社会医学講座　公衆衛生学分野の論文著者

論文 | ランダム

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

もっと見る

スポンサーリンク