header

トップ   編集 凍結 差分 バックアップ 添付 複製 名前変更 リロード   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSS

各種発表会

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

開始時刻発表者氏名指導教員論文題目
10:00佐々木 尚人遠藤 敏夫時間発展アプリケーションにおけるチェックポイントデータの非可逆圧縮手法の提案と評価
10:25辻田 裕紀遠藤 敏夫マルチGPU・マルチノード環境のメモリ階層に適応した数理最適化ソルバー向けスケジューリング手法
10:50都筑 一希遠藤 敏夫CPU・GPU混載ノードにおける性能・消費電力モデルを用いたオンライン電力制御手法
11:20加藤 裕也首藤 一幸汎用分散処理システムでの大規模分散システムシミュレーション
11:45高塚 康成首藤 一幸分散データストアの因果整合性侵害度測定手法
12:10北條 真史首藤 一幸FRT-Skip Graph: 柔軟な経路表に基づくSkip Graph型構造化オーバレイ
13:30太田 尚博脇田 建高次元からの射影による平面上の配置と平行座標系を統合した多次元データの可視化分析システム
13:55吉崎 一海脇田 建有向グラフの情報流を利用したノードの多元的役割発見法
14:25社本 秀之松岡 聡GPUアクセラレータと不揮発性メモリを考慮した大規模分散ソート
14:50鈴木 太一郎松岡 聡CUDAアプリケーションによる効率的なGPUリソースの活用手法の提案
15:15長坂 侑亮松岡 聡メモリアクセス量削減による疎行列ベクトル積計算のメニーコア向け高速化
15:45宇都宮 健太寺嶋 郁二WZNWモデルのKorff-Stroppel手法の1パラメータ変形
16:15勝見 淳小島 定吉CAT(0) Cube Complexes for Graph Products of Cyclic Groups and Dihedral Groups
16:40吉村 崇弘小島 定吉Ã2型群の構成と property(T) について
17:10生井 雄示西畑 伸也プラズマ物理におけるNavier-Stokes-Poisson方程式の定常解について
17:35河村 航太西畑 伸也半直線上の対称双曲−放物型方程式系に対する解の漸近挙動

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

開始時刻発表者氏名指導教員論文題目
9:30椎橋 怜史山下 真・福田 光浩車両運行に対する効率的なエネルギーマネージメントの設計
9:55曽根 毅山下 真センサーネットワーク位置推定問題に対する二次錐計画問題を用いた解法の精度向上
10:20城戸 武尊山下 真直交射影作用素を用いた無線センサーネットワーク位置推定アルゴリズムの解析
10:50西沢 優也福田 光浩半無限計画問題に対する下位問題の非退化性を保証する局所帰着法の提案
11:15石井 貢福田 光浩情報量制約を考慮したスパース主成分分析に対する近似解法の提案
11:45須賀原 崇志三好 直人・鈴木 大慈金利を考慮した多次元リスク過程の解析---クレーム額がMPH分布に従う場合
13:30三木 優足鹿島 亮可変領域フレームでの Quantified propositional Relevant Logic について
13:55加藤 肇鹿島 亮Relevant Logic uR の1変数断片と modal embedding について
14:20中村 誠希鹿島 亮Concurrent Kleene Algebra with Tests の決定手続き
14:50北川 冬航田中 圭介Key-dependent Message Security for Public-key Encryption
15:15澤井 優樹田中 圭介Constructions for Attribute-Based Encryption
15:40遠山 裕之田中 圭介Variants of Garbled Circuits and Their Security Notions
16:10芦田 亮渡辺 治回路のBlack Box Reductionの解析
16:35井村 実希冶渡辺 治動的グラフアルゴリズムの理論と実際
17:00楊 永隆渡辺 治最短経路問題の劣線型領域計算可能性
17:30朝倉 泉増原 英彦・南出 靖彦並行分離論理に基づくGPGPU向けデータ並列DSLコンパイラの形式検証

論文発表会 2016年2月3日(水) 西8号館W棟10階1008号室

時刻発表者氏名司会教員論文題目
10:30-12:00緒方 一則増原 英彦インタープリタ−動的コンパイラ併用型仮想マシンのシステム性能改善技術

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

時刻発表者氏名司会教員論文題目
13:00-14:30華井 雅俊首藤 一幸Performance Optimization for Parallel and Distributed Discrete Event Simulation of Large-Scale Systems(大規模システムの並列分散離散イベントシミュレーションにおける性能最適化)

博士論文発表会 2015年12月22日(火) 西8号館W棟8階809号室

時刻発表者氏名司会教員論文題目
10:00-11:30新屋 良磨鹿島 亮Zero-One Law for Regular Languages(正規言語の零壱則)
16:00-17:30松田 直祐鹿島 亮Lambda-Calculus: A Simplified Proof of the Church-Rosser Theorem and an Extension of the Curry-Howard Correspondence(ラムダ計算:チャーチ・ロッサー性の簡潔な証明とカリー・ハワード対応の拡張)

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

時刻発表者氏名司会教員論文題目
16:30-18:00Bruno Figueira Lourenco福田 光浩Analysis of ill-posed conic linear programs and slack variables approach for nonlinear SDP(悪条件錐線形計画問題と非線形半正定値計画問題に対するスラック変数法の解析)

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

開始時刻発表者氏名指導教員論文題目
15:30李 楊山下 真An optimal location problem for tidal turbines in open channel
16:00Pak MARKTHUB松岡 聡Increasing Resource Utilization in Batch-Queue Systems by Consolidating Idle Accelerators (バッチキューシステムにおける遊休アクセラレータの集約による利用率の向上)
16:25徐 天棋松岡 聡Cloud-based Burst Buffers for I/O Acceleration (クラウドバーストバッファを用いたI/O性能向上)

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

時刻発表者氏名司会教員論文題目
13:30-14:30中川 航太郎渡辺 治Õ(√n) space polynomial time algorithm for directed planar reachability(有向平面グラフ上到達可能性問題に対するÕ(√n)領域多項式時間アルゴリズム)