目次:
司会:遠藤, 落合:
学生 氏名 | 修論タイトル | 研究室 |
味方 さやか | 相互連関を持つモデルを対象としたスケジューリング問題の解法 | 小林 |
梅澤 香矢乃 | 文書ベクトルの次元削減に基づく有効な類似文書判定 | 小林 |
三野 陽子 | 健康管理のための柔軟なレシピ推薦 | 小林 |
司会:野澤:
学生 氏名 | 修論タイトル | 研究室 |
諌本 有加 | メタサーチ環境におけるファセット検索の実現 | 渡辺 |
Kanwipa Lertsamlaipan | オノマトペロリ:オノマトペを利用した料理の印象検索 | 渡辺 |
中部 文子 | SERPAnalyzer:社会調査支援の為のSERP アーカイブからの特徴的ランク変動分析システム | 渡辺 |
山田 寛乃 | 観察記録とヒストグラムの変遷を用いた自然画像からの特徴抽出 | 渡辺 |
司会:安藤, 松本, 三木, 百瀬:
学生 氏名 | 修論タイトル | 研究室 |
浅田 菜那 | iSCSI遠隔ストレージアクセスの実環境向けのシステム構成における性能評価 | 小口 |
豊島 詩織 | データインテンシブアプリケーション実行時におけるクラウドリソースへの負荷分散ミドルウェア | 小口 |
松原 麻佑 | 分散型メタバースサーバにおけるレスポンス性能に関する評価 | 小口 |
宮崎 悦子 | 無線通信環境における複数インタフェース使用時の帯域幅集約ミドルウェアの提案と評価 | 小口 |
司会:小谷, 田島, 辰田, 冨田, 冨永, 渡辺, 佐藤, 横窪
学生 氏名 | 修論タイトル | 研究室 |
小松崎 瑞穂 | 生活空間に適した物探し支援システム | 椎尾 |
川上 あゆみ | 日常にとけ込む情報提示システムの提案 | 椎尾 |
中森 玲奈 | インタラクティブアートによる緩やかなコミュニケーション支援 | 椎尾 |
司会:川本, 黒川, 中村, 安田, 斉藤:
学生 氏名 | 修論タイトル | 研究室 |
井元 麻衣子 | SAX法による局所パターン抽出を導入した時系列データの三次元可視化 | 伊藤 |
笠松 沙紀 | EFD/CFD融合可視化の一手法 | 伊藤 |
草間 かおり | MusCat: 楽曲データの印象表現に基づいた一覧表示の一手法 | 伊藤 |
白鳥 佳奈 | PLUM: 地図配置型の写真ブラウザの一手法 | 伊藤 |
町田 和嘉子 | Lyricon: 複数アイコンによるビジュアルな音楽選択インタフェース | 伊藤 |
司会:小川, 尾崎:
学生 氏名 | 修論タイトル | 研究室 |
渡邊 隆子 | 可解量子スピン模型とループ代数の有限次元最高ウェイト表現 | 萩田 |
山口 真実 | グラフの分散彩色 | 萩田 |
間宮 直子 | グラフの彩色拡張アルゴリズム | 萩田 |
司会:景山, 山田:
学生 氏名 | 修論タイトル | 研究室 |
池田 佳奈子 | 複数台の自動車まわりの流れの解析 | 河村 |
中村 絵美 | 関東平野における局地風の数値シミュレーション | 河村 |
戸澤 美幸 | 回転する球殻内の流れのシミュレーション | 河村 |
司会:茨木, 小林:
学生 氏名 | 修論タイトル | 研究室 |
加茂下 茜 | 非線形クラスタリング手法の潜在構造モデルへの応用 | 吉田 |
山中 杏奈 | 画像の色情報に付随した統計モデルとその推定 | 吉田 |
司会:伊澤, 山田:
学生 氏名 | 修論タイトル | 研究室 |
小中 佳子 | 頻出パターン解析による重複遺伝子の同定手法 | 瀬々 |
福崎 睦美 | 比較トランスクリプトーム向けマイクロアレイの設計手法の提案 | 瀬々 |
寺田 愛花 | 大域的なネットワークアラインメントを用いた遺伝子機能の比較 | 瀬々 |
司会:柴田, 中村, 永森, 西見, 山中:
学生 氏名 | 修論タイトル | 研究室 |
沼上 利子 | 曲線上電荷分布の形状同定 | 金子 |
余田 史絵 | 局所気象現象の数値的研究 | 金子 |
工藤 麻美 | ペアリング演算高速化の為の楕円曲線の構成法について | 金子 |
司会:新井, 岩井:
学生 氏名 | 修論タイトル | 研究室 |
上田 やよい | 対称λ計算、計算論的古典性 | 浅井 |
対馬 かなえ | 型に着目した定式化と実装 (部分評価およびプログラミング支援) | 浅井 |
増子 萌 | shift/reset の直接実装法と Caml Light における実装 | 浅井 |
短期留学のため発表会を卒論発表会の日に実施.
司会:新井, 岩井:
学生 氏名 | 修論タイトル | 研究室 |
櫻井 加奈子 | 証明木を描くための汎用的なGUIライブラリMikiβ | 浅井 |
司会: 安藝 優子, 綾田 瑛美, 飯尾 明日香, 一瀬 詩織 :
学生氏名 | 卒論タイトル | ページ数 | 研究室 |
岸本 華奈 | PCAと非線形クラスタリングを用いた判別変数の選択 | 1-2 | 吉田 |
北口 景子 | モンテカルロ法によるディリクレ問題への非線形回帰の応用 | 3-4 | 吉田 |
森 まどか | 確率モデルによる拡散過程のシミュレーション | 5-6 | 吉田 |
司会: 岩間 理沙, 宇野 愛, 樫原 萌, 加藤 知美, 金子 貴美 :
学生氏名 | 卒論タイトル | ページ数 | 研究室 |
青野 麻奈 | DESとAESの比較 | 7-8 | 萩田 |
高橋 絢那 | 擬似乱数の評価 | 9-10 | 萩田 |
松木 みなみ | DeBruijn系列から作られる多項式について | 11-12 | 萩田 |
石下 裕里 | 前提記述のための動的論理の証明論構築に向けて | 13-14 | 戸次 |
尾崎 博子 | 部分方向性組み合わせ論理の計算論的性質 | 15-16 | 戸次 |
司会: 金島 典子, 川出 晴多, 川那子 紗枝, 熊谷 菜津美, 小橋川 弓加 :
学生氏名 | 卒論タイトル | ページ数 | 研究室 |
大杉 絵理奈 | 組込み機器に搭載したAndroidの通信性能の評価 | 17-18 | 小口 |
笠江 優美子 | Eucalyptusを用いたプライベートクラウドの消費電力量評価 | 19-20 | 小口 |
平井 弘実 | Android端末における通信性能の可視化ツール | 21-22 | 小口 |
山下 暁香 | ライフログ解析アプリケーション実行環境におけるデータ品質評価フレームワークの実現 | 23-24 | 小口 |
唐石 景子 | Smart GridのEV活用に向けたシミュレーションによる性能評価 | 25-26 | 小口 |
司会: 小林 彩音, 小林 瑞季, 小谷野 さとみ, 澤村 瞳, 重松 遥 :
学生氏名 | 卒論タイトル | ページ数 | 研究室 |
北島 理沙 | 文書上の事象を対象にした潜在的トピック抽出手法の提案 | 27-28 | 小林 |
坂梨 優 | 同一事象を報告する複数文書の比較に基づく個々の情報伝達の差異に対する一考察 | 29-30 | 小林 |
芹澤 翠 | 潜在的なトピックの類似度に基づくトピック追跡 | 31-32 | 小林 |
曽我 紗知子 | 新しい環境下におけるロボットの行動学習に関する取り組み | 33-34 | 小林 |
土橋 亮子 | 時系列データの形状認識に基づく言語化への取り組み | 35-36 | 小林 |
吉田 知世 | 感情極性に基づく小説の俯瞰分析への取り組み | 37-38 | 小林 |
司会: 末松 はるか, 須賀 千紘, 関谷 祐理, 高橋 里奈, 竹内 友美 :
学生氏名 | 卒論タイトル | ページ数 | 研究室 |
安藤 瞳 | 大規模ゲノム解析に向けた並列計算環境の比較 | 39-40 | 瀬々 |
池田 彩 | ゲノム未読種のためのマイクロアレイ設計手法 | 41-42 | 瀬々 |
吉武 雅侑子 | 二部グラフを利用した糖鎖反応可視化ツールの開発 | 43-44 | 瀬々 |
赤池 環 | 温度成層を考慮したヒートアイランド現象のシミュレーション | 45-46 | 河村 |
井元 薫 | 種々の山岳地形におけるフェーン現象のシミュレーション | 47-48 | 河村 |
田中 智絵 | 正弦関数的に振動する平板周りの流れ | 49-50 | 河村 |
塚田 有希 | 山麓における火災旋風のシミュレーション | 51-52 | 河村 |
教員による研究室説明 (part 1)
一部の研究室は、クリックすると、受入れ人数、条件、予定テーマなどについて、 教員からのメッセージが見られます。
司会: 武田 明子, 立川 華代, 田中 郁美, 中澤 里奈, 中野 祥 :
学生氏名 | 卒論タイトル | ページ数 | 研究室 |
柴田 絢子 | オンライン筆跡鑑定への微分幾何学の応用 | 53-54 | 金子 |
中村 蓉子 | 完全凖同型暗号の実装 | 55-56 | 金子 |
永森 枝里子 | トーラス上の Hex ゲームの研究 | 57-58 | 金子 |
西見 英里子 | VPN とパーソナルクラウドのサーバ構築に向けて | 59-60 | 金子 |
山中 裕美 | OpenCV を利用した指紋照合 | 61-62 | 金子 |
司会: 中野 悠紀, 野村 沙貴, 原田 実里, 菱沼 直子, 福手 亜弥 :
学生氏名 | 卒論タイトル | ページ数 | 研究室 |
上田 美穗 | Drawdioのデジタル化 | 63-64 | 粕川 |
金子 ちひろ | 探索アルゴリズムのための非決定性オペレータの実装 | 65-66 | 浅井 |
末広 藍 | ベイズ統計を用いたタンパク質アミノ酸残基の溶媒接触度と二次構造の同時予測 | 67-68 | 由良 |
久保田 千尋 | Thermus-Deinococcus属ゲノムアノテーションデータベースによる新規DNA修復遺伝子の検索 | 69-70 | 由良 |
司会:藤田 真央, 三久保 莉也, 森内 彩加, 柳本 麻那, 袁 雪 ヤン :
学生氏名 | 卒論タイトル | ページ数 | 研究室 |
石澤 恵 | OurTV:グループで共有している情報を利用したテレビ番組の自動生成 | 71-72 | 渡辺 |
大西 史花 | センサデータに対するSAX を利用したイベント検索の検討 | 73-74 | 渡辺 |
金子 静花 | Semi-ShuffledBF:ブルームフィルタを用いた安全かつより高速なプライバシ保護検索手法の提案 | 75-76 | 渡辺 |
緒方 亜衣 | DeliBarcode:郵便箱と2次元コードを用いたコミュニケーション支援 | 77-78 | 椎尾 |
川原 夕季 | AsyncDecor:時差を考慮した遠隔コミュニケーション支援システム | 79-80 | 椎尾 |
津々美 薫 | IteMapper:手軽な日用品 ID 登録システム | 81-82 | 椎尾 |
武藤 愛美 | インタラクティブな拡張現実食卓の提案 | 83-84 | 椎尾 |
司会: 渡邉 真琴, 魚田 知美, 長谷川 友香, 柳本 望帆, 八反田 香莉 :
学生氏名 | 卒論タイトル | ページ数 | 研究室 |
猪股 真美 | 肌質感の印象評価と評価結果の可視化 | 85-86 | 伊藤 |
金子 彩香 | 蛋白質表面形状分析手法PROTEINを用いたポケット形状評価 | 87-88 | 伊藤 |
長津 静香 | らふのおと:クラシック楽曲の時間変化を単音楽譜風に表現する可視化ツール | 89-90 | 伊藤 |
東原 真希 | 長方形の空間充填による無閉路有向グラフの可視化 | 91-92 | 伊藤 |
八木 佐也香 | 地図上の水防災データ可視化における画面配置と詳細度制御 | 93-94 | 伊藤 |
修論発表およびITP報告
司会:新井, 岩井:
学生 氏名 | 修論タイトル | 研究室 |
櫻井 加奈子 | 証明木を描くための汎用的なGUIライブラリMikiβ | 浅井 |
教員による研究室説明 (part 2)
一部の研究室は、クリックすると、受入れ人数、条件、予定テーマなどについて、 教員からのメッセージが見られます。