Computability problems of piecewise continuous functions (Feasibility of Theoretical Arguments of Mathematical Analysis on Computer)
スポンサーリンク
概要
著者
関連論文
- WISAMによる陸上競技部投擲選手の発育速度曲線の分析
- 体系からの脱出 : 証明論による解析
- Classical and Constructive Propositional Subsystems of NDK
- NDKにおける自然な証明についての考察(証明論における順序数)
- 不連続関数の極限計算可能性 : 意義と問題点
- 現実的微積分法
- 連続体上の計算可能性 : 極限計算の諸理論の相互関係 (平成15年度共同研究プロジェクト研究成果報告)
- 債権オプションに対するクォンタイル・ヘッジおよび期待不足額の最小化
- 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)
- ランダム反復アルゴリズムのスピングラス理論
- 相互帰納的集合の確率と重みに対応するマルチフラクタル分解