![[PukiWiki]](image/pukiwiki.png "[PukiWiki]")
（先生方へ）研究室所属の学生さんのリストを追加してください。 追加していただいた順番を、研究室内の発表順番とします。 9999に相当する部分は、わかるようでしたら、学生さんの学籍番号下４桁を書いてください。 わからなければ、あとでこちらで作業します。 論文タイトルなどは、後からこのページで編集可能ですので、未定でも結構です。
（先生方へ）研究室所属の学生さんのリストを追加してください。 追加していただいた順番を、研究室内の発表順番とします。 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 | 浅本 |
| 内橋 夏実 | 卒論タイトル | yy-zz | 浅本 |
| 八巻 澄奈 | 卒論タイトル | yy-zz | 浅本 |
| 島 百子 | 卒論タイトル | yy-zz | 小林（2月6日希望） |
| 折口希実 | 卒論タイトル | yy-zz | 小林（2月6日希望） |
| 黒田彗莉 | 卒論タイトル | yy-zz | 小林（2月6日希望） |
| 谷口 巴 | 卒論タイトル | yy-zz | 小林（2月6日希望） |
| 田屋侑希 | 卒論タイトル | yy-zz | 小林（2月6日希望） |
| 廣田梨那 | 卒論タイトル | yy-zz | 小林（2月6日希望） |
| 前原有希 | 卒論タイトル | yy-zz | 粕川 |
目次：
%%%%%%%%開始ページ数を設定する(この例では1)%%%%%%%%%
\setcounter{page}{1}
% 以下を書き換えてタイトル部に
%------------------------------------------------------------
\title{{\gt{文鎮メタファを利用した小型情報機器向けインタフェース }}}
\author{{\gt 理学専攻・情報科学コース~~~~辻田 眸}}
%------------------------------------------------------------結果はこのようになります（だいたい合ってれば良いです）。
博士論文公開発表会会場は 有形文化財に登録されている 本館の中で、 本館建築当時の内装と什器を残した唯一の講義室です。 硬い木の椅子ですので、必要な方はクッションをお持ちください。
shift/reset が共存する言語 Dellina を設計する。主な貢献は以下の通りである。まず、柔軟な振る舞いを持つ制御演算子を扱う際に、型の依存性をどのように制限しなければならないかを明らかにする。次に、非叙述性を仮定することなく、制御演算子を除去できるようなプログラム変換を定義する。最後に、帰納的データ型や型演算をサポートすることによって、言語の実用性を向上させる。
司会：なまえ、なまえ、なまえ、なまえ（所属研究室学生）
| 学生氏名 | 修論タイトル | 研究室 |
| なまえ | 論文タイトル | 教員 |
司会：なまえ、なまえ、なまえ、なまえ（所属研究室学生）
| 学生氏名 | 修論タイトル | 研究室 |
|なまえ|論文タイトル| 教員
司会：なまえ、なまえ、なまえ、なまえ（B3学生）
| 学生氏名 | 卒論タイトル | ページ数 | 研究室 |
| なまえ | 卒論タイトル | yy-zz | 教員 |
教員による研究室説明 (part 1)
教員による研究室説明 (part 2)
