玉置 卓

最終更新日時: 2018/05/16 11:22:37

印刷する

氏名(漢字/フリガナ/アルファベット表記)
玉置 卓/タマキ スグル/Suguru Tamaki
所属部署・職名(部局/所属/講座等/職名)
情報学研究科/通信情報システム専攻コンピュータ工学講座/助教
学部兼担
部局 所属 講座等 職名
工学部 工学部 情報学科
取得学位
学位名(日本語) 学位名(英語) 大学(日本語) 大学(英語) 取得区分
修士(情報学) 京都大学
博士(情報学) 京都大学
プロフィール
(日本語)
2006年京都大学大学院情報学研究科 博士課程修了。情報学博士。特任助教等を経て2009年1月より京都大学大学院情報学研究科通信情報システム専攻 助教。専門は理論計算機科学、とりわけアルゴリズム論や計算理論。充足可能性問題等の計算困難な組合せ問題に対する厳密アルゴリズム、近似アルゴリズムと近似困難性、および、数理論理学における証明系の計算複雑さの研究を行っている。
(英語)
He got Ph.D. in 2006 from Kyoto University. After working as a postdoctoral researcher, he is now an assistant professor of Graduate School of Informatics, Kyoto University. His research interests are mainly algorithms and computation theory. He is currently working on design and analysis of exact and approximation algorithms, hardness of approximation and complexity of propositional proof systems.
個人ホームページ
URL
http://www.lab2.kuis.kyoto-u.ac.jp/~tamak/
研究テーマ
(日本語)
厳密指数時間アルゴリズム, 近似アルゴリズム, 近似困難性, 証明計算量
(英語)
Exact Exponential Algorithm, Approximation Algorithm, Hardness of Approximation, Proof Complexity
研究分野(キーワード)
キーワード(日本語) キーワード(英語)
理論計算機科学 Theoretical Computer Science
離散数学 Discrete Mathematics
計算の理論 Theory of Computation
アルゴリズム理論 Theory of Algorithm
研究分野(科研費分類コード)
科研費分類コード
情報学基礎
論文
著者 著者(日本語) 著者(英語) タイトル タイトル(日本語) タイトル(英語) 書誌情報等 出版年月 査読の有無 記述言語 掲載種別 公開
Alexander Golovnev, Alexander S. Kulikov, Alexander V. Smal and Suguru Tamaki Alexander Golovnev, Alexander S. Kulikov, Alexander V. Smal and Suguru Tamaki Alexander Golovnev, Alexander S. Kulikov, Alexander V. Smal and Suguru Tamaki Gate Elimination: Circuit Size Lower Bounds and #SAT Upper Bounds Gate Elimination: Circuit Size Lower Bounds and #SAT Upper Bounds Gate Elimination: Circuit Size Lower Bounds and #SAT Upper Bounds Theoretical Computer Science,719,46-63 2018/04 英語 研究論文(学術雑誌) 公開
Suguru Tamaki and Yuichi Yoshida Suguru Tamaki and Yuichi Yoshida Suguru Tamaki and Yuichi Yoshida Approximation Guarantees for the Minimum Linear Arrangement Problem by Higher Eigenvalues Approximation Guarantees for the Minimum Linear Arrangement Problem by Higher Eigenvalues Approximation Guarantees for the Minimum Linear Arrangement Problem by Higher Eigenvalues ACM Transactions on Algorithms, to appear 2018 英語 研究論文(学術雑誌) 公開
Takayuki Sakai, Kazuhisa Seto, Suguru Tamaki and Junichi Teruyama Takayuki Sakai, Kazuhisa Seto, Suguru Tamaki and Junichi Teruyama Improved Exact Algorithms for Mildly Sparse Instances of Max SAT Improved Exact Algorithms for Mildly Sparse Instances of Max SAT Improved Exact Algorithms for Mildly Sparse Instances of Max SAT Theoretical Computer Science,697,58-68 2017/10 英語 研究論文(学術雑誌) 公開
Akinori Kawachi, Kenichi Kawano, François Le Gall and Suguru Tamaki Akinori Kawachi, Kenichi Kawano, François Le Gall and Suguru Tamaki Akinori Kawachi, Kenichi Kawano, François Le Gall and Suguru Tamaki Quantum Query Complexity of Unitary Operator Discrimination Quantum Query Complexity of Unitary Operator Discrimination Quantum Query Complexity of Unitary Operator Discrimination Proceedings of the 23rd Annual International Computing and Combinatorics Conference (COCOON),309-320 2017/08 英語 研究論文(国際会議プロシーディングス) 公開
Suguru Tamaki and Osamu Watanabe Suguru Tamaki and Osamu Watanabe Daniel Lokshtanov, Ramamohan Paturi, Suguru Tamaki, Ryan Williams and Huacheng Yu Beating Brute Force for Systems of Polynomial Equations over Finite Fields Beating Brute Force for Systems of Polynomial Equations over Finite Fields Beating Brute Force for Systems of Polynomial Equations over Finite Fields Proceedings of the 28th ACM-SIAM Symposium on Discrete Algorithms (SODA),2190-2202 2017/01 英語 研究論文(国際会議プロシーディングス) 公開
Suguru Tamaki and Osamu Watanabe Suguru Tamaki and Osamu Watanabe Suguru Tamaki and Osamu Watanabe Local Restrictions from the Furst-Saxe-Sipser Paper Local Restrictions from the Furst-Saxe-Sipser Paper Local Restrictions from the Furst-Saxe-Sipser Paper Theory of Computing Systems,60,1,20-32 2017/01 英語 研究論文(学術雑誌) 公開
Takayuki Sakai, Kazuhisa Seto, Suguru Tamaki and Junichi Teruyama Takayuki Sakai, Kazuhisa Seto, Suguru Tamaki and Junichi Teruyama Takayuki Sakai, Kazuhisa Seto, Suguru Tamaki and Junichi Teruyama Bounded Depth Circuits with Weighted Symmetric Gates: Satisfiability, Lower Bounds and Compression Bounded Depth Circuits with Weighted Symmetric Gates: Satisfiability, Lower Bounds and Compression Bounded Depth Circuits with Weighted Symmetric Gates: Satisfiability, Lower Bounds and Compression Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science (MFCS),82:1-82:16 2016/08 英語 研究論文(国際会議プロシーディングス) 公開
Alexander Golovnev, Alexander S. Kulikov, Alexander V. Smal and Suguru Tamaki Alexander Golovnev, Alexander S. Kulikov, Alexander V. Smal and Suguru Tamaki Alexander Golovnev, Alexander S. Kulikov, Alexander V. Smal and Suguru Tamaki Circuit size lower bounds and #SAT upper bounds through a general framework Circuit size lower bounds and #SAT upper bounds through a general framework Circuit size lower bounds and #SAT upper bounds through a general framework Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science (MFCS),45:1-45:16 2016/08 英語 研究論文(国際会議プロシーディングス) 公開
Suguru Tamaki Suguru Tamaki Suguru Tamaki Parallel Repetition of Two Prover One Round Games: An Exposition Parallel Repetition of Two Prover One Round Games: An Exposition Parallel Repetition of Two Prover One Round Games: An Exposition Interdisciplinary Information Sciences,21,4,306 2015/12 英語 研究論文(学術雑誌) 公開
Suguru Tamaki and Yuichi Yoshida Suguru Tamaki and Yuichi Yoshida Suguru Tamaki and Yuichi Yoshida A Query Efficient Non-Adaptive Long Code Test with Perfect Completeness A Query Efficient Non-Adaptive Long Code Test with Perfect Completeness A Query Efficient Non-Adaptive Long Code Test with Perfect Completeness Random Structures & Algorithms,47,2,386-406 2015/09 英語 研究論文(学術雑誌) 公開
Takayuki Sakai, Kazuhisa Seto, Suguru Tamaki, and Junichi Teruyama Takayuki Sakai, Kazuhisa Seto, Suguru Tamaki, and Junichi Teruyama Takayuki Sakai, Kazuhisa Seto, Suguru Tamaki, and Junichi Teruyama Improved Exact Algorithms for Mildly Sparse Instances of Max SAT (extended abstract) Improved Exact Algorithms for Mildly Sparse Instances of Max SAT (extended abstract) Improved Exact Algorithms for Mildly Sparse Instances of Max SAT (extended abstract) Proceedings of the 10th International Symposium on Parameterized and Exact Computation (IPEC),43,90-101 2015/09 英語 研究論文(国際会議プロシーディングス) 公開
Takayuki Sakai, Kazuhisa Seto and Suguru Tamaki Takayuki Sakai, Kazuhisa Seto and Suguru Tamaki Takayuki Sakai, Kazuhisa Seto and Suguru Tamaki Solving Sparse Instances of Max SAT via Width Reduction and Greedy Restriction Solving Sparse Instances of Max SAT via Width Reduction and Greedy Restriction Solving Sparse Instances of Max SAT via Width Reduction and Greedy Restriction Theory of Computing Systems,57,2,426-443 2015/08 英語 公開
Suguru Tamaki,Yuichi Yoshida Suguru Tamaki,Yuichi Yoshida Suguru Tamaki,Yuichi Yoshida Robust Approximation of Temporal CSP. Robust Approximation of Temporal CSP. Robust Approximation of Temporal CSP. Proceedings of the 17th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (APPROX) and the 18th International Workshop on Randomization and Computation (RANDOM),28,419-432 2014/09 英語 研究論文(国際会議プロシーディングス) 公開
Takayuki Sakai,Kazuhisa Seto,Suguru Tamaki Takayuki Sakai,Kazuhisa Seto,Suguru Tamaki Takayuki Sakai,Kazuhisa Seto,Suguru Tamaki Solving Sparse Instances of Max SAT via Width Reduction and Greedy Restriction (extended abstract) Solving Sparse Instances of Max SAT via Width Reduction and Greedy Restriction (extended abstract) Solving Sparse Instances of Max SAT via Width Reduction and Greedy Restriction (extended abstract) Proceedings of the 17th International Conference on Theory and Applications of Satisfiability Testing (SAT),8561,32-47 2014/07 英語 研究論文(国際会議プロシーディングス) 公開
Kazuhisa Makino,Suguru Tamaki,Masaki Yamamoto Kazuhisa Makino,Suguru Tamaki,Masaki Yamamoto Kazuhisa Makino,Suguru Tamaki,Masaki Yamamoto Derandomizing the HSSW Algorithm for 3-SAT. Derandomizing the HSSW Algorithm for 3-SAT. Derandomizing the HSSW Algorithm for 3-SAT. Algorithmica,67,2,112-124 2013/10 英語 研究論文(学術雑誌) 公開
玉置 卓 玉置 卓 Suguru Tamaki メタアルゴリズムと計算限界証明の不思議な関係 メタアルゴリズムと計算限界証明の不思議な関係 Intriguing connections between meta-algorithms and the limitations of computation 電子情報通信学会誌,96,9,679-682 2013/09 日本語 研究論文(学術雑誌) 公開
Kazuhisa Seto,Suguru Tamaki Kazuhisa Seto,Suguru Tamaki Kazuhisa Seto,Suguru Tamaki A satisfiability algorithm and average-case hardness for formulas over the full binary basis. A satisfiability algorithm and average-case hardness for formulas over the full binary basis. A satisfiability algorithm and average-case hardness for formulas over the full binary basis. Computational Complexity,22,2,245-274 2013/06 英語 研究論文(学術雑誌) 公開
Suguru Tamaki,Yuichi Yoshida Suguru Tamaki,Yuichi Yoshida Suguru Tamaki,Yuichi Yoshida Approximation Guarantees for the Minimum Linear Arrangement Problem by Higher Eigenvalues (extended abstract) Approximation Guarantees for the Minimum Linear Arrangement Problem by Higher Eigenvalues (extended abstract) Approximation Guarantees for the Minimum Linear Arrangement Problem by Higher Eigenvalues (extended abstract) Proceedings of the 15th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (APPROX) and the 16th International Workshop on Randomization and Computation (RANDOM),313-324 2012/08 英語 研究論文(国際会議プロシーディングス) 公開
Kazuhisa Seto,Suguru Tamaki Kazuhisa Seto,Suguru Tamaki Kazuhisa Seto,Suguru Tamaki A Satisfiability Algorithm and Average-Case Hardness for Formulas over the Full Binary Basis (extended abstract) A Satisfiability Algorithm and Average-Case Hardness for Formulas over the Full Binary Basis (extended abstract) A Satisfiability Algorithm and Average-Case Hardness for Formulas over the Full Binary Basis (extended abstract) Proceedings of the 27th IEEE Conference on Computational Complexity (CCC),107-116 2012/06 英語 研究論文(国際会議プロシーディングス) 公開
Gábor Kun,Ryan O'Donnell,Suguru Tamaki,Yuichi Yoshida,Yuan Zhou Gábor Kun,Ryan O'Donnell,Suguru Tamaki,Yuichi Yoshida,Yuan Zhou Gábor Kun,Ryan O'Donnell,Suguru Tamaki,Yuichi Yoshida,Yuan Zhou Linear programming, width-1 CSPs, and robust satisfaction. Linear programming, width-1 CSPs, and robust satisfaction. Linear programming, width-1 CSPs, and robust satisfaction. Proceedings of the 3rd ACM-SIGACT Conference on Innovations in Theoretical Computer Science (ITCS),484-495 2012/01 英語 研究論文(国際会議プロシーディングス) 公開
Kazuhisa Makino,Suguru Tamaki,Masaki Yamamoto Kazuhisa Makino,Suguru Tamaki,Masaki Yamamoto Kazuhisa Makino,Suguru Tamaki,Masaki Yamamoto An exact algorithm for the Boolean connectivity problem for k-CNF. An exact algorithm for the Boolean connectivity problem for k-CNF. An exact algorithm for the Boolean connectivity problem for k-CNF. Theor. Comput. Sci.,412,35,4613-4618 2011/08 英語 研究論文(学術雑誌) 公開
Kazuhisa Makino,Suguru Tamaki,Masaki Yamamoto Kazuhisa Makino,Suguru Tamaki,Masaki Yamamoto Kazuhisa Makino,Suguru Tamaki,Masaki Yamamoto Derandomizing HSSW Algorithm for 3-SAT (extended abstract) Derandomizing HSSW Algorithm for 3-SAT (extended abstract) Derandomizing HSSW Algorithm for 3-SAT (extended abstract) Proceedings of the 17th Annual International Conference on Computing and Combinatorics (COCOON),6842,1-12 2011/08 英語 研究論文(国際会議プロシーディングス) 公開
Kazuo Iwama,Kazuhisa Seto,Tadashi Takai,Suguru Tamaki Kazuo Iwama,Kazuhisa Seto,Tadashi Takai,Suguru Tamaki Kazuo Iwama,Kazuhisa Seto,Tadashi Takai,Suguru Tamaki Improved Randomized Algorithms for 3-SAT. Improved Randomized Algorithms for 3-SAT. Improved Randomized Algorithms for 3-SAT. Proceedings of the 21st International Symposium on Algorithms and Computation (ISAAC), Part I,6506,73-84 2010/12 英語 研究論文(国際会議プロシーディングス) 公開
Kazuhisa Makino,Suguru Tamaki,Masaki Yamamoto Kazuhisa Makino,Suguru Tamaki,Masaki Yamamoto Kazuhisa Makino,Suguru Tamaki,Masaki Yamamoto On the Boolean connectivity problem for Horn relations. On the Boolean connectivity problem for Horn relations. On the Boolean connectivity problem for Horn relations. Discrete Applied Mathematics,158,18,2024-2030 2010/11 英語 研究論文(学術雑誌) 公開
Suguru Tamaki,Yuichi Yoshida Suguru Tamaki,Yuichi Yoshida Suguru Tamaki,Yuichi Yoshida A Query Efficient Non-adaptive Long Code Test with Perfect Completeness (extended abstract) A Query Efficient Non-adaptive Long Code Test with Perfect Completeness (extended abstract) A Query Efficient Non-adaptive Long Code Test with Perfect Completeness (extended abstract) Proceedings of the 13th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (APPROX) and the 14th International Workshop on Randomization and Computation (RANDOM),738-751 2010/09 英語 研究論文(国際会議プロシーディングス) 公開
Kazuhisa Makino,Suguru Tamaki,Masaki Yamamoto Kazuhisa Makino,Suguru Tamaki,Masaki Yamamoto Kazuhisa Makino,Suguru Tamaki,Masaki Yamamoto An Exact Algorithm for the Boolean Connectivity Problem for k-CNF (extended abstract) An Exact Algorithm for the Boolean Connectivity Problem for k-CNF (extended abstract) An Exact Algorithm for the Boolean Connectivity Problem for k-CNF (extended abstract) Proceedings of the 13th International Conference on Theory and Applications of Satisfiability Testing (SAT),6175,172-180 2010/07 英語 研究論文(国際会議プロシーディングス) 公開
Kazuo Iwama,Kazuhisa Seto,Suguru Tamaki Kazuo Iwama,Kazuhisa Seto,Suguru Tamaki Kazuo Iwama,Kazuhisa Seto,Suguru Tamaki The Planar Hajós Calculus for Bounded Degree Graphs. The Planar Hajós Calculus for Bounded Degree Graphs. The Planar Hajós Calculus for Bounded Degree Graphs. IEICE Transactions,E93-A,6,1000-1007 2010/05 英語 研究論文(学術雑誌) 公開
Kazuo Iwama,Kazuhisa Seto,Suguru Tamaki Kazuo Iwama,Kazuhisa Seto,Suguru Tamaki Kazuo Iwama,Kazuhisa Seto,Suguru Tamaki The complexity of the Hajós calculus for planar graphs. The complexity of the Hajós calculus for planar graphs. The complexity of the Hajós calculus for planar graphs. Theor. Comput. Sci.,411,7-9,1182-1191 2010/02 英語 研究論文(学術雑誌) 公開
Youichi Hanatani,Takashi Horiyama,Kazuo Iwama,Suguru Tamaki Youichi Hanatani,Takashi Horiyama,Kazuo Iwama,Suguru Tamaki Youichi Hanatani,Takashi Horiyama,Kazuo Iwama,Suguru Tamaki New Graph Calculi for Planar Non-3-Colorable Graphs. New Graph Calculi for Planar Non-3-Colorable Graphs. New Graph Calculi for Planar Non-3-Colorable Graphs. IEICE Transactions,E91-A,9,2301-2307 2008/09 英語 研究論文(学術雑誌) 公開
Kazuo Iwama,Suguru Tamaki Kazuo Iwama,Suguru Tamaki Kazuo Iwama,Suguru Tamaki Exploiting partial knowledge of satisfying assignments. Exploiting partial knowledge of satisfying assignments. Exploiting partial knowledge of satisfying assignments. Discrete Applied Mathematics,155,12,1596-1603 2007/06 英語 研究論文(学術雑誌) 公開
Kazuhisa Makino,Suguru Tamaki,Masaki Yamamoto Kazuhisa Makino,Suguru Tamaki,Masaki Yamamoto Kazuhisa Makino,Suguru Tamaki,Masaki Yamamoto On the Boolean Connectivity Problem for Horn Relations (extended abstract) On the Boolean Connectivity Problem for Horn Relations (extended abstract) On the Boolean Connectivity Problem for Horn Relations (extended abstract) Proceedings of the 10th International Conference on Theory and Applications of Satisfiability Testing (SAT),187-200 2007/05 英語 研究論文(国際会議プロシーディングス) 公開
Kazuo Iwama,Suguru Tamaki Kazuo Iwama,Suguru Tamaki Kazuo Iwama,Suguru Tamaki Improved upper bounds for 3-SAT. Improved upper bounds for 3-SAT. Improved upper bounds for 3-SAT. Proceedings of the 15th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA),328-329 2004/01 英語 研究論文(国際会議プロシーディングス) 公開
Kazuo Iwama, Suguru Tamaki Kazuo Iwama, Suguru Tamaki Kazuo Iwama, Suguru Tamaki Exploiting Partial Knowledge of Satisfying Assignments Exploiting Partial Knowledge of Satisfying Assignments Exploiting Partial Knowledge of Satisfying Assignments Proceedings of the 5th International Workshop on Algorithm Engineering (WAE),2141,118-128 2001/08 英語 研究論文(国際会議プロシーディングス) 公開
Kazuo Iwama, Suguru Tamaki Kazuo Iwama, Suguru Tamaki Kazuo Iwama, Suguru Tamaki Exploiting Partial Knowledge of Satisfying Assignments (extended abstract) Exploiting Partial Knowledge of Satisfying Assignments (extended abstract) Exploiting Partial Knowledge of Satisfying Assignments (extended abstract) Proceedings of the 4th Workshop on Theory and Applications of Satisfiability Testing (SAT) 2001/06 英語 研究論文(国際会議プロシーディングス) 公開

  • <<
  • >>
  • 表示
タイトル言語:
講演・口頭発表等
タイトル タイトル(日本語) タイトル(英語) 会議名 会議名(日本語) 会議名(英語) 主催者 開催年月日 記述言語 会議種別 公開
Fine-Grained Complexity and Cryptography: A Personal Survey [招待あり] Fine-Grained Complexity and Cryptography: A Personal Survey [招待あり] Fine-Grained Complexity and Cryptography: A Personal Survey [招待あり] 代数的手法による数理暗号解析に関する研究集会 代数的手法による数理暗号解析に関する研究集会 2018/02 英語 口頭発表(招待・特別) 公開
Beating Brute Force for Systems of Polynomial Equations over Finite Fields [招待あり] Beating Brute Force for Systems of Polynomial Equations over Finite Fields [招待あり] Beating Brute Force for Systems of Polynomial Equations over Finite Fields [招待あり] ERATO感謝祭 Season IV ERATO感謝祭 Season IV 2017/08 日本語 ポスター発表 公開
有限体上の多変数連立代数方程式系に対する総当り探索の打破 [招待あり] 有限体上の多変数連立代数方程式系に対する総当り探索の打破 [招待あり] 電子情報通信学会コンピュテーション研究会 電子情報通信学会コンピュテーション研究会 2017/03 日本語 口頭発表(招待・特別) 公開
Recent Developments on Circuit Satisfiability Algorithms [招待あり] Recent Developments on Circuit Satisfiability Algorithms [招待あり] Recent Developments on Circuit Satisfiability Algorithms [招待あり] Fine-Grained Complexity and Algorithm Design Reunion Fine-Grained Complexity and Algorithm Design Reunion Fine-Grained Complexity and Algorithm Design Reunion 2016/12 英語 口頭発表(招待・特別) 公開
Recent Developments on Circuit Satisfiability Algorithms [招待あり] Recent Developments on Circuit Satisfiability Algorithms [招待あり] Recent Developments on Circuit Satisfiability Algorithms [招待あり] Computational Complexity Conference (CCC) Satellite Tokyo Workshop Computational Complexity Conference (CCC) Satellite Tokyo Workshop Computational Complexity Conference (CCC) Satellite Tokyo Workshop 2016/06 英語 口頭発表(招待・特別) 公開
Faster Satisfiability Algorithms for Systems of Polynomial Equations over Finite Fields and ACC0[p] [招待あり] Faster Satisfiability Algorithms for Systems of Polynomial Equations over Finite Fields and ACC0[p] [招待あり] Faster Satisfiability Algorithms for Systems of Polynomial Equations over Finite Fields and ACC0[p] [招待あり] Workshop on Satisfiability Lower Bounds and Tight Results for Parameterized and Exponential-Time Algorithms Workshop on Satisfiability Lower Bounds and Tight Results for Parameterized and Exponential-Time Algorithms Workshop on Satisfiability Lower Bounds and Tight Results for Parameterized and Exponential-Time Algorithms 2015/11 英語 口頭発表(招待・特別) 公開
Satisfiability Algorithms for Small Depth Circuits with Symmetric Gates [招待あり] Satisfiability Algorithms for Small Depth Circuits with Symmetric Gates [招待あり] Satisfiability Algorithms for Small Depth Circuits with Symmetric Gates [招待あり] Workshop on Connections Between Algorithm Design and Complexity Theory Workshop on Connections Between Algorithm Design and Complexity Theory Workshop on Connections Between Algorithm Design and Complexity Theory 2015/10 英語 口頭発表(招待・特別) 公開
Solving Systems of Polynomial Equations over GF(2) via Degree Reduction [招待あり] Solving Systems of Polynomial Equations over GF(2) via Degree Reduction [招待あり] Solving Systems of Polynomial Equations over GF(2) via Degree Reduction [招待あり] Department of Computer Science Colloquium, University of Nevada, Las Vegas Department of Computer Science Colloquium, University of Nevada, Las Vegas Department of Computer Science Colloquium, University of Nevada, Las Vegas 2015/10 英語 公開講演、セミナー、チュートリアル、講習、講義 公開
The Complexity of Robust Satisfiabilityof the Constraint Satisfaction Problem [招待あり] The Complexity of Robust Satisfiabilityof the Constraint Satisfaction Problem [招待あり] The Complexity of Robust Satisfiabilityof the Constraint Satisfaction Problem [招待あり] Dagstuhl Seminar 14201 Dagstuhl Seminar 14201 Dagstuhl Seminar 14201 2014/05 英語 口頭発表(招待・特別) 公開
計算複雑さへの招待 (4): 計算限界証明における障壁 [招待あり] 計算複雑さへの招待 (4): 計算限界証明における障壁 [招待あり] 電子情報通信学会コンピュテーション研究会 電子情報通信学会コンピュテーション研究会 2013/10 日本語 口頭発表(招待・特別) 公開
A Satisfiability Algorithm and Average-Case Hardness for Formulas over the Full Binary Basis [招待あり] A Satisfiability Algorithm and Average-Case Hardness for Formulas over the Full Binary Basis [招待あり] A Satisfiability Algorithm and Average-Case Hardness for Formulas over the Full Binary Basis [招待あり] Dagstuhl Seminar 13331 Dagstuhl Seminar 13331 Dagstuhl Seminar 13331 2013/08 英語 口頭発表(招待・特別) 公開
指数時間厳密アルゴリズム [招待あり] 指数時間厳密アルゴリズム [招待あり] 学術情報メディアセンターセミナー 「アルゴリズムと計算量理論」 学術情報メディアセンターセミナー 「アルゴリズムと計算量理論」 2011/10 日本語 公開講演、セミナー、チュートリアル、講習、講義 公開
3SATに対する乱択アルゴリズムの改良 [招待あり] 3SATに対する乱択アルゴリズムの改良 [招待あり] ERATO湊離散構造処理系+NEO 合同研究会 ERATO湊離散構造処理系+NEO 合同研究会 2010/07 日本語 口頭発表(招待・特別) 公開
Hajós Calculusの計算複雑さ [招待あり] Hajós Calculusの計算複雑さ [招待あり] ワークショップ「離散アルゴリズムの最先端」 ワークショップ「離散アルゴリズムの最先端」 2009/02 日本語 口頭発表(招待・特別) 公開
確率的証明の威力 [招待あり] 確率的証明の威力 [招待あり] 情報学研究科通信情報システム専攻談話会 情報学研究科通信情報システム専攻談話会 2008/12 日本語 公開講演、セミナー、チュートリアル、講習、講義 公開
3SATの計算時間について [招待あり] 3SATの計算時間について [招待あり] 京都大学 アルゴリズム・計算量・数理計画・OR・etc. 合同研究会 京都大学 アルゴリズム・計算量・数理計画・OR・etc. 合同研究会 2004/04 日本語 口頭発表(招待・特別) 公開

  • <<
  • >>
  • 表示
タイトル言語:
書籍等出版物
著者 著者(日本語) 著者(英語) タイトル タイトル(日本語) タイトル(英語) 出版社 出版年月 記述言語 担当区分 公開
伊藤大雄, 宇野裕之 編著 伊藤大雄, 宇野裕之 編著 離散数学のすすめ 離散数学のすすめ 現代数学社 2010/05 日本語 分担執筆 公開
タイトル言語:
外部資金:競争的資金・科学研究費補助金
種別 代表/分担 テーマ(日本語) テーマ(英語) 期間
若手研究 (B) 代表 計算困難な組合せ問題に対するアルゴリズムの設計と解析 2008/04/01〜2011/03/31
基盤研究 (A) 分担 情報補填を可能にするアルゴリズムの設計と解析 2009/04/01〜2010/03/31
基盤研究 (A) 分担 空間的な情報補填を可能にするアルゴリズムの研究 2010/04/01〜2013/03/31
若手研究 (B) 代表 計算困難問題に対する厳密指数時間アルゴリズムの研究 2011/04/01〜2014/03/31
新学術領域研究 (研究領域提案型) 分担 情報理論・符号理論からの計算限界研究 2012/06/28〜2017/03/31
基盤研究 (A) 分担 データの巨大化から生じる不完全情報への対処に主眼をおいた近似計算 2013/04/01〜2016/03/31
基盤研究 (C) 代表 制約充足問題に対する効率の良い厳密および近似アルゴリズムの研究 2014/04/01〜2018/03/31
基盤研究 (B) 分担 入力データが不完全なアルゴリズムで重要となる乱化技術の研究 2016/4〜2021/3
基盤研究 (C) 代表 制約充足問題に対するアルゴリズムの深化と新展開 2018/4〜2022/3
基盤研究 (A) 分担 最小記述量の計算困難さの解析 2018/4〜2022/3
外部資金:競争的資金・科学研究費補助金以外
制度名 代表者名 研究課題(日本語) 研究課題(英語) 期間
CREST 加藤 直樹 ビッグデータ時代に向けた革新的アルゴリズム基盤 2018/4〜2020/3
担当科目
講義名(日本語) 講義名(英語) 開講期 学部/研究科 年度
基礎情報処理演習(T20) 前期 工学部 2011/04〜2012/03
計算機科学実験及演習2(計算機) 後期 工学部 2011/04〜2012/03
計算機科学実験及演習2 Computer Science Laboratory and Exercise 2 後期 工学部 2012/04〜2013/03
計算機科学実験及演習2 Computer Science Laboratory and Exercise 2 後期 工学部 2013/04〜2014/03
計算機科学実験及演習2 Computer Science Laboratory and Exercise 2 後期 工学部 2014/04〜2015/03
計算機科学実験及演習2 Computer Science Laboratory and Exercise 2 後期 工学部 2015/04〜2016/03
計算機科学実験及演習2 Computer Science Laboratory and Exercise 2 後期 工学部 2016/04〜2017/03
計算機科学のための数学演習 Mathematics in Practice for Computer Science 前期 工学部 2016/04〜2017/03
計算機科学実験及演習2 Computer Science Laboratory and Exercise 2 後期 工学部 2017/04〜2018/03
計算機科学のための数学演習 Mathematics in Practice for Computer Science 前期 工学部 2017/04〜2018/03