コンパイラ

プログラムを作るプログラム

2017年4月22日

KCS定例会

@__pandaman64__

わたしはだれ?

わたしはだれ?

@__pandaman64__

理工学部

情報工学科

3年

プログラミング言語がすき

プログラミング言語がすき?

プログラミング言語

Ada, BCPL, C, C++,D, Erlang, ECMA Script, F#, Go, Haskell, IronPython, Java, Perl, TypeScript, R, Rust, .......

プログラミング言語

色んな特徴がある

  • パラダイム
    • ​手続き型
    • 関数プログラミング
  • ​評価戦略
    • ​正格
    • 遅延
  • ​実行形式
    • ​コンパイル
    • インタプリタ
  • ​・・・

楽しい!!!!

プログラミング言語

マシンが実行できる形式(機械語)

プログラミング言語

マシンが実行できる形式(機械語)

_人人人人人人人_
> コンパイラ <
 ̄Y^Y^Y^Y^Y^Y ̄

ぼくのかんがえた

さいきょうのげんご

がつくれる!!!!!

_人人人人人人人_
> コンパイラ <
 ̄Y^Y^Y^Y^Y^Y ̄

を作ると

_人人人人人人_
> たのしい <
 ̄Y^Y^Y^Y^Y ̄

 

プログラミング言語

マシンが実行できる形式(機械語)

マシン実行できる

って何?

マシン

CPU(1個?複数?)

メモリ

キーボード

マウス

モニター

センサとか(ジャイロ・重力・・・)

Ethernet/Wi-Fi

インターネッツ

シンプルモデル

を考えましょう

λ(ラムダ)計算

λ計算

プログラムの実行とは

置き換え

である!!!!!!!

デモ

big-step

By pandaman64

big-step

  • 354
Loading comments...

More from pandaman64