講義情報、就職情報

2014年度後期

プログラミング入門2

大宮キャンパス 2号館PC実習室6,7,8、月曜3限～4限、工学部情報工学科 1年生対象必修科目シラバス

9/22(月) 第1回 ppt file
9/29(月) 第2回 ppt file
10/6(月) 台風で休講
10/13(月) 第3回 ppt file
10/20(月) 第4回 ppt file 発展課題2,3に補足を追加しました。(2014.10.20 14.42）
10/27(月) 第5回 ppt file
11/10(月) 第6回 ppt file
11/17(月) 第7回 ppt file 基本課題2のcopuArrayをcopyArrayに修正しました。 p.48の配列へのポインタについて講義の範囲外ということを明示しました。（2014.11.17 15:08）
11/24(月) 第8回中間試験(3限のみ) 2103教室持ち込み不可
12/1(月) 第9回 ppt file
12/8(月) 第10回 ppt file 授業中に言ったp.5の書き間違いを修正しました。(2014.12.10 15:00)
12/15(月) 第11回 ppt file
12/22(月) 第12回 ppt file 商品ファイル例身長体重ファイル例中間試験結果
1/19(月) 第13回総合演習 ppt file score.txt hensachi.txt ok.c err.c err2.c
1/26(月) 第14回 16:10の時点で課題の受付はすべて締め切る。
1/28(水) 期末試験 2限 4107教室持ち込み不可
実験協力のお願い（締め切りました。ご協力ありがとうございました。2015.2.3 12:33）

プログラミング言語論

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

9/22(月) 第1回 ppt file p.9のstring型を削除しました。(2014.9.24 11:42) 補足資料
9/29(月) 第2回 ppt file 練習問題の解答例
10/6(月) 台風で休講
10/13(月) 第3回 ppt file 練習問題の解答例第3回の補足 p.16の最初の例が簡単すぎたので少し変更しました。 Hoare論理の練習問題(1)も簡単すぎるので少し変更しました。解答例もそれに合わせて修正しました。(2014.10.20 13:48) 練習問題の解答例のp.7に、(conditional rule)を(if)と略記しているという補足を加えました。(2014.10.20 14:04)
10/20(月) 第4回 ppt file
10/27(月) 第5回 ppt file 練習問題1～3の解答例練習問題3の解答例で'>'が抜けていたのを修正しました。(2014.11.17 11:40) 練習問題4の解答例
11/10(月) 第6回 ppt file p.8の全ページを前ページに直しました。(2014.11.11 16:09) 補足資料練習問題の解答例
11/17(月) 第7回小テスト小テスト問題小テスト解答例
11/24(月) 第8回中間試験（通常の教室で実施）持ち込み不可
12/1(月) 第9回 ppt file 練習問題の解答例
12/8(月) 第10回 ppt file 12月22日の授業中に黒板に書いたC++のプログラム（に少し追加したもの）
12/15(月) 第11回（前回の資料を使います。）
12/22(月) 第12回 ppt file p.24の2つ目のqueryについての説明を少し詳しい説明にしました。 (2015.1.26 1:03)
prefix, suffixの定義
 単一化について（文章の細かい修正をしました。2015.2.8 23:44）
1/19(月) 第13回 ppt file
1/26(月) 第14回小テスト小テスト問題小テスト解答例（問5は範囲外です）
1/28(水) 期末試験 1限 4107教室持ち込み不可

Principles of Programming Languages

Toyosu Campus 506, Wednesday 13:00-14:30, for students from Brazil

Sep 24 ppt file I corrected and modified the explanation sentence in p.16. (2014.11.5 16:10) Supplemental material

Oct 1 ppt file Answers of exercises

Oct 8 ppt file Supplemental material Answers of exercises I changed the first example in p.16 since it was too simple. I also changed the exercise (1) of Hoare logic since it was too simple. (2014.10.20 14:52)

Oct 15 ppt file I corrected the mistake in p.24 that I mentioned in the lecture. I also simplified the explanation in p.23. (2014.11.5 14:59)

Oct 22 (use the above slide)

Nov 5 ppt file Answers of exercises I corrected the mistake in the answer of exercise 3 where '>' was missing. (2014.11.17 11:47) An answer of exercise 4

Nov 12 small exam 1 ppt file Supplemenal material Answers of exercises

Nov 19 Mid-term exam

Nov 26 ppt file Answers of exercises

~~Dec 3~~ Cancelled (due to business trip)

Dec 10 ppt file A typical object-oriented program in C++

Dec 17 (use the previous slide)

Jan 7 ppt file Supplemenal material

Jan 14 (use the previous slide)

Jan 21 small exam 2 (Problem 5 is out of scope of this lecture, so you do not need to solve it.)

Jan 29 (Thursday) 14:40-16:10 Final exam in Toyosu Campus 506

2014年度前期

応用数学

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

4月7日(月) 第１回 2変数関数の偏微分の定義（2014.4.7 15:30修正）
黒板に書いた偏微分の綴りが間違っていました。 partial differenciationと黒板に書きましたが、正しくはpartial differentiationです。
4月14日(月) 第２回今日の練習問題の解答例添字をkからiに修正しました。（2014.4.14 11:34）
4月21日(月) 第３回今日の練習問題の解答例
4月28日(月) 第４回レポート課題1 LaTeXについてサンプルtexファイル gnuplotについて
5月12日(月) 第５回今日の練習問題の解答例
5月19日(月) 第６回 xmingについて誤字を修正しました。（2014.5.20 12:54）
5月26日(月) 第７回レポート課題1提出締切 gnuplotによるLegendreの多項式の表示コマンド
6月2日(月) 第８回中間試験持ち込み不可中間試験解答例
6月9日(月) 第９回 Legendreの多項式の計算について Fourier級数のgnuplotによるグラフ表示について kukei.txt
6月16日(月) 第１０回練習問題の解答例
6月23日(月) 第１１回レポート課題2出題レポート課題2 類似問題の解答例（解答を少し詳しく書きなおしました。2014.7.14 11:14）（a0の計算に書き間違いがあり、修正しました。2014.7.18 13:52）類似問題の解答例のグラフ表示のgnuplotのコマンド
6月30日(月) 第１２回 gnuplotによるChebyshevの多項式の表示コマンド
7月7日(月) 第１３回
7月14日(月) 第１４回レポート課題2提出締切今日の練習問題の解答例
7月21日(月) 第１５回期末試験持ち込み不可

ソフトウェア構成特論

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

4月10日（木）第1回資料（Rubyに関する記述を修正しました。2014.4.10 13:40）（構造帰納法の説明を少し追加しました。2014.4.23 23:27）
4月17日（木）第2回資料（講義時に言った細かい修正を行いました。2014.4.17 15:42 ）（構造帰納法の説明を少し追加しました。2014.4.23 23:27）
命題2の証明（講義時に説明した修正を行いました。2014.4.24 12:54）
4月24日（木）第3回資料
（講義時に説明した修正を行いました。2014.4.24 12:54）
（反射的、非反射的の定義を追加しました。また、無限降下列が存在する場合の説明で、「反射的」の部分を「非反射的ではない」に修正しました。2014.4.24 13:17）
（命題2の証明の細かい表現を修正しました。2014.4.30 15:12）
練習問題1の解答例（講義時に説明した修正を行いました。2014.4.24 12:54）
5月1日（木）第4回資料（評価関係について説明を追加しました。2014.5.1 13:48）
（ブール式の正規形について説明を追加しました。2014.5.14 15:54）
（1ステップ評価関係、導出木に関する記述を若干修正しました。2014.5.15 16:08）
（1ステップ評価関係について説明を追加して整理しました。関係が規則を満たすということの定義を分かりやすいように書き換えました。 2014.5.16 19:44）
5月15日（木）第5回資料（講義時に言った修正点を修正しました。あとは、定理3の証明について見た目を分かりやすく修正しました。2014.5.22 13:15）補足資料（補足資料の命題1の証明に少し補足事項を追加しました。2014.5.15 15:41）
5月22日（木）第6回資料
5月29日（木）第7回資料（補題2の証明を少し修正しました。2014.6.6 17:56）（定理2の証明のT-IFの場合を分かりやすく書き直しました。 2014.6.13 18:11）練習問題2の解答例
6月5日（木）第8回中間試験持ち込み不可、授業の続き
6月12日（木）第9回資料（定理1の証明を分かりやすく書き直しました。2014.6.12 17:58）（講義時に言った修正点を修正しました。2014.6.19 13:30）（講義時に言った修正点を修正しました。2014.6.26 12:59）（置換の定義を明示的に与えました。2014.7.29 12:52）
6月19日（木）第10回資料（substituion補題の証明のT-ABSの場合について説明を追加しました。 2014.7.3 13:20）
6月26日（木）第11回資料（講義時に言った修正点を修正しました。2014.7.3 13:20）（新たな構文を追加する前の計算体系を明示しました。2014.7.10 18:19）（講義中に言った置換の定義について追加しました。2014.7.17 16:00）（逐次式に関する練習問題を追加しました。2014.7.23 17:44）（wildcardの説明を若干修正、追加しました。2014.7.24 13:03）（置換の定義のラムダ抽象の場合が型付きになっていなかったのを修正しました。2014.7.29 12:52）
7月3日（木）第12回資料（組に対する置換の定義を追加しました。2014.7.23 18:01）
7月10日（木）第13回資料
7月17日（木）第14回資料
7月24日（木）第15回期末試験

高度情報演習1A

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

評価について（2014.6.18 15:34 更新）
MinGWのインストール等 (2014.7.16 15:05 更新)
sampleプログラム1（2014.4.24 10:16 更新）
スクリーンセーバ記述サンプルプログラム1（2014.4.24 10:16 更新）
sampleプログラム1用のMakefile
sampleプログラム1実行方法（2014.7.9 15:57 更新）
画像が移動するプログラム
（画像は縦横の長さが2のn乗のpixel数の正方形でかつ24bitのbitmap画像を用いてください。）
（.bmpファイルの各pixelの色をBGR->RGBに順番を変えて読み込むように変更しました。2014.6.4 14:49）
画像ファイル
上記プログラムの実行方法
2枚の画像が切り替わりながら移動するプログラム
2枚目の画像ファイル
上記プログラムの実行方法
4月9日ガイダンスガイダンス資料（2014.5.28 1:07 改訂）
4月16日, 23日, 4月30日, 5月14日, 21日第1期
5月28日, 6月4日, 11日, 18日, 25日第2期
7月2日, 9日, 16日, 23日, 30日第3期

情報工学通論

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

5月20日(火) PowerPointスライド

会社説明会（情報工学科B4, M2対象）

RKC理化工業株式会社
日時: 4月22日（火）16:20-17:50
会場: 芝浦工業大学豊洲キャンパス 13階情報工学科会議室13H30
京セラコミュニケーションシステム株式会社
日時: 5月22日（木）16:20-17:50
会場: 芝浦工業大学豊洲キャンパス 13階情報工学科会議室13H30
株式会社富士通ミッションクリティカルシステムズ
日時: 6月3日（火）16:20-17:50
会場: 芝浦工業大学豊洲キャンパス 13階情報工学科会議室13H30
三谷産業株式会社
日時: 6月24日（火）16:20-17:50
会場: 芝浦工業大学豊洲キャンパス 13階情報工学科会議室13H30
RKC理化工業株式会社
日時: 6月25日（水）16:20-17:50
会場: 芝浦工業大学豊洲キャンパス 13階情報工学科会議室13H30
ピーシーフェーズ株式会社
日時: 7月3日（木）16:20-17:50
会場: 芝浦工業大学豊洲キャンパス 13階情報工学科会議室13H30
内藤電誠工業株式会社
日時: 7月16日（水）16:20-17:20
会場: 芝浦工業大学豊洲キャンパス 13階情報工学科会議室13H30
株式会社イーブックイニシアティブジャパン
日時: 7月22日（火）16:20-17:50
会場: 芝浦工業大学豊洲キャンパス 13階情報工学科会議室13H30
SBIトレードウィンテック株式会社
日時: 7月24日（木）16:20-17:50
会場: 芝浦工業大学豊洲キャンパス 13階情報工学科会議室13H30
岩崎通信機株式会社
日時: 8月27日（水）16:20-17:50
会場: 芝浦工業大学豊洲キャンパス 13階情報工学科会議室13H30
ソフトウエア情報開発株式会社
日時: 9月12日（金）16:20-17:50
会場: 芝浦工業大学豊洲キャンパス 13階情報工学科会議室13H30
日研総業株式会社
日時: 10月21日（火）16:20-17:50
会場: 芝浦工業大学豊洲キャンパス 13階情報工学科会議室13H30
日産車体株式会社
日時: ~~10月14日（火）16:30-17:30~~ 10月22日（水）16:30-17:30
会場: 芝浦工業大学豊洲キャンパス 13階情報工学科会議室13H30
ハートランド・データ株式会社
日時: 11月5日（水）16:20-17:50（30分程度）
会場: 芝浦工業大学豊洲キャンパス 13階情報工学科会議室13H30

2013年度講義情報、就職情報

ホームページへ戻る