2018年配属者のゼミ

2018年度ソフトウェア工学演習I

学期始めに「JABEE対応コースの学習・教育目標」と「科目の学修目標」を周知します。スライド

52A06-008（SE-TEC-3006）ソフトウェア工学演習I: シラバス
- この科目は、次の JABEE 対応コース「情報技術専修コース（システム数理学科・ソフトウェア工学科・機械電子制御工学科）」の学習・教育目標に対応する（小項目：E-1,2,3,4）。
  - （E）日本語での文章作成および口頭発表を通じて正確かつ論理的に情報を伝えることができ、グループの一員として指導や協力ができ、英語での基礎的なコミュニケーションができる
    - E-1 コミュニケーションの能力: 適切なコミュニケーションを行うことができる
    - E-2 文章作成の能力: 正確かつ論理的な文章を作成することができる
    - E-3 プレゼンテーションの能力: 調査・研究の結果を正確にまとめ、的確にプレゼンテーションを行うことができる
    - E-4 グループで仕事をするための能力: グループの一員として共同して課題に取り組むことができる

シラバスに書いてあるように評価方法は「レポート80点、プレゼンテーション20点で評価し、60点以上を合格とする。」です。プレゼンテーションを聴講して質問やコメントをしたことはプレゼンテーションの評価に含みます。

第1回 4/10 オリエンテーション

「S棟学生研究室カードキー」の配布。
- S303, S304とサブエントランスのみが開錠できる。
学生研究室 S303, S304 の座席配置について。
横山研究室ガイダンス資料
大学はどんなところ？ (陳先生)
G Suite for Education のパスワードの発行
- 研究室のメンバーの間でのみ、YouTube動画を公開したり、発表資料を共有したりできます。アップロードできるファイルの総容量はほぼ無限です。
個人情報について
テキストの配布（まだ受け取っていない人のみに）
情報処理学会ジュニア会員について。会費無料でお得ですので，学会に登録することをおすすめします。
横山研究室の研究テーマについて
- 大きくいうと「科学」、もう少しいうと「コンピュータ科学」、さらにいうと「プログラミング言語理論」、直近のテーマは「可逆計算」
  - コンピュータ科学(CS)のカリキュラム標準J07-CS
  - 今期は特に以下の内容を復習しつつ利用していく。離散構造（関数，関係，集合，論理，グラフ，証明技法，オートマトンと正規表現，計算論），プログラミングの基礎，アルゴリズム，アーキテクチャと構成，プログラミング言語，ソフトウェア工学（ソフトウェア設計，APIの使用，ソフトウェアツール及び環境，ソフトウェア妥当性検査），ネットワークコンピューティング（ウェブアプリケーション），ヒューマンコンピュータインタラクション（Webサービスにおけるユーザインタフェースの構築）
- 過去の学生のテーマ
  - 2017年度卒業研究要旨, 2013年度修士論文要旨
  - 卒論生が書いて学会に投稿した論文
    - 可逆プログラミング言語の引数渡し機構の拡張（草稿, スライド）
    - 引数渡し機構をもつ可逆プログラミング言語の可逆性（草稿）
    - リストの可逆分割アルゴリズムを利用したゴミ情報が最適な可逆クイック整列法の生成（草稿）
    - 可逆プログラミング言語R-WHILEの可逆チューリング完全性 (草稿)
    - 二進表現と二分木の間の効率的でクリーンな可逆変換 (草稿)
- 発表論文など
- 文部科学省系の科学研究費補助金におけるテーマ
- 開発したソフトウェア
  - Janus インタープリタ, Janus オンラインインタープリタ
    - Janusとは? Wikipedia
  - R-WHILE インタープリタ, R-WHILE オンラインインタープリタ
  - PISA オンラインインタープリタ
  - こんにゃく
  - kaesen（替銭）
おすすめ
- 専門科目・ソフトウェア工学科選択科目のうち「プログラミング言語（野呂昌満先生）」「オブジェクト指向プログラミング（蜂巣吉成先生）」「数理論理学（佐々木克巳先生）」の内容をしっかり学習しましょう。なお「プログラミング言語」と「数理論理学」は情報技術専修コースを修了するのに3科目6単位以上修得しなければいけない単位に分類されています。
- 「情報技術専修コース」へ登録しよう
- 「情報技術専修コース」において修了に必要な「アルゴリズム論」、「プログラミング言語」、「計算機アーキテクチャとOS」、「ソフトウェア工学基礎」、「ソフトウェア開発技術I」、「情報通信セキュリティ」はいずれも横山研究室における研究のために必要な知識ですので、よく復習しましょう。
歓迎会の日程調整
S303からS304への机の移動

第2回以降

輪読: コンピュータサイエンス入門〈1〉アルゴリズムとプログラミング言語

第2回4/17　永田，セベロ，江崎　第1章〜
第3回4/24　亀谷，加藤（晴），田島
第4回5/1 　外川，鳥居，渡辺　　第3章〜
第5回5/8 　吉田，加藤（大），永田
第6回5/15　セベロ，江崎，亀谷　　4.4節〜
第7回5/22　加藤（晴），田島，外川
第8回5/29　鳥居，渡辺，吉田，加藤（大）　　5.2節〜

2018年度ソフトウェア工学演習II

学期始めに「JABEE対応コースの学習・教育目標」と「科目の学修目標」を周知します。

52B11-008（SE-TEC-4031）ソフトウェア工学演習II: シラバス
- この科目は、次の JABEE 対応コース「情報技術専修コース（システム数理学科・ソフトウェア工学科・機械電子制御工学科）」の学習・教育目標に対応する（小項目：E-1,2,3,4）。
  - （E）日本語での文章作成および口頭発表を通じて正確かつ論理的に情報を伝えることができ、グループの一員として指導や協力ができ、英語での基礎的なコミュニケーションができる
    - E-1 コミュニケーションの能力: 適切なコミュニケーションを行うことができる
    - E-2 文章作成の能力: 正確かつ論理的な文章を作成することができる
    - E-3 プレゼンテーションの能力: 調査・研究の結果を正確にまとめ、的確にプレゼンテーションを行うことができる
    - E-4 グループで仕事をするための能力: グループの一員として共同して課題に取り組むことができる

シラバスに書いてあるように評価方法は「レポート80点、プレゼンテーション20点で評価し、60点以上を合格とする。」です。プレゼンテーションを聴講して質問やコメントをしたことはプレゼンテーションの評価に含みます．

グループ・ミーティング

興味のあるテーマに関して卒論生のグループミーティングに参加する。

輪読

輪読の割り当て：
永田，セベロ，江崎，亀谷　　　　 6章
加藤（晴），田島，外川　　　　　 7章
鳥居，渡辺，吉田，加藤（大）　　 8章
永田，セベロ，江崎　　　　　　　 9章
亀谷，加藤（晴），田島，外川　　10章
鳥居，渡辺，吉田　　　　　　　　11章
加藤（大）　　　　　　　　　　　12章の一部

※次の章に割り当てられている人は、事前に質問を用意してくること。

Petitの解釈系の実装

発展課題（配点内容により加点）

[武市正人，プログラミング言語，岩波書店，1994] を読んでインタプリタを作成してみましょう。参考となるソースコード（今年度の4年生では，池田君，須藤君，三輪君が取り組んでいます。）
好きな言語でPetitの解釈系を実装してみましょう。以下は、過去に開発されたものです。

その他

これまでに学んだBNFや意味論が使われている例: Robert GLÜCK1, Tetsuo YOKOYAMA: A Linear-Time Self-Interpreter of a Reversible Imperative Language,Computer Software, Vol. 33 (2016) No. 3 p. 3_108-3_128. PDF
授業の内容に関係する/しないに係わらず、定評のある書籍を読んで教養を深めることを勧めたい。

2019年度シラバス

研究グループ

亀谷拓磨, 田島嘉人, 渡辺康平：二次元多重連結領域上の構造安定な非圧縮流の木表現の可視化手法
鳥居，吉田，外川：可逆アルゴリズム
加藤，永田，江崎：流れの可視化

2019年秋学期日程

日程は変更されることもあるのでよく確認すること．

9/16(月)11:05- Q3初回ゼミ@学生研究室
9/20(金) 発表練習会用の要旨・スライド教員へ提出@Slack, (修士論文中間審査発表練習会 17:00@S65教室)
9/24(火)17:00 発表練習会@~~S45教室~~S67教室
9/25(水) 要旨教員へ提出@Slack
9/27(金) 要旨提出締切@WebClass，スライド教員へ提出@Slack
(9/28(土) 修士論文中間審査)
10/2(水) 中間発表会, 要旨のソースコードとスライドを提出@WebClass
11/15(金)@WebClass Q3卒業研究・演習の発表資料やレポートなどの締切
12/2(月)〜1/14(火)17:00 卒業論文提出@教務 (1秒でも遅れると留年), ソースコードとPDFを提出@WebClass
1/14(火)13:00 要旨提出@WebClass 締切
1/17(金) 卒業研究発表会, スライドを提出@WebClass
(1/25(土) 修士論文最終試験)
2/14(金) 要旨集の原稿提出締切@WebClass （卒業研究発表会終了後に，修正してすぐに提出すること）, ソースコードを提出@WebClass
　
3/20(金) 卒業式
3/21(土) 卒業パーティ（連絡係：亀谷君）

2019/9/16(月)

JABEE達成度評価表の提出（江崎，田島，外川，鳥居，渡辺，吉田）
日程の確認
卒業パーティについて，連絡係について
発表順の決定，発表順登録を行う研究室代表者の選出（吉田くん），題目と学生番号・氏名の確認
- 可逆グラフアルゴリズム
- 可逆コンパイラの設計と実装
- ハミルトニアンを利用した二次元多重連結領域上の安定非圧縮流の可視化
- 二次元多重連結領域内における構造安定な非圧縮流れの木表現の可視化手法
定期ミーティング，個別ミーティングの日程決め
Slackについて
サーバowariについて（owari.se.nanzan-u.private, 10.49.1.56）

2019/9/24(火)

JABEE達成度評価表の提出（江崎，田島，外川，鳥居，渡辺，吉田）
火4のゼミ S68教室に決定
発表順の登録の確認（吉田）
中間発表会の練習要旨とスライド
要旨・スライドの締切の確認
個別ミーティングの日程決め

2019/10/2(水): 卒業研究中間発表会

中間発表会の日程（2019年度）
卒業アルバム用ゼミ集合写真撮影について
この時点での要旨・スライドなど

2019/10/8(火)

宿題

提出先: WebClass
〆切：2019/10/14 19:00
提出物
- 現時点での卒論本体（PDF形式，修正すべきところを修正すること）
- 進捗報告書（PDF形式もしくは Text形式）

2019/10/15(火)

連絡事項
- 早期研究室訪問期間2019/10/18(金)～10/31(木)：
  訪問者に学生研究室の扉に貼ってある訪問記録に記入するように促してください．
進捗報告，現時点の卒業論文
参考ページ
- 卒業論文の形式(2018年度)

宿題

提出先: WebClass
〆切：2019/10/21 19:00
提出物
- 現時点での卒論本体（PDF形式，修正すべきところを修正すること）
- 進捗報告書（PDF形式もしくは Text形式）

2019/10/22(火)

進捗報告

宿題

提出先: WebClass
〆切：2019/10/28 19:00
提出物
- 現時点での卒論本体（PDF形式，修正すべきところを修正すること）
- 進捗報告書（PDF形式もしくは Text形式）

2019/10/29(火)

進捗報告

宿題

提出先: WebClass
〆切：2019/11/04 19:00
提出物
- 現時点での卒論本体（PDF形式，修正すべきところを修正すること）
- 進捗報告書（PDF形式もしくは Text形式）

2019/11/5(火)

進捗報告と卒論本体

2019/11/21(木)

進捗状況など
卒業論文の提出について
受付期間：2019年12月2日（月）9：00～2020年1月14日（火）17：00：00
提出方法：学生本人が学内ネットワークからPORTAにログインして提出する．

2019/11/28(木)

連絡事項：卒業研究に関するお知らせ（2019年度）の確認（特に提出方法）
4年次生満足度アンケート

2019/12/19(木)

連絡事項：
- 南山大学理工学研究センター大学院理工学研究科研究奨励奨学費奨学生の募集について（〆切：2020年2月6日(木)午後4時）
- 冬期休暇中のネットワーク停止について
  AXIA機器交換やメンテナンスの実施に伴い学内ネットワークを停止
  2019/12/24(火) - 26(木) , 28(土) - 30(月)
  2020/01/04(土) , 05(日)
- 卒業パーティについて
発表順の登録の確認

2020/1/9(木)

連絡事項
- 卒業論文等の電子提出に対する特別措置について
  インフルエンザなどで一定期間大学に来れない場合の特別措置
- 教務課に提出した卒業論文(PDF,ソースコード)，卒業研究発表会で使用したスライド，要旨集の原稿のソースコードをWebClass「2019 52A19-003 卒業研究IIIE」から提出してください．
- 学生入試広報スタッフ募集

2020/1/16(木): 卒業研究発表会の発表練習

2020/1/17(金): 卒業研究発表会

2020/1/23(木)

参考文献など

JABEE対応コースの学習・教育目標 (2016年度入学理工学部生向け情報技術専修コースの案内)
この学年用のGoogle Drive