header

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

***** 2012年度各種発表会 [#c6cb3033]

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

|開始時刻|発表者氏名|指導教員|論文題目|h
|10:00|遊佐 俊彦|渡辺 治|正規化圧縮距離の妥当性解析|
|10:25|高野 圭司|渡辺 治|フロンティア法から生成される ZDD の幅解析|
|10:55|大坪 峻之|田中 圭介|Construction for Leakage-Resilient Public-Key Encryption|
|11:20|木下 雄介|田中 圭介|Proxy and Non-malleability on Broadcast Encryption|
|13:00|市川 和央|渡辺 治・千葉 滋|静的型付け言語における汎用的なユーザ定義演算子を含む式の構文解析手法|
|13:25|大谷 晃司|渡辺 治・千葉 滋|アスペクト指向言語のための視点に応じた編集を可能にするツール|
|13:50|平松 俊樹|渡辺 治・千葉 滋|実行速度を考慮した実装法による細粒度でのコード再利用のためのメソッド内メソッド|
|14:20|華井 雅俊|首藤 一幸|Simulation of Large-Scale Distributed Systems with a Distributed Graph Processing System|
|14:50|新屋 良磨|佐々 政孝|正規言語上のAbstract Numeration Systemの文字列圧縮への応用|
|15:20|福田 圭祐|松岡 聡|Heterogeneous load balancing by task scheduling for Fast Multipole Method(タスクスケジューリングを用いたFast Multipole Methodのための異種プロセッサ混在負荷分散手法)|
|15:45|斎藤 貴文|松岡 聡|不揮発性メモリにおけるモデルに基づいた消費電力最適化|
|16:15|甫水 佳奈子|脇田 建|解析表現文法とSchemeマクロ展開器を用いたJavaScript言語向けHygienic構文マクロシステム|
|16:40|大谷 桂介|脇田 建|並列分散処理に対応した自己記述構造化バイナリデータ|
|17:05|金城 憲長|山下 真・下平 英寿|センサーネットワーク位置推定問題における重み付けの研究|

#br

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

|開始時刻|発表者氏名|指導教員|論文題目|h
|10:00|伊藤 勝|福田 光浩・山下 真|凸計画問題に対する劣勾配アルゴリズムの新しい枠組み提案|
|10:25|中垣 敬|福田 光浩・山下 真|対数行列式とl_1ノルムを持つ半正定値計画問題に対するスペクトル射影勾配法の実装|
|10:55|仲田 至|三好 直人|複数種類の基地局からなるセルラネットワークの確率幾何モデル|
|11:20|小林 拓矢|三好 直人|セルラネットワークにおける上りリンクの確率幾何モデル|
|11:45|梶原 和樹|三好 直人|専用サーバと共用サーバを持つ再試行型待ち行列の漸近解析|
|13:00|濱口 卓也|間瀬 茂|Gaussian copula における共分散関数について|
|13:25|山口 義隆|間瀬 茂|条件付き分布にしたがうデータからの無条件分布の推定|
|13:55|宮崎 慶|山下 真・福田 光浩|Completely Positive計画問題に対するT錐緩和による問題サイズの縮小化|
|14:20|永田 晴久|脇田 建・下平 英寿|階層型クラスタリングの GPU ブートストラップ実装と負荷パラメータの導入|
|14:50|高際 隼|西畑 伸也|プラズマ物理に現れるEuler-Poisson方程式の数値解析スキーム|
|15:15|岩見 弘一郎|西畑 伸也|プラズマ流を記述するBipolar Euler-Poisson方程式の定常解の数学解析|
|15:45|後藤 創|小島 定吉|自由群の降中心列について|
|16:15|河野 友亮|鹿島 亮|中間論理CDを拡張した論理における補間定理について|
|16:40|今井 寿太朗|鹿島 亮|時相論理ECTLの充足可能性と完全性について|
|17:05|藤井 慶彦|鹿島 亮|永続弱正規化可能ラムダ項の帰納的定義について|

#br

** 博士論文発表会 2013年1月8日(火) 西7号館3階302号室(セミナー室) [#l1831520]

|時刻|発表者氏名|司会教員|論文題目|h
|11:00-12:30|Irina DEMESHKO|松岡 聡|Performance Analysis of Climate Simulation Models on Heterogeneous Petascale Supercomputers(ヘテロジニアスペタスケールスーパーコンピュータにおける気象シミュレーションモデルの性能解析)|

#br

** 博士論文発表会 2013年1月7日(月) 西8号館W棟8階809号室 [#l3ffb32a]

|時刻|発表者氏名|司会教員|論文題目|h
|13:00-15:00|赤井 駿平|渡辺 治・千葉 滋|Expressive and Safe Destructive Extensions for Separation of Concerns(関心事の分離のための破壊的拡張の表現力と安全性の向上)|

#br

** 博士論文発表会 2012年12月28日(金) 西8号館W棟10階1008号室 [#z668dccd]

|時刻|発表者氏名|司会教員|論文題目|h
|10:30-12:00|大縄 将史|西畑 伸也|Studies on time global solutions to hyperbolic-elliptic coupled systems arising in fluid mechanics(流体現象を記述する双曲型−楕円型連立方程式系の時間大域解に関する研究)|

#br

** 博士論文発表会 2012年12月18日(火) 西8号館W棟10階1008号室 [#q89ee576]

|時刻|発表者氏名|司会教員|論文題目|h
|9:00-10:30|竹部 裕俊|田中 圭介|More Realistic Analyses of Cryptographic Protocols|
|10:30-12:00|Mario Rebelo Larangeira Junior|田中 圭介|Programmable and Non-Programmable Models in Security Proofs|

#br

** 修士論文発表会 2012年8月1日(水) 西8号館W棟10階1008号室 [#hf313084]

|開始時刻|発表者氏名|指導教員|論文題目|h
|10:30|田口 貴規|佐々 政孝|Split Compilationによる,実行時オーバーヘッドを抑えた自動SIMD化システムのAVX拡張|
|10:55|張 家悦|松岡 聡|Fast PGAS Implementation of Multithreaded Asynchronous Large-Scale Graph Traversal for Supercomputers with Local Semi-External Memory|
|11:20|松浦 主税|金 英子|区間力学系における forcing tree と位相的エントロピーについて|

#br

** 博士論文発表会 2012年7月2日(月) 大岡山キャンパス学術国際情報センター(情報棟)2階会議室 [#d11c4c2e]

|時刻|発表者氏名|司会教員|論文題目|h
|13:30-15:30|Leonardo Arturo BAUTISTA GOMEZ|松岡 聡|Fast Checkpointing for Exascale Supercomputers(エクサスケールスーパーコンピュータのための高速チェックポインティング)|

#br

** 博士論文発表会 2012年6月19日(火) 西8号館W棟8階809号室 [#ad743257]

|時刻|発表者氏名|司会教員|論文題目|h
|13:00-14:30|田所 秀和|渡辺 治・千葉 滋|Coordinated and Secure Server Consolidation using Virtual Machines(仮想マシンを用いた調整可能で安全なサーバ統合)|

#br
#br

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