講義情報

プレゼミ

2015年度前期

応用数学

• 4月13日(月) 第１回 練習問題1の解答例
• 4月20日(月) 第２回 練習問題2の解答例
• 4月27日(月) 第３回 例題3（講義中に言った書き間違いを修正 しました。2015.4.27 11:01） 練習問題3の解答例 レポート課題1 LaTeXについて（文献情報が抜けていたのを 修正しました。2015.6.14 12:58） サンプルtexファイル gnuplotについて （点の座標を読み込む場合、ファイルが置いてあるディレクトリで gnuplotを起動してください。そのような説明を加えました。2015.5.2 16:54）
• 5月11日(月) 第４回 練習問題4の解答例
• 5月18日(月) 第５回 練習問題5の解答例 gnuplotによるLegendreの多項式の表示コマンド
• 5月25日(月) 第６回 練習問題6の解答例 （最初の等式(1)のcos, sinの中のkが抜けていたので修正しました。2015.5.25 10:41） （講義中に言った間違いを修正しました。2015.6.1 10:39） Fourier級数のgnuplotによるグラフ表示について （階段関数の定義を加えました。あとはseriesの定義の場合分けを 0とそれ以外にし、定数項がseriesの中に入るようにしました。2015.7.2 13:24） kukei.txt （階段関数と一緒に表示されるようにしました。あとはseriesの定義の場合分けを 0とそれ以外にし、定数項がseriesの中に入るようにしました。2015.7.2 15:45） レポート課題1提出締切（第1回に説明した予定より、出題と締め切りを1週間早めました。）
• 6月1日(月) 第７回 例題7 練習問題7の解答例 gnuplotによるChebyshevの多項式の表示コマンド Chebyshevの多項式の漸化式について （若干表現を変更しました。2016.3.18 11:49）
• 6月8日(月) 第８回 中間試験 持ち込み不可 中間試験解答例
• 6月15日(月) 第９回 レポート課題2 類似問題の解答例 類似問題のグラフのgnuplotのコマンド
  練習問題9-1の解答例 （積分値を持つように空間内の関数に制限を設けました。2015.6.16 18:49） （内積の導入の部分に脚注を加えました。2015.6.22 12:26）
  練習問題9-2の解答例 （解答例が間違っていました。修正しました。2015.6.22 11:36）
  （p.1に開き括弧が余分にあったのを削除しました。2015.6.24 0:24）
  三角不等式の証明中の1ステップの証明
• 6月22日(月) 第１０回 練習問題10-1の解答例 （講義中に言った間違いを修正しました。2015.6.29 10:18）
  練習問題10-2の解答例 （計量空間の導入部分を練習問題9-1を参照して簡略化しました。2015.6.22 12:32） （p.4に余分な括弧があったのを削除しました。2015.7.12 22:58）
• 6月29日(月) 第１１回 例題11（ところどころ、f(x)がxの2乗になっていたのをxに直しました。2015.6.29 9:57）
  練習問題11の解答例
• 7月6日(月) 第１２回 レポート課題2提出締切（第1回に説明した予定より、出題と締め切りを2週間早めました。） 練習問題12の解答例 （ルジャンドルの多項式との関連について補足2に追加しました。2015.7.3 14:41）
• 7月13日(月) 第１３回 例題13
  練習問題13-1の解答例 （授業中に言った書き間違いを修正しました。2015.7.20 10:47）
  練習問題13-2の解答例
  補足13: オイラーの公式について
  
• 7月20日(月) 第１４回 例題14
  フーリエ変換について
  （絶対可積分の定義の極限の正負を1箇所書き間違えていたのを 修正しました。2016.6.21 16:48） （フーリエ積分の例を書き直しました。2016.6.21 18:25） 練習問題14-1の解答例 （最後の式の符号が間違っていたのを修正しました。2015.7.14 0:09）
  離散フーリエ変換について （英語の記述が残っていた部分などを修正しました。2015.7.28 17:56）
  練習問題14-2の解答例
  
• 7月27日(月) 第１５回 期末試験 持ち込み不可

Applied Mathematics

• April 7 A solution for Exercise 1
• April 14 Two solutions for Exercise 2
• April 21 A solution for Exercise 3 (I remedied the mistake I pointed out in the lecture. 2015.4.21 16:36)
• April 28 Report 1 Two solutions for Exercise 4 (I corrected a typo concerning a latex command. 2015.5.9 21:06) (I corrected another typo concerning a latex command. 2015.6.12 16:42)
• May 12 A solution for Exercise 5
• May 19 A solution for Exercise 6 (I added a graph which I showed in the lecture. 2015.5.19 16:43) (k was missing in cos and sin in the equation (1), which I corrected. 2015.5.25 10:46) Gnuplot commands for the Fourier series expansion of a rectangular wave function Gnuplot commands for Chebyshev polynomials
• May 26 The recurrence formula for Chebyshev polynomials (I changed the explanation a little bit. 2016.3.18 11:49） Example 7 Two solutions for Exercise 7 Report 1 deadline
• June 2 Mid-term exam Answers
• June 9 Report 2 A solution for Exercise 9-1 (I have rewritten the vectors in bold fonts. 2015.6.16 18:49) (I have added the condition on the functions so that the inner products have the values. 2015.6.17 12:30) (I have added a footnote in the introduction of the inner product. 2015.6.22 12:40) A solution for Exercise 9-2 (I have rewritten the vectors in bold fonts. 2015.6.16 18:49) (The solution was wrong. I have corrected the mistakes. 2015.6.22 12:53) (I deleted extra open parentheses in p.1. 2015.6.24 0:25) A step in the proof of Triangle inequality
• June 16 Three solutions for Exercise 10-1 (I have corrected the typo in the last line of Solution 1. 2015.6.29 11:12.) Three solutions for Exercise 10-2 (I have rewritten the vectors in bold fonts and replaced u with f. 2015.6.16 18:49) (I have added the condition on the functions so that the inner products have the values. 2015.6.17 12:33) (I have simplified the construction of inner product space by referring to Exercise 9-1. 2015.6.22 12:45) (I have eliminated unnecessary open parentheses in p. 5. 2015.7.12 23:02)
• June 23 Example 11 A solution for Exercise 11
• June 30 Report 2 deadline A solution for Exercise 12 (I have added the relationship with the Legendre polynomials. 2015.7.3 14:35)
• July 7 Example 13 (I have corrected a typo in the final line of the calculation. 2015.6.30 16:36)
  Two solutions for Exercise 13-1 (I have corrected several mistakes and added the transformation back to the original form. 2015.7.3 15:45)
  (I have added the missing minus I told in the lecture. 2015.7.7 16:34)
  (I have added one step in the calculation. 2015.7.10 12:41)
  A solution for Exercise 13-2 (I have corrected the mistake (l was written as k), which I told in the lecture. 2015.7.8 12:29) (I have corrected grammatical errors in English. 2015.7.10 22:57) Gnuplot commands for the graph in Exercise 13-2 About the Euler formula
• July 14 Example 14 (I have changed the constant function from 1 to 1/2 in the Fourier series. 2015.7.7 16:42) (I have corrected grammatical errors in English. 2015.7.10 22:59) An introduction to Fourier transforms (I have corrected grammatical errors in English. 2015.7.10 23:01) (I have corrected a typo. 2016.6.21 16:46) (I have rewritten the example of the Fourier integral. 2016.6.21 18:25) A solution for Exercise 14-1 (I have corrected the sign in the last formula. 2015.7.14 0:10) An introduction to discrete Fourier transforms (I have added the detail of FFT. 2015.7.19 23:22) A solution for Exercise 14-2
• July 21 Final exam

ソフトウェア構成特論

• 4月9日（木）第1回 資料
• 4月16日（木）第2回 資料 第3回の資料に記載していた数学的帰納法の補足について、第2回へ移動しました。(2015.4.17 15:13)
• 4月23日（木）第3回 資料 算術式の構造に関する帰納法について、左方向へのimplicationも成り立つので、 数学的帰納法についての補足と同様、矢印を両方向にしました。(2015.4.17 15:13) 練習問題1の解答例
• 4月30日（木）第4回 資料 評価判定の導出木の定義で、葉ノードの部分にインスタンスの記述が抜けており、 表現を直しました。(2015.4.22 21:08) 1ステップ評価関係の間接的な定義を参照している箇所の番号が違っているのを 修正しました。 あとは評価判定の導出木と評価関係の間の関係についての記述を少し明確にしました。 (2015.4.30 14:09) 練習問題1の解答例
• 5月14日（木）第5回 資料 定理5の証明中で付録A参照の記述を追加しました。(2015.5.11 11:50)
• 5月21日（木）第6回 資料
• 5月28日（木）第7回 資料 練習問題2の解答例
• 6月4日（木）第8回 中間試験 持ち込み不可、授業の続き
• 6月11日（木）第9回 資料 （講義中に言ったtrueとfalseの書き間違いを修正しました。2015.6.18 12:51）
• 6月18日（木）第10回 資料 （補題5の証明中で性質Pが日本語で書かれていたのを論理式で書き直し、 証明の中のT-ABSの場合をそれに合わせて修正しました。2015.6.26 15:49）
• 6月25日（木）第11回 資料 （講義中に言いましたが9節の置換の定義に対のprojectionの場合を追加しました。 2015.7.9 13:02）
• 7月2日（木）第12回 資料 （2節の置換の定義に組のprojectionの場合を追加しました。2015.7.9 13:02）
  練習問題4の解答 （第12回の練習問題4ですが、黒板に書いた解答が間違っていましたので、 この問題は期末試験の範囲から除きます。）
• 7月9日（木）第13回 資料 （p.2の最後の行の規則名が間違っていたのをS-TRANSに修正しました。 2015.7.8 16:50） （授業中に言いましたが、p.2の最後から2番目の型判定の導出木の 一番下の規則が(S-REFL)になっていたのを (S-RCDDEPTH)に修正しました。2015.7.16 13:07）
• 7月16日（木）第14回 資料
• 7月23日（木）第15回 期末試験 持ち込み不可

高度情報演習1A

• （お知らせ1）C言語のファイルの文字コードをutf-8にし、改行コードをLFにしました。（2015.5.27 16:46）
• （お知らせ2）図形がなめらかに動いているように見えるようにするために、 locx、locyの更新の幅が1だったのを0.5などに変更しました。（2015.5.27 16:46）
• （お知らせ3）back.cを、背景のbmpが反転して表示されていたのに対応させました。 （2015.5.27 17:37）
• （お知らせ4）以下の（TA作成以外の）サンプルプログラムについて、 入力が100文字未満の判定をfscanfの返り値が0かどうかで行っていましたが、 これは間違っており、fscanfの返り値がEOFかどうかで行うように修正しました。 あとは、URDL以外の文字が含まれていた場合にスクリーンセーバを終了するように 修正しました。2015.7.29 17:00)
• 評価について
• MinGWのインストール等

• sampleプログラム1(sample1.c)
• スクリーンセーバ記述サンプルプログラム1
• sampleプログラム1用のMakefile
• sampleプログラム1実行方法

• 画像が移動するプログラム(picture.c) （画像は縦横の長さが2のn乗のpixel数の正方形でかつ24bitのbitmap画像を 用いてください。24bit以外のbitmap画像は、windowsのペイントで名前をつけて保存で 拡張子を選ぶところで24bitを選択すると24bitのbitmapに変換できます。）
  （.bmpファイルの各pixelの色をBGR->RGBに順番を変えて読み込むように プログラムが書かれています。）
• 画像ファイル
• 上記プログラムの実行方法

• 2枚の画像が切り替わりながら移動するプログラム(twopicture.c)
• 2枚目の画像ファイル
• 上記プログラムの実行方法

• 2枚の画像が同時に移動するプログラム(twopicture2.c) （実行方法は上の例と同様です）
• 同じ画像が2枚同時に移動するプログラム(twopicture3.c) （実行方法は上の例と同様です）

• TAのスクリーンセーバプログラム(ma14099.c) Makefileはファイル名部分を変えて使ってください。
• TAのスクリーンセーバの記述プログラム
• TAのスクリーンセーバの記述言語の説明

• 2枚の画像のうち1枚が回転しながら移動するプログラム(rotate.c) Makefileはファイル名部分を変えて使ってください。

• 背景画像の上を画像が移動するプログラム(back.c) Makefileはファイル名部分を変えて使ってください。
• 背景画像 背景画像は1280*1024の24bitのbmp画像を使ってください。
• 上記プログラムの画像の1つを透明にしたもの(alpha.c) Makefileはファイル名部分を変えて使ってください。

• glutを使ったsampleプログラム(sample2.c) （コメント等を追加しました。2015.7.15 16:17） （includeするヘッダーファイルの名前が間違っていたので修正しました。2015.7.15 21:11）
• sample2.c用のMakefile （glut関連でgccコマンドでのライブラリの場所指定、ライブラリの追加を行っています。）
• 4月8日 ガイダンス ガイダンス資料
• 4月15日, 22日, 4月29日, 5月13日, 20日 第1期
• 5月27日, 6月3日, 10日, 17日, 24日 第2期
• 7月1日, 8日, 15日, 22日, 29日 第3期

情報工学通論

• 6月16日(火) Powerpointスライド
• 第2回レポート課題