ブックマーク / ie.u-ryukyu.ac.jp/~kono (3)

  • Compiler Construction Lecture 琉球大学 by 河野真治

    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

    eggman
    eggman 2016/10/28
  • 2009-09-26 (土) Cerium を用いた PS3 でのゲームの作り方

    eggman
    eggman 2009/09/27
  • Kono's paper list

    今までに書いた論文のリスト (あんまり昔のは置いてありません) English Page is here 論文リスト GearsAgdaによるRed Black Treeの検証 森 逸汰, 河野 真治(琉球大学), 情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS), May, 2023 Gears OSのCodeGear Management 仲吉 菜々子, 河野 真治(琉球大学), 情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS), May, 2023 Gears OSのファイルシステムとDB 又吉 雄斗, 佐野 巧曜, 河野 真治(琉球大学), 情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS), May, 2023 Agdaによる集合論の証明手法 -- Zornの補題に関して 河野 真治 (琉球大学), 第6

    eggman
    eggman 2008/09/26
    河野 真治 最近はCellの論文らしい
  • 1