学生番号 | 名前 | 指導教員 | 題目 | 要旨 |
080430589 | 小嶋祐介 | 坂部俊樹 | 単純型付き項書換え系における引数切り落とし法の改良 | PDF |
080430643 | 近藤隆 | 坂部俊樹 | SATソルバを利用した充足可能性判定を支援するSMLライブラリの開発 | PDF |
080530451 | 小栗豊 | 石井克哉 | 分散遺伝的アルゴリズムにおけるパラメータの自動調整 | PDF |
080730140 | 磯貝邦昭 | 高倉弘喜 | 言語グリッドを用いたコミュニティ新規参入者支援システム | PDF |
080730639 | 小林孝壽 | 阿草清滋 | 制御ソフトウェア向けブロック線図モデルの設計評価手法 | PDF |
080731279 | 早矢仕新 | 石川佳治 | 移動ロボットの行動履歴問合せシステムの構築 | PDF |
080830021 | 朝倉詩穂 | 森健策 | 3次元CT像からの腸管潰瘍領域検出手法における拾い過ぎ削減方法の検討 | PDF |
080830056 | 飯田涼太郎 | 間瀬健二 | サッカーにおけるパスの多様なボール初速度変化を考慮したパス成功率分布の推定手法 | PDF |
080830072 | 石田薫史 | 高田広章 | 動的再構成LSI「XBridge」へのアプリケーション実装と評価 | PDF |
080830196 | 稲木大 | 渡邉豊英 | 英文法知識の理解度に応じた短文穴埋め問題の自動生成 | PDF |
080830200 | 稲葉鉄平 | 石川佳治 | 授業の設計意図のモデル化による学習指導案の意味的検索に関する研究 | PDF |
080830226 | 今田悠幾 | 外山勝彦 | 地方自治体の条例に対するクラスタリング手法の比較 | PDF |
080830277 | 臼井翔平 | 石井健一郎 | 震災による情報伝播ネットワークの変化の分析 | PDF |
080830285 | 大川禎 | 枝廣正人 | イベントドリブンプロセッサにおけるフィードバックループを持つモデルの実現 | PDF |
080830315 | 大瀧雄貴 | 大西昇 | 1チャンネル脳波の類似度ベクトル及び写像に基づいた選曲システム | PDF |
080830340 | 大橋孝輔 | 高田広章 | SafeGの統合スケジューリングへのスポラディックサーバアルゴリズムの実装・評価 | PDF |
080830358 | 大橋拓実 | 宮尾克 | 同一3Dコンテンツにおけるレンズ視聴効果の生態影響調査 −遠近ストレッチ(製品版SkyCrystal)の視聴による効果検証− | PDF |
080830366 | 大平隼也 | 石井健一郎 | 遷移モデルに基づく小規模SNSの成長分析 | PDF |
080830439 | 尾崎宏樹 | 長尾確 | 小型無人移動体を用いた3次元地図の自動生成に関する研究 | PDF |
080830501 | 神谷尚史 | 酒井正彦 | 単純型項書換え系における補パターン生成アルゴリズムの提案 | PDF |
080830510 | 亀井達朗 | 結縁祥治 | タスクオートマトンシミュレータの作成 | PDF |
080830560 | 川嶋健司 | 大西昇 | ディジタル画像における輝度-色相関を用いた照明光推定及び画像補正 | PDF |
080830579 | 川西康介 | 長尾確 | 研究活動における音声ログの整理と利用に関する研究 | PDF |
080830633 | 葛口優樹 | 宮尾克 | タブレット型モバイル端末上における手書き文字の評価 | PDF |
080830650 | 熊谷康太 | 高田広章 | 車載データ統合プラットフォームの運転支援アプリケーションへの適用 | PDF |
080830668 | 熊谷はるか | 村瀬洋 | ニュース映像における人物領域と背景領域の個別照合による同一シーン検出 | PDF |
080830676 | 黒板亮太 | 結縁祥治 | プロセス計算におけるAlloyを用いた双模倣性の検証 | PDF |
080830722 | 小島宏紀 | 森健策 | 個別臓器存在尤度アトラスを用いた3次元腹部CT像からの臓器領域のセグメンテーション手法に関する研究 | PDF |
080830730 | 児島勇司 | 村瀬洋 | 半教師付き学習を用いた道路標識検出器の構築 | PDF |
080830773 | 坂井利光 | 酒井正彦 | 語問題を基底等式集合の語問題に帰着可能な等式集合のクラスに関する研究 | PDF |
080830803 | 佐藤翔太 | 間瀬健二 | 車載カメラ映像におけるオプティカルフローを用いた追抜き車両検出 | PDF |
080830811 | 佐藤正明 | 高倉弘喜 | 特徴抽出によるアノマリ型IDS警告ログからの未知攻撃検出 | PDF |
080830820 | 佐藤祐一 | 高田広章 | 時間保護のための階層型スケジューリングアルゴリズムの実装と評価 | PDF |
080830846 | 澤弘也 | 結縁祥治 | 時間システムに対する半順序簡約の適用について | PDF |
080830889 | 杉浦広基 | 結縁祥治 | モデル検査器と Self Composition を用いた量的情報流の検証 | PDF |
080830897 | 杉本恵哉 | 間瀬健二 | ジャズダンスにおける音楽ビートと運動ビートの同期性に関する分析 | PDF |
080830927 | 杉山武至 | 石川佳治 | Hadoopを用いた空間シミュレーションシステムの設計と実装 | PDF |
080830951 | 鈴木悠太 | 枝廣正人 | マルチコア・メニーコアに向けたSimulinkモデル記述法に関する一考察 | PDF |
080831010 | 髙山宏規 | 石川佳治 | 教師間の知識共有のための授業意図の可視化に関する研究 | PDF |
080831044 | 竹内浩一郎 | 大西昇 | 発話速度の変動と聞き取りやすさの関係 | PDF |
080831095 | 谷口嘉隆 | 石井健一郎 | 統計的発話選択手法における学習効果と素性の分析 | PDF |
080831125 | 田渕義宗 | 渡邉豊英 | 話題の時間的遷移による関連記事の推定 | PDF |
080831150 | 塚本謙伍 | 高倉弘喜 | WebSocketを用いた双方向通信における異常検知手法 | PDF |
080831168 | 都築和寛 | 結縁祥治 | レース検査における誤検出の静的解析による削減 | PDF |
080831192 | 藤社隼 | 酒井正彦 | SATソルバを利用したスリザーリンクの解法に関する研究 | PDF |
080831206 | 徳野達也 | 阿草清滋 | デスクトップサーチシステムのためのWeb検索履歴の活用手法 | PDF |
080831214 | 戸田達也 | 阿草清滋 | デザインパターン適用情報に基づくオブジェクト協調動作履歴の抽象化 | PDF |
080831257 | 中神将太 | 宮尾克 | スマートフォンにおける文字列探索のユーザビリティ評価 | PDF |
080831265 | 中嶋俊貴 | 阿草清滋 | Javaソースコード解析サービスのための解析モデル変換ツール | PDF |
080831273 | 中野靖大 | 酒井正彦 | 制約付き項のインスタンスを受理する制約付き木オートマト ンの構成法 | PDF |
080831338 | 西村裕 | 枝廣正人 | メニーコアに向けたタスク配置手法に関する準備的実験 | PDF |
080831451 | 東野惇一郎 | 坂部俊樹 | 非線形不等式形ループ不変式の未定係数の算出手法に関する研究 | PDF |
080831478 | 兵庫渉 | 村瀬洋 | 調理手順に従った撮影対象領域の決定に基づくディジタルカメラワーキング〜個人が撮影した調理映像の自動編集に向けて〜 | PDF |
080831516 | 星原光貴 | 大西昇 | 新聞記事スキャン時に生じる裏写り除去及び部分画像の結合手法 | PDF |
080831532 | 松浦大志 | 阿草清滋 | 格フレーム情報を解析したユースケースのデータベース格納方式の検討 | PDF |
080831540 | 松崎哲朗 | 森健策 | 3次元腹部CT像から抽出された腹部静脈領域に対する血管名自動対応付け手法に関する研究 | PDF |
080831559 | 松原穂波 | 結縁祥治 | Simulation Distanceを求めるシステムの実装 | PDF |
080831648 | 村松祐希 | 間瀬健二 | テーブルフォトにおける色相ヒストグラムを用いた色彩の統一感評価手法 | PDF |
080831699 | 矢田幸大 | 長尾確 | 個人用知的移動体のジェスチャインタフェースに関する研究 | PDF |
080831702 | 柳町直幸 | 高倉弘喜 | エージェントシミュレーションモデル改良基盤GAMESの開発 | PDF |
080831770 | 横井聡 | 渡邉豊英 | 文書構造に基づいた論文ページの部分検索法 | PDF |
080831800 | 芳川大佑 | 山本修一郎 | プロセス記述票に基づくソフトウェアFMEA分析法についての研究 | PDF |
080831885 | 尾﨑安範 | 村瀬洋 | 印象属性に基づく顔画像の検索 | PDF |
080831923 | 原健翔 | 石井健一郎 | 領域分割を用いた顕著性マップの学習 | PDF |