- ホーム
- はてなブックマーク
- mnru
投稿一覧(最新100件)
declative extension of PEG
“ Yuta Sugimoto, Atusi Maeda”
An introduction of the book” Theory of Reproducing Kernels and Applications”
情報幾何 とその 応用 一 II 凸解 析 と双 対平坦 空間
Kernelinduced sampling theorem
定常過程に対する最大エントロピー法と大偏差定理(応用 函数解析の研究)
“正定値対称行列集合の数理 : 工学と代数・幾何の一つの接点 ”
戸田分子方程式のタウ関数による Laplace 変換の連分数展開
む だ 時 間 の Pade 近 似 と 連 分 数 展 開 に よ る 実 現 法
拡張CAMへのStandard MLコンパイラの実装法
拡張CAMへのStandard MLコンパイラの実装法
[ML][type]
多相レコード計算に基づく軽量な 第一級オーバーロードの設計
関 数 型 プ ロ グ ラ ミ ン グ言 語Standard MLを 用 い た 項 書 換 え計 算:の視 覚 化 の 実 現
表示的意味論に基づくパターンマッチング. コンパイル方式の構築と実装
[constructive math]
構成的数学における逆数学の研究