初等トポスでのプログラムの公理的意味論(計算アルゴリズムと計算量の基礎理論)
スポンサーリンク
概要
著者
関連論文
- 暗号化電子メールシステムの現状 (コンピュータセキュリティ)
- インターネットにおけるダウン症データライブラリの運営と展開
- 周期1と2のリミットサイクルをもつセルオートマトンについて(アルゴリズムと計算量理論)
- 6I4-23 理系離れ防止対策を試みとした高校生向け数理セミナー : NPO法人数理の翼が試みた数理科学啓発セミナー(教育実践・科学授業開発(4))
- ファジィ関係代数とその表現定理について(アルゴリズムと計算量理論)
- 19pXE-8 量子セルオートマトンの統計的性質(応用数学,力学,波動,領域11(統計力学,物性基礎論,応用数学,力学,流体物理))
- 分割量子セルオートマトンの一般化とその挙動について (計算機科学基礎理論の新展開)
- 初等トポスでのプログラムの公理的意味論(計算アルゴリズムと計算量の基礎理論)
- 遺伝的アルゴリズムの原理と応用
- 初等幾何学定理の証明における Regular Chain の有効性の評価
- A CONSTRUCTION OF THE NERODE EQUIVALENCE IN CLOSED CATEGORIES(Mathematical Theories on Computing Schemes and Their Applications)
- Graph Transformation Approach for the Shortest Path Search and Length Calculation