![[PukiWiki]](image/pukiwiki.png "[PukiWiki]")
（先生方へ）研究室所属の学生さんのリストを追加してください。 追加していただいた順番を、研究室内の発表順番とします。 9999に相当する部分は、わかるようでしたら、学生さんの学籍番号下４桁を書いてください。 わからなければ、あとでこちらで作業します。 論文タイトルなどは、後からこのページで編集可能ですので、未定でも結構です。
| 学生氏名 | 修論タイトル | 研究室 |
| なまえ | 論文タイトル | 教員 |
| 大島 榛名 | 論文タイトル | 椎尾 |
| 小笠原 萌 | 論文タイトル | 椎尾 |
| 勝泉 夏生 | 論文タイトル | 椎尾 |
| 石井 綾郁 | 論文タイトル | 椎尾 |
| 久保 鮎乃 | 会話のネットワークにおける集団の合意形成 (2/7希望) | 工藤 |
| 鬼岩 あかり | 表面効果翼艇周りの流れの解析と空力係数の推定 | 河村 |
| 津久井 彩絵 | 種々の条件下における火災旋風の直角座標と円柱座標を用いた数値シミュレーション | 河村 |
| 寺町 幸希子 | 種々の風車から発生する音の伝播の数値シミュレーション | 河村 |
| 平賀 郁子 | CFDによる水平軸海流発電用回転装置の動特性の解析 | 河村 |
| 皆川 晶子 | 生物対流の密度不安定性モデルにおけるパターン形成の数値シミュレーション | 河村 |
| 石井 萌子 | スケッチベースヘアモデリングのための視点推薦 | 伊藤 |
| 佐々 日向子 | ラベル付きノードを含むネットワークのVR可視化の一手法 | 伊藤 |
| 安江 志織 | パーツごとの肌状態を考慮した肌微細構造の画像計測と CG 表現 | 伊藤 |
| 吉久 怜子 | リスナー間の楽曲嗜好傾向の可視化 | 伊藤 |
| 今井 美希 | 論文タイトル | 小口 |
| 小山内 遥香 | 論文タイトル | 小口 |
| 佐藤 沙央 | 論文タイトル | 小口 |
| 山田 優輝 | 論文タイトル | 小口 |
| 山本 葵 | 論文タイトル | 小口 |
| 石尾 千晶 | shift/reset のための Selective CPS 変換の定式化とその自動証明 | 浅井 |
| 古川 つきの | 代数的効果を含むプログラムのステップ実行 | 浅井 |
| 千葉友紀子 | ストークス流体中の結合回転子集団の協働ダイナミクス(2/7希望) | 郡（河村） |
| 山下璃紗 | 双方向的流れを持つネットワークの最適構造(2/7希望) | 郡（河村） |
| 上田潮里 | 電力網同期の頑健性のネットワーク構造依存性に関する数理的研究(2/7希望) | 郡（河村） |
| 小澤歩 | 不均一な振動子集団の制御：大域的なフィードバックの効果の解析と最適化(2/7希望) | 郡（河村） |
| 馬目 華奈 | 深層学習によるCCG構文解析と文生成の同時学習 | 戸次 |
| 荒川 玲佳 | MathMLにおける表現形式から意味形式へのコンバータツールの開発 | 浅本 |
| 椎名 遥 | 数式記述言語MathMLを用いた初等教育における教師支援ツールの開発 | 浅本 |
| 渡辺 裕美 | MathMLにおける一意な表現記述への自動変換 | 浅本 |
（先生方へ）研究室所属の学生さんのリストを追加してください。 追加していただいた順番を、研究室内の発表順番とします。 xxx, yy-zzの部分は、全体の発表順が決定してから自動生成しますので、このまま残しておいてください。 論文タイトルなどは、後からこのページで編集可能ですので、未定で結構です。
| 学生氏名 | 卒論タイトル | ページ数 | 研究室 |
| なまえ | 卒論タイトル | yy-zz | 教員 |
| 浦 恵里加 | 卒論タイトル | yy-zz | 椎尾 |
| 田中 波輝 | 卒論タイトル | yy-zz | 椎尾 |
| 福島 真花 | 卒論タイトル | yy-zz | 椎尾 |
| 大谷ちとせ | 山越え気流による雲の生成 | yy-zz | 河村 |
| 大和田真由 | 回転同軸円筒内の熱塩対流 | yy-zz | 河村 |
| 小川公子 | 海流の西岸強化のシミュレーション | yy-zz | 河村 |
| 古関七菜 | 河川の合流部近くの流れの解析 | yy-zz | 河村 |
| 山村椎奈 | 海底地形が津波に及ぼす影響 | yy-zz | 河村 |
| 大石 美賀 | アニーリングマシンを用いた配送計画 | yy-zz | 工藤 |
| 松本 奈紗 | 量子アニーリングマシンを用いた時間制約付き配送ルート最適化 | yy-zz | 工藤 |
| 向井 かのん | アニーリングマシンを用いたパターン形成 | yy-zz | 工藤 |
| 飯島 緋理 | 多数の画像群に対する多人数・多次元印象評価結果の可視化 | yy-zz | 伊藤 |
| 近藤 芽衣 | 同一楽曲に対する多数の歌唱の音高推移分布の可視化 | yy-zz | 伊藤 |
| 土田 夏実 | 歩行状態に基づいた人流可視化 | yy-zz | 伊藤 |
| 栃木 彩実 | 肌透明感の要因追求のための多次元可視化－肌画像解析と官能評価からなるデータの解析－ | yy-zz | 伊藤 |
| 磯井 葉那 | 卒論タイトル | yy-zz | 小口 |
| 伊藤 桃 | 卒論タイトル | yy-zz | 小口 |
| 佐藤 里香 | 卒論タイトル | yy-zz | 小口 |
| 高橋 佑里子 | 卒論タイトル | yy-zz | 小口 |
| 松本 茉倫 | 卒論タイトル | yy-zz | 小口 |
| 上田 結実 | 卒論タイトル | yy-zz | 浅井 |
| 高越 莉菜 | 卒論タイトル | yy-zz | 浅井 |
| 守本 梨紗 | 卒論タイトル | yy-zz | 浅井 |
| 山本 充子 | 卒論タイトル | yy-zz | 浅井 |
| 大洞 日音 | 依存型意味論の証明探索とその実装に向けて | yy-zz | 戸次 |
| 戸谷 咲良 | 卒論タイトル | yy-zz | 浅本 |
| 内橋 夏実 | 卒論タイトル | yy-zz | 浅本 |
| 八巻 澄奈 | 卒論タイトル | yy-zz | 浅本 |
|
目次：
%%%%%%%%開始ページ数を設定する(この例では1)%%%%%%%%%
\setcounter{page}{1}
% 以下を書き換えてタイトル部に
%------------------------------------------------------------
\title{{\gt{文鎮メタファを利用した小型情報機器向けインタフェース }}}
\author{{\gt 理学専攻・情報科学コース~~~~辻田 眸}}
%------------------------------------------------------------結果はこのようになります（だいたい合ってれば良いです）。
博士論文公開発表会会場は 有形文化財に登録されている 本館の中で、 本館建築当時の内装と什器を残した唯一の講義室です。 硬い木の椅子ですので、必要な方はクッションをお持ちください。
shift/reset が共存する言語 Dellina を設計する。主な貢献は以下の通りである。まず、柔軟な振る舞いを持つ制御演算子を扱う際に、型の依存性をどのように制限しなければならないかを明らかにする。次に、非叙述性を仮定することなく、制御演算子を除去できるようなプログラム変換を定義する。最後に、帰納的データ型や型演算をサポートすることによって、言語の実用性を向上させる。
司会：なまえ、なまえ、なまえ、なまえ（所属研究室学生）
| 学生氏名 | 修論タイトル | 研究室 |
| なまえ | 論文タイトル | 教員 |
司会：なまえ、なまえ、なまえ、なまえ（所属研究室学生）
| 学生氏名 | 修論タイトル | 研究室 |
|なまえ|論文タイトル| 教員
司会：なまえ、なまえ、なまえ、なまえ（B3学生）
| 学生氏名 | 卒論タイトル | ページ数 | 研究室 |
| なまえ | 卒論タイトル | yy-zz | 教員 |
教員による研究室説明 (part 1)
教員による研究室説明 (part 2)
