講義情報

2017年度後期

プログラミング入門2

大宮キャンパス 2号館PC実習室6,7,8、月曜3限〜4限、工学部情報工学科 1年生対象必修科目シラバス課題提出について実験協力のお願い

9/25(月) 第1回 ppt file
10/2(月) 第2回 ppt file
10/9(月) 第3回 ppt file（発展課題3の文章を明確にしました。2017.10.9 14:19）（発展課題5を追加しました。発展課題1の文章を明確にしました。2017.10.9 16:07）（発展課題4の文章を修正しました。プログラム中のsumに初期値が入っていなかったので修正しました。2017.16:15）
10/16(月) 第4回 ppt file （発展課題3にnの値は1以上という記述を加えました。2017.10.16 15:02）（発展課題4を追加しました。2017.10.16 15:51）
10/23(月) （台風で休講）
10/30(月) 第5回 ppt file 中間試験について
11/6(月) （芝浦祭で休講）
11/13(月) 第6回 3限中間試験 2201教室持ち込み不可、4限キャリア教育 2201教室（全員参加してください）
11/20(月) 第7回 ppt file 中間試験結果
11/27(月) 第8回 ppt file （授業中に言った通り、基本課題2の文章が不明確な部分がありましたので修正しました 2017.11.27 16:40）
12/4(月) 第9回 ppt file （基本課題2に補足説明を加えました。2017.12.4 15:58）
12/11(月) 第10回 ppt file
12/18(月) 第11回 ppt file （授業中に言ったp.15の書き間違いを修正しました。2017.12.18 15:01）商品ファイル例身長体重ファイル例総合演習ppt file（総合演習課題1の手順のヒントの書き間違いを修正しました。2017.12.18 14:55） score.txt hensachi.txt ok.c err.c err2.c
12/25(月) （冬休み）
1/1(月) （冬休み）
1/8(月) （冬休み）
1/15(月) 第12回総合演習 16:40の時点で課題の受付はすべて締め切る。
1/22(月) 第13回 3限期末試験 2201教室持ち込み不可(4限はありません)

プログラミング言語論

大宮キャンパス 4104教室 (4号館1階)、月曜2限、工学部情報工学科 2年生対象選択必修科目シラバス

9/25(月) 第1回 ppt file 補足資料
10/2(月) 第2回 ppt file 練習問題の解答例
10/9(月) 第3回 ppt file （assignment axiomに横棒を追加しました。どちらでも構いません。2017.10.29 9:58）練習問題解答例第3回の補足
10/16(月) 第4回 ppt file
10/23(月) （台風で休講）
10/30(月) 第5回小テスト小テスト解答例
11/6(月) （芝浦祭で休講）
11/13(月) 第6回中間試験持ち込み不可レポート課題（授業中に言った通りmaxをminに修正しました。2017.11.14 10:26）
11/20(月) 第7回 ppt file 練習問題1〜3の解答例練習問題4の解答例
11/27(月) 第8回 ppt file 練習問題の解答例第8回の補足
12/4(月) 第9回 ppt file 練習問題の解答例
12/11(月) 第10回 ppt file C++プログラム例（オブジェクト指向の典型例）
inheritance（継承）とsubtyping（部分型）が異なる概念であることを示すC++プログラム例
12/18(月) 第11回 ppt file prefix, suffixの定義単一化について
12/25(月) （冬休み）
1/1(月) （冬休み）
1/8(月) （冬休み）
1/15(月) 第12回小テスト ppt file 小テスト小テスト解答例
1/22(月) 第13回期末試験持ち込み不可, レポート課題提出締切

Principles of Programming Languages

Toyosu Campus 503, Wednesday 13:10-14:50, for foreign students, Syllabus

Sep 27 ppt file Supplemental material
Oct 4 ppt file Answers of exercises
Oct 11 ppt file (I have added a bar to the assignment axiom, although either is ok. 2017.11.8 9:59) Answers of exercises Supplemental material
Oct 18 ppt file
Oct 25 ppt file Answers of exercises An answer of exercise 4
Nov 1 (No class due to Shibaura-sai)
Nov 8 small exam 1 Answers of small exam 1 Report (I replaced max with min in the formula to calculate the score. 2017.11.14 10:27)
Nov 15 Mid-term exam
Nov 22 ppt file Answers of exercises Supplemental material
Nov 29 ppt file Answers of exercises
Dec 6 ppt file A typical object-oriented program in C++
A C++ program for showing that inheritance and subtyping are different notion
Dec 13 ppt file Supplemenal material
Dec 20 ppt file small exam 2 small exam 2 Answers of small exam 2
Dec 27 (No class due to winter vacation)
Jan 3 (No class due to winter vacation)
~~Jan 10~~ Cancelled (due to my business trip)
Jan 17 Final exam, Deadline of the report

プレゼミ

情報工学通論

大宮キャンパス 2401教室（2号館）、月曜1限、工学部情報工学科 1年生対象必修科目シラバス

10月16日(月) Powerpointスライド

2017年度前期

応用数学

大宮キャンパス 3302教室（3号館）、月曜1限、工学部情報工学科 2年生対象選択科目シラバス

4月17日(月) 第１回練習問題1の解答例 2変数関数の偏微分の定義
4月24日(月) 第２回練習問題2の解答例 2変数2次関数の分類（この資料は講義の範囲外です。2変数2次関数の分類に興味がある場合のみ読んでください。）
5月1日(月) 第３回例題3 練習問題3の解答例レポート課題1 LaTeXについてサンプルtexファイル gnuplotについて
5月8日(月) 第４回練習問題4の解答例（解答例3を追加しました。2017.5.15 17:20）
5月15日(月) 第５回練習問題5の解答例練習問題5-2の解答例 gnuplotによるLegendreの多項式の表示コマンド
5月22日(月) 第６回レポート課題1提出締切練習問題6の解答例 Fourier級数のgnuplotによるグラフ表示について kukei.txt
5月29日(月) 第７回中間試験持ち込み不可（練習問題6は中間の範囲外です）、授業の続き中間試験解答例
6月5日(月) 第８回例題8 練習問題8の解答例 gnuplotによるChebyshevの多項式の表示コマンド Chebyshevの多項式の漸化式について
6月12日(月) 第９回レポート課題2 類似問題の解答例類似問題のグラフのgnuplotのコマンド
 練習問題9-1の解答例練習問題9-2の解答例三角不等式の証明中の1ステップの証明
6月19日(月) 第１０回練習問題10-1の解答例練習問題10-2の解答例（内積(f,e2)の計算が間違っていました。2回間違えてたまたま結果は合っていました。修正しました。2017.6.26 11:05）
6月26日(月) 第１１回例題11 練習問題11の解答例（(5)の文章を少し修正しました。2017.7.2 10:55）
7月3日(月) 第１２回練習問題12の解答例
7月10日(月) 第１３回レポート課題2提出締切
例題13
練習問題13-1の解答例例題13-2
補足13: オイラーの公式について
7月17日(月) （祝日で休み）
7月24日(月) 第１４回期末試験持ち込み不可（期末の範囲は、第1回から、シュミットの直交化（練習問題12）まで。ただし、練習問題11は範囲外）
補足資料
例題14
フーリエ変換について
 練習問題14-1の解答例離散フーリエ変換について（pとqの定義が違っていたのを修正しました。2017.7.18 14:38）練習問題14-2の解答例

Applied Mathematics

Toyosu Campus 502, Tuesday 15:00-16:40, for foreign students, Syllabus

April 18 Two solutions for Exercise 1 Definition of the partial derivative
April 25 Two solutions for Exercise 2 Classification of quadratic functions of two variables (Note that this material is out of the scope of this class.)
May 2 Example 3 A solution for Exercise 3 Report 1
May 9 Three solutions for Exercise 4
May 16 A solution for Exercise 5 Two solutions for Exercise 5-2 Commands for drawing graphs for Legendre polynomials by gnuplot
May 23 Report 1 deadline
May 30 Mid-term exam Answers A solution for Exercise 6 Drawing graphs for Fourier series by gnuplot Gnuplot commands for the Fourier series expansion of a rectangular wave function
June 6 Gnuplot commands for Chebyshev polynomials A recurrence formula for Chebyshev polynomials Example 8 Two solutions for Exercise 8
June 13 Report 2 (I corrected some typo. 2017.6.13 15:54) A solution for Exercise 9-1 (I corrected a typo. 2017.6.13 18:47) A solution for Exercise 9-2 A step in the proof of Triangle inequality
June 20 A solution for Exercise 10-1 A solution for Exercise 10-2 (The calculation of the inner product (f,e2) was wrong. There were two mistakes and the result happened to be correct. I have corrected the mistakes. 2017.6.26 11:10)
June 27 (We have no class due to GakuseiTaikai)
July 4 Example 11 A solution for Exercise 11
July 11 Report 2 deadline A solution for Exercise 12
July 18 Example 13 A solution for Exercise 13-1 Example 13-2 Gnuplot commands for the graph in Example 13-2 About the Euler formula Example 14 An introduction to Fourier transforms A solution for Exercise 14-1 An introduction to discrete Fourier transforms (The definitions of p and q were wrong. I corrected the mistakes. 2017.7.18 14:38) A solution for Exercise 14-2
July 25 Final exam

ソフトウェア構成特論

豊洲キャンパス 504教室、木曜2限、大学院理工学研究科電気電子情報工学専攻 1年生対象シラバス

4月13日（木）第1回資料（軽微な修正を行いました。2017.4.20 10:22）
4月20日（木）第2回資料（軽微な修正を行いました。2017.4.20 10:22）関数の帰納的定義について（講義の範囲外です）（2017.5.26 18:53 追加）
4月27日（木）第3回資料練習問題解答例
5月4日（木）（祝日で休み）
5月11日（木）第4回資料（授業中に黒板に書いたように、定理1の証明において、証明する性質を導出木に関する性質として明示的に書き直しました。あと、命題3について補足を加えました。2017.5.12 14:06）練習問題解答例
5月18日（木）第5回資料（付録Aのブール式の大きさについて、size関数の定義をブール式の部分に限定しました。また、sizeの値が1以上であることを証明で使っていることを明示しました。2017.5.18 15:16）
5月25日（木）第6回資料（補足1の例を変更しました。2017.5.25 13:18）
6月1日（木）第7回中間試験持ち込み不可、授業の続き（中間試験の範囲は、sc8.pdfのp.3の練習問題1の手前まで）
6月8日（木）第8回資料練習問題2の解答例
6月15日（木）第9回資料
6月22日（木）第10回資料
6月29日（木）第11回資料（Asciptionについて補足を追加しました（授業中に言った通り）。2017.6.29 13:43）（let式に対する置換の定義を、正確なものと短縮する場合の両方を記述しました。以前の記述は間違っていました。2017.7.12 22:36）
7月6日（木）第12回資料（レコードの節の細かい言葉の修正を行いました。レコードとレコードのプロジェクションに対する置換の定義を与えました。let式に対する置換の定義について第11回の資料にあるので、最後の段落にlet式についての置換の内容がありましたが削除しました。 2017.7.19 15:08）（レコードの節で=と:の書き間違いがあり、修正しました。2017.7.25 14:16）練習問題4解答（=と:の書き間違いがあり、修正しました。2017.7.25 14:26）
7月13日（木）第13回資料（いろいろなところで補足説明を加えました。2017.7.13 10:43）（term中で一部空白が抜けていたのを直しました。2017.7.20 11:40）
7月20日（木）第14回期末試験持ち込み不可（期末試験問題の問11に書き間違いがありましたので、問11は全員正解とします。 2017.7.25 14:17）資料（図1の中身がないのを修正しました。2017.7.5 17:42）
期末試験の範囲は、第1回資料から第13回資料の練習問題2までです。 scombで授業アンケートに回答してください。

高度情報演習1A

豊洲キャンパス PC講義室1、水曜3, 4限、工学部情報工学科 3年生対象選択科目シラバス

評価について（レポート提出をscombへ変更しました。2017.5.10 15:22）（scombへ提出する際、ディレクトリに入れたり、 zip等にまとめたりしなくてOKです。2017.5.17 13:06）
MinGWのインストール等（文字の表示について追記しました。2017.5.10 15:56）（少し説明を加えました。2017.6.21 14:08）（OpenGL, GLUTの公式ページのURLを補足に追加しました。2017.6.21 16:44）
sampleプログラム1(sample1.c) （Timer関係の変数、関数呼び出しなどが不要でしたので削除しました。以下のC言語ファイル全部修正しました。2017.4.19 16:10）（コメントを加えました。2017.4.26 16:15）
スクリーンセーバ記述サンプルプログラム1(sample1)（最後に改行文字が入っていたのを削除しました。2017.5.31 15:13）
sampleプログラム1用のMakefile
sampleプログラム1実行方法(sample1.txt)
画像が移動するプログラム(picture.c) （画像は縦横の長さが2のn乗のpixel数の正方形でかつ24bitのbitmap画像を用いてください。24bit以外のbitmap画像は、windowsのペイントで名前をつけて保存で拡張子を選ぶところで24bitを選択すると24bitのbitmapに変換できます。）
（.bmpファイルの各pixelの色をBGR->RGBに順番を変えて読み込むようにプログラムが書かれています。）
（bitmapファイルのヘッダ部分が54バイトになっている前提で 55バイト目から画像情報を読み取るプログラムになっています。ヘッダ部分に何バイト目から画像情報が格納されているかに関する情報が格納されているので、本来はそこを読みとってからそれに応じて画像情報を読み取るべきですがやっていません。ヘッダが54バイト以外のbitmapファイルを使う場合は各自で対応してください。）(display関数内の不要なglLoadIdentity関数の呼び出しを削除しました。2017.4.26 13:07)
画像ファイル
上記プログラムの実行方法
五角形の画像が移動するプログラム(picture5.c)（2017.5.30 12:34 追加しました。）
2枚の画像が切り替わりながら移動するプログラム(twopicture.c)(display関数内の不要なglLoadIdentity関数の呼び出しを削除しました。2017.4.26 13:07)
2枚目の画像ファイル
上記プログラムの実行方法
2枚の画像が同時に移動するプログラム(twopicture2.c) （実行方法は上の例と同様です）(display関数内の不要なglLoadIdentity関数の呼び出しを削除しました。2017.4.26 14:47)
同じ画像が2枚同時に移動するプログラム(twopicture3.c) （実行方法は上の例と同様です）(display関数内の不要なglLoadIdentity関数の呼び出しを削除しました。2017.4.26 14:47)
2枚の画像のうち1枚が回転しながら移動するプログラム(rotate.c) Makefileはファイル名部分を変えて使ってください。
背景画像の上を画像が移動するプログラム(back.c) Makefileはファイル名部分を変えて使ってください。
背景画像背景画像は1280*1024の24bitのbitmap画像を使ってください。（注意: この背景画像は私が写真を撮ったカメラの関係でbitmapファイル内の画像情報が上下が逆に保存されています。そのためback.c, alpha.cの中では逆順で情報を読み取る関数readBitsRevを追加して使っています。各自、自分のbitmapファイルの画像情報格納の順番に合わせて、 readBitsあるいはreadBitsRevを使ってください。 bitmapファイルのヘッダ部分に画像情報が左上から右下、左下から右上のどちらの順で格納されているかに関する情報が入っているので、そこを読み取って画像情報の読み取り方を変えればいいのですが、やっていません。）
上記プログラムの画像の1つを透明にしたもの(alpha.c)Makefileはファイル名部分を変えて使ってください。
立方体の各面に画像を貼り付け、回転させながら移動するプログラム(pictureCube.c) (display関数内の不要なglLoadIdentity関数の呼び出しを削除しました。2017.4.26 14:53)
glutを使ったsampleプログラム(sample2.c)
sample2.c用のMakefile （glut関連でgccコマンドでのライブラリの場所指定、ライブラリの追加を行っています。）
4月12日ガイダンスガイダンス資料（レポート提出をscombへ変更しました。2017.5.10 15:31）
4月19日, 4月26日, 5月10日, 5月17日第1期
5月24日, 5月31日, 6月7日, 6月14日第2期
6月21日, 6月28日, 7月5日, 7月12日第3期
（7月19日予備日）

2016年度講義情報

ホームページへ戻る