B-23. 微分のための形式的体系
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 1967-05-15
著者
関連論文
- 論理型並列プログラミング言語Concurrent Prologによる在庫管理システムの記述 (新しいプログラミング・パラダイムによる共通問題の設計)
- 仮想記憶方式の下での大形行列計算技法 (記憶階層)
- 72-12 形式意味論の例
- 72-4 文脈自由言語の意味
- 71-10 コンパイラ記述システムFSL によるFormula ALGOL コンパイラの作成
- 71-9 最適化された構文識別装置
- 71-8 数式に対する最適コードの生成
- 70-34 プログラム言語の意味とコンパイラの理論について
- 70-33 ランダム・アクセス・プログラム内蔵式機械, プログラム言語の一方法
- 68-69. PL/1の形式的定義について
- 68-41. 広い意味におけるComputer Aided Designを実現するためにAEDでとられている方法
- 68-22. Context free文法の認識装置の能率について
- 68-21. スタック・オートマトンとコンパイリング
- 68-19. いろいろなリスト構造における能率のよい Garbage Collection手続
- 68-18. リスト処理言語における高速および低速の記憶装置の使用
- B-35. COGENTプログラミングシステム
- B-34. LISP 2プログラム言語とシステム
- B-23. 微分のための形式的体系
- B-13. SNOBOL 3 プログラミング言語
- F-8. 計算機言語のFormal Semantics そのコンパイラ・コンパイラへの応用
- F-70. FORMAC における自動単純化
- PAD (Problem Analysis Diagram)によるプログラムの設計および作成