2012年配属者のゼミ
この当時はセメスター制（春学期・秋学期）
3年秋学期エンジニアリングデザイン（ED）
- 山下健太，田中秀明，新海由侑，小川詩織，大沢沙希： 学内情報配信システム
- 中江祥吾，大薮雅人，豊田丈晃，鵜飼菜生，渡邉恭平： 卒業判定システム
重要な連絡
- 2012年度より演習IIではグループワークを必須とします。
- シラバスには「レポート作成やプレゼンテーションをグループで行う。」と明記されました。
- グループワークの成果物（共同のレポート、プレゼンテーションのスライドなど）への記名をお願いします。
- （なお、来年度の卒業研究は個人で行うこともできます。）
- ED以外のレポート(60%)とプレゼンテーション(20%)は大項目Fで評価、EDのレポート(20%)は大項目Gにおいて評価します。
- 合格するには、FとGのそれぞれが60%以上である必要があります。
- (cf. 演習IIの成績評価について)
4年次 ソフトウェア工学演習III
4年次 ソフトウェア工学演習IV
以下のヒント集
- 予稿テンプレート
- スライドの作り方
- 発表スライドの作り方
4年次 卒業研究
修士論文最終試験 発表資料
- 前林 達也：命令型プログラミング言語におけるプログラム可逆変換の形式化 pptx
卒業研究発表会 発表資料
- 大薮 雅人：形式的に記述された金融取引契約の等式変換の正しさ pptx
- 鵜飼菜生：レスポンシブwebデザインのレイアウト設計を支援する領域特化言語の提案 pptx
- 中江祥吾，豊田丈晃：スマートフォンにおける圧縮通信に関する消費エネルギーの最適化 pptx
- 小川詩織，大沢沙希：スマートフォンにおける消費エネルギー可視化のための予測モデル pptx
- 山下健太：リストの可逆分割アルゴリズムを利用したゴミ情報が最適な可逆クイック整列法の生成 pptx
- 渡邉恭平：可逆スタックを用いた可逆セル・オートマトンの可逆シミュレーション pptx
- 新海由侑，田中秀明：引数渡し機構を拡張した可逆プログラミング言語の可逆性の保証 pptx
学会発表
- 新海由侑，田中秀明，横山哲郎：可逆プログラミング言語の引数渡し機構の拡張，情報処理学会論文誌プログラミング（PRO），7(4):21–36，(2014)． http://id.nii.ac.jp/1001/00102871/, pptx
- 田中秀明，新海由侑，横山哲郎：引数渡し機構をもつ可逆プログラミング言語の可逆性，第76回全国大会講演論文集，2014(1):319–320，(2014)． http://id.nii.ac.jp/1001/00104376/, pptx
リンク
- 南山大学 情報理工学部・数理情報学部 2013年度 卒業論文 要旨集 （横山研）