久馬 栄道 | 愛知学院大学

スポンサーリンク

概要

• 同名の論文著者
• 愛知学院大学の論文著者

関連著者

• 久馬 栄道

  愛知学院大学

著作論文

• NP完全問題を解く決定性アルゴリズム
• ガジェット・コンピュータはNP完全問題を高速で解くか?
• ブール関数をオラクルに持つ多項式時間階層について
• 部分集合和問題と複写アルゴリズム
• Frequency Circuit Complexity
• 型付きラムダ計算自然数の2進表現計算量の理論
• 古典命題論理における Curry-Howard の対応と強停止性

スポンサーリンク