スポンサーリンク
東京工業大学情報理工学研究科数理・計算科学専攻 | 論文
- Resource Bounded Unprovability of Computational Lower Bounds (Part 1) (Algebraic Aspects of Coding Theory and Cryptography)
- 拡散過程の生存確率に対する半正定値計画を用いた数値計算手法
- Poincare予想
- ロジスティクスにおける最適化ツールの開発(交通・輸送(2))
- 多角形のモジュライと双曲幾何(第11回年会「総合講演」)
- CUSP OPENINGS IN COMPLEX HYPERBOLIC GEOMETRY (Hyperbolic Spaces and Related Topics)
- 結び目・3次元多様体と双曲幾何学
- Flexible boundaries in deformations of hyperbolic 3-manifolds(Analysis of Discrete Groups)
- A LOCAL PARAMETRIZATION OF THE TEICHMULLER SPACE OF CLOSED HYPERBOLIC SURFACES, IN TERMS OF TRIANGULATIONS(Complex Analysis on Hyperbolic 3-Manifolds)
- 幾何学とコンピュータ
- TOWARDS A PROOF OF THURSTON'S GEOMETRIZATION THEOREM FOR ORBIFOLDS(Hyperbolic Geometry and 3-Manifolds)
- FINITENESS OF SYMMETRIES ON 3-MANIFOLDS(TRANSFORMATION GROUPS AND REPRESENTATION THEORY)
- ニュートン法および準ニュートン法の区分的連続微分可能な方程式への拡張
- 不動点アルゴリズムの計算効率の改善
- 25pQK-12 正解が埋め込まれたグラフ等分割問題の統計力学的解析(ネットワーク一般・情報統計力学,領域11,統計力学,物性基礎論,応用数学,力学,流体物理)
- MAX-2SAT問題の平均時間計算量の解析
- MAX-2SAT問題の平均時間計算量の解析
- A Message Passing Algorithm for MAX2SAT(New Trends in Theory of Computation and Algorithm)
- SDPA project and new features of SDPA 7.1.0 (計算科学の基盤技術としての高速アルゴリズムとその周辺--RIMS研究集会)
- 半正定値計画に対する行列補完型主双対内点法の並列化(錘計画問題と相補正問題)