講義情報

2026年度秋学期

プログラミング入門2

• 9/29(火) 第1回 pptx file pdf file
• 10/6(火) 第2回 pptx file pdf file
• 10/13(火) 第3回 pptx file pdf file
• 10/20(火) 第4回 pptx file pdf file a.c seiseki.txt bmp.c joho.bmp count.c romeo.txt（romeo.txtの文字コードはUTF-8、改行コードはLFにしています。文字化けする人は、自分が使っているブラウザやエディタ等の文字コードの設定を見てください。） Bmp_wrong.java（配列の境界をはみ出て実行時エラーになるJavaプログラムの例） Bmp.java（正しいJavaプログラム） bmp_wrong.c（配列の境界をはみ出るCプログラムの例。学情のgccではそのまま実行され、微妙に違うbmpが生成される）
• 10/27(火) 第5回 pptx file pdf file
• 11/3(火)（祝日で授業無し）
• 11/10(火) 第6回 pptx file pdf file 中間試験について（pptx） 中間試験について（pdf）
• 11/17(火) 第7回 3限 中間試験 資料参照可 4限 キャリア教育（情報工学コースの1年生は全員参加してください）
• 11/24(火) 第8回
• 12/1(火) 第9回
• 12/8(火) 第10回
• 12/15(火) 第11回
• 12/22(火)第12回 総合演習
• 12/29(火) （冬休み）
• 1/5(火) （冬休み）
• 1/12(火) 第13回 総合演習 23:59の時点で課題の受付はすべて締め切ります。
  
• 1/19(火) 第14回 3限 期末試験 資料参照可

プログラミング言語論

• 9/29(火) 第1回 pptx file pdf file 補足資料(pptx) 補足資料(pdf)
• 10/6(火) 第2回 pptx file pdf file 練習問題の解答例(pptx) 練習問題の解答例(pdf)
• 10/13(火) 第3回 pptx file pdf file 練習問題解答例(pptx) 練習問題解答例(pdf) 第3回の補足(pdf) (配列の要素への代入に関する公理を、HoareとWirthの論文に従って 記述しました。2026.10.26 23:29)
• 10/20(火) 第4回 pptx file pdf file
• 10/27(火) 第5回 pptx file pdf file 練習問題1〜3の解答例(pptx) 練習問題1〜3の解答例(pdf) 練習問題4の解答例(pdf)
• 11/3(火)（祝日で授業無し）
• 11/10(火) 第6回 小テスト 資料参照可
• 11/17(火) 第7回 期末試験 資料参照可

Foundations for Programming Languages

• Sep 30 pptx file pdf file Supplemental material (pptx) Supplemental material (pdf)
• Oct 7 pptx file pdf file Answers of exercises (pptx) Answers of exercises (pdf)
• Oct 14 pptx file pdf file Answers of exercises (pptx) Answers of exercises (pdf) Supplemental material (I've added an axiom for the array element assignment following the paper by Hoare and Wirth. 2026.10.27 16:29)
• Oct 21 pptx file pdf file
• Oct 28 pptx file pdf file Answers of exercises (pptx) Answers of exercises (pdf) An answer of exercise 4
• Nov 4 (No class due to Soritsu kinenbi)
• Nov 11 small exam 1 (You are allowed to use your PC and refer to materials. )
• Nov 18 Mid-term exam (You are allowed to use your PC and refer to materials. )
• Nov 25 pptx file pdf file Answers of exercises (pptx) Answers of exercises (pdf)
• Dec 2 pptx file pdf file Answers of exercises (pptx) Answers of exercises (pdf)
• Dec 9 pptx file pdf file
  A Standard ML program defining an abstract data type
  A C++ program using the Stack class in p. 10, where a Stack object is created on the stack.
  A C++ program using the Stack class in p. 10, where a Stack object is created on the heap.
  A C++ program using the Stack class with a type parameter in p. 12, where a Stack object is created on the stack.
  A C++ program using the Stack class with a type parameter in p. 12, where a Stack object is created on the heap.
  A typical object-oriented program in C++ by using a virtual function
  A C++ program for showing overload
  A C++ program for showing that inheritance and subtyping are different notion
  
• Dec 16 pptx file pdf file Supplemenal material (pptx) Supplemenal material (pdf)
• Dec 23 pptx file pdf file
• Dec 30 (No class due to winter vacation)
• Jan 6 (No class due to winter vacation)
• Jan 13 small exam 2 (You are allowed to use your PC and refer to materials. )
• Jan 20 Final exam (You are allowed to use your PC and refer to materials. )

2026年度春学期

Engineering Mathematics

• Apr 14 Two solutions for Exercise 1 Definition of the partial derivative
• Apr 21 Two solutions for Exercise 2 Report 1 Classification of quadratic functions of two variables (Note that this material is out of the scope of this class.)
• Apr 28 Example 3 A solution for Exercise 3
• May 5 (No class due to national holiday)
• May 12 Three solutions for Exercise 4
• May 19 A solution for Exercise 5 Two solutions for Exercise 5-2 Commands for drawing graphs for Legendre polynomials by gnuplot
• May 26 Report 1 deadline A solution for Exercise 6 Drawing graphs for Fourier series by gnuplot Gnuplot commands for the Fourier series expansion of a rectangular wave function
• Jun 2 Mid-term exam
• Jun 9 Report 2 Gnuplot commands for Chebyshev polynomials A recurrence formula for Chebyshev polynomials Example 8 Two solutions for Exercise 8
• Jun 16 A solution for Exercise 9-1 A solution for Exercise 9-2 A step in the proof of Triangle inequality
• Jun 23 (No class due to some student event)
• Jul 30 A solution for Exercise 10-1 A solution for Exercise 10-2
• Jul 7 Example 11 A solution for Exercise 11
• Jul 14 A solution for Exercise 12
• Jul 21 Report 2 deadline 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 Example 14-1 An introduction to Fourier transforms A solution for Exercise 14-1 An introduction to discrete Fourier transforms A solution for Exercise 14-2
• Jul 28 Final exam

高度情報演習1A

• 評価について（レポートをscombへ提出する際、ディレクトリに入れたり、zip等にまとめたりしないようにしてください。）
• MinGWのインストール等

• Aeroを使っていない場合に終了時に画面が黒くなる問題へ対処するコード（2018年度のTAの今泉君作成） このコードをScreenSaverProc関数中のswitch文の中へ追加すると、Aeroを使っていない場合に終了時に画面が黒くなる問題が回避できます。
• sampleプログラム1(sample1.c)
• スクリーンセーバ記述サンプルプログラム1(sample1)
• sampleプログラム1用のMakefile
• sampleプログラム1実行方法(sample1.txt)

• 2020年度のTA（笠井君）が作成したサンプル（zipファイルを展開してコンパイル、実行してください。C++で書かれています。）

• 画像が移動するプログラム(picture.c) （画像は縦横の長さが2のn乗のpixel数の正方形でかつ24bitのbitmap画像を 用いてください。24bit以外のbitmap画像は、windowsのペイントで名前をつけて保存で 拡張子を選ぶところで24bitを選択すると24bitのbitmapに変換できます。）
  （.bmpファイルの各pixelの色をBGR->RGBに順番を変えて読み込むように プログラムが書かれています。）
  （bitmapファイルのヘッダ部分が54バイトになっている前提で 55バイト目から画像情報を読み取るプログラムになっています。 ヘッダ部分に何バイト目から画像情報が格納されている かに関する情報が格納されているので、本来はそこを読みとってから それに応じて画像情報を読み取るべきですがやっていません。 ヘッダが54バイト以外のbitmapファイルを使う場合は各自で 対応してください。）
• 画像ファイル
• 上記プログラムの実行方法
• 画像の色が変化するプログラム(picture_colorvariation.c)
• 五角形の画像が移動するプログラム(picture5.c)
• 2枚の画像が切り替わりながら移動するプログラム(twopicture.c)
• 2枚目の画像ファイル
• 上記プログラムの実行方法
• 2枚の画像が同時に移動するプログラム(twopicture2.c) （実行方法は上の例と同様です）
• 同じ画像が2枚同時に移動するプログラム(twopicture3.c) （実行方法は上の例と同様です）
• 2枚の画像のうち1枚が回転しながら移動するプログラム(rotate.c) Makefileはファイル名部分を変えて使ってください。
• 背景画像の上を画像が移動するプログラム(back.c) Makefileはファイル名部分を変えて使ってください。
• 背景画像 背景画像はディスプレのサイズに合った24bitのbitmap画像を使ってください。 （注意: bitmapファイルによっては、画像情報が上下が逆に保存されている場合があります。 back.c, alpha.c, alpha2.cの中では逆順で情報を読み取る関数readBitsRevを書いています。 各自、自分のbitmapファイルの画像情報格納の順番に合わせて、 readBitsあるいはreadBitsRevを使ってください。 bitmapファイルのヘッダ部分に画像情報が左上から右下、左下から右上のどちらの順で 格納されているかに関する情報が入っているので、そこを読み取って画像情報の読み取り方を変えればいいのですが、やっていません。）
• 上記プログラムの画像の1つを透明にしたもの(alpha.c) Makefileはファイル名部分を変えて使ってください。
• ある一定の色（この例の場合は白）の部分のみ透明にする例(alpha2.c)
• 立方体の各面に画像を貼り付け、 回転させながら移動するプログラム(pictureCube.c)
• GLUTを使ったsampleプログラム(sample2.c)
• sample2.c用のMakefile （GLUT関連でgccコマンドでのライブラリの場所指定、ライブラリの追加を行っています。） （ソースコードからのインストールはconfigureが失敗するので、build済みのものをダウンロードしてください。-Iと-Lのディレクトリは各自で書き直してください。)
• 球の表面に画像を貼り付けるプログラム(sphere.c)（このプログラムではGLUTは不要です。GLUのライブラリを使っていますが。）
• sphere.c用のMakefile（Makefile-sphere）

• 4月17日 ガイダンス ガイダンス資料
• 5月29日, 6月5日, 6月12日, 6月19日 第2期
• （7月24日は予備日）

ソフトウェア構成特論

• 4月16日（木）第1回 資料
• 4月23日（木）第2回 資料 関数の帰納的定義について（講義の範囲外です）
• 4月30日（木）第3回 資料 練習問題解答例
• 5月7日（木）（授業無し）
• 5月14日（木）第4回 資料 練習問題解答例
• 5月21日（木）第5回 資料
• 5月28日（木）第6回 資料
• 6月4日（木）第7回 中間試験（資料参照可）、授業の続き
• 6月11日（木）第8回 資料 練習問題2の解答例
• 6月18日（木）第9回 資料 練習問題1の解答例
• 6月25日（木）第10回 資料（weakeningの綴りが間違っていたのを修正しました。2026.7.16 13:56） 練習問題1の解答例
• 7月2日（木）第11回 資料
• 7月9日（木）第12回 資料 練習問題4解答
• 7月16日（木）第13回 資料
• 7月23日（木）第14回 期末試験（資料参照可） 資料