スポンサーリンク
京都大学 | 論文
- Lagrange的Strain Tensorの相関時間(乱流の発生と統計法則)
- 3次元渦面の運動の解析と数値シミュレーション(流体における波動現象の数理とその応用)
- Spontaneous Singularity Formation in the Shape of Vortex Sheet in Three-Dimensional Flow : Analysis and Numerical Simulation(Mathematical Fluid Mechanics and Modeling)
- 森の魔物たち
- 蘇東坡古詩用韻考
- Derivations in Covariant Representations of $C\sp *$-Algebras
- 蔬菜図の変容 : 呉春筆《蔬菜図巻》の主題とその背景(佐々木丞平教授退職記念号)
- 両歯帯鋸の走行安定に関する実験的研究
- プラトンとヴァーチュー・エシクス
- FORCING ON A NONSTANDARD MODEL OF ARITHMETIC(Mathematical Incompleteness in Arithmetic)
- COUNTING SMALL SETS IN WEAK BOUNDED ARITHMETIC
- COMPLEXITY THEORY AND BOUNDED ARITHMETIC FOR TRULY FEASIBLE COMPUTATION
- MODELS OF BOUNDED ARITHMETIC (Towards new interaction between category theory and proof theory)
- RECURSION SCHEMATA FOR SLOW GROWING DEPTH CIRCUIT CLASSES (Towards new interaction between category theory and proof theory)
- Complexity theoretical aspects of applicative theories in connection with boolean circuit computations (Sequent Calculi and Proof Theory)
- Logical Characterizations of LOGSPACE (短期共同研究 照明論と計算論)
- Towards affluent proof theory of LOGCFL and related topics (Proof theoretical study of the structure of logic and computation)
- On a Linear Structure of the Quotient Variety by a Finite Reflexion Group : Dedicated to Professor Heisuke Hironaka on the occasion of his 60th birthday
- Motion of Nonadmissible Convex Polygons by Crystalline Curvature
- KMS states for self-dual CCR algebras