スポンサーリンク
東京工業大学情報理工学研究科数理・計算科学専攻 | 論文
- 仮想的な分散監視環境による安全な侵入検知アーキテクチャ(セキュリティ)
- アスペクト指向を利用してデバッグコードを挿入できるソフトウェア開発環境(サイバー増大ページ論文概要,サイバー増大号)
- SATを解くO^^〜(1.234^m)時間決定性アルゴリズム
- 3-SATを解くあるローカルサーチアルゴリズムの上界の別証明
- 3-SATを解くあるローカルサーチアルゴリズムの上界の別証明
- Fragments of Second Order Propositional Logic (Proof theoretical study of the structure of logic and computation)
- 中間述語論理 CD について(算術体系の証明論)
- A Proof of the Standardization Theorem in $\lambda$-Calculus (Towards new interaction between category theory and proof theory)
- Contraction-Elimination Theorem
- Cut-free systems for some tense logics
- 情報セキュリティ技術と計算の複雑さの理論 (特集 暗号化とセキュリティ--アルゴリズムとプロトコル)
- NP型探索問題のテスト例生成問題について
- NP型問題の近似解法の可能性について
- 計算論的学習理論のお話
- 一方向関数のお話し
- Decomposition in Interior-Point Methods
- Some Applications of the Convex Property of Monotone Complementarity Problems
- 大きなステップ長を許す内点法 : 線形相補性問題の場合(数理計画)
- ($n-t$)-out-of-$n$しきい値付きリング署名 (計算機科学基礎理論の新展開)
- 量子一方向性置換に基づく小さい保存領域のための量子ビットコミットメント (計算機科学基礎理論の新展開)