プログラミング言語論

Table of Contents

概要

プログラミング言語に関する広い知識を身につけることを目的として, 各種プログラミング言語の特徴およびプログラミングの考え方について解説する. 受講者はCについての基礎知識を有していることが望ましい.

  • 神戸大学工学部情報知能工学科 2年生 対象

新カリキュラムでは,本講義の読み換え科目が存在していません. 今回の講義で単位を取得するようお願いします.

What's New

  • 2017-01-25 Wed 定期試験について
    実施日時2017年2月1日(水) 3時限 (13:20-14:50) 10分前に集合のこと
    場所LR501 (座席指定)
    持ち込み資料電子機器を除き持込自由
    再試験行わない
    • いつもの教室と違うので,注意してください.
    • 座席指定の予定です. 座席表は入口および黒板に掲示します.13:10までに教室に集合してください.
    • 試験内容
      • BNF, C, Lisp, Prolog, Javaに関する知識を問う基本問題 (25点)
      • リスト構造,木構造,再帰プログラミングに関する応用問題 (25点)
  • 2017-01-11 Wed 都合により,Lisp小テストを実施を1/18に延期します.
    日時2017年1月18日(火)
    時間30分
    持ち込み資料持ち込み自由 (電子機器は不可)
  • 2016-12-21 Wed 休講について
    • 会議のため休講とします.
  • 2016-11-02 Wed 講義で紹介したIBM Watsonのビデオへのリンクです.

    Watsonの自然言語解析プログラムはPrologで書かれています. SoftBankのPepperもそうです.

  • 2016-10-12 Wed 補講について
    • 2016-10-05 Wed の補講を 2016-11-22 Tue に実施します.火曜日なので注意してください.
  • 2016-10-05 Wed 休講について
    • 暴風警報のため休講になります.

講義スケジュール

  • 毎週 水曜日 13:20〜14:50 C3-302教室
日付内容スライド,テキスト等備考
1 2016-10-05 Wed休講 (暴風警報のため)
2 2016-10-12 Wed
イントロスライド1
C小テストC小テスト問題 (学内限定)
3 2016-10-19 Wed
C小テスト解説C小テスト解説 (学内限定)
C小テストの成績 (学内限定)
4 2016-10-26 Wed
プログラミング言語スライド2
5 2016-11-02 Wed
構文と記法スライド3
6 2016-11-09 Wed
制御構造スライド4
7 2016-11-16 Wed
宣言,式,値スライド5
データ型スライド6
8 2016-11-22 Tue補講
モジュールスライド7
Javaプログラミング入門Javaプログラミング入門
9 2016-11-30 Wed
Javaプログラミング入門Javaプログラミング入門
Javaプログラム作成例Javaで語を数える
10 2016-12-07 Wed
Lispプログラミング入門Lispプログラミング入門PDF版
11 2016-12-14 Wed
Lispプログラミング入門Lispプログラミング入門PDF版
12 2016-12-21 Wed休講 (会議のため)
13 2017-01-11 Wed
Lispプログラミング入門Lispプログラミング入門PDF版
14 2017-01-18 Wed
リスト処理の例リスト処理の例: 多項式計算
Lisp小テストLisp小テスト問題 (学内限定)
15 2017-01-25 Wed
Lisp小テスト回答Lisp小テストの回答 (学内限定)
Scalaプログラミング入門Scalaプログラミング入門
Project Eulerに挑戦Project Eulerに挑戦
まとめ
16 2017-02-01 Wed定期試験
  • スケジュールは予定です.
  • スライドやテキストの内容は,更新のタイミング等により, 講義中のものとは異なることがあります.
  • 他に転載はしないでください.

演習スケジュール

教科書・参考書

教科書およびCプログラミング

プログラミング言語論

  • Bruce A. Tate 著,まつもとゆきひろ 監訳,田和 勝 訳: 「7つの言語 7つの世界」,オーム社, ISBN-10: 4274068579 (Amazon, OPAC)
    Ruby, Io, Prolog, Scala, Erlang, Clojure, Haskellについて
  • Peter Seibel 著,青木 靖 訳: 「Coders at Work」,オーム社, ISBN-10: 4274068471 (Amazon, OPAC)
  • R. D. Tennent 著,竹下亨 訳: 「プログラミング言語の原理」,日本コンピュータ協会, ASIN: B000J6MYU4 (Amazon)
  • D. Gelernter, S. Jagannathan: "Programming Linguistics", The MIT Press (Amazon)
  • C. Ghezzi, M. Jazayeri: "Programming Language Concepts", John Wiley & Sons (Amazon)
  • E. Horowitz: "Programming Languages, a grand tour", Computer Science Press (Amazon)
  • 赤攝也 ほか訳: 「ACMチューリング賞講演集」,共立出版, ISBN-10: 4320024877 (Amazon, OPAC)

プログラミング方法論

  • カーニハン,プローガー 著,木村泉 訳: 「プログラム書法」第2版,共立出版, ISBN-10: 4320020855 (Amazon, OPAC)
  • カーニハン,プローガー 著,木村泉 訳: 「ソフトウェア作法」,共立出版, ISBN-10: 4320021428 (Amazon, OPAC)
  • カーニハン,パイク 著,福崎 訳: 「プログラミング作法」,アスキー, ISBN-10: 4756136494 (Amazon, OPAC)
  • ヴィルト 著, 野下浩平 ほか訳: 「系統的プログラミング入門」,近代科学社 (Amazon, OPAC)
  • プライス 著,武市正人 ほか訳: 「Pascal: 思いやりプログラミング」,近代科学社 (Amazon, OPAC)

プログラミング言語処理系

  • エイホ,ウルマン 著,土居範久 ほか訳: 「コンパイラ」,培風館, ISBN-10: 4781905854 (Amazon, OPAC)
  • ヴィルト 著,筧捷彦 訳: 「翻訳系構成法序論」,近代科学社 (Amazon, OPAC)
  • 佐々政孝 著: 「プログラミング言語処理系」,岩波書店 (Amazon, OPAC)

プログラミング言語の計算モデル論

  • 井田哲雄 著: 「計算モデルの基礎理論」,岩波書店, ISBN-10: 4000103520 (Amazon, OPAC)

プログラミング入門

Date: 2017-01-25 13:12:52 JST

Author: 田村直之

Validate XHTML 1.0