学生番号 |
名前 |
指導教員 |
題目 |
要旨 |
080231799 |
山下圭太 |
酒井正彦 |
SATソルバを用いた部分項基準の判定ツールの実装と評価 |
PDF |
080530885 |
清水元規 |
長尾確 |
ディスカッションマイニングにおける発言中の指示対象の取得とその応用に関する研究 |
PDF |
080531059 |
田島裕之 |
石井健一郎 |
機械学習を用いたポートフォリオの設計 |
PDF |
080531679 |
森文宏 |
宮尾克 |
準同型暗号システムに基づく双方向ポリシマッチング |
PDF |
080531687 |
森雅紀 |
高木直史 |
単一磁束量子回路のためのレイアウトを考慮したクロック木の構成法の評価 |
PDF |
080630014 |
青木政人 |
渡邉豊英 |
議論状況の可視化に基づいた論文読解のための協調学習支援システムの構築 |
PDF |
080630073 |
池端宏章 |
大西昇 |
視覚障害者のためのタッチパネル利用支援システム |
PDF |
080630090 |
石川友哉 |
渡邉豊英 |
監視カメラ映像からの幼稚園児の1日ダイジェスト自動生成 |
PDF |
080630120 |
板垣達也 |
大西昇 |
複数クラクションの検出法の改良 |
PDF |
080630138 |
市川章宏 |
阿草清滋 |
利用部品の共通性に基づく問題解決経験検索手法 |
PDF |
080630227 |
上田一康 |
石井克哉 |
遺伝的アルゴリズムを用いた弾性波動場のパラメータ推定 |
PDF |
080630316 |
太田健文 |
石井健一郎 |
ロボカップレスキューシミュレーションにおけるエージェントの行動戦略の推定 |
PDF |
080630367 |
大塲光明 |
阿草清滋 |
クラスの責務を考慮したコードスニペット抽出 |
PDF |
080630448 |
奥田輔 |
大西昇 |
心理的不快音における包絡線と不快感の関連性 |
PDF |
080630480 |
尾関朗 |
酒井正彦 |
依存対が右線形右シャローなTRSの停止性判定アルゴリズムの改良 |
PDF |
080630529 |
加藤宏紀 |
石川佳治 |
日本語文作成支援を目的とした用例検索システムに関する研究 |
PDF |
080630553 |
加藤祐二 |
村瀬洋 |
超解像による低解像度QRコード画像の認識 |
PDF |
080630561 |
加藤竜太 |
外山勝彦 |
構文情報タグ付き法律文コーパスにおける並列表現の分析とタグ付け誤りの修正 |
PDF |
080630600 |
加納慎也 |
阿草清滋 |
Java実行履歴の対話的可視化手法 |
PDF |
080630626 |
鎌田泰毅 |
高田広章 |
Advanced SystemBuilderを用いたMPEG-4エンコーダシステムのマルチプロセッサ設計探索事例 |
PDF |
080630634 |
上坂竜規 |
村瀬洋 |
ドライバの視線情報を利用した運転行動予測 |
PDF |
080630642 |
神谷達幸 |
石井健一郎 |
SNS成長モデルのパラメータ推定 |
PDF |
080630650 |
川口隆広 |
高木直史 |
動作合成における最終加算部を分離した乗算器の導入効果 |
PDF |
080630707 |
岸佳奈恵 |
長尾確 |
個人用知的移動体による狭空間での安全走行支援に関する研究 |
PDF |
080630766 |
熊谷章吾 |
村瀬洋 |
モノローグシーン抽出のための被写体と話者の不一致検出 |
PDF |
080630901 |
佐野泰正 |
高田広章 |
MPSoC設計における性能ボトルネック解析のためのソフトウェア・ハードウェア実行ログの同時可視化 |
PDF |
080630960 |
白木敦夫 |
石川佳治 |
マイクロブログにおける発言者の状況の推定 |
PDF |
080631045 |
鈴木規之 |
村瀬洋 |
Wikipedia人名エントリによるニュース中の人物同定 |
PDF |
080631088 |
高桑一也 |
坂部俊樹 |
項書換え系への変換による類似した関数の効率的な検証 |
PDF |
080631100 |
竹島亮 |
渡邉豊英 |
論文読解支援のための図表説明文の抽出 |
PDF |
080631118 |
田中健太 |
結縁祥治 |
ユースケース記述に対する格フレーム辞書を利用したCRUD操作の欠落検出 |
PDF |
080631126 |
谷村直樹 |
酒井正彦 |
単純型付き項上の逆辞書式経路順序 |
PDF |
080631142 |
土屋祥太 |
間瀬健二 |
HOG特徴量を用いたSVMによる画像中の自転車検出 |
PDF |
080631185 |
富澤圭 |
大西昇 |
同一画像内の部分複写検出における回転角・反転推定手法の改良 |
PDF |
080631207 |
鳥居洸佑 |
高木直史 |
順序回路の形式的検証におけるSequential SATのm-Trieを用いた高速化 |
PDF |
080631215 |
内藤和宏 |
間瀬健二 |
スポーツイベントにおけるTwitter実況要約のための重要語抽出手法の検討 |
PDF |
080631240 |
中島崇 |
結縁祥治 |
TOPPERS/ASPカーネルの割込み動作のUPPAALによるモデル化と検証 |
PDF |
080631258 |
中村彰吾 |
村瀬洋 |
複数フレームのBoF特徴を用いた車両カテゴリ認識 |
PDF |
080631312 |
坂知樹 |
阿草清滋 |
ソースコード解析に基づくTOPPERS/ASPカーネルにおけるタスク制御システムのUPPAALを用いたモデル化 |
PDF |
080631347 |
日野善信 |
酒井正彦 |
基本対称関数を利用したSATソルバの実装と評価 |
PDF |
080631371 |
平井尚樹 |
石井健一郎 |
インタビュー型対話における発話の特徴分析 |
PDF |
080631410 |
福井克佳 |
間瀬健二 |
スポーツ指導者育成のための指導者注視動作の比較検討 |
PDF |
080631460 |
BUI H.H |
森健策 |
3次元腹部CT像における下腹部血管領域への血管名自動対応付けに関する研究 |
PDF |
080631509 |
松岡研二 |
渡邉豊英 |
適合・不適合指示情報に基づいたウェブ検索結果のリランキング |
PDF |
080631517 |
松田紘幸 |
坂部俊樹 |
静的依存対法の適用可能性判定アルゴリズムに関する研究 |
PDF |
080631550 |
眞野将徳 |
石川佳治 |
位置情報サービスにおけるプライバシーを考慮した匿名化処理に関する研究 |
PDF |
080631576 |
水谷浩明 |
阿草清滋 |
携帯電話向けJavaアプリケーションのプロファイル間移植支援 |
PDF |
080631592 |
箕浦一馬 |
渡邉豊英 |
運転者の視点と車両の形状に基づく死角領域の推定 |
PDF |
080631614 |
三輪遼平 |
高田広章 |
固定優先度スケジューリング方式の組込みシステムにおける効率的なスラック時間の導出 |
PDF |
080631657 |
安永卓矢 |
高木直史 |
混合一括並列処理による省メモリなモチーフ探索回路 |
PDF |
080631673 |
山口幸佑 |
大西昇 |
検索オブジェクトの統計的性質に基づいた画像内容検索 |
PDF |
080631690 |
山口英之 |
高田広章 |
組込み向けコンポーネントシステムを用いたRPC機構の省メモリ化 |
PDF |
080631711 |
山田周平 |
宮尾克 |
マルチエージェントシミュレーションのためのパラメータ探索支援機能の開発 |
PDF |
080631754 |
横山拓也 |
石川佳治 |
分散コンピューティング環境における空間結合問合せに関する研究 |
PDF |
080631835 |
服部達哉 |
酒井正彦 |
制約付き項書換え系における非停止性の十分条件 |
PDF |
080631851 |
若山雅史 |
村瀬洋 |
物体の顕著度を考慮した歩行者の視認性定量化 |
PDF |