Skip to content

Materials for the class "Implementation of Programming Languages" in Kyoto University.

Notifications You must be signed in to change notification settings

ajfAfg/IoPLMaterials

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

{% include head.html %}

京都大学工学部専門科目「プログラミング言語処理系」講義資料

お知らせ

  • 4月1日: 本科目の履修を検討している人は,必ずPandAの本科目のページ をチェックしておいてください.
  • 4月1日: 2022年度版ページにしました.

学習の仕方

計算機科学コースの学生には講義中に別途やり方を指示します.(実験3SWもやるので.)

  • この講義資料の GitHub のページからリポジトリを clone しましょう.
  • OCaml が使えるように環境を設定しましょう.
  • 落ちてきたソースコード中の textbook/interpreter/ ディレクトリの中にインタプリタのソースコードが入っているので,duneコマンドでビルドしましょう.
  • 教科書を読みながらもりもり演習問題を解きましょう.
    • 教科書にバグを見つけたら issue で報告しましょう.
    • 講義の履修者は講義用 Slack で質問してもよいですね.
  • プログラミング言語強者になりましょう.そのためには...
    • なにか自分で言語を作って処理系を作ってみましょう.作った処理系を自慢しましょう.世界中で自作の言語が使われるようになったらいいですね.
    • もしくは,プログラミング言語理論やプログラム検証を勉強してみましょう. TODO: 参考文献

教科書

(鋭意 Markdown 化中.)

リンク

https://kuis-isle3sw.github.io/IoPLMaterials/

目次

リンク集

講義日程

  • 4/11
  • 4/18
  • 4/25
  • 5/2
  • 5/9
  • 5/16
  • 5/23
  • 5/30
  • 6/6
  • 6/13
  • 6/20
  • 6/27
  • 7/4
  • 7/11
  • (7/25)

講義に関する情報

  • 講義をする人: 末永幸平(@ksuenaga, Researchmap
  • 講義が行われる時間: 月曜2限
  • 講義が行われる場所: 総合研究7号館講義室1
  • Language used in the class: Japanese

ご寄付のお願い

本学学生以外の方で,もしこのページのマテリアルが有用であるとお思いになられたら,是非京都大学基金へのご寄付をいただけると幸いです.運営費交付金が年々削減される中で,大学教員が教育と研究活動を両立させつつ,学外の方々にも有用な情報を発信し続けられるよう,ご支援をいただけると大変ありがたく思います.京都大学へのご寄付に対しましては,法人税法,所得税法による税制上の優遇措置が受けられます.

特に以下の基金へのご寄付をいただけますと大変ありがたいです.

  • 京都大学修学支援基金: 意欲と能力のある学生が経済的理由で修学・進学を断念することなく,希望する教育を受けられるようにすることを目的とした基金です.
  • 男女共同参画支援たちばな基金: 男女共同参画支援を推進するための基金で,育児等支援の充実,保育施策の充実,男女共同参画推進事業の充実を目的とした基金です.
  • 情報学研究科基金: 情報学研究科における大学院生の学修・研究支援,若手研究者支援,研究支援を目的とした基金です.

ローカル環境でのビルド方法

この資料は Jekyll を使用して構築されています.動作確認などのためにこの資料をローカル環境で表示させる場合は,Ruby を導入した上で,次の通りコマンドを実行してください.

$ gem install bundler jekyll
$ bundle exec jekyll serve --baseurl '/IoPLMaterials'

その後 http://127.0.0.1:4000/IoPLMaterials/ にアクセスしてください。

About

Materials for the class "Implementation of Programming Languages" in Kyoto University.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • OCaml 73.9%
  • Standard ML 21.0%
  • Assembly 2.1%
  • HTML 0.9%
  • Perl 0.6%
  • Raku 0.6%
  • Other 0.9%