Proof Checking Using Prolog (函数解析学の応用としての情報数理の研究)
スポンサーリンク
概要
著者
関連論文
- フレームの函数解析 (情報科学としての函数解析とその周辺)
- 種の競合問題 (非線形解析学と凸解析学の研究)
- 数列$x_{n+1}=\frac{x_{n-1}}{1+x_n}$の面白さと関連する話題 (情報科学としての函数解析とその周辺)
- 図形情報のスペクトル解析とエントロピー解析 (情報科学と函数解析の接点 : これまでとこれから)
- 二者択一の定理と双対定理 (函数解析学と数理情報の接点)
- エントロピー最大化原理と不等式 (応用函数解析としての情報数理の研究)
- 凸集合とエントロピー (非加法性の数理と情報 : 非加法性と凸解析)
- 非直交関数系の数理(非加法の数理と情報 : 函数解析の視点から)
- Proof Checking Using Prolog (函数解析学の応用としての情報数理の研究)
- Jensen の逆不等式の等号成立条件(応用函数解析の研究)
- On the Nakamura-Schweitzer-Kantrovich inequality
- ブラインド等化と独立成分分析 (独立性と従属性の数理 : 函数解析学の視点から)