スポンサーリンク
Department Of Information Science Kyoto University | 論文
- 計算と論理のための自然枠組NF/CAL(システム検証の科学技術)
- フレーゲの計算機科学への影響 (特集 フレーゲの現代性)
- 数学記号の認知速度 : 実験心理学的計測方法と実例
- Polyvariant Specializationon Type-directed Partial Evaluation
- Constructive Data Refinementの証明技法の改善
- 二階文脈計算(プログラミング及びプログラミング言語)
- 定理証明システムCoq上でのPre Logical Relationを用いた詳細化の正しさの証明
- 型情報を一部明示した環境計算体系
- A Second Order Typed Context Calculus
- 型付きλ計算の拡張によるMobile計算の定式化
- オメガ正規言語の測度が有理数であること
- プログラム理論 A Type-Free Context Calculus
- 発見科学の構想と展開(発見科学)
- 参照透明な代入を持つ純関数型言語
- 自己反映的証明体系RPTの理論と実現
- 構成的理論に基づいたプログラミング言語Zとその実装
- 内容および構造に基づくXML文書のアクセス権の変換について(セッション1B : XML基礎技術)
- 内容および構造に基づくXML文書のアクセス権の変換について(XML基礎技術)(「夏のデータベースワークショップ(DBWS2003)」一般)
- A Verification Method for Formal Requirements Description
- Modeling and automatic detection of English sentence stress for computer-assisted English prosody learning system