プログラミング言語論及び演習

Table of Contents

概要

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

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

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

履修届けについて

  1. Web上で履修登録を行うこと(履修コード 3N015).
  2. 履修登録願の用紙を教務係に提出すること. なお,締切は10月13日(金)である(締切厳守).

BEEFへの登録について

  1. BEEF にログインする.
  2. 画面下にある「コースを検索する」に「3N015」と入力してGoをクリックする.
  3. 登録キーに「pl2017」を入力する.

担当者

  • 田村直之,番原睦則

オフィスアワー

  • 随時 (事前に連絡のこと)

成績評価方法

プログラミング演習を中心に講義を進めるため,以下により成績を評価する.

  • 出席状況 (必ず出席すること)
    • 病欠,忌引等の場合,病院の領収書など証拠となる書類を準備して,担当教員に相談すること.
  • 前半の課題とレポート (最大50点)
  • 後半の課題とレポート (最大50点)

注意

  • 授業をよりよくするための皆さんの提案・アイディアを歓迎します.
  • 授業の内容が理解できないときは遠慮無く質問してください.
  • スライドやテキストの内容は,更新のタイミング等により, 講義中のものとは異なることがあります. また,他に転載はしないでください.

スケジュールと内容

  • 毎週 金曜日4限(15:10〜16:40) 情報基盤センター分館 第1演習室
  • 担当: 田村直之,番原睦則
  • 前半 (田村): Scalaプログラミング入門
    • Scala言語について学び,演習課題に取り組む.
  • 後半 (番原): Prologプログラミング入門 (12月1日(金)開始)
    • Prolog言語について学び,演習課題に取り組む.

プログラム例

参考書

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-11-17 14:24:12 JST

Author: 田村直之

Validate XHTML 1.0