はてなブックマーク

ナビゲーション 索引 次へ | スクリプト言語プログラミング基礎 2023秋学期 ドキュメント » スクリプト言語プログラミング基礎 スクリプト言語プログラミング基礎¶ 目次 1. オリエンテーション 1.1. 履修について 1.2. スクリプト言語とは 1.3. ウェブアプリケーションフレームワークとは 1.4. 参考資料について 1.5. 演習環境 1.6. Rubyを使ってみる 2. 基本的な文法 2.1. 文法の概要をざっと見る 2.2. 例外処理 3. データ構造 3.1. 数値 3.2. 文字列 3.3. シンボル 3.4. 配列 3.5. ハッシュ 3.6. 正規表現 4. ブロック付きメソッド 4.1. ブロック 4.2. ブロックの引数 4.3. ローカル変数のスコープ 4.4. ブロック付きメソッドの作り方 5. オブジェクト 5.1. オブジェクト指向とは 5.2.

ラムダ計算(lambda calculus)は、関数の定義と実行を抽象化した体系で、意味論や型理論など、コンピュータサイエンスのいろいろなところで使われる。 11.2.1 定義 ラムダ計算の項(λ式)は次のように定義される。 任意の変数(小文字のアルファベットで表す)は項である。 M, Nが項ならば、関数適用(MN)は項である。 Mが項ならば、関数抽象(λx.M)は項である。 11.2.2 α変換 束縛変数の名前を付け変えることをα変換と呼ぶ。 λx.M→λy.{y/x}M　　ただしy∈free(M)でない 束縛変数の名前は本質的ではない。 11.2.3 β変換 関数の「実行」に相当する。 (λx.M)N→{N/x}M　　ただし、Nの自由変数がMで束縛されることがない (λx.M)Nの形の部分項をリデックスと呼ぶ。 11.2.4 簡約 ある項から出発したα変換とβ変換の列を、その項の簡約と

Programming Languages This course is a GIGA course in this semster. English(HTML) English(PDF) 日本語(HTML)

ひとことで言えば、オブジェクト指向＋データフロー図。オブジェクト指向的には、他のオブジェクト指向言語(Smalltalk, C++など)とほぼ同じ機能を持つ。 オブジェクト指向レベルとメソッドレベルで全く違う表現方法をとる。オブジェクト指向レベルはあまり図形化されていない。それに対して、メソッドレベルはほぼ完全に図形化されていて、グラフのノードに付けるラベルにのみ文字を使う。 Pictorius社が販売する商用システムであったが、Pictorius社はつぶれてしまったようだ…。MacTech にチュートリアル記事がある。コーディングの様子が判る図やアニメーションもある。 その後、Andescotia社がMartenという名前で復活させた。付属の Quick Start と User Guideを参照。

Powered by SmartDoc ビジュアル・プログラミング >> ビジュアル・プログラミング 服部 隆志 (印刷用 PS 版は /home/hattori/visual-prog/latex2e/main.ps です) 目次 ビジュアル・プログラミングとは プログラミング言語の役割 プログラミング言語に影響を与えたもの 計算モデルと抽象化 命令型パラダイム 関数型パラダイム 論理型パラダイム オブジェクト指向 テキスト言語の利点と欠点 欠点 利点 ビジュアルプログラミング言語の種類 アルゴリズムの図形的表現 制御の流れの図形化 フローチャート PAD NSチャート データフロー図 StateChart ペトリネット オートマトン 有限オートマトン セルラーオートマトン 定義 Artificial Life との関係 グラフ文法 形式言語理論 グラフ文法の例 Parsingの過程 埋