キング・イングランド銀行副総裁のスピーチ(2000年1月7日)(全訳)〔含 英語原文〕
スポンサーリンク
概要
論文 | ランダム
- 数学記号の認知速度 : 実験心理学的計測方法と実例
- Polyvariant Specializationon Type-directed Partial Evaluation
- Constructive Data Refinementの証明技法の改善
- 二階文脈計算(プログラミング及びプログラミング言語)
- 定理証明システムCoq上でのPre Logical Relationを用いた詳細化の正しさの証明