header

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

2012年度各種発表会

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

開始時刻発表者氏名指導教員論文題目
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金城 憲長山下 真・下平 英寿センサーネットワーク位置推定問題における重み付けの研究
 

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

開始時刻発表者氏名指導教員論文題目
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藤井 慶彦鹿島 亮永続弱正規化可能ラムダ項の帰納的定義について
 

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

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

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

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

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

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

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

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

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

開始時刻発表者氏名指導教員論文題目
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 と位相的エントロピーについて
 

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

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

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

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

各種発表会に戻る