Compiler Construction の授業 コンパイラとは何か 実行系のArchitecture Intel64 のアセンブラ 字句解析、構文解析、コード生成 部分計算と中間木 yaccによる構文解析 llvmを使ったコンパイル Micro-C の全体構成 コード生成の詳細 共通部分式 さらに進んだコンパイラ技術 参考書 Compilers: Pearson New International Edition: Principles, Techniques, and Tools More information: 今後の授業の予定 TL/1 小さいコンパイラの例題 repository レポートは、「Report on Compiler Construction Lecture Exercise 6.1 」という 形式のSubjectで メールでkono@ie.u-ryukyu.a
Agda Programming †1 Agda1) Haskell2) Dependent type Agda Agda Agda Emacs Agda Dependent type Agda Agda Agda Agda Curry Howard 3) Dependent type ( ) Agda ? Agda Agda Programming Technique in Agda Shinji KONO †1 1. 80 ML HOL4) Agda1) Curry Howard Haskell2) Agda Haskell I/O Monad 5) Monad (Cate- gory theory)6) †1 Information Engineering, University of the Ryukyus. Monad (Adjoint pair) Kleisli Monad M
Menu Menu この授業では、Haskell と Agda を使って、ソフトウェアの信頼性を高める手法の一つである証明について学びます。 参考書 「やさしい Haskell 入門 (バージョン98)」 すごい Haskell Miran Lipova 達人プログラマー アンドリュー ハント、デビッド トーマス (ピアソン・エデュケーション) オブジェクト指向における再利用のためのデザインパターンエリッ ク ガンマ (著), ラルフ ジョンソン (著), リチャード ヘルム ( 著), ジョン ブリシディース (著), Erich Gamma (原著), Ralph Johnson (原著), Richard Helm (原著), John Vlissides (原著), 本位田 真一 (翻訳), 吉田 和樹 (翻訳) プログラミング作法 ブライアン カーニハン (著), ロブ パイク
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く