header

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

[[各種発表会>talks]]

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

|開始時刻|発表者氏名|指導教員|論文題目|h
|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|建部 大輔|首藤 一幸|クラウドストレージの読み書き性能とアプリケーション性能の関係|

#br

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

|開始時刻|発表者氏名|指導教員|論文題目|h
|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|森 健輔|脇田 建|Hygienic構文マクロシステムのScala言語による実装|
|16:05|森 健輔|脇田 建|Schemeマクロ展開器を用いたScala言語Hygienicマクロシステム|
|16:30|高柳 亘|脇田 建|非同期並列計算アクターモデルにもとづいたGPGPU用並列言語|
|16:55|Pham Thong The|脇田 建・下平 英寿|Nonparametric estimation of the preferential attachment function in complex networks|

#br

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

|時刻|発表者氏名|司会教員|論文題目|h
|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:15|DROZD, Aleksandr|松岡 聡|Memory-Conscious Optimizations for Sorting and Sequence Alignment for Massively Parallel Heterogeneous Architectures(大規模並列へテロジニアス環境におけるメモリ構造を考慮したソーティングおよび配列アラインメントの最適化)|

#br

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

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

#br

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

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

#br

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

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


#br

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

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

#br
#br

[[各種発表会>talks]]に戻る