| 授業の目的 【日本語】 | | | 本講義は、連携大学院制度のもとで、主に本学理学部数理学科、多元数理科学研究科の卒業生で数学や数学的手法・思考を活かして社会や企業の第一線で活躍をする専門家の方々を客員教員として招聘して行うものである。社会や企業における数学や数学的手法・思考の具体的な活用内容を学ぶことにより、学生が数学の社会における有用性を知り、また自身の将来の進路の選択肢を広げることが可能になる。 |
|
|
| 授業の目的 【英語】 | | |
|
| 到達目標 【日本語】 | | 今井：関数型プログラミングの考え方を知り、数学の定理を証明するという技法が社会でどのように必要とされているかを学ぶことができる。
田中：実社会での数学の活かし方を知ることができる。
間瀬：大規模なソフトウェアがどのような方法論で開発されているのか理解できる。
ソフトウェア開発のおもしろさが体感できる。 |
|
|
| 到達目標 【英語】 | | |
|
| 授業の内容や構成 | | 今井：
1. ソフトウェアエンジニアとしての働き方とOCamlの基本
2. 関数プログラミングの基本
3. リストや多相関数とパターンマッチング
4. 再帰関数、高階関数とプログラムの証明
5. より実用なデータ構造
1. How to work as a software engineer and OCaml basics
2. Functional programming basics
3. Pattern matching with lists and polymorphic functions
4. Recursive functions, higher order functions and proof of programs
5. More practical data structures
田中：
第１回 カード会社のマーケティング概要
第２回 電子マネーのマーケティング手法概要
第３回 電子マネーのマーケティング手法演習
第４回 収益管理手法概要
第５回 収益管理手法演習
詳しい講義予定(シラバス) は、第1回目の講義で配布します。
間瀬：
(1) ソフトウェア工学とは？
(2) 開発計画と要求分析
(3) ソフトウェア設計と実装
(4) ソフトウェア品質、特にテストとレビューについて
(5) ソフトウェア技術者のキャリアについて考える。
(1) What is software engineering?
(2) Project plans and software requirements
(3) Software design and implementation
(4) Software quality and how to test and review
(5) Thinking about the carrier of the software engineer |
|
|
| 履修条件 | | 特になし
This course is given in Japanese. |
|
|
| 関連する科目 | | |
|
| 成績評価の方法と基準 | | | 出席点および学習成果点で評価を行う。出席点および学習成果点の詳細については、初回講義のガイダンスで配布する資料で説明をする。 |
|
|
| 教科書・テキスト | | 今井：特になし
田中：特になし
間瀬：講義資料は、毎回担当者が作成・用意します。 |
|
|
| 参考書 | | 今井：
* 入門OCaml ?プログラミング基礎と実践理解?, 毎日コミュニケーションズ
* プログラミング in OCaml ~関数型プログラミングの基礎からGUI構築まで~, 技術評論社
田中：特になし
間瀬：ソフトウエアエンジニアリング基礎知識体系 - SWEBOK V3.0 -
松本吉弘訳 オーム社 2014年 |
|
|
| 課外学習等（授業時間外学習の指示） | | |
|
| 注意事項 | | 講義実施の詳細については、初回講義のガイダンスで説明をするので必ず出席すること。
講義担当は以下の3名です。
今井宜洋（株式会社proof ninja）、田中祐一（トヨタファイナンス株式会社）、間瀬順一（アイシン精機株式会社）
今井：4/17（金）、4/22（水）、4/24（金）、5/1（金）、5/8（金）
田中：5/15（金）、5/22（金）、5/29（金）、6/3（水）、6/5（金）
間瀬：6/19（金）、6/24（水）、6/26（金）、7/3（金）、7/10（金）
この講義は金曜日または水曜日の開講です。
日程および場所の変更は掲示板にてご案内します。 |
|
|
| 他学科聴講の可否 | | |
|
| 他学科聴講の条件 | | | 聴講を希望する講義の担当教員の許可を得ること。教室や実習設備の都合により認められない場合がある。 |
|
|
| レベル | | |
|
| キーワード | | 今井：OCaml, Coq, 関数型プログラミング, 形式検証, ソフトウェアエンジニアリング
田中：論理的思考力
間瀬：ソフトウェア工学/ソフトウェア品質/ソフトウェア技術者のキャリア |
|
|
| 履修の際のアドバイス | | 今井：
プログラミングやシステム開発に関連する仕事に興味のある方は、プログラミングの開発でいかに数学が役に
立つか知る良い機会です。 OCamlを使った関数型プログラミングを学び、ソフトウェアにおける数学の重要性を確認しましょう。
田中：
製造業以外の業界では、数学的資質および思考法を身に付けている人は常に少数派です。そんな業界で、数学的資質および思考法を身に付けている人が、何を考えながら、どのように仕事を進めているか関心がある方に履修して頂きたい内容です。 毎年、電子マネーを題材にしていますが、私自身が会社全体の収益管理を担当する部署を経験しましたので、後半は新しい題材を用います。
間瀬：
工業製品としてのソフトウェアがどのように開発されているか
理解していただければと思います。
実践的な演習を用意しますので、自発的に取り組んでください。 |
|
|
| 授業開講形態等 | | |
|
| 遠隔授業（オンデマンド型）で行う場合の追加措置 | | |
|