header

トップ   差分 バックアップ リロード   一覧 単語検索 最終更新   ヘルプ   最終更新のRSS

各種発表会

修士論文発表会 2014年2月7日(金) 西8号館W棟10階1008号室

開始時刻発表者氏名指導教員論文題目
10:00小松 章彦山下 真・福田 光浩上下限制約つき非線形半正定値計画問題に対する信頼領域法の設計
10:30小林 淳記福田 光浩・山下 真Stable Compressive Principal Component Pursuit の提案と解析
11:00小関 義博田中 圭介強いプライバシーを持った準同型署名方式の構成
11:25肥後 春菜田中 圭介二者間プロトコルのゲーム理論的安全性
13:00瀬川 朗鹿島 亮Axiomatizability in Multidimensional Temporal Logics
13:25近藤 侑史鹿島 亮Semilattice relevant logic UR の決定可能性について
13:50仲川 聡子鹿島 亮Routley-Meyer semantics に従う様相論理について
14:20安藤 泰弘首藤 一幸構造化オーバレイにおけるアクセス分布のみに基づく経路表構築手法
14:45建部 大輔首藤 一幸クラウドストレージの読み書き性能とアプリケーション性能の関係
 

修士論文発表会 2014年2月6日(木) 西8号館W棟10階1008号室

開始時刻発表者氏名指導教員論文題目
10:00神門 圭太武藤 滋夫競争における妨害のゲーム理論を用いた分析
10:30櫻井 洋之三好 直人外部処理がある単一サーバ再試行型待ち行列の漸近解析
10:55永松 平三好 直人セルラネットワークの被覆確率に対するPadé近似
11:20野田 亮輔三好 直人空間点過程を用いた無線通信モデルにおける被覆確率の単調性について
11:45原 照雅三好 直人・下平 英寿潜在データに対する情報量規準の混合分布モデルへの応用
13:00石川 大記間瀬 茂・鈴木 大慈アンサンブル学習の統合における予測精度の改善
13:25善本 興司間瀬 茂球面上で定義される共分散関数の構築
13:50下原 一馬間瀬 茂クリギング法における観測地点の最適化
14:20岩渕 圭太松岡 聡不揮発性メモリを考慮したグラフアルゴリズムの大規模実行と最適化
14:45河村 知輝松岡 聡自動テンポラルブロッキングによる大規模ステンシル計算の実現
15:10星野 哲也松岡 聡Evaluations of Directive-based Programming Models for GPUs and Extensions for Performance Portability(GPUにおけるディレクティブベースプログラミングモデルの評価と性能可搬性のための拡張)
15:40高見 将則脇田 建射影を用いたグラフの対話的可視化手法と複雑ネットワークへの応用
16:05森 健輔脇田 建Schemeマクロ展開器を用いたScala言語Hygienicマクロシステム
16:30高柳 亘脇田 建非同期並列計算アクターモデルにもとづいたGPGPU用並列言語
16:55Pham Thong The脇田 建・下平 英寿Nonparametric estimation of the preferential attachment function in complex networks
 

博士論文発表会 2014年1月6日(月) 西7号館3階302号室

時刻発表者氏名司会教員論文題目
12:00-13:30金 光浩松岡 聡Optimization Methods for Efficient Utilization of Memory Hierarchy on GPU Clusters(GPUクラスタにおけるメモリ階層を考慮した最適化手法)
13:30-15:00佐藤 賢斗松岡 聡Design and Implementation for Optimal Checkpoint/Restart(最適なチェックポイント・リスタートのための設計及び実装)
16:45-18:15DROZD, Aleksandr松岡 聡Memory-Conscious Optimizations for Sorting and Sequence Alignment for Massively Parallel Heterogeneous Architectures(大規模並列へテロジニアス環境におけるメモリ構造を考慮したソーティングおよび配列アラインメントの最適化)
 

博士論文発表会 2013年12月23日(月) 西8号館W棟11階1101号室

時刻発表者氏名司会教員論文題目
10:00-11:00正井 秀俊小島 定吉Hyperbolic Volume, Fibered Commensurability, and Exceptional Surgeries, Theory v.s. Computation
 

博士論文発表会 2013年9月11日(水) 西8号館W棟10階1008号室

時刻発表者氏名司会教員論文題目
13:00-14:30武山 文信渡辺 治・千葉 滋A Study on composability for software product lines(ソフトウェアプロダクトラインのための合成可能性の研究)
 

修士論文発表会 2013年7月31日(水) 西8号館W棟10階1008号室 

開始時刻発表者氏名指導教員論文題目
13:00高際 隼西畑 伸也プラズマ物理に現れるEuler-Poisson方程式の数値解析スキームの検討
13:25胡 佳男三好 直人Queueing analysis of power consumption in server farm with independent setup times
13:50宮尾 武裕首藤 一幸柔軟な経路表に基づく範囲検索可能な構造化オーバレイ
 

博士論文発表会 2013年6月11日(火) 西8号館W棟10階1008号室

時刻発表者氏名司会教員論文題目
16:45-17:45任愛珍渡辺治Speedy double bootstrap method and its application for assessing the statistical reliability of estimated phylogenetic trees(スピーディー・ダブルブートストラップ法とその分子系統樹の信頼性評価への応用)
 
 

各種発表会に戻る