プログラミング言語論

Table of Contents

概要

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

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

What's New

  • 2012年01月25日(水) 定期試験について
    実施日時平成24年2月8日(水) 3時限 (13:20-14:50) 10分前に集合のこと
    場所LR401, LR402 (座席指定)
    持ち込み資料全て可 (電子機器は不可．留学生の電子辞書は可)
    • 座席指定の予定です． 座席表は入口および黒板に掲示します．13:10までに教室に集合してください．
      • 学籍番号 10x5001T – 10x5063T の人は LR401
      • 学籍番号 10x5064T – 10x5102T の人，その他の人は LR402
    • 試験内容
      • BNF, C, Lisp, Prolog, Javaに関する知識を問う基本問題 (20〜30点)
      • リスト構造，木構造，再帰プログラミングに関する応用問題 (20〜30点)
  • 2011年11月30日(水) は出張のため休講にします．

スケジュール

  • 毎週 水曜日 13:20〜14:50 C3-302教室
週日付内容スライド，テキスト等備考
1 2011年10月05日(水)イントロスライド1
小テスト小テスト (学内限定)
2 2011年10月12日(水)小テスト解説小テスト解説スライド (学内限定)
小テスト平均点 (学内限定)
プログラミング言語スライド2
3 2011年10月19日(水)構文と記法スライド3
4 2011年10月26日(水)制御構造スライド4
5 2011年11月02日(水)宣言，式，値スライド5
6 2011年11月09日(水)データ型スライド6
7 2011年11月16日(水)モジュールスライド7
Javaプログラミング入門Javaプログラミング入門
8 2011年11月23日(水)祝日 ＼（＾ ＾）／
9 2011年11月30日(水)休講
10 2011年12月07日(水)Javaプログラミング入門Javaプログラミング入門
Javaプログラム作成例Javaプログラム作成例
11 2011年12月14日(水)Lispプログラミング入門Lispプログラミング入門
12 2011年12月21日(水)Lispプログラミング入門Lispプログラミング入門
13 2012年01月11日(水)リスト処理の例リスト処理の例: 多項式計算
Lispプログラミング入門Lisp小テスト (学内限定)
14 2012年01月18日(水)Lispプログラミング入門Lisp小テスト解答例 (学内限定)
小テスト平均点 (学内限定)
Scalaプログラミング入門Scalaプログラミング入門
15 2012年01月25日(水)Scalaプログラミング入門Scalaプログラミング入門
Project Eulerに挑戦Project Eulerに挑戦
16 2012年02月08日(水)定期試験 (頑張ろう!)
  • スライドやテキストの内容は，更新のタイミング等により， 講義中のものとは異なることがあります．
  • 他に転載はしないでください．

プログラム例

教科書・参考書

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

プログラミング言語論

  • Bruce A. Tate 著，まつもとゆきひろ 監訳，田和 勝 訳: 「7つの言語 7つの世界」，オーム社， ISBN-10: 4274068579 (Amazon, OPAC)
    Ruby, Io, Prolog, Scala, Erlang, Clojure, Haskellについて
  • 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)
  • Peter Seibel 著，青木 靖 訳: 「Coders at Work」，オーム社， ISBN-10: 4274068471 (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)

プログラミング入門

リンク

Author: 田村直之

Date: 2012-02-08 00:27:40 JST