スポンサーリンク
京都大学数理解析研究所 | 論文
- A Natural Deduction System for Assertions (アルゴリズムにおける証明論)
- Two Formal Systems for Proving Assertions About Programs (プログラムの基礎理論)
- ALGOL型プログラム言語における意味論と証明論 (プログラムの基礎理論)
- 離散凸最適化ソルバとデモンストレーションソフトウェアの公開
- 図形を用いた推論の基礎づけ (「図による推論」)
- GMWウィンドウ・システム上のアプリケーション構築について
- Bifurcation of helical wave from traveling wave (Conference on Dynamics of Patterns in Reaction-Diffusion Systems and the Related Topics)
- 21069 実地震波合成法を用いた設計用入力地震動作成手法の研究 : (その1)実地震波合成法の基本的性状(強震動評価(3),構造II)
- 2-E-3 混合多項式行列の小行列式の最大次数を計算する組合せ緩和法(離散最適化(1))
- 回転球面上の強制2次元乱流の漸近状態 (乱流の動力学的記述と統計力学的記述の相補性)
- Scaling Algorithms for M-convex Function Minimization (Mathematical Optimization Theory and its Algorithm)
- スケーリング技法を用いたM凸関数の最小化アルゴリズム
- Quasi M-convex Functions and Minimization Algorithms (Algorithm Engineering as a New Paradigm)
- Extension of M-convexity and L-convexity to Polyhedral Convex Functions : Extended Abstract (Continuous and Discrete Mathematics for Optimization)
- Uniqueness in Cauchy Problem (位相解析的方法による偏微分方程式論研究会及び散乱理論の数学研究会報告集)
- Multiband Superconductivity in Heavy Fermion Compound CePt_3Si without Inversion Symmetry : An NMR Study on a High-Quality Single Crystal(Condensed matter: electronic structure and electrical, magnetic, and optical properties)
- 対数優モジュラ分布からのサンプリング
- 写真からのオブジェクト抽出を利用した物品貸し借りプラットフォームの提案(ユビキタス・センサネットワークの要素技術,コンテクストの抽出,スマートスペース,ユビキタス生活支援,一般)
- 写真からのオブジェクト抽出を利用した物品貸し借りプラットフォームの提案(ユビキタス・センサネットワークの要素技術,コンテクストの抽出,スマートスペース,ユビキタス生活支援,一般)
- 代数曲線の基本群に関するGrothendieck予想
スポンサーリンク