スポンサーリンク
京都大学数理解析研究所 | 論文
- 生命的コンピューティング(知能コンピューティングとその周辺〔第8回〕)
- 特集「数理的技法による情報セキュリティ」にあたって
- DNA鎖に基づくナノシステム
- 研究会を支えるみなさまへ(研究会千夜一夜)
- 分子コンピューティングの発展 : 分子マシンから分子コミュニケーションへ
- 二次構造の解離に基づく汎用分子システム(「DNAコンピューティングの応用とシミュレーション」)
- BDDを用いた2方向CTL論理式充足可能性決定手続きの実装(サイバー増大ページ論文概要,サイバー増大号)
- 分子プログラミング
- 整数線形計画法を用いたDNAコンピュータ制御コードの生成
- グラフ書換えと時空間様相論理
- 研究会たより 第24回(最終回) 最初の講演と最近の講演
- 束縛関係に基づく認証プロトコルの検証(セキュアコンピューティング)
- 研究会たより : 第23回理事会と研究会
- Heterogeneous Metallic State in URu2Si2 (Proceedings of the 5th International Symposium on Advanced Science Research in Celebration of the World Year of Physics 2005(ASR-WYP-2005): Advances in the Physics and Chemistry of Actinide Compounds)
- Yang-Mills場の共変的な正準量子論
- 正標数代数曲線の被覆に関する数論幾何 (代数的整数論とその周辺)
- Fundamental groups of curves in positive characteristic (Communications in Arithmetic Fundamental Groups)
- Raynaudの理論とその最近の発展・応用 (代数的整数論とその周辺)
- Large fieldsについて(Pop, Colliot-Theleneらの仕事の紹介) (代数的整数論とその周辺)
- Galois 群や基本群から元の対象を復元する問題に関する歴史と最近の発展(代数的整数論とその周辺の研究)