宮崎 修一 | 京都大学大学院情報学研究科
スポンサーリンク
概要
関連著者
-
岩間 一雄
京都大学大学院情報学研究科
-
宮崎 修一
京都大学大学院情報学研究科
-
宮崎 修一
京都大学学術情報メディアセンター
-
内田 敦
京都大学工学部
-
盛田 保文
京都大学情報学研究科
-
盛田 保文
京都大学大学院情報学研究科
-
岡部 寿男
京都大学大型計算機センター
-
Halldorsson Magnus
アイスランド大学:taeknigardur University Of Iceland
-
武富 史郎
京都大学大学院情報学研究科
-
河合 大輔
豊田自動織機製作所
-
河合 大輔
京都大学大学院情報学研究科
-
内田 敦
京都大学大学院情報学研究科
著作論文
- 一般化されたオンライン独立頂点集合問題の競合化
- 条件を緩和した安定結婚問題の複雑さ
- 部分MAXSATを利用した大学情報処理の自動化
- SATに対する局所探索法のベクトル化
- オンライン問題の複雑さの解析について
- 1L-2 オンライン問題のクラス分け