スポンサーリンク
東京工業大学大学院情報理工学研究科数理・計算科学専攻 | 論文
- 主双対内点法に対する高速化・並列化の技術(半正定値計画に対するソルバーと応用例)
- 半正定値計画問題に対するソルバーの紹介(半正定値計画に対するソルバーと応用例)
- 新しい代数的性質を持つ公開鍵暗号 (アルゴリズムと計算機科学の数理的基盤とその応用)
- 格子に基づく代理人再暗号方式 (アルゴリズムと計算機科学の数理的基盤とその応用)
- 2-G-2 重み付き対数行列式を持つ半正定値計画問題を解くSDPA(連続最適化(1))
- 5.理論研究の役割(情報処理技術の未来地図,50周年記念特集号)
- 1-H-6 サービス位置が指定されるM/M/c待ち行列モデル : 図書館移動集密書庫配置への応用(待ち行列(2))
- 彩色意図にもとづく色覚障害者のための再配色システム(セッション2:インタラクションデザイン:理論と実践(2))
- 業種別商業集積に基づく都心商業地域の回遊行動モデル
- 計算量理論における乱数(学生/教養のページ)
- 1-C-3 数値計算解 : CRR市場上の最適多数回行使可能型アメリカン・ラシアン・アジアン・オプション(金融工学(1))
- キャンパス共通認証認可システムの構築と運用(セキュアでサステイナブルなインターネットアーキテクチャ論文)
- 「待ち行列」研究部会報告(待ち行列理論の動向)
- 準パススルー型仮想マシンモニタBitVisorの設計と実装(OS-4:仮想化,2008年並列/分散/協調処理に関する『佐賀』サマー・ワークショップ(SWoPP佐賀2008))
- 完備距離空間における縮小ファジィ変換の不動点定理(非加法の数理と情報 : 函数解析の視点から)
- サンプリングアルゴリズムとその暗号への応用
- XenLASY : XenのI/O処理を追跡するためのアスペクト指向プロファイラ
- アスペクト指向を用いたアジャイル分散ソフトウェア開発のための環境
- 例外処理のためのアスペクト指向言語
- OSカーネル用アスペクト指向システムKLASY