スポンサーリンク
京都大学数理解析研究所 | 論文
- クモの巣の多様性における数理的解析--クモの巣の最適なサイズと構造 (生物現象に対するモデリングの数理--RIMS共同研究報告集)
- Decidability of Innermost Termination for Semi-Constructor Term Rewriting Systems
- Confluence of Length Preserving String Rewriting Systems is Undecidable
- DILOGARITHM IDENTITIES IN CONFORMAL FIELD THEORY AND CLUSTER ALGEBRAS
- 超局所解析から見た完全WKB解析入門 (経路積分と超局所解析の入門--RIMS共同研究報告集)
- 異なる球面対称分布の位置混合分布のprincipal pointsの性質について (推測における統計的情報とそれに関連する話題--RIMS共同研究報告集)
- 変換と部分評価に基づく非左辺正規なメタ項の停止性証明
- 項到達可能性の判定における成長TRSに対する手法と正規化規則による手法の関係
- 紐解かれた項書換え系の文脈依存条件の除去のための変換
- 配列を扱う非線形先頭再帰プログラムからの再帰除去
- 一般化された多重Dirichlet級数と一般化された多重ポリログについて
- Travelling Front Solutions Arising in a Chemotaxis-Growth Model
- 池田リフトのＬ関数の二乗平均値について
- Functional relations for various multiple zeta-functions
- 共形ブロック束のGauss-Manin接続 (多重ゼータ値の諸相 : RIMS研究集会報告集)
- 種数1のGrothendieck dessinの計算 (多重ゼータ値の諸相 : RIMS研究集会報告集)
- 非特異4次曲線の判別式について (Computer Algebra : Design of Algorithms, Implementations and Applications : RIMS研究集会報告集)
- 最短加減算連鎖生成のアルゴリズムについて (Computer Algebra : Design of Algorithms, Implementations and Applications : RIMS研究集会報告集)
- 状態和としての多重ゼータ値 (多重ゼータ値の諸相 : RIMS研究集会報告集)
- 行列の最小多項式計算について (Computer Algebra : Design of Algorithms, Implementations and Applications : RIMS研究集会報告集)