連続体上の計算可能性 : 極限計算の諸理論の相互関係 (平成15年度共同研究プロジェクト研究成果報告)
スポンサーリンク
概要
著者
-
立木 秀樹
京都大学人間・環境学研究科
-
八杉 満利子
京都産業大学理学部
-
森 隆一
京都産業大学理学部
-
辻井 芳樹
京都産業大学理学部コンピュータ科学科
-
辻井 芳樹
京都産業大学理学部
-
八杉 満利子
京都産業大学理学部コンピュータ科学科
関連論文
- Independent subbases of the Sierpinski Gasket (一般位相幾何学及び幾何学的トポロジーに関する研究--RIMS研究集会報告集)
- WISAMによる陸上競技部投擲選手の発育速度曲線の分析
- Imaginary Cube オブジェクト
- Imaginary Cube とそれを用いた数学教材
- 切頂六百胞体の見方
- 力学系により生成される二分的部分基(力学系の研究 : トポロジーと計算機による新展開)
- 不定元を含むストリーム計算の実現
- Dyadic Subbases and Representations of Topological Spaces (Feasibility of Theoretical Arguments of Mathematical Analysis on Computer)
- 体系からの脱出 : 証明論による解析
- Classical and Constructive Propositional Subsystems of NDK
- NDKにおける自然な証明についての考察(証明論における順序数)
- 極小点の近傍における瞬間冷却モデルの挙動
- 不連続関数の極限計算可能性 : 意義と問題点
- 現実的微積分法
- 連続体上の計算可能性 : 極限計算の諸理論の相互関係 (平成15年度共同研究プロジェクト研究成果報告)
- 地方分権とは何か : Wavelet 平滑化法を用いた分析
- ウェーブレット関数系による時系列データの平滑化
- C-5 地方分権とは何か : Wavelet平滑化法の応用(経済・経営データ解析)(2003年度統計関連学会連合大会記録(日本統計学会第71回大会))
- 地方分権とは何か : Wavelet 平滑化法の応用
- WISAMによる時系列データのWavelet補間近似(第13回日本計算機統計学会大会報告)
- WISAMによる時系列データのWavelet補間近似
- 債権オプションに対するクォンタイル・ヘッジおよび期待不足額の最小化
- Computability problems of piecewise continuous functions (Feasibility of Theoretical Arguments of Mathematical Analysis on Computer)
- Dharの砂山モデルと関連するオペレータ系
- 多変量解析入門 : 幾何学的イメージを主体に
- ランダムフラクタルの消滅問題
- 確率場の符号の分布
- S^2パラメーターBrown過程のcontours
- 位相マルコフ変換の埋め込み問題
- 定常過程のマルコフ近似について
- 与えられた周辺分布をもつ過程を出力する有限長の定常符号
- m従属確率変数列について
- 定常な情報源に対する歪み : レート関数とスライディング : ブロック OPTA
- スライディング・ブロック符号に対するmismatch定理
- An MR-complete systems S and its functional interpretation (Languages, Algebra and Computer Systems)
- ファイン連続関数の計算可能性
- Limit computation of some discontinuous functions (数学解析の計算機上での理論的展開とその遂行可能性 研究集会報告集)
- 解析学における計算可能性構造
- 「数理論理学-20世紀から21世紀へ-」に寄せて
- 不連続関数の極限計算可能性 : 意義と問題点
- How to understand the computability aspects of step functions (Relevance and Feasibility of Mathematical Analysis on the Computer)
- 証明論の思い出 -無矛盾性証明を中心に-
- 計算可能性と論理体系(言語と論理)
- 科学教育の基礎としての論理
- 現実的構成的微積分法の形式的体系について
- アジア論理会議 : ALC
- Computability in Analysis(Workshop on Stochastic Numerics)
- ペンローズタイリング上でとぶグライダー (理論計算機科学の新展開)
- Fine Continuous Functions and Computable Analysis (Feasibility of Theoretical Arguments of Mathematical Analysis on Computer)
- シミュレーティッドアニーリングを用いた時系列データのウェーブレット補間法
- Simulated Annealing による株価時系列データの Wavelet 近似
- KestenのNon-Linear-Stochastic Growth Model (生物モデルの数学)
- ランダム反復アルゴリズムのスピングラス理論
- 相互帰納的集合の確率と重みに対応するマルチフラクタル分解