2011年度プログラム言語論の講義資料


  • 4/15:第1回講義資料補遺
  • 4/22:第2回講義資料補遺
  • 4/29:第3回第二回講義資料を使います補遺
  • 5/06:第4回講義資料補遺
  • 5/13:第5回講義資料補遺
        - p88アセンブラ&シミュレータの説明
        - gfortran ― the GNU Fortran compiler, part of GCC
  • 5/20:第6回講義資料1補遺1
        - 実習用資料(単にまとめたもの)(補遺)
        - Fortranサンプルプログラム
        - NASE A60 Algol Interpreter
        - Revised Report on the Algorithmic Language Algol 60
        - 参考(文法の記述方法): The Java Language Specification, Third Edition
        - 参考: DrScheme (今やDrRacket) 中のAlgol60 (あまり期待しないように)

  • 6/03:第7回 講義資料1補遺1補遺2
  • 6/10:第8回講義資料-2補遺

  • 6/17:第9回講義資料-2(先週と同じ)補遺
        - 講義資料-Ruby補遺
        - DrScheme: Download PLT Scheme (今やRacketへのポインター)
        - DrScheme の使い方
        - DrScheme を用いた Scheme の演習
        - DrScheme 実行例(エラー文例付き)
        - Scheme、Common Lisp、Emacs Lispの比較
        - Schemeにおけるnil
        - Schemeにおけるatom
        - DrScheme クイックリファレンス
        - PLT Scheme
        - SourceForge.net gnuplot development
        - Windows版 Gnuplotを使ってみた
  • 7/01:第10回 Ruby-1 (先回配布済み) (補遺
        - Ruby-2補遺

  • 7/08:第11回 Ruby-2 (先回配布済み) (補遺
        - Ruby-3補遺
  • 7/15:第12回 Ruby-3 (先回配布済み) (補遺
        - オブジェクト指向とRuby補遺
  • 7/15:課題(締め切りは8月02日です)
  • --- 参考---
  • 7/08:第12回 講義資料-1補遺
        - 講義資料-2補遺
        - ML演習
        - 初級ML講座
        - プログラミング言語 Standard ML入門
        - Standard ML of New Jersey
        - Programming in Standard ML '97: An On-line Tutorial
  • 7/15:第13回講義資料-1補遺
        - 講義資料-2補遺
        - 講義資料-3補遺
        - オブジェクト指向スクリプト言語 Ruby
  • 7/**:第14回講義資料補遺
        - YCOBOL
        - YCOBOL解説
        - COBOL Example Programs
  • */**:第*回 本日はAlgolプログラム練習と先回の続き
        - 第9回補足(Algol例)補遺
  • */**:第*回 本日はLispプログラム練習と先回の続き
        - 第10回補足(計算とは)補遺
  • */**:第*回 本日はLambdaと計算の話
  • 7/**:第15回講義資料-1補遺
        - 講義資料-2補遺
  • 7/**:第**回講義資料補遺
        - Free Prolog Compilers and Interpreters
        - SWI-Prolog's home

  • 研究室へ戻る